On Tue, Sep 06, 2022 at 06:38:52PM +0300, Ovidiu Panait wrote: > All test_verifier/test_align selftests pass in qemu for x86-64 with this > series applied: > root@intel-x86-64:~# ./test_verifier > ... > #433/p xadd/w check unaligned pkt OK > #434/p pass unmodified ctx pointer to helper OK > #435/p pass modified ctx pointer to helper, 1 OK > #436/u pass modified ctx pointer to helper, 2 OK > #436/p pass modified ctx pointer to helper, 2 OK > #437/p pass modified ctx pointer to helper, 3 OK > Summary: 667 PASSED, 0 FAILED > > root@intel-x86-64:~# ./test_align > Test 0: mov ... PASS > Test 1: shift ... PASS > Test 2: addsub ... PASS > Test 3: mul ... PASS > Test 4: unknown shift ... PASS > Test 5: unknown mul ... PASS > Test 6: packet const offset ... PASS > Test 7: packet variable offset ... PASS > Test 8: packet variable offset 2 ... PASS > Test 9: dubious pointer arithmetic ... PASS > Test 10: variable subtraction ... PASS > Test 11: pointer variable subtraction ... PASS > Results: 12 pass 0 fail > > > John Fastabend (1): > bpf: Verifer, adjust_scalar_min_max_vals to always call > update_reg_bounds() > > Maxim Mikityanskiy (1): > 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 | 27 +++++++++++---------- > tools/testing/selftests/bpf/test_verifier.c | 16 ++++++------ > 3 files changed, 23 insertions(+), 21 deletions(-) > > -- > 2.37.2 > All now queued up, thanks. greg k-h