WARNING: line length of 88 exceeds 80 columns
#197: FILE: kernel/bpf/verifier.c:15152:
+		/* If dividend is not a single number, e.g., [S32_MIN, S32_MIN+10]/(-1),

WARNING: line length of 85 exceeds 80 columns
#199: FILE: kernel/bpf/verifier.c:15154:
+		 *            = {S32_MIN} U [S32_MAX-9, S32_MAX] = [S32_MIN, S32_MAX]

WARNING: line length of 88 exceeds 80 columns
#227: FILE: kernel/bpf/verifier.c:15182:
+		/* If dividend is not a single number, e.g., [S64_MIN, S64_MIN+10]/(-1),

WARNING: line length of 85 exceeds 80 columns
#229: FILE: kernel/bpf/verifier.c:15184:
+		 *            = {S64_MIN} U [S64_MAX-9, S64_MAX] = [S64_MIN, S64_MAX]

WARNING: line length of 83 exceeds 80 columns
#447: FILE: kernel/bpf/verifier.c:15860:
+		 * Subsequent reg_bounds_sync() will rebuild it from scalar bounds.

WARNING: Missing a blank line after declarations
#453: FILE: kernel/bpf/verifier.c:15866:
+		bool changed = true;
+		if (alu32)

WARNING: line length of 87 exceeds 80 columns
#454: FILE: kernel/bpf/verifier.c:15867:
+			changed = (off == 1) ? scalar32_min_max_smod(dst_reg, &src_reg)

WARNING: line length of 91 exceeds 80 columns
#455: FILE: kernel/bpf/verifier.c:15868:
+						: scalar32_min_max_umod(dst_reg, &src_reg);

WARNING: line length of 85 exceeds 80 columns
#457: FILE: kernel/bpf/verifier.c:15870:
+			changed = (off == 1) ? scalar_min_max_smod(dst_reg, &src_reg)

WARNING: line length of 89 exceeds 80 columns
#458: FILE: kernel/bpf/verifier.c:15871:
+						: scalar_min_max_umod(dst_reg, &src_reg);

WARNING: line length of 81 exceeds 80 columns
#460: FILE: kernel/bpf/verifier.c:15873:
+		 * to unknown (unbounded). But if the result is equal to dividend

WARNING: line length of 84 exceeds 80 columns
#507: 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, 13 warnings, 0 checks, 381 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 b9efbb2aba65 ("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, 13 warnings, 0 checks, 381 lines checked