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
