diff options
| author | Paul Chaignon <[email protected]> | 2025-07-10 18:21:41 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2025-07-11 17:45:25 +0000 |
| commit | d81526a6ebff4ac2358b71d40271c8f95212fac1 (patch) | |
| tree | b22f4d722397d96ebadd34de146365a2b5c01e97 /drivers/net/netkit.c | |
| parent | bpf: Forget ranges when refining tnum after JSET (diff) | |
| download | kernel-d81526a6ebff4ac2358b71d40271c8f95212fac1.tar.gz kernel-d81526a6ebff4ac2358b71d40271c8f95212fac1.zip | |
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 <[email protected]>
Acked-by: Yonghong Song <[email protected]>
Link: https://lore.kernel.org/r/c7893be1170fdbcf64e0200c110cdbd360ce7086.1752171365.git.paul.chaignon@gmail.com
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'drivers/net/netkit.c')
0 files changed, 0 insertions, 0 deletions