> selftests/bpf: Add cross-subprog gotox target coverage
>
> Add a gotox regression test with two one-entry INSN_ARRAY maps. CFG can
> model a map whose target stays in the main subprog, while the verified
> path
> can load a different map whose target is the first instruction of another
> subprog.
>
> That second target is outside the subprog that contains this gotox
> instruction, so program load must be rejected with -EINVAL.
>
> Signed-off-by: Nuoqi Gui <[email protected]>
This looks like a regression test for the cross-subprog gotox target
behaviour enforced by its series companion "bpf: Enforce gotox targets
against subprog bounds", which carries a Fixes: tag pointing at the commit
that introduced check_indirect_jump() and the gotox handling.
Should this test carry the same tag so it can be backported alongside the
fix?
Fixes: 493d9e0d6083 ("bpf, x86: add support for indirect jumps")
---
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/27463372471
