diff options
| author | Dimitar Kanaliev <[email protected]> | 2024-10-14 15:11:54 +0300 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2024-10-15 11:16:25 -0700 |
| commit | 61f506eacc77a9dad510fce92477af72be82c89d (patch) | |
| tree | 2130b328a75f387cb6d38430641abb0761f7273f /tools/testing/selftests/bpf/prog_tests/autoload.c | |
| parent | ae67b9fb8c4e981e929a665dcaa070f4b05ebdb4 (diff) | |
selftests/bpf: Add test for truncation after sign extension in coerce_reg_to_size_sx()
Add test that checks whether unsigned ranges deduced by the verifier for
sign extension instruction is correct. Without previous patch that
fixes truncation in coerce_reg_to_size_sx() this test fails.
Acked-by: Shung-Hsi Yu <[email protected]>
Signed-off-by: Dimitar Kanaliev <[email protected]>
Acked-by: Yonghong Song <[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/autoload.c')
0 files changed, 0 insertions, 0 deletions