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

/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp406 ExplodedNodeSet CleanedStates; local
408 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext());
410 CleanedStates.Add(Pred);
414 for (ExplodedNodeSet::iterator I = CleanedStates.begin(),
415 E = CleanedStates.end(); I != E; ++I) {

Completed in 164 milliseconds