Searched refs:GNew (Results 1 – 1 of 1) sorted by relevance
2941 ExplodedGraph *GNew = new ExplodedGraph(); in popNextReportGraph() local2942 GraphWrapper.Graph.reset(GNew); in popNextReportGraph()2951 ExplodedNode *NewN = GNew->getNode(OrigN->getLocation(), OrigN->getState(), in popNextReportGraph()2961 Succ->addPredecessor(NewN, *GNew); in popNextReportGraph()2969 GNew->addRoot(NewN); in popNextReportGraph()