On 6/13/26 2:33 AM, Nuoqi Gui wrote:
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]>
Acked-by: Yonghong Song <[email protected]>
