projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: befae75) | patch
selftests/bpf: check nullness propagation for reg to reg comparisons
authorEduard Zingerman <eddyz87@gmail.com>
Tue, 15 Nov 2022 22:48:59 +0000 (00:48 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Wed, 16 Nov 2022 01:38:36 +0000 (17:38 -0800)
commit4741c371aa088a951bd65f995d2dfe7cd29b4b9a
tree692158089b53bdbf31164c073890379e753692c8tree | snapshot
parentbefae75856ab406a3f3fab2aa2118cf3b2dfe3e6commit | diff
selftests/bpf: check nullness propagation for reg to reg comparisons

Verify that nullness information is porpagated in the branches of
register to register JEQ and JNE operations.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Acked-by: Yonghong Song <yhs@fb.com>
Link: https://lore.kernel.org/r/20221115224859.2452988-3-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/verifier/jeq_infer_not_null.c [new file with mode: 0644] blob
ep93xx device tree rework repo: git://git.maquefel.me/linux.git