Re: [PATCH bpf 2/2] selftests/bpf: Cover dynamic inner array lookup nullability

[Eduard Zingerman]

On Thu, 2026-06-04 at 23:11 +0800, Nuiqi Gui wrote:
> Add a verifier regression test that looks up a constant key through a
> dynamic inner array template and dereferences the result without a NULL
> check.
> 
> The verifier must reject the program because BPF_F_INNER_MAP allows the
> concrete runtime array to have fewer entries than the template.
> 
> Signed-off-by: Nuiqi Gui <gnq25@xxxxxxxxxxxxxxxxxxxxx>
> ---

Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>