diff options
| author | Alexei Starovoitov <ast@kernel.org> | 2025-02-07 15:45:44 -0800 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2025-02-07 15:45:51 -0800 |
| commit | 310794c219e7b6bd4b21254ac3b871ee989cbece (patch) | |
| tree | d72736640b9d442a717f48ea8413652579e8eb3f /tools | |
| parent | 517e8a7835e8cfb398a0aeb0133de50e31cae32b (diff) | |
| parent | 7968c6581507052c1c6484ee6c5cbe07381e2dbc (diff) | |
Merge branch 'bpf-some-fixes-for-nullness-elision'
Daniel Xu says:
====================
Tow fixes for nullness elision.
Changes from v1:
* Reword commit message in patch 1
* Add tags
====================
Link: https://patch.msgid.link/cover.1738689872.git.dxu@dxuuu.xyz
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/testing/selftests/bpf/progs/verifier_array_access.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tools/testing/selftests/bpf/progs/verifier_array_access.c b/tools/testing/selftests/bpf/progs/verifier_array_access.c index 29eb9568633f..0a187ff725cc 100644 --- a/tools/testing/selftests/bpf/progs/verifier_array_access.c +++ b/tools/testing/selftests/bpf/progs/verifier_array_access.c @@ -713,4 +713,19 @@ unsigned int non_stack_key_lookup(void) return val->index; } +SEC("socket") +__description("doesn't reject UINT64_MAX as s64 for irrelevant maps") +__success __retval(42) +unsigned int doesnt_reject_irrelevant_maps(void) +{ + __u64 key = 0xFFFFFFFFFFFFFFFF; + struct test_val *val; + + val = bpf_map_lookup_elem(&map_hash_48b, &key); + if (val) + return val->index; + + return 42; +} + char _license[] SEC("license") = "GPL"; |