Searched refs:GNew (Results 1 – 1 of 1) sorted by relevance
1662 ExplodedGraph *GNew = new ExplodedGraph(); in MakeReportGraph() local1706 ExplodedNode *NewN = GNew->getNode(N->getLocation(), N->getState()); in MakeReportGraph()1715 NewN->addPredecessor(Last, *GNew); in MakeReportGraph()1752 return std::make_pair(std::make_pair(GNew, BM), in MakeReportGraph()