118     ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew);  in ExecuteWorkList()
157       ExplodedNode *Node = WU.getNode();  in ExecuteWorkList()
182 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,  in dispatchWorkItem()
209       ExplodedNode *PNode = Pred->getFirstPred();  in dispatchWorkItem()
237 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {  in HandleBlockEdge()
307                                        ExplodedNode *Pred) {  in HandleBlockEntrance()
325 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {  in HandleBlockExit()
449 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) {  in HandleCallEnter()
455                                 const CFGBlock * B, ExplodedNode *Pred) {  in HandleBranch()
467                                               ExplodedNode *Pred) {  in HandleCleanupTemporaryBranch()
478                                   ExplodedNode *Pred) {  in HandleStaticInit()
489                                 ExplodedNode *Pred) {  in HandlePostStmt()
502                                          ExplodedNode *Pred) {  in HandleVirtualBaseBranch()
528                               ExplodedNode *Pred) {  in generateNode()
530   ExplodedNode *Node = G.getNode(Loc, State, false, &IsNew);  in generateNode()
543 void CoreEngine::enqueueStmtNode(ExplodedNode *N,  in enqueueStmtNode()
586   ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew);  in enqueueStmtNode()
593 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N,  in generateCallExitBeginNode()
602   ExplodedNode *Node = G.getNode(Loc, N->getState(), false, &isNew);  in generateCallExitBeginNode()
635 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc,  in generateNodeImpl()
637                                             ExplodedNode *FromN,  in generateNodeImpl()
641   ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew);  in generateNodeImpl()
664 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State,  in generateNode()
666                                               ExplodedNode *NodePred) {  in generateNode()
673   ExplodedNode *Succ = generateNodeImpl(Loc, State, NodePred);  in generateNode()
677 ExplodedNode*
682   ExplodedNode *Succ =  in generateNode()
696 ExplodedNode*
700   ExplodedNode *Succ =  in generateCaseStmtNode()
711 ExplodedNode*
724   ExplodedNode *Succ =  in generateDefaultCaseNode()