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

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?

[...]