WARNING: line length of 81 exceeds 80 columns
#686: FILE: kernel/bpf/verifier.c:2039:
+	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:2047:
+	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:2077:
+	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:2078:
+	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:13452:
+		dst_reg->r64 = cnum64_add(ptr_reg->r64, cnum64_negate(off_reg->r64));

WARNING: line length of 82 exceeds 80 columns
#1492: FILE: kernel/bpf/verifier.c:15226:
+			hi32 = cnum32_from_urange(reg_u32_min(reg1) + 1, U32_MAX);

WARNING: line length of 82 exceeds 80 columns
#1525: FILE: kernel/bpf/verifier.c:15251:
+			lo32 = cnum32_from_urange(S32_MIN, reg_s32_max(reg2) - 1);

WARNING: line length of 82 exceeds 80 columns
#1526: FILE: kernel/bpf/verifier.c:15252:
+			hi32 = cnum32_from_urange(reg_s32_min(reg1) + 1, S32_MAX);

WARNING: line length of 85 exceeds 80 columns
#1628: 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
#1655: 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
#1656: 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
#1672: 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
#1673: 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
#1692: 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
#1693: 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
#1706: 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
#1716: 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, 17 warnings, 0 checks, 1556 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 41317e48d12b ("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, 17 warnings, 0 checks, 1556 lines checked