WARNING: line length of 87 exceeds 80 columns
#82: FILE: kernel/bpf/verifier.c:16789:
+static void regs_refine_cond_op(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2,

WARNING: line length of 88 exceeds 80 columns
#87: FILE: kernel/bpf/verifier.c:16794:
+ * Learn more information about live branches by simulating refinement on both branches.

WARNING: line length of 95 exceeds 80 columns
#88: FILE: kernel/bpf/verifier.c:16795:
+ * regs_refine_cond_op() is sound, so producing ill-formed register bounds for the branch means

WARNING: line length of 95 exceeds 80 columns
#91: FILE: kernel/bpf/verifier.c:16798:
+static int simulate_both_branches_taken(struct bpf_verifier_env *env, u8 opcode, bool is_jmp32)

WARNING: Prefer 'fallthrough;' over fallthrough comment
#93: FILE: kernel/bpf/verifier.c:16800:
+	/* Fallthrough (FALSE) branch */

WARNING: line length of 94 exceeds 80 columns
#94: FILE: kernel/bpf/verifier.c:16801:
+	regs_refine_cond_op(&env->false_reg1, &env->false_reg2, rev_opcode(opcode), is_jmp32);

WARNING: line length of 89 exceeds 80 columns
#98: FILE: kernel/bpf/verifier.c:16805:
+	 * If there is a range bounds violation in *any* of the abstract values in either

WARNING: line length of 96 exceeds 80 columns
#99: FILE: kernel/bpf/verifier.c:16806:
+	 * reg_states in the FALSE branch (i.e. reg1, reg2), the FALSE branch must be dead. Only

WARNING: line length of 97 exceeds 80 columns
#102: FILE: kernel/bpf/verifier.c:16809:
+	if (range_bounds_violation(&env->false_reg1) || range_bounds_violation(&env->false_reg2))

WARNING: line length of 89 exceeds 80 columns
#110: FILE: kernel/bpf/verifier.c:16817:
+	 * If there is a range bounds violation in *any* of the abstract values in either

WARNING: line length of 99 exceeds 80 columns
#111: FILE: kernel/bpf/verifier.c:16818:
+	 * reg_states in the TRUE branch (i.e. true_reg1, true_reg2), the TRUE branch must be dead.

WARNING: line length of 95 exceeds 80 columns
#114: FILE: kernel/bpf/verifier.c:16821:
+	if (range_bounds_violation(&env->true_reg1) || range_bounds_violation(&env->true_reg2))

WARNING: line length of 85 exceeds 80 columns
#117: FILE: kernel/bpf/verifier.c:16824:
+	/* Both branches are possible, we can't determine which one will be taken. */

WARNING: line length of 91 exceeds 80 columns
#126: FILE: kernel/bpf/verifier.c:16831:
+static int is_scalar_branch_taken(struct bpf_verifier_env *env, struct bpf_reg_state *reg1,

WARNING: line length of 87 exceeds 80 columns
#127: FILE: kernel/bpf/verifier.c:16832:
+				  struct bpf_reg_state *reg2, u8 opcode, bool is_jmp32)

WARNING: line length of 84 exceeds 80 columns
#146: FILE: kernel/bpf/verifier.c:17055:
+static int is_branch_taken(struct bpf_verifier_env *env, struct bpf_reg_state *reg1,

WARNING: line length of 86 exceeds 80 columns
#183: FILE: kernel/bpf/verifier.c:17293:
+/* Check for invariant violations on the registers for both branches of a condition */

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

total: 0 errors, 18 warnings, 0 checks, 140 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 f6a712d8122f ("bpf: Simulate branches to prune based on range violations") has style problems, please review.

NOTE: Ignored message types: ALLOC_SIZEOF_STRUCT BAD_REPORTED_BY_LINK CAMELCASE COMMIT_LOG_LONG_LINE FILE_PATH_CHANGES 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, 18 warnings, 0 checks, 140 lines checked