This patch set tried to fix a verifier failure related to 32bit pointer arithmetic. Please see Patch #1 for the failure case and how to fix it in verifier. Patch #2 added two test_verifier subtests to cover the verifier change. Yonghong Song (2): bpf: avoid verifier failure for 32bit pointer arithmetic tools/bpf: add verifier tests for 32bit pointer/scalar arithmetic kernel/bpf/verifier.c | 5 +++ .../selftests/bpf/verifier/value_ptr_arith.c | 38 +++++++++++++++++++ 2 files changed, 43 insertions(+) -- 2.24.1