Searched refs:TrimmedGraph (Results 1 – 1 of 1) sorted by relevance
2512 std::unique_ptr<ExplodedGraph> TrimmedGraph; member in __anonc89c4a160211::BugPathGetter2577 TrimmedGraph = OriginalGraph->trim(Nodes, &ForwardMap); in BugPathGetter()2598 assert(TrimmedGraph->num_roots() == 1); in BugPathGetter()2599 WS.push(*TrimmedGraph->roots_begin()); in BugPathGetter()