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

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp348 ProgramStateRef CleanedState = Pred->getState(); local
362 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper);
367 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
377 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K);
405 // Create a state based on CleanedState with CheckerState GDM and
408 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);

Completed in 309 milliseconds