Lines Matching defs:succ

787 	struct bpf_iarray *succ = NULL;
809 			succ = bpf_insn_successors(env, cur);
810 			if (state[cur].next_succ == succ->cnt) {
817 			s = succ->items[state[cur].next_succ];
856 	struct bpf_iarray *succ;
967 			succ = bpf_insn_successors(env, w);
968 			for (j = dfs_pos[dfs_sz - 1]; j < succ->cnt; ++j) {
969 				if (pre[succ->items[j]]) {
970 					low[w] = min(low[w], low[succ->items[j]]);
973 					 * Once DFS for succ->items[j] is complete,
974 					 * pre[succ->items[j]] is non-zero, hence
980 					dfs[dfs_sz] = succ->items[j];
999 			for (j = 0; j < succ->cnt; ++j) {	/* self reference? */
1000 				if (succ->items[j] == w) {