selftests/bpf: Add test case to assert precise scalar path pruning

Browse source

Add a test case to check for precision marking of safe paths. Ensure
that the verifier will not prematurely prune scalars contributing to
registers needing precision.

Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>

...

This commit is contained in:

Daniel Borkmann 2023-04-04 14:05:58 +00:00

parent d911ba7cea

commit b3e8701dd1

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

36

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

View file