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;