WARNING: Missing a blank line after declarations
#164: FILE: kernel/bpf/tnum.c:228:
+	u64 max_res = a_max / b_min;
+	return TNUM(0, __get_mask(max_res));

WARNING: line length of 94 exceeds 80 columns
#186: FILE: kernel/bpf/tnum.c:250:
+		return TNUM(x.value | (1ULL << (width - 1)), x.mask & ~(1ULL << (width - 1)));

WARNING: line length of 81 exceeds 80 columns
#202: FILE: kernel/bpf/tnum.c:266:
+ * This function reuses tnum_udiv by operating on the absolute values of a and b,

WARNING: line length of 93 exceeds 80 columns
#231: FILE: kernel/bpf/tnum.c:295:
+			if (alu32 && (u32)a.value == (u32)S32_MIN && (u32)b.value == (u32)-1)

WARNING: Missing a blank line after declarations
#237: FILE: kernel/bpf/tnum.c:301:
+			s64 sval = (s64)a.value / (s64)b.value;
+			return TNUM((u64)sval, 0);

WARNING: line length of 85 exceeds 80 columns
#281: FILE: kernel/bpf/verifier.c:15079:
+static void __scalar32_min_max_join(s32 *res_min, s32 *res_max, s32 x_min, s32 x_max)

WARNING: line length of 83 exceeds 80 columns
#287: FILE: kernel/bpf/verifier.c:15085:
+static void __scalar_min_max_join(s64 *res_min, s64 *res_max, s64 x_min, s64 x_max)

CHECK: Alignment should match open parenthesis
#294: FILE: kernel/bpf/verifier.c:15092:
+static void scalar32_min_max_udiv(struct bpf_reg_state *dst_reg,
+				struct bpf_reg_state *src_reg)

WARNING: line length of 83 exceeds 80 columns
#305: FILE: kernel/bpf/verifier.c:15103:
+		 * 2. If umin_val == 0 && umax_val != 0, then dst_umin = x / 0 = 0,

WARNING: line length of 85 exceeds 80 columns
#306: FILE: kernel/bpf/verifier.c:15104:
+		 * dst_umax = dst_umax / 1, remains unchanged, [a,b] / [0,x] = [0,b].

WARNING: line length of 83 exceeds 80 columns
#333: FILE: kernel/bpf/verifier.c:15131:
+		 * 2. If umin_val == 0 && umax_val != 0, then dst_umin = x / 0 = 0,

WARNING: line length of 85 exceeds 80 columns
#334: FILE: kernel/bpf/verifier.c:15132:
+		 * dst_umax = dst_umax / 1, remains unchanged, [a,b] / [0,x] = [0,b].

CHECK: Alignment should match open parenthesis
#364: FILE: kernel/bpf/verifier.c:15162:
+static void __sdiv32_range(s32 dst_min, s32 dst_max, s32 src_min, s32 src_max,
+				s32 *res_min, s32 *res_max)

CHECK: Alignment should match open parenthesis
#378: FILE: kernel/bpf/verifier.c:15176:
+static void scalar32_min_max_sdiv(struct bpf_reg_state *dst_reg,
+				struct bpf_reg_state *src_reg)

CHECK: Alignment should match open parenthesis
#395: FILE: kernel/bpf/verifier.c:15193:
+			__sdiv32_range(*dst_smin, *dst_smax, smin_val, -1,
+					&tmp_min, &tmp_max);

WARNING: line length of 86 exceeds 80 columns
#396: FILE: kernel/bpf/verifier.c:15194:
+			__scalar32_min_max_join(&res_min, &res_max, tmp_min, tmp_max);

CHECK: Alignment should match open parenthesis
#401: FILE: kernel/bpf/verifier.c:15199:
+			__sdiv32_range(*dst_smin, *dst_smax, 1, smax_val,
+					&tmp_min, &tmp_max);

WARNING: line length of 86 exceeds 80 columns
#402: FILE: kernel/bpf/verifier.c:15200:
+			__scalar32_min_max_join(&res_min, &res_max, tmp_min, tmp_max);

CHECK: Alignment should match open parenthesis
#406: FILE: kernel/bpf/verifier.c:15204:
+		__sdiv32_range(*dst_smin, *dst_smax, smin_val, smax_val,
+			&res_min, &res_max);

CHECK: Alignment should match open parenthesis
#436: FILE: kernel/bpf/verifier.c:15234:
+static void __sdiv_range(s64 dst_min, s64 dst_max, s64 src_min, s64 src_max,
+				s64 *res_min, s64 *res_max)

CHECK: Alignment should match open parenthesis
#467: FILE: kernel/bpf/verifier.c:15265:
+			__sdiv_range(*dst_smin, *dst_smax, smin_val, -1,
+					&tmp_min, &tmp_max);

WARNING: line length of 84 exceeds 80 columns
#468: FILE: kernel/bpf/verifier.c:15266:
+			__scalar_min_max_join(&res_min, &res_max, tmp_min, tmp_max);

CHECK: Alignment should match open parenthesis
#473: FILE: kernel/bpf/verifier.c:15271:
+			__sdiv_range(*dst_smin, *dst_smax, 1, smax_val,
+					&tmp_min, &tmp_max);

WARNING: line length of 84 exceeds 80 columns
#474: FILE: kernel/bpf/verifier.c:15272:
+			__scalar_min_max_join(&res_min, &res_max, tmp_min, tmp_max);

CHECK: Alignment should match open parenthesis
#478: FILE: kernel/bpf/verifier.c:15276:
+		__sdiv_range(*dst_smin, *dst_smax, smin_val, smax_val,
+			&res_min, &res_max);

WARNING: line length of 95 exceeds 80 columns
#518: FILE: kernel/bpf/verifier.c:15774:
+			dst_reg->var_off = tnum_sdiv(dst_reg->var_off, src_reg.var_off, alu32);

WARNING: line length of 88 exceeds 80 columns
#522: FILE: kernel/bpf/verifier.c:15778:
+			dst_reg->var_off = tnum_udiv(dst_reg->var_off, src_reg.var_off);

total: 0 errors, 17 warnings, 10 checks, 462 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 43091e1f7789 ("bpf: Add interval and tnum analysis for signed and unsigned BPF_DIV") 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, 17 warnings, 10 checks, 462 lines checked