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

  /external/clang/lib/StaticAnalyzer/Core/
BasicConstraintManager.cpp 108 ProgramStateRef removeDeadBindings(ProgramStateRef state,
307 BasicConstraintManager::removeDeadBindings(ProgramStateRef state,
Environment.cpp 174 // removeDeadBindings:
182 EnvironmentManager::removeDeadBindings(Environment Env,
RangeConstraintManager.cpp 244 ProgramStateRef removeDeadBindings(ProgramStateRef St, SymbolReaper& SymReaper);
269 RangeConstraintManager::removeDeadBindings(ProgramStateRef state,
ProgramState.cpp 80 ProgramStateManager::removeDeadBindings(ProgramStateRef state,
92 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
95 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
RegionStore.cpp 389 /// removeDeadBindings - Scans the RegionStore of 'state' for dead values.
391 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
    [all...]

Completed in 84 milliseconds