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

From: Daniel Xu
Date: Tue Feb 04 2025 - 12:25:44 EST


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

=== Changelog ===
Changes from v1:
* Reword commit message in patch 1
* Add tags

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(-)

--
2.47.1