bpf: make sure scalar args don't accept __arg_nonnull tag
authorAndrii Nakryiko <andrii@kernel.org>
Fri, 5 Jan 2024 00:09:03 +0000 (16:09 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Tue, 23 Jan 2024 22:40:21 +0000 (14:40 -0800)
commit18810ad3929ff6b5d8e67e3adc40d690bd780fd6
treed40ce39247e62ac7f5a412cc1d90bd44c4983981
parente31f98c1af810a13395ee9ab57402d82272445af
bpf: make sure scalar args don't accept __arg_nonnull tag

Move scalar arg processing in btf_prepare_func_args() after all pointer
arg processing is done. This makes it easier to do validation. One
example of unintended behavior right now is ability to specify
__arg_nonnull for integer/enum arguments. This patch fixes this.

Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20240105000909.2818934-3-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/btf.c