selftests/bpf: Add tests for libbpf-provided externs

Browse source

Add a set of tests validating libbpf-provided extern variables. One crucial
feature that's tested is dead code elimination together with using invalid BPF
helper. CONFIG_MISSING is not supposed to exist and should always be specified
by libbpf as zero, which allows BPF verifier to correctly do branch pruning
and not fail validation, when invalid BPF helper is called from dead if branch.

Signed-off-by: Andrii Nakryiko <andriin@fb.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://lore.kernel.org/bpf/20191214014710.3449601-5-andriin@fb.com

...

This commit is contained in:

Andrii Nakryiko 2019-12-13 17:47:10 -08:00 • committed by Alexei Starovoitov

parent 2ad97d473d

commit 330a73a7b6

4 changed files with 283 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

195

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

View file

18

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

View file

62

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

View file

9

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

View file