diff options
author | Menglong Dong <[email protected]> | 2023-12-19 21:47:59 +0800 |
---|---|---|
committer | Alexei Starovoitov <[email protected]> | 2023-12-19 17:18:55 -0800 |
commit | 31d9cc96b1e3b28daf74938cb1233231474bbcf6 (patch) | |
tree | 6d98c10a4b818287d05d9f22f132ad77ca72c650 /kernel/bpf/memalloc.c | |
parent | 1de584832375d0dc4234ee406185384a58fb96ac (diff) |
selftests/bpf: activate the OP_NE logic in range_cond()
The edge range checking for the registers is supported by the verifier
now, so we can activate the extended logic in
tools/testing/selftests/bpf/prog_tests/reg_bounds.c/range_cond() to test
such logic.
Besides, I added some cases to the "crafted_cases" array for this logic.
These cases are mainly used to test the edge of the src reg and dst reg.
All reg bounds testings has passed in the SLOW_TESTS mode:
$ export SLOW_TESTS=1 && ./test_progs -t reg_bounds -j
Summary: 65/18959832 PASSED, 0 SKIPPED, 0 FAILED
Signed-off-by: Menglong Dong <[email protected]>
Acked-by: Andrii Nakryiko <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'kernel/bpf/memalloc.c')
0 files changed, 0 insertions, 0 deletions