Commit f96841bb authored by Paul Chaignon's avatar Paul Chaignon Committed by Alexei Starovoitov
Browse files

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: default avatarEduard Zingerman <eddyz87@gmail.com>
Signed-off-by: default avatarPaul Chaignon <paul.chaignon@gmail.com>
Link: https://lore.kernel.org/r/ad046fb0016428f1a33c3b81617aabf31b51183f.1753695655.git.paul.chaignon@gmail.com


Signed-off-by: default avatarAlexei Starovoitov <ast@kernel.org>
parent 26e5e346

tools/testing/selftests/bpf/progs/verifier_bounds.c

+1 −1
Original line number Diff line number Diff line
@@ -1066,7 +1066,7 @@ l0_%=: r0 = 0; \ 
SEC("xdp")

__description("bound check with JMP_JSLT for crossing 64-bit signed boundary")

__success __retval(0)

__flag(!BPF_F_TEST_REG_INVARIANTS) /* known invariants violation */

__flag(BPF_F_TEST_REG_INVARIANTS)

__naked void crossing_64_bit_signed_boundary_2(void)

{

	asm volatile ("					\