Re: [PATCH bpf-next v1] bpf: Fix func_info_aux desync after dead code elimination

>     bpf: Fix func_info_aux desync after dead code elimination
>
>     The verifier keeps per-subprogram metadata in three parallel arrays:
>     subprog_info, func_info, and func_info_aux. Dead code elimination can
>     remove whole subprograms, and adjust_subprog_starts_after_remove()
>     shifts subprog_info and func_info to close the gap, but leaves
>     func_info_aux in place. From that point on, func_info_aux[i] no longer
>     describes subprogram i.
>
>     Shift func_info_aux together with func_info so the three arrays stay
>     aligned after subprogram removal.
>
>     Reported-by: Sashiko <[email protected]>
>     Link: https://lore.kernel.org/bpf/[email protected]
>     Signed-off-by: Kumar Kartikeya Dwivedi <[email protected]>

This looks like a bug fix for func_info_aux array alignment. Should this
include:

  Fixes: 51c39bb1d5d1 ("bpf: Introduce function-by-function verification")


---
AI reviewed your patch. Please fix the bug or email reply why it's not a bug.
See: https://github.com/kernel-patches/vmtest/blob/master/ci/claude/README.md

CI run summary: https://github.com/kernel-patches/bpf/actions/runs/31651414371