WARNING: line length of 99 exceeds 80 columns
#41: FILE: kernel/bpf/liveness.c:735:
+static bool is_live_before(struct func_instance *instance, u32 insn_idx, u32 frameno, u32 half_spi)

WARNING: line length of 82 exceeds 80 columns
#57: FILE: kernel/bpf/liveness.c:761:
+bool bpf_stack_slot_alive(struct bpf_verifier_env *env, u32 frameno, u32 half_spi)

WARNING: line length of 82 exceeds 80 columns
#66: FILE: kernel/bpf/liveness.c:775:
+	alive = is_live_before(curframe_instance, q->insn_idx, frameno, half_spi);

WARNING: line length of 84 exceeds 80 columns
#77: FILE: kernel/bpf/liveness.c:784:
+			: is_live_before(instance, callsite + 1, frameno, half_spi);

WARNING: line length of 83 exceeds 80 columns
#124: FILE: kernel/bpf/verifier.c:20209:
+			 * detect overwrites and invalidate associated data slices.

WARNING: line length of 88 exceeds 80 columns
#125: FILE: kernel/bpf/verifier.c:20210:
+			 * is_iter_reg_valid_uninit() and is_irq_flag_reg_valid_uninit()

WARNING: line length of 89 exceeds 80 columns
#126: FILE: kernel/bpf/verifier.c:20211:
+			 * check for their respective slot types to detect double-create.

WARNING: line length of 85 exceeds 80 columns
#138: FILE: kernel/bpf/verifier.c:20223:
+			 * is_spilled_scalar_after() check either slot_type[0] or [4]

WARNING: line length of 88 exceeds 80 columns
#141: FILE: kernel/bpf/verifier.c:20226:
+				struct bpf_reg_state *spill = &st->stack[i].spilled_ptr;

WARNING: line length of 91 exceeds 80 columns
#147: FILE: kernel/bpf/verifier.c:20232:
+					 * 8 byte spill of scalar 0 where half slot is dead

WARNING: line length of 82 exceeds 80 columns
#148: FILE: kernel/bpf/verifier.c:20233:
+					 * should become STACK_ZERO in lo 4 bytes.

WARNING: line length of 83 exceeds 80 columns
#153: FILE: kernel/bpf/verifier.c:20238:
+						u8 *t = &st->stack[i].slot_type[j];

WARNING: Too many leading tabs - consider code refactoring
#155: FILE: kernel/bpf/verifier.c:20240:
+						if (*t == STACK_SPILL)

CHECK: Alignment should match open parenthesis
#169: FILE: kernel/bpf/verifier.c:20253:
+static int clean_verifier_state(struct bpf_verifier_env *env,
 				 struct bpf_verifier_state *st)

CHECK: Alignment should match open parenthesis
#199: FILE: kernel/bpf/verifier.c:20366:
+static int clean_live_states(struct bpf_verifier_env *env, int insn,
 			      struct bpf_verifier_state *cur)

total: 0 errors, 13 warnings, 2 checks, 183 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 eb468c82039a ("bpf: 4-byte precise clean_verifier_state") 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, 13 warnings, 2 checks, 183 lines checked