WARNING: Prefer using '"%s...", __func__' to using 'update_branch_counts', this function's name, in a string
#46: FILE: kernel/bpf/verifier.c:2037:
+				"update_branch_counts:branches_to_explore=%d",

WARNING: line length of 81 exceeds 80 columns
#62: FILE: kernel/bpf/verifier.c:2684:
+	verifier_bug(env, "REG INVARIANTS VIOLATION (%s): %s u64=[%#llx, %#llx] "

WARNING: quoted string split across lines
#63: FILE: kernel/bpf/verifier.c:2685:
+	verifier_bug(env, "REG INVARIANTS VIOLATION (%s): %s u64=[%#llx, %#llx] "
+		     "s64=[%#llx, %#llx] u32=[%#x, %#x] s32=[%#x, %#x] var_off=(%#llx, %#llx)",

WARNING: line length of 94 exceeds 80 columns
#95: FILE: kernel/bpf/verifier.c:7232:
+			verifier_bug(env, "ref_obj_id for allocated object must be non-zero");

WARNING: line length of 89 exceeds 80 columns
#115: FILE: kernel/bpf/verifier.c:8967:
+			     cur_iter->iter.state, iter_state_str(cur_iter->iter.state));

WARNING: line length of 81 exceeds 80 columns
#124: FILE: kernel/bpf/verifier.c:8977:
+			verifier_bug(env, "bad parent state for iter next call");

WARNING: line length of 83 exceeds 80 columns
#151: FILE: kernel/bpf/verifier.c:9265:
+				verifier_bug(env, "missing arg compatible BTF ID");

WARNING: line length of 81 exceeds 80 columns
#160: FILE: kernel/bpf/verifier.c:9297:
+			verifier_bug(env, "unimplemented handling of MEM_ALLOC");

WARNING: line length of 83 exceeds 80 columns
#169: FILE: kernel/bpf/verifier.c:9312:
+		verifier_bug(env, "invalid PTR_TO_BTF_ID register for type match");

WARNING: line length of 88 exceeds 80 columns
#189: FILE: kernel/bpf/verifier.c:9678:
+			verifier_bug(env, "more than one arg with ref_obj_id R%d %u %u",

WARNING: line length of 82 exceeds 80 columns
#209: FILE: kernel/bpf/verifier.c:9751:
+			verifier_bug(env, "invalid map_ptr to access map->value");

WARNING: line length of 91 exceeds 80 columns
#228: FILE: kernel/bpf/verifier.c:10939:
+			verifier_bug(env, "in callback at %d, callsite %d !calls_callback",

WARNING: line length of 91 exceeds 80 columns
#257: FILE: kernel/bpf/verifier.c:11339:
+		verifier_bug(env, "func %s#%d: r1 != ctx", func_id_name(func_id), func_id);

WARNING: line length of 96 exceeds 80 columns
#267: FILE: kernel/bpf/verifier.c:11348:
+		verifier_bug(env, "incorrect func proto %s#%d", func_id_name(func_id), func_id);

WARNING: line length of 92 exceeds 80 columns
#276: FILE: kernel/bpf/verifier.c:11421:
+				verifier_bug(env, "CONST_PTR_TO_DYNPTR cannot be released");

WARNING: line length of 107 exceeds 80 columns
#325: FILE: kernel/bpf/verifier.c:11730:
+				verifier_bug(env, "func %s has non-overwritten BPF_PTR_POISON return type",

WARNING: Prefer using '"%s...", __func__' to using 'ref_set_non_owning', this function's name, in a string
#355: FILE: kernel/bpf/verifier.c:12511:
+		verifier_bug(env, "ref_set_non_owning w/o active lock");

WARNING: line length of 92 exceeds 80 columns
#371: FILE: kernel/bpf/verifier.c:12535:
+		verifier_bug(env, "ref_obj_id is zero for owning -> non-owning conversion");

WARNING: line length of 99 exceeds 80 columns
#425: FILE: kernel/bpf/verifier.c:12974:
+				verifier_bug(env, "Only 1 prog->aux argument supported per-kfunc");

WARNING: line length of 98 exceeds 80 columns
#434: FILE: kernel/bpf/verifier.c:12990:
+					verifier_bug(env, "only one constant argument permitted");

WARNING: line length of 96 exceeds 80 columns
#445: FILE: kernel/bpf/verifier.c:13042:
+				verifier_bug(env, "more than one arg with ref_obj_id R%d %u %u",

WARNING: line length of 84 exceeds 80 columns
#456: FILE: kernel/bpf/verifier.c:13124:
+			verifier_bug(env, "unknown kfunc arg type %d", kf_arg_type);

WARNING: line length of 96 exceeds 80 columns
#465: FILE: kernel/bpf/verifier.c:13193:
+					verifier_bug(env, "no dynptr type for parent of clone");

WARNING: line length of 100 exceeds 80 columns
#473: FILE: kernel/bpf/verifier.c:13200:
+					verifier_bug(env, "missing ref obj id for parent of clone");

WARNING: line length of 88 exceeds 80 columns
#482: FILE: kernel/bpf/verifier.c:13213:
+					verifier_bug(env, "failed to obtain dynptr id");

WARNING: line length of 98 exceeds 80 columns
#491: FILE: kernel/bpf/verifier.c:13349:
+					verifier_bug(env, "only one constant argument permitted");

WARNING: line length of 86 exceeds 80 columns
#509: FILE: kernel/bpf/verifier.c:13640:
+			verifier_bug(env, "bpf_dynptr_slice(_rdwr) no constant size");

CHECK: Alignment should match open parenthesis
#528: FILE: kernel/bpf/verifier.c:14305:
+		verifier_bug(env, "unknown reason (%d)",
 			reason);

WARNING: line length of 84 exceeds 80 columns
#551: FILE: kernel/bpf/verifier.c:16840:
+			verifier_bug(env, "pseudo btf id: unexpected dst reg type");

WARNING: Prefer using '"%s...", __func__' to using 'is_state_visited', this function's name, in a string
#607: FILE: kernel/bpf/verifier.c:19563:
+			"is_state_visited:branches_to_explore=%d insn %d",

WARNING: line length of 85 exceeds 80 columns
#642: FILE: kernel/bpf/verifier.c:21348:
+				verifier_bug(env, "narrow ctx access misconfigured");

WARNING: 'convertion' may be misspelled - perhaps 'conversion'?
#651: FILE: kernel/bpf/verifier.c:21367:
+			verifier_bug(env, "error during ctx access convertion");
 			                                           ^^^^^^^^^^

WARNING: line length of 83 exceeds 80 columns
#660: FILE: kernel/bpf/verifier.c:21375:
+				verifier_bug(env, "narrow ctx load misconfigured");

WARNING: line length of 88 exceeds 80 columns
#670: FILE: kernel/bpf/verifier.c:21806:
+		verifier_bug(env, "kernel function descriptor not found for func_id %u",

WARNING: line length of 90 exceeds 80 columns
#681: FILE: kernel/bpf/verifier.c:21822:
+			verifier_bug(env, "NULL kptr_struct_meta expected at insn_idx %d",

WARNING: line length of 90 exceeds 80 columns
#692: FILE: kernel/bpf/verifier.c:21839:
+			verifier_bug(env, "NULL kptr_struct_meta expected at insn_idx %d",

WARNING: line length of 85 exceeds 80 columns
#701: FILE: kernel/bpf/verifier.c:21846:
+			verifier_bug(env, "kptr_struct_meta expected at insn_idx %d",

WARNING: line length of 85 exceeds 80 columns
#712: FILE: kernel/bpf/verifier.c:21869:
+			verifier_bug(env, "kptr_struct_meta expected at insn_idx %d",

WARNING: line length of 88 exceeds 80 columns
#731: FILE: kernel/bpf/verifier.c:22140:
+				verifier_bug(env, "%d insns generated for ld_abs", cnt);

WARNING: line length of 100 exceeds 80 columns
#740: FILE: kernel/bpf/verifier.c:22476:
+					verifier_bug(env, "%d insns generated for map lookup", cnt);

total: 0 errors, 39 warnings, 1 checks, 681 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 5301ca865381 ("bpf: Warn on internal verifier errors") 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, 39 warnings, 1 checks, 681 lines checked