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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 53 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
Environment.h 130 Environment removeDeadBindings(Environment Env,
Store.h 152 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
ProgramState.h 487 ProgramStateRef removeDeadBindings(ProgramStateRef St,
  /external/clang/lib/StaticAnalyzer/Core/
BasicConstraintManager.cpp 108 ProgramStateRef removeDeadBindings(ProgramStateRef state,
307 BasicConstraintManager::removeDeadBindings(ProgramStateRef state,
RangeConstraintManager.cpp 244 ProgramStateRef removeDeadBindings(ProgramStateRef St, SymbolReaper& SymReaper);
269 RangeConstraintManager::removeDeadBindings(ProgramStateRef state,
Environment.cpp 174 // removeDeadBindings:
182 EnvironmentManager::removeDeadBindings(Environment Env,
ProgramState.cpp 80 ProgramStateManager::removeDeadBindings(ProgramStateRef state,
92 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
95 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
ExprEngine.cpp 44 "The # of times RemoveDeadBindings is called");
46 "The # of times RemoveDeadBindings is skipped");
291 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
324 CheckerState = getConstraintManager().removeDeadBindings(CheckerState,
    [all...]
RegionStore.cpp 389 /// removeDeadBindings - Scans the RegionStore of 'state' for dead values.
391 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
    [all...]

Completed in 604 milliseconds