Lines Matching refs:Eng
591 ExplodedNode *N = C.Eng.G->getNode(Loc, State, MarkAsSink, &IsNew);
592 N->addPredecessor(FromN, *C.Eng.G);
633 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
636 Succ->addPredecessor(Pred, *Eng.G);
642 Eng.WList->enqueue(Succ);
653 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, I.getBlock(),
656 Succ->addPredecessor(Pred, *Eng.G);
660 Eng.WList->enqueue(Succ);
678 ExplodedNode *Succ = Eng.G->getNode(BlockEdge(Src, DefaultBlock,
681 Succ->addPredecessor(Pred, *Eng.G);
687 Eng.WList->enqueue(Succ);