selftests/bpf: Cover mixed arena and stack atomics

Browse source

Add a verifier test with one atomic RMW instruction reached through
PTR_TO_ARENA and PTR_TO_STACK paths. The verifier must reject the
shared instruction with the existing incompatible-pointer diagnostic.

Signed-off-by: Yiyang Chen <chenyy23@mails.tsinghua.edu.cn>
Link: https://patch.msgid.link/20260816-bpf-next-038-mixed-atomic-v1-v2-2-4644c1886dbc@mails.tsinghua.edu.cn
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>

...

This commit is contained in:

Yiyang Chen 2026-08-16 10:56:34 +00:00 • committed by Eduard Zingerman

parent 4bc49ae344

commit 5ab9fbeca8

1 changed files with 31 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

32

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

View file