Lines Matching refs:Eng

641   ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew);  in generateNodeImpl()
642   N->addPredecessor(FromN, C.Eng.G);  in generateNodeImpl()
683       Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()),  in generateNode()
685   Succ->addPredecessor(Pred, Eng.G);  in generateNode()
691     Eng.WList->enqueue(Succ);  in generateNode()
701       Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()),  in generateCaseStmtNode()
703   Succ->addPredecessor(Pred, Eng.G);  in generateCaseStmtNode()
707   Eng.WList->enqueue(Succ);  in generateCaseStmtNode()
725       Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()),  in generateDefaultCaseNode()
727   Succ->addPredecessor(Pred, Eng.G);  in generateDefaultCaseNode()
733     Eng.WList->enqueue(Succ);  in generateDefaultCaseNode()