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