diff options
| author | Shung-Hsi Yu <[email protected]> | 2023-11-02 05:39:05 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2023-11-02 05:54:28 +0000 |
| commit | 3c41971550f58f2e006c58aa71e8c23ad312110f (patch) | |
| tree | 168c8cc8161f049ccfa8fb6f39ff3f6a0d8454bf /tools/testing/selftests/bpf/prog_tests/recursion.c | |
| parent | bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_END (diff) | |
| download | kernel-3c41971550f58f2e006c58aa71e8c23ad312110f.tar.gz kernel-3c41971550f58f2e006c58aa71e8c23ad312110f.zip | |
selftests/bpf: precision tracking test for BPF_NEG and BPF_END
As seen from previous commit that fix backtracking for BPF_ALU | BPF_TO_BE
| BPF_END, both BPF_NEG and BPF_END require special handling. Add tests
written with inline assembly to check that the verifier does not incorrecly
use the src_reg field of BPF_NEG and BPF_END (including bswap added in v4).
Suggested-by: Eduard Zingerman <[email protected]>
Signed-off-by: Shung-Hsi Yu <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'tools/testing/selftests/bpf/prog_tests/recursion.c')
0 files changed, 0 insertions, 0 deletions