Lines Matching defs:Succ
185 const CFGBlock *Succ = *(Entry->succ_begin());
189 BlockEdge StartLoc(Entry, Succ, L);
382 if (const CFGBlock *succ = *it) {
383 generateNode(BlockEdge(B, succ, Pred->getLocationContext()),
569 ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew);
570 Succ->addPredecessor(N, G);
573 WList->enqueue(Succ, Block, Idx+1);
664 ExplodedNode *Succ = generateNodeImpl(Loc, State, NodePred);
665 return Succ;
673 ExplodedNode *Succ =
676 Succ->addPredecessor(Pred, Eng.G);
682 Eng.WList->enqueue(Succ);
684 return Succ;
693 ExplodedNode *Succ =
696 Succ->addPredecessor(Pred, Eng.G);
700 Eng.WList->enqueue(Succ);
701 return Succ;
718 ExplodedNode *Succ =
721 Succ->addPredecessor(Pred, Eng.G);
727 Eng.WList->enqueue(Succ);
729 return Succ;
