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

2025-01-02 Thread Eduard Zingerman
On Thu, 2024-12-19 at 21:09 -0700, Daniel Xu wrote: > Test that nullness elision works for common use cases. For example, we > want to check that both constant scalar spills and STACK_ZERO functions. > As well as when there's both const and non-const values of R2 leading up > to a lookup. And obvio

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

2024-12-19 Thread Daniel Xu
Test that nullness elision works for common use cases. For example, we want to check that both constant scalar spills and STACK_ZERO functions. As well as when there's both const and non-const values of R2 leading up to a lookup. And obviously some bound checks. Particularly tricky are spills both