WARNING: line length of 87 exceeds 80 columns
#91: FILE: kernel/bpf/verifier.c:2564:
+			reg->umax_value = min_t(u64, reg->umax_value, reg->smax_value);

WARNING: line length of 87 exceeds 80 columns
#93: FILE: kernel/bpf/verifier.c:2566:
+			/* This second condition considers the case where the u64 range

WARNING: line length of 86 exceeds 80 columns
#96: FILE: kernel/bpf/verifier.c:2569:
+			 * 0                                                   U64_MAX

WARNING: line length of 86 exceeds 80 columns
#97: FILE: kernel/bpf/verifier.c:2570:
+			 * |              [xxxxxxxxxxxxxx u64 range xxxxxxxxxxxxxx]  |

WARNING: line length of 86 exceeds 80 columns
#98: FILE: kernel/bpf/verifier.c:2571:
+			 * |----------------------------|----------------------------|

WARNING: line length of 86 exceeds 80 columns
#99: FILE: kernel/bpf/verifier.c:2572:
+			 * |xxxxxxxxx]                       [xxxxxxxxxxxx s64 range |

WARNING: line length of 86 exceeds 80 columns
#100: FILE: kernel/bpf/verifier.c:2573:
+			 * 0                     S64_MAX S64_MIN                    -1

WARNING: line length of 87 exceeds 80 columns
#103: FILE: kernel/bpf/verifier.c:2576:
+			reg->umin_value = max_t(u64, reg->umin_value, reg->smin_value);

total: 0 errors, 8 warnings, 0 checks, 58 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 9006aebcf708 ("bpf: Improve bounds when s64 crosses sign boundary") 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, 8 warnings, 0 checks, 58 lines checked