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

From: Eduard Zingerman
Date: Fri Sep 20 2024 - 18:25:06 EST


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 some bound checks.
>
> Signed-off-by: Daniel Xu <dxu@xxxxxxxxx>
> ---

Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>

[...]