On Fri, Jun 26, 2026 at 2:53 AM Eduard Zingerman <[email protected]> wrote:
>
> On Wed, 2026-06-24 at 15:20 +0800, Sun Jian wrote:
> > Commit d2102f2f5d75 ("bpf: verifier: Support eliding map lookup
> > nullness") allowed the verifier to elide NULLness of
> > bpf_map_lookup_elem() for array maps when the key is statically known to
> > be within max_entries.
> >
> > This is not valid for array maps used as inner map templates. For such
> > maps, the template's max_entries is not necessarily the same as the
> > max_entries of the concrete inner map used at runtime. As a result, a
> > key that is within the template's max_entries can still be out of range
> > for the concrete inner map, and the lookup may return NULL.
> >
> > Do not elide lookup NULLness for array maps used as inner map templates.
> >
> > Fixes: d2102f2f5d75 ("bpf: verifier: Support eliding map lookup nullness")
> > Signed-off-by: Sun Jian <[email protected]>
> > ---
>
> This was already fixed by commit:
> 53040a81ae57 ("bpf: Keep dynamic inner array lookups nullable")
> Please do not send stale patches.
>
> [...]
Sorry, I missed that this had already been fixed by 53040a81ae57
("bpf: Keep dynamic inner array lookups nullable").
I will drop this series.
Sorry for the noise.
