WARNING: braces {} are not necessary for single statement blocks
#74: FILE: kernel/bpf/tnum.c:131:
+		if (a.value & 1) {
+			acc = tnum_add(acc, b);
+		}

WARNING: line length of 94 exceeds 80 columns
#81: FILE: kernel/bpf/tnum.c:136:
+			/* Simply multiplying b with LSB(a)'s uncertainty results in decreased

WARNING: line length of 95 exceeds 80 columns
#82: FILE: kernel/bpf/tnum.c:137:
+			 * precision, as explained in an open question ("How can we incorporate

WARNING: line length of 89 exceeds 80 columns
#83: FILE: kernel/bpf/tnum.c:138:
+			 * correlation in unknown bits across partial products?") left by

WARNING: line length of 93 exceeds 80 columns
#84: FILE: kernel/bpf/tnum.c:139:
+			 * Harishankar et al. However, we know for sure that LSB(a) is either

WARNING: line length of 93 exceeds 80 columns
#85: FILE: kernel/bpf/tnum.c:140:
+			 * 0 or 1, from which we could find two possible partial products and

WARNING: line length of 95 exceeds 80 columns
#86: FILE: kernel/bpf/tnum.c:141:
+			 * take a union. This improves the precision in a significant number of

WARNING: line length of 88 exceeds 80 columns
#89: FILE: kernel/bpf/tnum.c:144:
+			 * The first partial product (acc_0) is for the case LSB(a) = 0;

WARNING: line length of 83 exceeds 80 columns
#95: FILE: kernel/bpf/tnum.c:150:
+			struct tnum iterprod = TNUM(b.value & ~itermask, itermask);

total: 0 errors, 9 warnings, 0 checks, 84 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 6a735915e6ae ("bpf: improve the general precision of tnum_mul") has style problems, please review.

NOTE: Ignored message types: ALLOC_SIZEOF_STRUCT BAD_REPORTED_BY_LINK CAMELCASE COMMIT_LOG_LONG_LINE 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, 9 warnings, 0 checks, 84 lines checked