Searched refs:CleanedNodes (Results 1 – 1 of 1) sorted by relevance
281 ExplodedNodeSet CleanedNodes; in processCallExit() local297 removeDead(BindedRetNode, CleanedNodes, nullptr, calleeCtx, in processCallExit()302 CleanedNodes.Add(CEBNode); in processCallExit()305 for (ExplodedNodeSet::iterator I = CleanedNodes.begin(), in processCallExit()306 E = CleanedNodes.end(); I != E; ++I) { in processCallExit()