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

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