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

[Eduard Zingerman]

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?

[...]