Re: [PATCH bpf-next v2 2/2] bpf: selftests: verifier: Add nullness elision tests

2024-09-20 Thread Eduard Zingerman
On Sun, 2024-09-15 at 21:45 -0600, 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

[PATCH bpf-next v2 2/2] bpf: selftests: verifier: Add nullness elision tests

2024-09-15 Thread Daniel Xu
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 --- .../bpf/p