WARNING: line length of 81 exceeds 80 columns
#94: FILE: kernel/bpf/verifier.c:2186:
+	/* Here we would like to handle a special case after sign extending load,

WARNING: line length of 98 exceeds 80 columns
#123: FILE: kernel/bpf/verifier.c:2215:
+	if (reg->s32_min_value >= 0 && reg->smin_value >= S32_MIN && reg->smax_value <= S32_MAX) {

CHECK: multiple assignments should be avoided
#124: FILE: kernel/bpf/verifier.c:2216:
+		reg->smin_value = reg->umin_value = reg->s32_min_value;

CHECK: multiple assignments should be avoided
#125: FILE: kernel/bpf/verifier.c:2217:
+		reg->smax_value = reg->umax_value = reg->s32_max_value;

WARNING: line length of 92 exceeds 80 columns
#127: FILE: kernel/bpf/verifier.c:2219:
+					      tnum_range(reg->smin_value, reg->smax_value));

total: 0 errors, 3 warnings, 2 checks, 42 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 ecf16221c98d ("bpf: Get better reg range with ldsx and 32bit compare") 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, 3 warnings, 2 checks, 42 lines checked