diff options
author | Hao Luo <haoluo@google.com> | 2021-12-16 16:31:49 -0800 |
---|---|---|
committer | Alexei Starovoitov <ast@kernel.org> | 2021-12-18 13:27:41 -0800 |
commit | cf9f2f8d62eca810afbd1ee6cc0800202b000e57 (patch) | |
tree | a0c62f903c10857e4bb6e0bbc1d2d77641b5b469 /kernel/bpf/verifier.c | |
parent | bpf: Introduce MEM_RDONLY flag (diff) | |
download | linux-dev-cf9f2f8d62eca810afbd1ee6cc0800202b000e57.tar.xz linux-dev-cf9f2f8d62eca810afbd1ee6cc0800202b000e57.zip |
bpf: Convert PTR_TO_MEM_OR_NULL to composable types.
Remove PTR_TO_MEM_OR_NULL and replace it with PTR_TO_MEM combined with
flag PTR_MAYBE_NULL.
Signed-off-by: Hao Luo <haoluo@google.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://lore.kernel.org/bpf/20211217003152.48334-7-haoluo@google.com
Diffstat (limited to '')
-rw-r--r-- | kernel/bpf/verifier.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index e0a8a55ea3df..9073337ac66f 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -13578,7 +13578,7 @@ static int do_check_common(struct bpf_verifier_env *env, int subprog) mark_reg_known_zero(env, regs, i); else if (regs[i].type == SCALAR_VALUE) mark_reg_unknown(env, regs, i); - else if (regs[i].type == PTR_TO_MEM_OR_NULL) { + else if (base_type(regs[i].type) == PTR_TO_MEM) { const u32 mem_size = regs[i].mem_size; mark_reg_known_zero(env, regs, i); |