[bpf-next,0/3] bpf: Some fixes for nullness elision

Message

Daniel Xu Feb. 1, 2025, 7:58 p.m. UTC

Two fixes for nullness elision. See commits for more details.

Daniel Xu (3):
  bpf: verifier: Do not extract constant map keys for irrelevant maps
  bpf: selftests: Test constant key extraction on irrelevant maps
  bpf: verifier: Disambiguate get_constant_map_key() errors

 kernel/bpf/verifier.c                         | 29 ++++++++++++++-----
 .../bpf/progs/verifier_array_access.c         | 15 ++++++++++
 2 files changed, 36 insertions(+), 8 deletions(-)