selftests/bpf: add global subprog annotation tests
authorAndrii Nakryiko <andrii@kernel.org>
Fri, 15 Dec 2023 01:13:33 +0000 (17:13 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Wed, 20 Dec 2023 02:06:47 +0000 (18:06 -0800)
commit0a0ffcac92d5b41133c97d260ad1f320572783a5
treed3ab441e7f404c20aa86baa9bea9ebc3f4327619
parentaae9c25dda159045b223ecb471cd0729ccec8285
selftests/bpf: add global subprog annotation tests

Add test cases to validate semantics of global subprog argument
annotations:
  - non-null pointers;
  - context argument;
  - const dynptr passing;
  - packet pointers (data, metadata, end).

Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20231215011334.2307144-10-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/progs/verifier_global_subprogs.c