WARNING: line length of 81 exceeds 80 columns
#182: FILE: kernel/bpf/verifier.c:15149:
+		 * we cannot precisely track the result, so it becomes unbounded.

WARNING: line length of 86 exceeds 80 columns
#186: FILE: kernel/bpf/verifier.c:15153:
+		 * Otherwise (if dividend is exactly S32_MIN), result remains S32_MIN.

WARNING: line length of 81 exceeds 80 columns
#219: FILE: kernel/bpf/verifier.c:15186:
+		 * we cannot precisely track the result, so it becomes unbounded.

WARNING: line length of 86 exceeds 80 columns
#223: FILE: kernel/bpf/verifier.c:15190:
+		 * Otherwise (if dividend is exactly S64_MIN), result remains S64_MIN.

WARNING: line length of 99 exceeds 80 columns
#416: FILE: kernel/bpf/verifier.c:15870:
+		if ((alu32 && src_reg.u32_min_value == 0) || (!alu32 && src_reg.umin_value == 0)) {

WARNING: line length of 97 exceeds 80 columns
#433: FILE: kernel/bpf/verifier.c:15887:
+		if ((alu32 && src_reg.u32_min_value == 0) || (!alu32 && src_reg.umin_value == 0))

WARNING: line length of 84 exceeds 80 columns
#481: FILE: tools/testing/selftests/bpf/verifier/precise.c:232:
+		BPF_RAW_INSN(BPF_JMP | BPF_CALL, 0, 0, 0, BPF_FUNC_get_prandom_u32),

WARNING: The commit message has 'syzkaller', perhaps it also needs a 'Fixes:' tag?

total: 0 errors, 8 warnings, 0 checks, 360 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 25b8961fa115 ("bpf: Add range tracking for BPF_DIV and BPF_MOD") 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, 8 warnings, 0 checks, 360 lines checked