This patchseries fixes all failing bpf verifier selftests:
root@intel-x86-64:~# ./test_verifier
#1149/p XDP pkt read, pkt_meta' <= pkt_data, bad access 2 OK
#1150/p XDP pkt read, pkt_data <= pkt_meta', good access OK
#1151/p XDP pkt read, pkt_data <= pkt_meta', bad access 1 OK
#1152/p XDP pkt read, pkt_data <= pkt_meta', bad access 2 OK
Summary: 1691 PASSED, 0 SKIPPED, 0 FAILED
Andrei Matei (2):
selftest/bpf: Adjust expected verifier errors
selftest/bpf: Verifier tests for var-off access
Daniel Borkmann (3):
bpf, selftests: Adjust few selftest result_unpriv outcomes
bpf: Update selftests to reflect new error states
bpf, selftests: Adjust few selftest outcomes wrt unreachable code
Yonghong Song (1):
selftests/bpf: Add a test for ptr_to_map_value on stack for helper
access
.../selftests/bpf/progs/bpf_iter_task.c | 3 +-
tools/testing/selftests/bpf/test_verifier.c | 2 +-
tools/testing/selftests/bpf/verifier/and.c | 2 +
.../selftests/bpf/verifier/basic_stack.c | 2 +-
tools/testing/selftests/bpf/verifier/bounds.c | 19 ++-
.../selftests/bpf/verifier/bounds_deduction.c | 21 ++--
.../bpf/verifier/bounds_mix_sign_unsign.c | 13 --
tools/testing/selftests/bpf/verifier/calls.c | 4 +-
.../testing/selftests/bpf/verifier/const_or.c | 4 +-
.../selftests/bpf/verifier/dead_code.c | 2 +
.../bpf/verifier/helper_access_var_len.c | 12 +-
.../testing/selftests/bpf/verifier/int_ptr.c | 6 +-
tools/testing/selftests/bpf/verifier/jmp32.c | 22 ++++
tools/testing/selftests/bpf/verifier/jset.c | 10 +-
.../testing/selftests/bpf/verifier/map_ptr.c | 4 +-
.../selftests/bpf/verifier/raw_stack.c | 10 +-
.../selftests/bpf/verifier/stack_ptr.c | 22 ++--
tools/testing/selftests/bpf/verifier/unpriv.c | 9 +-
.../selftests/bpf/verifier/value_ptr_arith.c | 17 +--
.../testing/selftests/bpf/verifier/var_off.c | 115 ++++++++++++++++--
20 files changed, 208 insertions(+), 91 deletions(-)
--
2.25.1
