selftests/bpf: verifier precise tests
authorAlexei Starovoitov <ast@kernel.org>
Fri, 23 Aug 2019 05:52:14 +0000 (22:52 -0700)
committerDaniel Borkmann <daniel@iogearbox.net>
Tue, 27 Aug 2019 22:30:11 +0000 (00:30 +0200)
commite8c13c4d9b36065903a025f163db87a7afff7307
tree99c429dbf5139f59f4f63d92d65ced6f24fb544a
parent0fc2e0b84ba725c5e6ee66059936638389e67c80
selftests/bpf: verifier precise tests

Use BPF_F_TEST_STATE_FREQ flag to check that precision
tracking works as expected by comparing every step it takes.

Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Song Liu <songliubraving@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
tools/testing/selftests/bpf/test_verifier.c
tools/testing/selftests/bpf/verifier/precise.c [new file with mode: 0644]