diff options
| author | Alexei Starovoitov <ast@kernel.org> | 2023-03-21 13:38:52 -0700 |
|---|---|---|
| committer | Andrii Nakryiko <andrii@kernel.org> | 2023-03-22 09:31:05 -0700 |
| commit | 1057d299459657b85e593a4b6294a000f920672a (patch) | |
| tree | e962571e8ea2ef312a9b9584abac83db3ee98fa5 /kernel/bpf/arraymap.c | |
| parent | a18f721415b4d4edea23cb8c7d6276330302af14 (diff) | |
bpf: Teach the verifier to recognize rdonly_mem as not null.
Teach the verifier to recognize PTR_TO_MEM | MEM_RDONLY as not NULL
otherwise if (!bpf_ksym_exists(known_kfunc)) doesn't go through
dead code elimination.
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Acked-by: David Vernet <void@manifault.com>
Link: https://lore.kernel.org/bpf/20230321203854.3035-3-alexei.starovoitov@gmail.com
Diffstat (limited to 'kernel/bpf/arraymap.c')
0 files changed, 0 insertions, 0 deletions