[PATCH bpf-next v2 0/2] bpf: Fix tnum_overlap to check for zero mask intersection

This small patchset is about avoid verifier bug warning when tnum_overlap() is called with zero mask intersection.

v2: - fix runtime error

v1: https://lore.kernel.org/all/20251026163806.3300636-1-kafai.wan@linux.dev/ --- KaFai Wan (2): bpf: Fix tnum_overlap to check for zero mask intersection selftests/bpf: Range analysis test case for JEQ

kernel/bpf/tnum.c | 2 ++ .../selftests/bpf/progs/verifier_bounds.c | 23 +++++++++++++++++++ 2 files changed, 25 insertions(+)