Searched refs:RemainingNodes (Results 1 – 1 of 1) sorted by relevance
2857 llvm::SmallPtrSet<const ExplodedNode *, 32> RemainingNodes; in TrimmedGraph() local2862 RemainingNodes.insert(NewNode); in TrimmedGraph()2866 assert(!RemainingNodes.empty() && "No error node found in the trimmed graph"); in TrimmedGraph()2890 if (RemainingNodes.erase(Node)) in TrimmedGraph()2891 if (RemainingNodes.empty()) in TrimmedGraph()