Searched refs:CleanedStates (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp425 ExplodedNodeSet CleanedStates; local
427 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext());
429 CleanedStates.Add(Pred);
433 for (ExplodedNodeSet::iterator I = CleanedStates.begin(),
434 E = CleanedStates.end(); I != E; ++I) {

Completed in 236 milliseconds