selftests/bpf: Range analysis test case for JSET
authorPaul Chaignon <paul.chaignon@gmail.com>
Thu, 10 Jul 2025 18:21:41 +0000 (20:21 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Fri, 11 Jul 2025 17:45:25 +0000 (10:45 -0700)
commitd81526a6ebff4ac2358b71d40271c8f95212fac1
treeb22f4d722397d96ebadd34de146365a2b5c01e97
parent6279846b9b2532e1b04559ef8bd0dec049f29383
selftests/bpf: Range analysis test case for JSET

This patch adds coverage for the warning detected by syzkaller and fixed
in the previous patch. Without the previous patch, this test fails with:

  verifier bug: REG INVARIANTS VIOLATION (false_reg1): range bounds
  violation u64=[0x0, 0x0] s64=[0x0, 0x0] u32=[0x1, 0x0] s32=[0x0, 0x0]
  var_off=(0x0, 0x0)(1)

Signed-off-by: Paul Chaignon <paul.chaignon@gmail.com>
Acked-by: Yonghong Song <yonghong.song@linux.dev>
Link: https://lore.kernel.org/r/c7893be1170fdbcf64e0200c110cdbd360ce7086.1752171365.git.paul.chaignon@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/progs/verifier_bounds.c