Re: [PATCH bpf-next 2/2] selftests/bpf: check nullness propagation for reg to reg comparisons

[Alexei Starovoitov <alexei.starovoitov@xxxxxxxxx>]

On Fri, Aug 26, 2022 at 10:30 AM Eduard Zingerman <eddyz87@xxxxxxxxx> wrote:
>
> Verify that nullness information is porpagated in the branches of
> register to register JEQ and JNE operations.
>
> Signed-off-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
> Acked-by: Yonghong Song <yhs@xxxxxx>
> ---
>  .../bpf/verifier/jeq_infer_not_null.c         | 166 ++++++++++++++++++
>  1 file changed, 166 insertions(+)
>  create mode 100644 tools/testing/selftests/bpf/verifier/jeq_infer_not_null.c

These 4 new tests are failing in unpriv.

Pls fix and respin.