CHECK: Prefer using the BIT macro
#49: FILE: include/linux/bpf_verifier.h:153:
+#define BPF_ADD_CONST64 (1U << 31)

CHECK: Prefer using the BIT macro
#50: FILE: include/linux/bpf_verifier.h:154:
+#define BPF_ADD_CONST32 (1U << 30)

WARNING: line length of 83 exceeds 80 columns
#65: FILE: kernel/bpf/verifier.c:16127:
+	 * umax_value before the ALU operation. After adjust_scalar_min_max_vals(),

WARNING: line length of 86 exceeds 80 columns
#66: FILE: kernel/bpf/verifier.c:16128:
+	 * alu32 ops will have zero-extended the result, making umax_value <= U32_MAX.

CHECK: Unnecessary parentheses around 'dst_umax > U32_MAX'
#94: FILE: kernel/bpf/verifier.c:16153:
+		if (alu32 && (dst_umax > U32_MAX))

WARNING: line length of 89 exceeds 80 columns
#133: FILE: kernel/bpf/verifier.c:17275:
+			__mark_reg_known(&fake_reg, (s64)reg->off - (s64)known_reg->off);

total: 0 errors, 3 warnings, 3 checks, 104 lines checked

NOTE: For some of the reported defects, checkpatch may be able to
      mechanically convert to the typical style using --fix or --fix-inplace.

Commit c42ff42db8bf ("bpf: Support negative offsets, BPF_SUB, and alu32 for linked register tracking") has style problems, please review.

NOTE: Ignored message types: ALLOC_SIZEOF_STRUCT BAD_REPORTED_BY_LINK CAMELCASE COMMIT_LOG_LONG_LINE FILE_PATH_CHANGES GIT_COMMIT_ID MACRO_ARG_REUSE NO_AUTHOR_SIGN_OFF

NOTE: If any of the errors are false positives, please report
      them to the maintainer, see CHECKPATCH in MAINTAINERS.
total: 0 errors, 3 warnings, 3 checks, 104 lines checked