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