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

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

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

WARNING: quoted string split across lines
#719: FILE: kernel/bpf/verifier.c:2124:
+	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
#905: FILE: kernel/bpf/verifier.c:13525:
+		dst_reg->r64 = cnum64_add(ptr_reg->r64, cnum64_negate(off_reg->r64));

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

WARNING: line length of 85 exceeds 80 columns
#1559: 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
#1586: 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
#1587: 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
#1603: 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
#1604: 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
#1623: 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
#1624: 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
#1637: 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
#1647: 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, 1486 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 c1746ea25462 ("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, 1486 lines checked