Lines Matching refs:ExplodedNode

118     ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew);
157       ExplodedNode *Node = WU.getNode();
182 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
209       ExplodedNode *PNode = Pred->getFirstPred();
225 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) {
295                                        ExplodedNode *Pred) {
312 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) {
436 void CoreEngine::HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) {
442                                 const CFGBlock * B, ExplodedNode *Pred) {
455                                               ExplodedNode *Pred) {
466                                   ExplodedNode *Pred) {
477                                 ExplodedNode *Pred) {
490                                          ExplodedNode *Pred) {
516                               ExplodedNode *Pred) {
518   ExplodedNode *Node = G.getNode(Loc, State, false, &IsNew);
531 void CoreEngine::enqueueStmtNode(ExplodedNode *N,
574   ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew);
581 ExplodedNode *CoreEngine::generateCallExitBeginNode(ExplodedNode *N,
590   ExplodedNode *Node = G.getNode(Loc, N->getState(), false, &isNew);
597                                        ExplodedNode *Pred) const {
647 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc,
649                                             ExplodedNode *FromN,
653   ExplodedNode *N = C.getEngine().G.getNode(Loc, State, MarkAsSink, &IsNew);
676 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State,
678                                               ExplodedNode *NodePred) {
686   ExplodedNode *Succ = generateNodeImpl(Loc, State, NodePred);
690 ExplodedNode*
695   ExplodedNode *Succ =
709 ExplodedNode*
713   ExplodedNode *Succ =
724 ExplodedNode*
737   ExplodedNode *Succ =