Searched refs:CleanedNodes (Results 1 – 1 of 1) sorted by relevance
353 ExplodedNodeSet CleanedNodes; in processCallExit() local369 removeDead(BindedRetNode, CleanedNodes, nullptr, calleeCtx, in processCallExit()374 CleanedNodes.Add(CEBNode); in processCallExit()377 for (ExplodedNode *N : CleanedNodes) { in processCallExit()