selftests/bpf: Test invariants on JSLT crossing sign
authorPaul Chaignon <paul.chaignon@gmail.com>
Mon, 28 Jul 2025 09:51:45 +0000 (11:51 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Mon, 28 Jul 2025 17:02:13 +0000 (10:02 -0700)
commitf96841bbf4a1ee4ed0336ba192a01278fdea6383
treeb490e5f9127fd263c66948412aa7e75661beea50
parent26e5e346a52c796190e63af1c2a80a417fda261a
selftests/bpf: Test invariants on JSLT crossing sign

The improvement of the u64/s64 range refinement fixed the invariant
violation that was happening on this test for BPF_JSLT when crossing the
sign boundary.

After this patch, we have one test remaining with a known invariant
violation. It's the same test as fixed here but for 32 bits ranges.

Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Paul Chaignon <paul.chaignon@gmail.com>
Link: https://lore.kernel.org/r/ad046fb0016428f1a33c3b81617aabf31b51183f.1753695655.git.paul.chaignon@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/progs/verifier_bounds.c