Searched refs:CleanedStates (Results 1 – 1 of 1) sorted by relevance
1118 ExplodedNodeSet CleanedStates; in ProcessStmt() local1121 removeDead(Pred, CleanedStates, currStmt, in ProcessStmt()1124 CleanedStates.Add(Pred); in ProcessStmt()1128 for (const auto I : CleanedStates) { in ProcessStmt()