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 <[email protected]> > ---
Acked-by: Eduard Zingerman <[email protected]>
