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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 175 const GRState* CleanedState;
195 CleanedState = St;
257 return CleanedState;
ExprEngine.h 63 /// CleanedState - The state for EntryNode "cleaned" of all dead
65 const GRState* CleanedState;
227 return N == EntryNode ? CleanedState : N->getState();
  /external/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp 257 CleanedState = StateMgr.removeDeadBindings(St, SFC, SymReaper);
259 CleanedState = EntryNode->getState();
277 CleanedState, SymReaper);
292 Builder->SetCleanedState(*I == EntryNode ? CleanedState : GetState(*I));
308 CleanedState = NULL;
    [all...]
CoreEngine.cpp 493 CleanedState = Pred->getState();

Completed in 22 milliseconds