]> git.ipfire.org Git - thirdparty/linux.git/commit
projects / thirdparty / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d43ad9d) | patch
selftests/bpf: Add test for conditional jumps on same scalar register
authorKaFai Wan <kafai.wan@linux.dev>
Mon, 3 Nov 2025 06:31:08 +0000 (14:31 +0800)
committerAlexei Starovoitov <ast@kernel.org>
Tue, 4 Nov 2025 01:44:53 +0000 (17:44 -0800)
commit9f32bfec545c30aae5ee7c2908e4c471d671482d
tree6a29a08c3d40ea83fbb00cb7ff19819973765b0btree | snapshot
parentd43ad9da8052eda714caa38f243adbf32a8614cbcommit | diff
selftests/bpf: Add test for conditional jumps on same scalar register

Add test cases to verify the correctness of the BPF verifier's branch analysis
when conditional jumps are performed on the same scalar register. And make sure
that JGT does not trigger verifier BUG.

Signed-off-by: KaFai Wan <kafai.wan@linux.dev>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20251103063108.1111764-3-kafai.wan@linux.dev
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/progs/verifier_bounds.c diff | blob | blame | history
A mirror of Linus' kernel repository