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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Environment.h 119 Environment removeDeadBindings(Environment Env,
ConstraintManager.h 141 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
Store.h 144 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
ProgramState.h 521 ProgramStateRef removeDeadBindings(ProgramStateRef St,
  /external/clang/lib/StaticAnalyzer/Core/
Environment.cpp 139 // removeDeadBindings:
147 EnvironmentManager::removeDeadBindings(Environment Env,
ProgramState.cpp 90 ProgramStateManager::removeDeadBindings(ProgramStateRef state,
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
111 return ConstraintMgr->removeDeadBindings(Result, SymReaper);
RangeConstraintManager.cpp 336 ProgramStateRef removeDeadBindings(ProgramStateRef St,
400 RangeConstraintManager::removeDeadBindings(ProgramStateRef state,
RegionStore.cpp 556 /// removeDeadBindings - Scans the RegionStore of 'state' for dead values.
558 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
    [all...]
ExprEngine.cpp 46 "The # of times RemoveDeadBindings is called");
378 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
406 CheckerState = getConstraintManager().removeDeadBindings(CheckerState,
    [all...]

Completed in 103 milliseconds