diff options
| author | Song Liu <song@kernel.org> | 2025-06-25 09:40:25 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2025-06-25 15:12:18 -0700 |
| commit | 2945434e248fc66e0b44b054fa18b16b25c1c1f5 (patch) | |
| tree | 8ec7384fe76f8688d3bff5f7fbdbf9876f59d3ff /kernel/bpf/arraymap.c | |
| parent | bpf: Add range tracking for BPF_NEG (diff) | |
| download | linux-2945434e248fc66e0b44b054fa18b16b25c1c1f5.tar.gz linux-2945434e248fc66e0b44b054fa18b16b25c1c1f5.zip | |
selftests/bpf: Add tests for BPF_NEG range tracking logic
BPF_REG now has range tracking logic. Add selftests for BPF_NEG.
Specifically, return value of LSM hook lsm.s/socket_connect is used to
show that the verifer tracks BPF_NEG(1) falls in the [-4095, 0] range;
while BPF_NEG(100000) does not fall in that range.
Signed-off-by: Song Liu <song@kernel.org>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20250625164025.3310203-3-song@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'kernel/bpf/arraymap.c')
0 files changed, 0 insertions, 0 deletions