diff options
| author | Andrii Nakryiko <andrii@kernel.org> | 2023-12-02 09:57:04 -0800 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2023-12-02 11:36:51 -0800 |
| commit | 5c19e1d05e9e71b42d8e779f41959254239709da (patch) | |
| tree | c62d07d54307d750de319df7214292eb9c2548d8 /tools/testing/selftests/bpf/prog_tests/syscall.c | |
| parent | e02dea158ddaebe6e725be715e0009923b96ec8e (diff) | |
selftests/bpf: adjust global_func15 test to validate prog exit precision
Add one more subtest to global_func15 selftest to validate that
verifier properly marks r0 as precise and avoids erroneous state pruning
of the branch that has return value outside of expected [0, 1] value.
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20231202175705.885270-11-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/testing/selftests/bpf/prog_tests/syscall.c')
0 files changed, 0 insertions, 0 deletions