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 /kernel/bpf/log.c | |
| parent | selftests/bpf: validate async callback return value check correctness (diff) | |
| download | wireguard-linux-5c19e1d05e9e71b42d8e779f41959254239709da.tar.xz wireguard-linux-5c19e1d05e9e71b42d8e779f41959254239709da.zip | |
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 'kernel/bpf/log.c')
0 files changed, 0 insertions, 0 deletions