All verifier selftests pass in qemu for x86-64 with this series applied:
root@intel-x86-64:~# ./test_verifier
...
#1093/p XDP pkt read, pkt_data <= pkt_meta', good access OK
#1094/p XDP pkt read, pkt_data <= pkt_meta', corner case -1, bad access OK
#1095/p XDP pkt read, pkt_data <= pkt_meta', bad access 2 OK
#1096/p XDP pkt read, pkt_data <= pkt_meta', corner case, good access OK
#1097/p XDP pkt read, pkt_data <= pkt_meta', corner case +1, good access OK
Summary: 1611 PASSED, 0 SKIPPED, 0 FAILED
Jakub Sitnicki (1):
selftests/bpf: Extend verifier and bpf_sock tests for dst_port loads
Jean-Philippe Brucker (1):
selftests/bpf: Fix "dubious pointer arithmetic" test
John Fastabend (2):
bpf: Verifer, adjust_scalar_min_max_vals to always call
update_reg_bounds()
bpf: Test_verifier, #70 error message updates for 32-bit right shift
Stanislav Fomichev (1):
selftests/bpf: Fix test_align verifier log patterns
kernel/bpf/verifier.c | 1 +
tools/include/uapi/linux/bpf.h | 3 +-
tools/testing/selftests/bpf/test_align.c | 41 +++++-----
tools/testing/selftests/bpf/verifier/bounds.c | 6 +-
tools/testing/selftests/bpf/verifier/sock.c | 81 ++++++++++++++++++-
5 files changed, 104 insertions(+), 28 deletions(-)
--
2.36.1
