[PATCH bpf-next v4 0/3] bpf: make reg_not_null() true for CONST_PTR_TO_MAP

[Ihor Solodrai <isolodrai@xxxxxxxx>]

Handle CONST_PTR_TO_MAP null checks in the BPF verifier. Add
appropriate test cases.

v3->v4: more test cases
v2->v3: change constant in unpriv test
v1->v2: add a test case with ringbufs

v3: https://lore.kernel.org/bpf/20250604222729.3351946-1-isolodrai@xxxxxxxx/ 
v2: https://lore.kernel.org/bpf/20250604003759.1020745-1-isolodrai@xxxxxxxx/
v1: https://lore.kernel.org/bpf/20250523232503.1086319-1-isolodrai@xxxxxxxx/

Ihor Solodrai (3):
  bpf: make reg_not_null() true for CONST_PTR_TO_MAP
  selftests/bpf: add cmp_map_pointer_with_const test
  selftests/bpf: add test cases with CONST_PTR_TO_MAP null checks

 kernel/bpf/verifier.c                         |   3 +-
 .../selftests/bpf/progs/verifier_map_in_map.c | 118 ++++++++++++++++++
 .../selftests/bpf/progs/verifier_unpriv.c     |  19 ++-
 3 files changed, 137 insertions(+), 3 deletions(-)

-- 
2.47.1