On Tue, Aug 09, 2022 at 10:39:43AM +0300, Ovidiu Panait wrote:
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
Patches 2-4 now queued up, thanks.
greg k-h