Files
linux/kernel
Eduard Zingerman e40f5a6bf8 bpf: correct stack liveness for tail calls
This updates bpf_insn_successors() reflecting that control flow might
jump over the instructions between tail call and function exit, verifier
might assume that some writes to parent stack always happen, which is
not the case.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Martin Teichmann <martin.teichmann@xfel.eu>
Link: https://lore.kernel.org/r/20251119160355.1160932-4-martin.teichmann@xfel.eu
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
2025-11-21 17:45:30 -08:00
..
2025-11-09 21:19:44 -08:00
2025-08-30 10:15:28 -04:00
2025-09-25 09:23:54 +02:00
2024-11-03 01:28:06 -05:00
2025-09-25 09:23:54 +02:00