]> www.infradead.org Git - users/dwmw2/linux.git/commitdiff
Merge branch 'bpf-verifier-correct-tail_call_reachable-for-bpf-prog'
authorAlexei Starovoitov <ast@kernel.org>
Fri, 21 Jun 2024 02:48:29 +0000 (19:48 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Fri, 21 Jun 2024 02:48:29 +0000 (19:48 -0700)
Leon Hwang says:

====================
bpf, verifier: Correct tail_call_reachable for bpf prog

It's confusing to inspect 'prog->aux->tail_call_reachable' with drgn[0],
when bpf prog has tail call but 'tail_call_reachable' is false.

This patch corrects 'tail_call_reachable' when bpf prog has tail call.

Therefore, it's unnecessary to detect tail call in x86 jit. Let's remove
it.

Changes:
v1 -> v2:
* Address comment from Yonghong:
  * Remove unnecessary tail call detection in x86 jit.
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
---

Links:
[0] https://github.com/osandov/drgn
====================

Link: https://lore.kernel.org/r/20240610124224.34673-1-hffilwlqm@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

Trivial merge