bpf: update jmp32 test cases to fix range bound deduction

[ no upstream commit ]

Since commit f2d67fec0b43 ("bpf: Undo incorrect __reg_bound_offset32 handling")
has been backported to stable, we also need to update related test cases that
started to (expectedly) fail on stable. Given the functionality has been reverted
we need to move the result to REJECT.

Reported-by: Naresh Kamboju <naresh.kamboju@linaro.org>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>

diff --git a/tools/testing/selftests/bpf/verifier/jmp32.c b/tools/testing/selftests/bpf/verifier/jmp32.c
index bd5cae4a7f7338d182af5fa41f95daa72fec8dc3..79eeed6029f5f5f9df30b630361f323a7b379a89 100644 (file)
--- a/tools/testing/selftests/bpf/verifier/jmp32.c
+++ b/tools/testing/selftests/bpf/verifier/jmp32.c
@@ -783,7 +783,8 @@
        },
        .prog_type = BPF_PROG_TYPE_SCHED_CLS,
        .fixup_map_hash_48b = { 4 },
-       .result = ACCEPT,
+       .result = REJECT,
+       .errstr = "R8 unbounded memory access",
        .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS,
 },
 {
@@ -811,7 +812,8 @@
        },
        .prog_type = BPF_PROG_TYPE_SCHED_CLS,
        .fixup_map_hash_48b = { 4 },
-       .result = ACCEPT,
+       .result = REJECT,
+       .errstr = "R8 unbounded memory access",
        .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS,
 },
 {
@@ -839,6 +841,7 @@
        },
        .prog_type = BPF_PROG_TYPE_SCHED_CLS,
        .fixup_map_hash_48b = { 4 },
-       .result = ACCEPT,
+       .result = REJECT,
+       .errstr = "R8 unbounded memory access",
        .flags = F_NEEDS_EFFICIENT_UNALIGNED_ACCESS,
 },