]> www.infradead.org Git - users/dwmw2/linux.git/commit
projects / users / dwmw2 / linux.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: d0e1ac2) | patch
bpf: mark PTR_TO_MEM as non-null register type
authorAndrii Nakryiko <andrii@kernel.org>
Thu, 2 Mar 2023 23:50:08 +0000 (15:50 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Sat, 4 Mar 2023 19:14:32 +0000 (11:14 -0800)
commitd5271c5b1950b887def1663b75e2d710cc16535f
treef780d35578a46d886d53fdd12359f6f43f582ec0tree
parentd0e1ac227945c6af616c003365c6feb986dc0839commit | diff
bpf: mark PTR_TO_MEM as non-null register type

PTR_TO_MEM register without PTR_MAYBE_NULL is indeed non-null. This is
important for BPF verifier to be able to prune guaranteed not to be
taken branches. This is always the case with open-coded iterators.

Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20230302235015.2044271-11-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.