Re: [PATCH bpf-next v5 5/5] bpf: selftests: verifier: Add nullness elision tests

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@dxuuu.xyz

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