diff options
| author | Andrii Nakryiko <andrii@kernel.org> | 2024-04-04 14:45:36 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2024-04-04 18:31:08 -0700 |
| commit | 343ca8131c35ba132d200fd9752b60e65357924d (patch) | |
| tree | 46767f1cae8d92aea0b1492ceb2777d42fc872d9 /tools/testing/selftests/bpf/prog_tests/stacktrace_map_skip.c | |
| parent | 1f2a74b41ea8b902687eb97c4e7e3f558801865b (diff) | |
selftests/bpf: add fp-leaking precise subprog result tests
Add selftests validating that BPF verifier handles precision marking
for SCALAR registers derived from r10 (fp) register correctly.
Given `r0 = (s8)r10;` syntax is not supported by older Clang compilers,
use the raw BPF instruction syntax to maximize compatibility.
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Acked-by: Yonghong Song <yonghong.song@linux.dev>
Link: https://lore.kernel.org/r/20240404214536.3551295-2-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/testing/selftests/bpf/prog_tests/stacktrace_map_skip.c')
0 files changed, 0 insertions, 0 deletions