WARNING: line length of 94 exceeds 80 columns
#36: FILE: include/linux/bpf_verifier.h:1220:
+int bpf_mark_stack_read(struct bpf_verifier_env *env, u32 frameno, u32 insn_idx, spis_t mask);

WARNING: line length of 82 exceeds 80 columns
#37: FILE: include/linux/bpf_verifier.h:1221:
+void bpf_mark_stack_write(struct bpf_verifier_env *env, u32 frameno, spis_t mask);

WARNING: line length of 86 exceeds 80 columns
#53: FILE: kernel/bpf/liveness.c:96:
+	spis_t may_read;	/* stack slots that may be read by this instruction */

WARNING: line length of 96 exceeds 80 columns
#55: FILE: kernel/bpf/liveness.c:98:
+	spis_t must_write_acc;	/* stack slots written by this instruction and its successors */

WARNING: line length of 98 exceeds 80 columns
#56: FILE: kernel/bpf/liveness.c:99:
+	spis_t live_before;	/* stack slots that may be read by this insn and its successors */

WARNING: line length of 96 exceeds 80 columns
#74: FILE: kernel/bpf/liveness.c:302:
+			   struct func_instance *instance, u32 frame, u32 insn_idx, spis_t mask)

WARNING: line length of 91 exceeds 80 columns
#97: FILE: kernel/bpf/liveness.c:319:
+int bpf_mark_stack_read(struct bpf_verifier_env *env, u32 frame, u32 insn_idx, spis_t mask)

WARNING: line length of 101 exceeds 80 columns
#118: FILE: kernel/bpf/liveness.c:354:
+	env->liveness->write_masks_acc[frame] = spis_or(env->liveness->write_masks_acc[frame], mask);

WARNING: line length of 93 exceeds 80 columns
#183: FILE: kernel/bpf/liveness.c:440:
+			     -(spi + 1) * BPF_REG_SIZE + (lo && !hi ? BPF_HALF_REG_SIZE : 0),

WARNING: line length of 88 exceeds 80 columns
#212: FILE: kernel/bpf/liveness.c:462:
+		bpf_fmt_spis_mask(env->tmp_str_buf, sizeof(env->tmp_str_buf), new_ones);

WARNING: line length of 89 exceeds 80 columns
#218: FILE: kernel/bpf/liveness.c:466:
+		bpf_fmt_spis_mask(env->tmp_str_buf, sizeof(env->tmp_str_buf), new_zeros);

WARNING: line length of 85 exceeds 80 columns
#250: FILE: kernel/bpf/liveness.c:620:
+		must_write_acc = spis_and(must_write_acc, succ_insn->must_write_acc);

WARNING: line length of 85 exceeds 80 columns
#330: FILE: kernel/bpf/verifier.c:1117:
+		bpf_mark_stack_write(env, state->frameno, spis_single_slot(spi - i));

WARNING: line length of 85 exceeds 80 columns
#339: FILE: kernel/bpf/verifier.c:1146:
+		bpf_mark_stack_write(env, state->frameno, spis_single_slot(spi - i));

WARNING: line length of 81 exceeds 80 columns
#388: FILE: kernel/bpf/verifier.c:5431:
+		bpf_mark_stack_write(env, state->frameno, spis_single_slot(spi));

WARNING: line length of 85 exceeds 80 columns
#391: FILE: kernel/bpf/verifier.c:5434:
+		bpf_mark_stack_write(env, state->frameno, spis_one_bit(spi * 2 + 1));

WARNING: line length of 81 exceeds 80 columns
#394: FILE: kernel/bpf/verifier.c:5437:
+		bpf_mark_stack_write(env, state->frameno, spis_one_bit(spi * 2));

total: 0 errors, 17 warnings, 0 checks, 371 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 4b30773dab80 ("bpf: make liveness.c track stack with 4-byte granularity") 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, 371 lines checked