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

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

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

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

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

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

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

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

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

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

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

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

WARNING: line length of 86 exceeds 80 columns
#179: FILE: kernel/bpf/verifier.c:17222:
+/* 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, 14 warnings, 0 checks, 138 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 95fa37568fa3 ("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, 14 warnings, 0 checks, 138 lines checked