diff options
| author | Paul Chaignon <paul.chaignon@gmail.com> | 2025-07-10 20:21:41 +0200 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2025-07-11 10:45:25 -0700 |
| commit | d81526a6ebff4ac2358b71d40271c8f95212fac1 (patch) | |
| tree | b22f4d722397d96ebadd34de146365a2b5c01e97 /drivers/net/netkit.c | |
| parent | 6279846b9b2532e1b04559ef8bd0dec049f29383 (diff) | |
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>
Diffstat (limited to 'drivers/net/netkit.c')
0 files changed, 0 insertions, 0 deletions