Re: [PATCH bpf-next v5 5/5] bpf: selftests: verifier: Add nullness elision tests
From: Daniel Xu
Date: Tue Dec 17 2024 - 20:57:50 EST
On Fri, Dec 13, 2024, at 10:17 PM, Eduard Zingerman wrote:
> On Thu, 2024-12-12 at 16:22 -0700, Daniel Xu wrote:
>> Test that nullness elision works for common use cases. For example, we
>> want to check that both full and subreg stack slots are recognized. As
>> well as when there's both const and non-const values of R2 leading up to
>> a lookup. And obviously some bound checks.
>>
>> Signed-off-by: Daniel Xu <dxu@xxxxxxxxx>
>> ---
>
> Daniel,
>
> since there would be a respin of this patch-set,
> maybe consider using plain C for some of the tests?
Yeah, makes sense. Will do for v6.
Thanks,
Daniel