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 241 CleanedState = EntryState;
249 getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper);
256 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
266 Builder->generateNode(currentStmt, CleanedState, EntryNode, &cleanupTag);
300 // Create a state based on CleanedState with CheckerState GDM and
303 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);
319 CleanedState = NULL;
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h 63 /// CleanedState - The state for EntryNode "cleaned" of all dead
65 const ProgramState *CleanedState;

Completed in 105 milliseconds