Add range tracking for BPF_NEG. Please see commit log of 1/2 for more details. --- Changes v1 => v2: 1. Split new selftests to a separate patch. (Eduard) 2. Reset reg id on BPF_NEG. (Eduard) 3. Use env->fake_reg instead of a bpf_reg_state on the stack. (Eduard) 4. Add __msg for passing selftests. v1: https://lore.kernel.org/bpf/20250624172320.2923031-1-song@xxxxxxxxxx/ Song Liu (2): bpf: Add range tracking for BPF_NEG selftests/bpf: Add tests for BPF_NEG range tracking logic include/linux/tnum.h | 2 + kernel/bpf/tnum.c | 5 ++ kernel/bpf/verifier.c | 17 ++++- .../bpf/progs/verifier_bounds_deduction.c | 17 ----- .../selftests/bpf/progs/verifier_precision.c | 70 +++++++++++++++++++ .../bpf/progs/verifier_value_ptr_arith.c | 8 +-- 6 files changed, 95 insertions(+), 24 deletions(-) -- 2.47.1
