Searched refs:GNew (Results 1 – 1 of 1) sorted by relevance
2635 auto GNew = std::make_unique<ExplodedGraph>(); in getNextBugPath() local2643 ExplodedNode *NewN = GNew->createUncachedNode( in getNextBugPath()2649 Succ->addPredecessor(NewN, *GNew); in getNextBugPath()2657 GNew->addRoot(NewN); in getNextBugPath()2667 CurrentBugPath.BugPath = std::move(GNew); in getNextBugPath()