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

  /external/clang/lib/StaticAnalyzer/Core/
Environment.cpp 138 // removeDeadBindings:
146 EnvironmentManager::removeDeadBindings(Environment Env,
RangeConstraintManager.cpp 319 ProgramStateRef removeDeadBindings(ProgramStateRef St,
369 RangeConstraintManager::removeDeadBindings(ProgramStateRef state,
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);
RegionStore.cpp 560 /// removeDeadBindings - Scans the RegionStore of 'state' for dead values.
562 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
    [all...]

Completed in 74 milliseconds