WARNING: line length of 81 exceeds 80 columns
#51: FILE: include/linux/bpf_verifier.h:842:
+#define verifier_bug_if(cond, env, fmt, args...)				\

CHECK: Macro argument 'env' may be better as '(env)' to avoid precedence issues
#51: FILE: include/linux/bpf_verifier.h:842:
+#define verifier_bug_if(cond, env, fmt, args...)				\
+	({									\
+		if (unlikely(cond)) {						\
+			BPF_WARN_ONCE(1, "verifier bug: " fmt, ##args);		\
+			bpf_log(&env->log, "verifier bug: " fmt, ##args);	\
+		}								\
+		(cond);								\
+	})

WARNING: line length of 81 exceeds 80 columns
#52: FILE: include/linux/bpf_verifier.h:843:
+	({									\

WARNING: line length of 81 exceeds 80 columns
#53: FILE: include/linux/bpf_verifier.h:844:
+		if (unlikely(cond)) {						\

WARNING: line length of 81 exceeds 80 columns
#54: FILE: include/linux/bpf_verifier.h:845:
+			BPF_WARN_ONCE(1, "verifier bug: " fmt, ##args);		\

WARNING: line length of 81 exceeds 80 columns
#55: FILE: include/linux/bpf_verifier.h:846:
+			bpf_log(&env->log, "verifier bug: " fmt, ##args);	\

WARNING: line length of 81 exceeds 80 columns
#56: FILE: include/linux/bpf_verifier.h:847:
+		}								\

WARNING: line length of 81 exceeds 80 columns
#57: FILE: include/linux/bpf_verifier.h:848:
+		(cond);								\

WARNING: Prefer using '"%s...", __func__' to using 'get_loop_entry', this function's name, in a string
#96: FILE: kernel/bpf/verifier.c:1928:
+			verifier_bug(env, "infinite loop in get_loop_entry\n");

WARNING: line length of 86 exceeds 80 columns
#122: FILE: kernel/bpf/verifier.c:3861:
+				(env->cur_hist_ent->flags & insn_flags) != insn_flags,

WARNING: line length of 93 exceeds 80 columns
#123: FILE: kernel/bpf/verifier.c:3862:
+				env, "insn history: insn_idx %d cur flags %x new flags %x\n",

WARNING: line length of 85 exceeds 80 columns
#124: FILE: kernel/bpf/verifier.c:3863:
+				env->insn_idx, env->cur_hist_ent->flags, insn_flags);

WARNING: line length of 82 exceeds 80 columns
#141: FILE: kernel/bpf/verifier.c:3990:
+		verifier_bug(bt->env, "subprog enter from frame %d\n", bt->frame);

WARNING: line length of 87 exceeds 80 columns
#169: FILE: kernel/bpf/verifier.c:4285:
+					verifier_bug(env, "scratch reg set: regs %x\n",

WARNING: line length of 89 exceeds 80 columns
#180: FILE: kernel/bpf/verifier.c:4300:
+					verifier_bug(env, "unexpected precise regs %x\n",

WARNING: line length of 96 exceeds 80 columns
#190: FILE: kernel/bpf/verifier.c:4308:
+					verifier_bug(env, "subprog leftover stack slots %llx\n",

WARNING: line length of 81 exceeds 80 columns
#201: FILE: kernel/bpf/verifier.c:4332:
+				verifier_bug(env, "unexpected precise regs %x\n",

WARNING: line length of 89 exceeds 80 columns
#208: FILE: kernel/bpf/verifier.c:4337:
+				verifier_bug(env, "callback leftover stack slots %llx\n",

WARNING: line length of 90 exceeds 80 columns
#219: FILE: kernel/bpf/verifier.c:4360:
+				verifier_bug(env, "regs not found %x\n", bt_reg_mask(bt));

WARNING: line length of 90 exceeds 80 columns
#229: FILE: kernel/bpf/verifier.c:4378:
+				verifier_bug(env, "regs not found %x\n", bt_reg_mask(bt));

WARNING: line length of 109 exceeds 80 columns
#240: FILE: kernel/bpf/verifier.c:4719:
+			verifier_bug(env, "backtracking func entry subprog %d reg_mask %x stack_mask %llx\n",

WARNING: line length of 98 exceeds 80 columns
#241: FILE: kernel/bpf/verifier.c:4720:
+				     st->frame[0]->subprogno, bt_reg_mask(bt), bt_stack_mask(bt));

WARNING: line length of 92 exceeds 80 columns
#262: FILE: kernel/bpf/verifier.c:4782:
+					verifier_bug(env, "stack slot %d, total slots %d\n",

WARNING: line length of 94 exceeds 80 columns
#263: FILE: kernel/bpf/verifier.c:4783:
+						     i, func->allocated_stack / BPF_REG_SIZE);

WARNING: line length of 90 exceeds 80 columns
#280: FILE: kernel/bpf/verifier.c:6565:
+				verifier_bug(env, "subprog has tail_call and async cb\n");

WARNING: line length of 81 exceeds 80 columns
#341: FILE: kernel/bpf/verifier.c:10461:
+		verifier_bug(env, "kfunc %s#%d not marked as callback-calling\n",

WARNING: line length of 82 exceeds 80 columns
#348: FILE: kernel/bpf/verifier.c:10466:
+		verifier_bug(env, "helper %s#%d not marked as callback-calling\n",

WARNING: line length of 81 exceeds 80 columns
#358: FILE: kernel/bpf/verifier.c:10520:
+		verifier_bug(env, "No program starts at insn %d\n", target_insn);

WARNING: line length of 92 exceeds 80 columns
#377: FILE: kernel/bpf/verifier.c:19702:
+					if (verifier_bug_if(env->cur_state->loop_entry, env,

WARNING: line length of 96 exceeds 80 columns
#378: FILE: kernel/bpf/verifier.c:19703:
+							    "cur_state->loop_entry not null\n"))

WARNING: line length of 82 exceeds 80 columns
#413: FILE: kernel/bpf/verifier.c:22448:
+			verifier_bug(env, "stack_slots supports may_goto only\n");

WARNING: The commit message has 'syzkaller', perhaps it also needs a 'Fixes:' tag?

total: 0 errors, 31 warnings, 1 checks, 345 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 9210b56d1458 ("bpf: WARN_ONCE on verifier bugs") 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, 31 warnings, 1 checks, 345 lines checked