This patchset improves the precision of BPF_ADD and BPF_SUB range tracking, and also adds selftests that exercise the precision improvement. Changelog: v2: * Add clearer example of precision improvement in the commit message for verifier.c changes. * Add selftests that exercise the precision improvement to verifier_bounds.c (suggested by Eduard Zingerman). v1: https://lore.kernel.org/bpf/20250610221356.2663491-1-harishankar.vishwanathan@xxxxxxxxx/ Harishankar Vishwanathan (2): bpf, verifier: Improve precision for BPF_ADD and BPF_SUB selftests/bpf: Add testcases for BPF_ADD and BPF_SUB kernel/bpf/verifier.c | 76 ++++++++++++----- .../selftests/bpf/progs/verifier_bounds.c | 85 +++++++++++++++++++ 2 files changed, 141 insertions(+), 20 deletions(-) -- 2.45.2
