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

From: KaFai Wan
Date: Sun Oct 26 2025 - 12:39:03 EST


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

---
KaFai Wan (2):
bpf: Fix tnum_overlap to check for zero mask first
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(+)

--
2.43.0