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

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp389 ExplodedNodeSet CleanedStates; local
391 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext());
393 CleanedStates.Add(Pred);
397 for (ExplodedNodeSet::iterator I = CleanedStates.begin(),
398 E = CleanedStates.end(); I != E; ++I) {

Completed in 69 milliseconds