All verifier selftests pass in qemu for x86-64 with this series applied:
root@intel-x86-64:~# ./test_verifier
...
#664/p mov64 src == dst OK
#665/p mov64 src != dst OK
#666/u calls: ctx read at start of subprog OK
#666/p calls: ctx read at start of subprog OK
Summary: 932 PASSED, 0 SKIPPED, 0 FAILED
Jean-Philippe Brucker (1):
selftests/bpf: Fix "dubious pointer arithmetic" test
John Fastabend (1):
bpf: Verifer, adjust_scalar_min_max_vals to always call
update_reg_bounds()
Maxim Mikityanskiy (1):
selftests/bpf: add selftest part of "bpf: Fix the off-by-two error in
range markings"
Stanislav Fomichev (1):
selftests/bpf: Fix test_align verifier log patterns
kernel/bpf/verifier.c | 1 +
tools/testing/selftests/bpf/test_align.c | 41 +++++++++++----------
tools/testing/selftests/bpf/test_verifier.c | 32 ++++++++--------
3 files changed, 38 insertions(+), 36 deletions(-)
--
2.37.1
