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 /net/core/sock_map.c | |
| parent | bpf: prevent r10 register from being marked as precise (diff) | |
| download | wireguard-linux-343ca8131c35ba132d200fd9752b60e65357924d.tar.xz wireguard-linux-343ca8131c35ba132d200fd9752b60e65357924d.zip | |
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 'net/core/sock_map.c')
0 files changed, 0 insertions, 0 deletions