]> www.infradead.org Git - users/jedix/linux-maple.git/commit
bpf, verifier: Correct tail_call_reachable for bpf prog
authorLeon Hwang <hffilwlqm@gmail.com>
Mon, 10 Jun 2024 12:42:23 +0000 (20:42 +0800)
committerAlexei Starovoitov <ast@kernel.org>
Fri, 21 Jun 2024 02:48:29 +0000 (19:48 -0700)
commit01793ed86b5d7df1e956520b5474940743eb7ed8
tree5bb94d5dd2a14c8b1eae910e77505e039c80880a
parentf6afdaf72af7583d251bd569ded8d7d1eeb849c2
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.

Signed-off-by: Leon Hwang <hffilwlqm@gmail.com>
Link: https://lore.kernel.org/r/20240610124224.34673-2-hffilwlqm@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c