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