HomeSort by relevance Sort by last modified time
    Searched refs:CleanedState (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp 276 CleanedState = EntryState;
284 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper);
291 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
306 Bldr.generateNode(currentStmt, EntryNode, CleanedState, false, &cleanupTag);
334 // Create a state based on CleanedState with CheckerState GDM and
337 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);
355 CleanedState = NULL;
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h 69 /// CleanedState - The state for EntryNode "cleaned" of all dead
71 ProgramStateRef CleanedState;

Completed in 2041 milliseconds