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

WARNING: line length of 91 exceeds 80 columns
#75: FILE: kernel/bpf/verifier.c:16683:
+/* Learn more information about live branches by simulating both branches being taken using

WARNING: line length of 92 exceeds 80 columns
#76: FILE: kernel/bpf/verifier.c:16684:
+ * regs_refine_cond_op. Because regs_refine_cond_op is sound when the branch is taken, if it

WARNING: line length of 99 exceeds 80 columns
#80: FILE: kernel/bpf/verifier.c:16688:
+					struct bpf_reg_state *false_reg2, u8 opcode, bool is_jmp32)

WARNING: line length of 82 exceeds 80 columns
#82: FILE: kernel/bpf/verifier.c:16690:
+	struct bpf_reg_state false_reg1_c, false_reg2_c, true_reg1_c, true_reg2_c;

WARNING: line length of 92 exceeds 80 columns
#84: FILE: kernel/bpf/verifier.c:16692:
+	/* Create copies of reg states to simulate both branches because regs_refine_cond_op

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

WARNING: line length of 88 exceeds 80 columns
#93: FILE: kernel/bpf/verifier.c:16701:
+	regs_refine_cond_op(&false_reg1_c, &false_reg2_c, rev_opcode(opcode), is_jmp32);

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

WARNING: line length of 97 exceeds 80 columns
#95: FILE: kernel/bpf/verifier.c:16703:
+	 * reg_states in the FALSE branch (i.e. false_reg1, false_reg2), the FALSE branch must be

WARNING: line length of 91 exceeds 80 columns
#98: FILE: kernel/bpf/verifier.c:16706:
+	if (range_bounds_violation(&false_reg1_c) || range_bounds_violation(&false_reg2_c))

WARNING: line length of 91 exceeds 80 columns
#102: FILE: kernel/bpf/verifier.c:16710:
+	if (range_bounds_violation(&false_reg1_c) || range_bounds_violation(&false_reg2_c))

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

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

WARNING: line length of 89 exceeds 80 columns
#111: FILE: kernel/bpf/verifier.c:16719:
+	if (range_bounds_violation(&true_reg1_c) || range_bounds_violation(&true_reg2_c))

WARNING: line length of 89 exceeds 80 columns
#115: FILE: kernel/bpf/verifier.c:16723:
+	if (range_bounds_violation(&true_reg1_c) || range_bounds_violation(&true_reg2_c))

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

total: 0 errors, 17 warnings, 0 checks, 65 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 ea987ae58ae7 ("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, 17 warnings, 0 checks, 65 lines checked