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

/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp329 ProgramStateRef CleanedState = Pred->getState(); local
343 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper);
348 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
358 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K);
386 // Create a state based on CleanedState with CheckerState GDM and
389 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);

Completed in 112 milliseconds