diff options
| author | Andrii Nakryiko <[email protected]> | 2023-12-02 09:57:04 -0800 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2023-12-02 11:36:51 -0800 |
| commit | 5c19e1d05e9e71b42d8e779f41959254239709da (patch) | |
| tree | c62d07d54307d750de319df7214292eb9c2548d8 /tools/testing/selftests/bpf/progs/sendmsg_unix_prog.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 <[email protected]>
Signed-off-by: Andrii Nakryiko <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'tools/testing/selftests/bpf/progs/sendmsg_unix_prog.c')
0 files changed, 0 insertions, 0 deletions