Lines Matching refs:Succ
96 const CFGBlock *Succ = *(Entry->succ_begin());
100 BlockEdge StartLoc(Entry, Succ, L);
555 ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew);
556 Succ->addPredecessor(N, G);
559 WList->enqueue(Succ, Block, Idx+1);
642 ExplodedNode *Succ = generateNodeImpl(Loc, State, NodePred);
643 return Succ;
651 ExplodedNode *Succ =
654 Succ->addPredecessor(Pred, Eng.G);
660 Eng.WList->enqueue(Succ);
662 return Succ;
669 ExplodedNode *Succ =
672 Succ->addPredecessor(Pred, Eng.G);
676 Eng.WList->enqueue(Succ);
677 return Succ;
693 ExplodedNode *Succ =
696 Succ->addPredecessor(Pred, Eng.G);
702 Eng.WList->enqueue(Succ);
704 return Succ;