Searched refs:CleanedStates (Results 1 – 1 of 1) sorted by relevance
435 ExplodedNodeSet CleanedStates; in ProcessStmt() local437 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext()); in ProcessStmt()439 CleanedStates.Add(Pred); in ProcessStmt()443 for (ExplodedNodeSet::iterator I = CleanedStates.begin(), in ProcessStmt()444 E = CleanedStates.end(); I != E; ++I) { in ProcessStmt()