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