selftests/bpf: Add a failure test for bpf_kptr_xchg() with local kptr

Browse source

For a bpf_kptr_xchg() with local kptr, if the map value kptr type and
allocated local obj type does not match, with the previous patch,
the below verifier error message will be logged:
  R2 is of type <allocated local obj type> but <map value kptr type> is expected

Without the previous patch, the test will have unexpected success.

Signed-off-by: Yonghong Song <yonghong.song@linux.dev>
Acked-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>
Link: https://lore.kernel.org/r/20230822050058.2887354-1-yonghong.song@linux.dev
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

...

This commit is contained in:

Yonghong Song 2023-08-21 22:00:58 -07:00 • committed by Alexei Starovoitov

parent ab6c637ad0

commit fb30159426

2 changed files with 74 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

10

tools/testing/selftests/bpf/prog_tests/local_kptr_stash.c

View file

65

tools/testing/selftests/bpf/progs/local_kptr_stash_fail.c

View file