fix codde

tecki · tecki · commit b5692b94b3fd · 2025-11-10T11:41:58.000+01:00
diff --git a/kernel/bpf/liveness.c b/kernel/bpf/liveness.c
@@ -500,6 +500,10 @@ bpf_insn_successors(struct bpf_verifier_env *env, u32 idx)
 	if (opcode_info->can_jump)
 		succ->items[succ->cnt++] = idx + bpf_jmp_offset(insn) + 1;
 
+	if (unlikely(insn->code == (BPF_JMP | BPF_CALL) && insn->src_reg == 0
+		     && insn->imm == BPF_FUNC_tail_call))
+		succ->items[succ->cnt++] = idx;
+
 	return succ;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -500,6 +500,10 @@ bpf_insn_successors(struct bpf_verifier_env *env, u32 idx)`
`500`	`500`	`if (opcode_info->can_jump)`
`501`	`501`	`succ->items[succ->cnt++] = idx + bpf_jmp_offset(insn) + 1;`
`502`	`502`
	`503`	`+ if (unlikely(insn->code == (BPF_JMP \| BPF_CALL) && insn->src_reg == 0`
	`504`	`+ && insn->imm == BPF_FUNC_tail_call))`
	`505`	`+ succ->items[succ->cnt++] = idx;`
	`506`	`+`
`503`	`507`	`return succ;`
`504`	`508`	`}`
`505`	`509`