WARNING: line length of 81 exceeds 80 columns
#689: FILE: kernel/bpf/verifier.c:2084:
+	return !cnum64_is_const(reg->r64) || reg->r64.base != reg->var_off.value;

WARNING: line length of 94 exceeds 80 columns
#702: FILE: kernel/bpf/verifier.c:2092:
+	return !cnum32_is_const(reg->r32) || reg->r32.base != tnum_subreg(reg->var_off).value;

WARNING: line length of 93 exceeds 80 columns
#721: FILE: kernel/bpf/verifier.c:2122:
+	verifier_bug(env, "REG INVARIANTS VIOLATION (%s): %s r64={.base=%#llx, .size=%#llx} "

WARNING: quoted string split across lines
#722: FILE: kernel/bpf/verifier.c:2123:
+	verifier_bug(env, "REG INVARIANTS VIOLATION (%s): %s r64={.base=%#llx, .size=%#llx} "
+		     "r32={.base=%#x, .size=%#x} var_off=(%#llx, %#llx)",

WARNING: line length of 85 exceeds 80 columns
#908: FILE: kernel/bpf/verifier.c:13524:
+		dst_reg->r64 = cnum64_add(ptr_reg->r64, cnum64_negate(off_reg->r64));

WARNING: line length of 99 exceeds 80 columns
#1403: FILE: kernel/bpf/verifier.c:15280:
+			cnum32_intersect_with(&reg1->r32, (struct cnum32){ val + 1, U32_MAX - 1 });

WARNING: line length of 99 exceeds 80 columns
#1414: FILE: kernel/bpf/verifier.c:15283:
+			cnum64_intersect_with(&reg1->r64, (struct cnum64){ val + 1, U64_MAX - 1 });

WARNING: line length of 87 exceeds 80 columns
#1424: FILE: kernel/bpf/verifier.c:15330:
+			cnum32_intersect_with_urange(&reg1->r32, 0, reg_u32_max(reg2));

WARNING: line length of 93 exceeds 80 columns
#1425: FILE: kernel/bpf/verifier.c:15331:
+			cnum32_intersect_with_urange(&reg2->r32, reg_u32_min(reg1), U32_MAX);

WARNING: line length of 84 exceeds 80 columns
#1429: FILE: kernel/bpf/verifier.c:15333:
+			cnum64_intersect_with_urange(&reg1->r64, 0, reg_umax(reg2));

WARNING: line length of 90 exceeds 80 columns
#1430: FILE: kernel/bpf/verifier.c:15334:
+			cnum64_intersect_with_urange(&reg2->r64, reg_umin(reg1), U64_MAX);

WARNING: line length of 91 exceeds 80 columns
#1437: FILE: kernel/bpf/verifier.c:15339:
+			cnum32_intersect_with_urange(&reg1->r32, 0, reg_u32_max(reg2) - 1);

WARNING: line length of 97 exceeds 80 columns
#1438: FILE: kernel/bpf/verifier.c:15340:
+			cnum32_intersect_with_urange(&reg2->r32, reg_u32_min(reg1) + 1, U32_MAX);

WARNING: line length of 88 exceeds 80 columns
#1442: FILE: kernel/bpf/verifier.c:15342:
+			cnum64_intersect_with_urange(&reg1->r64, 0, reg_umax(reg2) - 1);

WARNING: line length of 94 exceeds 80 columns
#1443: FILE: kernel/bpf/verifier.c:15343:
+			cnum64_intersect_with_urange(&reg2->r64, reg_umin(reg1) + 1, U64_MAX);

WARNING: line length of 93 exceeds 80 columns
#1450: FILE: kernel/bpf/verifier.c:15348:
+			cnum32_intersect_with_srange(&reg1->r32, S32_MIN, reg_s32_max(reg2));

WARNING: line length of 93 exceeds 80 columns
#1451: FILE: kernel/bpf/verifier.c:15349:
+			cnum32_intersect_with_srange(&reg2->r32, reg_s32_min(reg1), S32_MAX);

WARNING: line length of 90 exceeds 80 columns
#1455: FILE: kernel/bpf/verifier.c:15351:
+			cnum64_intersect_with_srange(&reg1->r64, S64_MIN, reg_smax(reg2));

WARNING: line length of 90 exceeds 80 columns
#1456: FILE: kernel/bpf/verifier.c:15352:
+			cnum64_intersect_with_srange(&reg2->r64, reg_smin(reg1), S64_MAX);

WARNING: line length of 97 exceeds 80 columns
#1463: FILE: kernel/bpf/verifier.c:15357:
+			cnum32_intersect_with_srange(&reg1->r32, S32_MIN, reg_s32_max(reg2) - 1);

WARNING: line length of 97 exceeds 80 columns
#1464: FILE: kernel/bpf/verifier.c:15358:
+			cnum32_intersect_with_srange(&reg2->r32, reg_s32_min(reg1) + 1, S32_MAX);

WARNING: line length of 94 exceeds 80 columns
#1468: FILE: kernel/bpf/verifier.c:15360:
+			cnum64_intersect_with_srange(&reg1->r64, S64_MIN, reg_smax(reg2) - 1);

WARNING: line length of 94 exceeds 80 columns
#1469: FILE: kernel/bpf/verifier.c:15361:
+			cnum64_intersect_with_srange(&reg2->r64, reg_smin(reg1) + 1, S64_MAX);

WARNING: line length of 85 exceeds 80 columns
#1562: FILE: tools/testing/selftests/bpf/prog_tests/reg_bounds.c:1338:
+/* For a pair of signed/unsigned t1/t2 checks if r1/r2 intersect in two intervals. */

WARNING: line length of 87 exceeds 80 columns
#1589: FILE: tools/testing/selftests/bpf/prog_tests/reg_bounds.c:1582:
+		if (reg_state_needs_two_arcs(&fe1) || reg_state_needs_two_arcs(&fe2) ||

WARNING: line length of 87 exceeds 80 columns
#1590: FILE: tools/testing/selftests/bpf/prog_tests/reg_bounds.c:1583:
+		    reg_state_needs_two_arcs(&te1) || reg_state_needs_two_arcs(&te2)) {

WARNING: line length of 155 exceeds 80 columns
#1606: FILE: tools/testing/selftests/bpf/progs/verifier_bounds.c:1242:
+__msg("r6 *= r7 {{.*}}; R6=scalar(smin=umin=0x1bc16d5cd4927ee1,smax=umax=0x1bc16d674ec80000,smax32=0x7ffffeff,var_off=(0x1bc16d4000000000; 0x3ffffffeff))")

WARNING: line length of 96 exceeds 80 columns
#1607: FILE: tools/testing/selftests/bpf/progs/verifier_bounds.c:1243:
+/* cnum can't represent both [0, 0xffff_feff] and [0x8000_0000, 0x7fff_feff], so it picks one */

WARNING: line length of 125 exceeds 80 columns
#1626: FILE: tools/testing/selftests/bpf/progs/verifier_bounds.c:2048:
+__msg("3: (65) if r0 s> 0x2 {{.*}} R0=scalar(smin=0x8000000000000002,smax=2,smin32=umin32=2,smax32=umax32=3,var_off{{.*}}))")

WARNING: line length of 113 exceeds 80 columns
#1627: FILE: tools/testing/selftests/bpf/progs/verifier_bounds.c:2049:
+/* Can't represent both [S64_MIN+2, 2] and [2, U64_MAX - U32_MAX + 2] at the same time, picks shorter interval */

WARNING: line length of 147 exceeds 80 columns
#1640: FILE: tools/testing/selftests/bpf/progs/verifier_subreg.c:561:
+__msg("4: (67) r6 <<= 32                     ; R6=scalar(smin=0xfffff00100000000,smax=smax32=umax32=0,smin32=0,var_off=(0x0; 0xffffffff00000000))")

WARNING: line length of 161 exceeds 80 columns
#1650: FILE: tools/testing/selftests/bpf/progs/verifier_subreg.c:585:
+__msg("4: (67) r6 <<= 32                     ; R6=scalar(smin=0xfffff80100000000,smax=0x80000000000,smin32=0,smax32=umax32=0,var_off=(0x0; 0xffffffff00000000))")

total: 0 errors, 32 warnings, 0 checks, 1489 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 e33c9cbf775b ("bpf: replace min/max fields with struct cnum{32,64}") 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, 32 warnings, 0 checks, 1489 lines checked