Re: [PATCH v5 bpf-next 3/4] bpf: correct stack liveness for tail calls

Eduard Zingerman
2025-11-18T22:54:53Z

On Tue, 2025-11-18 at 14:39 +0100, Martin Teichmann wrote:
> 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.
> ---

Acked-by: Eduard Zingerman <eddyz87@gmail.com>

Please add your signed-off-by. If you'd like you can put me as a
co-developed-by but that's not a big deal. …