WARNING: line length of 85 exceeds 80 columns
#54: FILE: kernel/bpf/verifier.c:1954:
+		 * If path traversal stops inside an SCC, corresponding bpf_scc_visit

WARNING: line length of 82 exceeds 80 columns
#55: FILE: kernel/bpf/verifier.c:1955:
+		 * must exist for non-speculative paths. For non-speculative paths

WARNING: line length of 82 exceeds 80 columns
#57: FILE: kernel/bpf/verifier.c:1957:
+		 * a. Verification error is found, maybe_exit_scc() is not called.

WARNING: line length of 87 exceeds 80 columns
#58: FILE: kernel/bpf/verifier.c:1958:
+		 * b. Top level BPF_EXIT is reached. Top level BPF_EXIT is not a member

WARNING: line length of 85 exceeds 80 columns
#60: FILE: kernel/bpf/verifier.c:1960:
+		 * c. A checkpoint is reached and matched. Checkpoints are created by

WARNING: line length of 88 exceeds 80 columns
#61: FILE: kernel/bpf/verifier.c:1961:
+		 *    is_state_visited(), which calls maybe_enter_scc(), which allocates

WARNING: line length of 86 exceeds 80 columns
#66: FILE: kernel/bpf/verifier.c:1966:
+			verifier_bug(env, "scc exit: no visit info for call chain %s",

total: 0 errors, 7 warnings, 0 checks, 27 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 178ed8b35316 ("bpf: dont report verifier bug for missing bpf_scc_visit on speculative path") 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, 7 warnings, 0 checks, 27 lines checked