diff options
| author | Alexei Starovoitov <[email protected]> | 2019-05-22 03:14:20 +0000 |
|---|---|---|
| committer | Daniel Borkmann <[email protected]> | 2019-05-23 14:20:57 +0000 |
| commit | 7c0c6095d48dcd0e67c917aa73cdbb2715aafc36 (patch) | |
| tree | 973bcd22387f0268739482009a3c04560bc95909 /tools/testing/selftests/bpf/prog_tests/bpf_verif_scale.c | |
| parent | bpf: bump jmp sequence limit (diff) | |
| download | kernel-7c0c6095d48dcd0e67c917aa73cdbb2715aafc36.tar.gz kernel-7c0c6095d48dcd0e67c917aa73cdbb2715aafc36.zip | |
selftests/bpf: adjust verifier scale test
Adjust scale tests to check for new jmp sequence limit.
BPF_JGT had to be changed to BPF_JEQ because the verifier was
too smart. It tracked the known safe range of R0 values
and pruned the search earlier before hitting exact 8192 limit.
bpf_semi_rand_get() was too (un)?lucky.
k = 0; was missing in bpf_fill_scale2.
It was testing a bit shorter sequence of jumps than intended.
Signed-off-by: Alexei Starovoitov <[email protected]>
Acked-by: Andrii Nakryiko <[email protected]>
Signed-off-by: Daniel Borkmann <[email protected]>
Diffstat (limited to 'tools/testing/selftests/bpf/prog_tests/bpf_verif_scale.c')
0 files changed, 0 insertions, 0 deletions