WARNING: line length of 87 exceeds 80 columns
#73: FILE: arch/x86/net/bpf_jit_comp.c:2633:
+			emit_indirect_jump(&prog, insn->dst_reg, image + addrs[i - 1]);

WARNING: line length of 86 exceeds 80 columns
#98: FILE: include/linux/bpf_verifier.h:530:
+			struct bpf_iarray *jt;	/* jump table for gotox instruction */

WARNING: line length of 89 exceeds 80 columns
#132: FILE: kernel/bpf/bpf_insn_array.c:130:
+static int insn_array_map_direct_value_addr(const struct bpf_map *map, u64 *imm, u32 off)

WARNING: line length of 90 exceeds 80 columns
#228: FILE: kernel/bpf/verifier.c:6031:
+	err = check_mem_region_access(env, regno, off, size, mem_size, zero_size_allowed);

WARNING: line length of 92 exceeds 80 columns
#246: FILE: kernel/bpf/verifier.c:7502:
+	err = check_ptr_alignment(env, reg, off, size, strict_alignment_once || insn_array);

WARNING: line length of 98 exceeds 80 columns
#268: FILE: kernel/bpf/verifier.c:7564:
+					verbose(env, "Invalid read of %d bytes from insn_array\n",

CHECK: Alignment should match open parenthesis
#269: FILE: kernel/bpf/verifier.c:7565:
+					verbose(env, "Invalid read of %d bytes from insn_array\n",
+						     size);

WARNING: line length of 82 exceeds 80 columns
#327: FILE: kernel/bpf/verifier.c:17890:
+static int copy_insn_array_uniq(struct bpf_map *map, u32 start, u32 end, u32 *off)

WARNING: line length of 90 exceeds 80 columns
#389: FILE: kernel/bpf/verifier.c:17952:
+		if (jt_cur->items[0] >= subprog_start && jt_cur->items[0] < subprog_end) {

WARNING: Missing a blank line after declarations
#391: FILE: kernel/bpf/verifier.c:17954:
+			u32 old_cnt = jt ? jt->cnt : 0;
+			jt = iarray_realloc(jt, old_cnt + jt_cur->cnt);

WARNING: line length of 85 exceeds 80 columns
#396: FILE: kernel/bpf/verifier.c:17959:
+			memcpy(jt->items + old_cnt, jt_cur->items, jt_cur->cnt << 2);

WARNING: line length of 97 exceeds 80 columns
#403: FILE: kernel/bpf/verifier.c:17966:
+		verbose(env, "no jump tables found for subprog starting at %u\n", subprog_start);

WARNING: line length of 93 exceeds 80 columns
#426: FILE: kernel/bpf/verifier.c:17989:
+	/* Check that the every element of the jump table fits within the given subprogram */

WARNING: line length of 82 exceeds 80 columns
#428: FILE: kernel/bpf/verifier.c:17991:
+		if (jt->items[i] < subprog_start || jt->items[i] >= subprog_end) {

WARNING: line length of 100 exceeds 80 columns
#429: FILE: kernel/bpf/verifier.c:17992:
+			verbose(env, "jump table for insn %d points outside of the subprog [%u,%u]",

CHECK: Alignment should match open parenthesis
#430: FILE: kernel/bpf/verifier.c:17993:
+			verbose(env, "jump table for insn %d points outside of the subprog [%u,%u]",
+					t, subprog_start, subprog_end);

WARNING: line length of 94 exceeds 80 columns
#460: FILE: kernel/bpf/verifier.c:18023:
+			verbose(env, "indirect jump out of range from insn %d to %d\n", t, w);

CHECK: Alignment should match open parenthesis
#519: FILE: kernel/bpf/verifier.c:20088:
+	if (check_add_overflow(reg->umin_value, reg->off, &min_index) ||
+		(min_index > (u64) U32_MAX * size)) {

CHECK: No space is necessary after a cast
#519: FILE: kernel/bpf/verifier.c:20088:
+		(min_index > (u64) U32_MAX * size)) {

WARNING: line length of 86 exceeds 80 columns
#520: FILE: kernel/bpf/verifier.c:20089:
+		verbose(env, "the sum of R%u umin_value %llu and off %u is too big\n",

CHECK: Alignment should match open parenthesis
#521: FILE: kernel/bpf/verifier.c:20090:
+		verbose(env, "the sum of R%u umin_value %llu and off %u is too big\n",
+			     regno, reg->umin_value, reg->off);

CHECK: Alignment should match open parenthesis
#525: FILE: kernel/bpf/verifier.c:20094:
+	if (check_add_overflow(reg->umax_value, reg->off, &max_index) ||
+		(max_index > (u64) U32_MAX * size)) {

CHECK: No space is necessary after a cast
#525: FILE: kernel/bpf/verifier.c:20094:
+		(max_index > (u64) U32_MAX * size)) {

WARNING: line length of 86 exceeds 80 columns
#526: FILE: kernel/bpf/verifier.c:20095:
+		verbose(env, "the sum of R%u umax_value %llu and off %u is too big\n",

CHECK: Alignment should match open parenthesis
#527: FILE: kernel/bpf/verifier.c:20096:
+		verbose(env, "the sum of R%u umax_value %llu and off %u is too big\n",
+			     regno, reg->umax_value, reg->off);

WARNING: line length of 97 exceeds 80 columns
#535: FILE: kernel/bpf/verifier.c:20104:
+		verbose(env, "R%u points to outside of jump table: [%llu,%llu] max_entries %u\n",

CHECK: Alignment should match open parenthesis
#536: FILE: kernel/bpf/verifier.c:20105:
+		verbose(env, "R%u points to outside of jump table: [%llu,%llu] max_entries %u\n",
+			     regno, min_index, max_index, map->max_entries);

WARNING: line length of 83 exceeds 80 columns
#546: FILE: kernel/bpf/verifier.c:20115:
+static int check_indirect_jump(struct bpf_verifier_env *env, struct bpf_insn *insn)

CHECK: Alignment should match open parenthesis
#559: FILE: kernel/bpf/verifier.c:20128:
+		verbose(env, "R%d has type %d, expected PTR_TO_INSN\n",
+			     insn->dst_reg, dst_reg->type);

WARNING: line length of 86 exceeds 80 columns
#564: FILE: kernel/bpf/verifier.c:20133:
+	if (verifier_bug_if(!map, env, "R%d has an empty map pointer", insn->dst_reg))

WARNING: line length of 91 exceeds 80 columns
#568: FILE: kernel/bpf/verifier.c:20137:
+			    "R%d has incorrect map type %d", insn->dst_reg, map->map_type))

WARNING: line length of 91 exceeds 80 columns
#571: FILE: kernel/bpf/verifier.c:20140:
+	err = indirect_jump_min_max_index(env, insn->dst_reg, map, &min_index, &max_index);

WARNING: line length of 89 exceeds 80 columns
#576: FILE: kernel/bpf/verifier.c:20145:
+	if (!env->gotox_tmp_buf || env->gotox_tmp_buf->cnt < max_index - min_index + 1) {

WARNING: line length of 87 exceeds 80 columns
#583: FILE: kernel/bpf/verifier.c:20152:
+	n = copy_insn_array_uniq(map, min_index, max_index, env->gotox_tmp_buf->items);

WARNING: line length of 87 exceeds 80 columns
#587: FILE: kernel/bpf/verifier.c:20156:
+		verbose(env, "register R%d doesn't point to any offset in map id=%d\n",

CHECK: Alignment should match open parenthesis
#588: FILE: kernel/bpf/verifier.c:20157:
+		verbose(env, "register R%d doesn't point to any offset in map id=%d\n",
+			     insn->dst_reg, map->id);

WARNING: line length of 86 exceeds 80 columns
#594: FILE: kernel/bpf/verifier.c:20163:
+					  env->insn_idx, env->cur_state->speculative);

CHECK: spaces preferred around that '-' (ctx:VxV)
#598: FILE: kernel/bpf/verifier.c:20167:
+	env->insn_idx = env->gotox_tmp_buf->items[n-1];
 	                                           ^

WARNING: line length of 92 exceeds 80 columns
#612: FILE: kernel/bpf/verifier.c:20276:
+					verbose(env, "BPF_JA|BPF_X uses reserved fields\n");

WARNING: line length of 82 exceeds 80 columns
#634: FILE: kernel/bpf/verifier.c:21357:
+ * Clean up dynamically allocated fields of aux data for instructions [start, ...]

WARNING: line length of 81 exceeds 80 columns
#636: FILE: kernel/bpf/verifier.c:21359:
+static void clear_insn_aux_data(struct bpf_verifier_env *env, int start, int len)

total: 0 errors, 29 warnings, 12 checks, 567 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 8041261a5bc7 ("bpf, x86: add support for indirect jumps") 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, 29 warnings, 12 checks, 567 lines checked