105     const CFGBlock *Succ = *(Entry->succ_begin());  in ExecuteWorkList()  local
109     BlockEdge StartLoc(Entry, Succ, L);  in ExecuteWorkList()
586   ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew);  in enqueueStmtNode()  local
587   Succ->addPredecessor(N, G);  in enqueueStmtNode()
590     WList->enqueue(Succ, Block, Idx+1);  in enqueueStmtNode()
673   ExplodedNode *Succ = generateNodeImpl(Loc, State, NodePred);  in generateNode()  local
674   return Succ;  in generateNode()
682   ExplodedNode *Succ =  in generateNode()  local
685   Succ->addPredecessor(Pred, Eng.G);  in generateNode()
691     Eng.WList->enqueue(Succ);  in generateNode()
693   return Succ;  in generateNode()
700   ExplodedNode *Succ =  in generateCaseStmtNode()  local
703   Succ->addPredecessor(Pred, Eng.G);  in generateCaseStmtNode()
707   Eng.WList->enqueue(Succ);  in generateCaseStmtNode()
708   return Succ;  in generateCaseStmtNode()
724   ExplodedNode *Succ =  in generateDefaultCaseNode()  local
727   Succ->addPredecessor(Pred, Eng.G);  in generateDefaultCaseNode()
733     Eng.WList->enqueue(Succ);  in generateDefaultCaseNode()
735   return Succ;  in generateDefaultCaseNode()