kernel/bpf/verifier.c

24129 static int insn_successors(struct bpf_prog *prog, u32 idx, u32 succ[2])
24137 		succ[i++] = idx + insn_sz;
24141 		if (i == 0 || succ[0] != dst)
24142 			succ[i++] = dst;
24341 			u32 succ[2];
24345 			succ_num = insn_successors(env->prog, insn_idx, succ);
24347 				new_out |= state[succ[s]].in;
24407 	u32 succ[2];
24514 			succ_cnt = insn_successors(env->prog, w, succ);
24516 				if (pre[succ[j]]) {
24517 					low[w] = min(low[w], low[succ[j]]);
24519 					dfs[dfs_sz++] = succ[j];
24537 				if (succ[j] == w) {