Re: [PATCH bpf-next v7 4/5] bpf: verifier: Support eliding map lookup nullness

On Wed, Jan 29, 2025 at 10:45 AM -0700, Daniel Xu dxu@dxuuu.xyz wrote:

On Wed, Jan 29, 2025 at 09:49:12AM -0700, Daniel Xu wrote:

...

Hi Ilya,

[…snip…]

I cribbed the source from [0] and tested before and after. I think this should work. Mind giving it a try?

Hi Daniel,

thanks for the fix! I’ve tested the fix and it fixed the problem.

Tested-by: Marc Hartmayer mhartmay@linux.ibm.com

[…snip…]