HomeSort by: relevance | last modified time | path
    Searched refs:removeDeadBindings (Results 1 - 9 of 9) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 158 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
Environment.h 116 Environment removeDeadBindings(Environment Env,
Store.h 186 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
SMTConstraintManager.h 200 ProgramStateRef removeDeadBindings(ProgramStateRef State,
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
Environment.cpp 170 // removeDeadBindings:
178 EnvironmentManager::removeDeadBindings(Environment Env,
ProgramState.cpp 106 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
109 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
RangeConstraintManager.cpp 1402 ProgramStateRef removeDeadBindings(ProgramStateRef State,
2034 RangeConstraintManager::removeDeadBindings(ProgramStateRef State,
RegionStore.cpp 619 /// removeDeadBindings - Scans the RegionStore of 'state' for dead values.
621 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
2598 StoreRef RegionStoreManager::removeDeadBindings(Store store,
ExprEngine.cpp 91 "The # of times RemoveDeadBindings is called");
752 getConstraintManager().removeDeadBindings(CheckerState, SymReaper);

Completed in 45 milliseconds