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

From: Marc Hartmayer
Date: Thu Jan 30 2025 - 05:49:36 EST


On Wed, Jan 29, 2025 at 10:45 AM -0700, Daniel Xu <dxu@xxxxxxxxx> 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@xxxxxxxxxxxxx>

[…snip…]