Lines Matching refs:Eng
495 ExplodedNode *N = C.Eng.G->getNode(Loc, State, &IsNew);
496 N->addPredecessor(FromN, *C.Eng.G);
530 C.Eng.WList->enqueue(N, C.Block, Idx);
536 C.Eng.WList->enqueue(N, C.Block, Idx+1);
545 C.Eng.WList->enqueue(N, C.Block, Idx+1);
550 ExplodedNode *Succ = C.Eng.G->getNode(Loc, N->State, &IsNew);
551 Succ->addPredecessor(N, *C.Eng.G);
554 C.Eng.WList->enqueue(Succ, C.Block, Idx+1);
588 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
591 Succ->addPredecessor(Pred, *Eng.G);
598 Eng.WList->enqueue(Succ);
612 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
615 Succ->addPredecessor(Pred, *Eng.G);
617 Eng.WList->enqueue(Succ);
638 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, DefaultBlock,
640 Succ->addPredecessor(Pred, *Eng.G);
646 Eng.WList->enqueue(Succ);
672 ExplodedNode *Node = Eng.G->getNode(BlockEntrance(&B,
676 Node->addPredecessor(P ? P : Pred, *Eng.G);
679 Eng.G->addEndOfPath(Node);
697 ExplodedNode *Node = Eng.G->getNode(Loc, state, &isNew);
698 Node->addPredecessor(Pred, *Eng.G);
701 Eng.WList->enqueue(Node);
712 AnalysisManager &OldMgr = Eng.SubEng.getAnalysisManager();
724 bool GCEnabled = static_cast<ExprEngine&>(Eng.SubEng).isObjCGCEnabled();
758 ExplodedNode *Node = Eng.G->getNode(Loc, state, &isNew);
759 Node->addPredecessor(const_cast<ExplodedNode*>(Pred), *Eng.G);
762 Eng.WList->enqueue(Node);
773 ExplodedNode *Node = Eng.G->getNode(Loc, state, &isNew);
774 Node->addPredecessor(const_cast<ExplodedNode*>(Pred), *Eng.G);
776 Eng.WList->enqueue(Node, LocCtx->getCallSiteBlock(),
