Lines Matching defs:Succ
105 const CFGBlock *Succ = *(Entry->succ_begin());
109 BlockEdge StartLoc(Entry, Succ, L);
574 ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew);
575 Succ->addPredecessor(N, G);
578 WList->enqueue(Succ, Block, Idx+1);
686 ExplodedNode *Succ = generateNodeImpl(Loc, State, NodePred);
687 return Succ;
695 ExplodedNode *Succ =
698 Succ->addPredecessor(Pred, Eng.G);
704 Eng.WList->enqueue(Succ);
706 return Succ;
713 ExplodedNode *Succ =
716 Succ->addPredecessor(Pred, Eng.G);
720 Eng.WList->enqueue(Succ);
721 return Succ;
737 ExplodedNode *Succ =
740 Succ->addPredecessor(Pred, Eng.G);
746 Eng.WList->enqueue(Succ);
748 return Succ;