selftests/bpf: add precision tracking test

Browse source

Copy-paste of existing test
"calls: cross frame pruning - liveness propagation"
but ran with different parentage chain heuristic
which stresses different path in precision tracking logic.

Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Song Liu <songliubraving@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>

...

This commit is contained in:

Alexei Starovoitov 2019-08-22 22:52:15 -07:00 • committed by Daniel Borkmann

parent e8c13c4d9b

commit 411cdb4569

1 changed files with 25 additions and 0 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

25

tools/testing/selftests/bpf/verifier/precise.c

View file