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(-)