Home
last modified time | relevance | path

Searched refs:removeDeadBindings (Results 1 – 9 of 9) sorted by relevance

/trueos/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDConstraintManager.h112 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
HDEnvironment.h119 Environment removeDeadBindings(Environment Env,
HDStore.h144 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
HDProgramState.h512 ProgramStateRef removeDeadBindings(ProgramStateRef St,
/trueos/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDProgramState.cpp90 ProgramStateManager::removeDeadBindings(ProgramStateRef state, in removeDeadBindings() function in ProgramStateManager
102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindings()
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindings()
111 return ConstraintMgr->removeDeadBindings(Result, SymReaper); in removeDeadBindings()
HDEnvironment.cpp145 EnvironmentManager::removeDeadBindings(Environment Env, in removeDeadBindings() function in EnvironmentManager
HDRangeConstraintManager.cpp318 ProgramStateRef removeDeadBindings(ProgramStateRef St, SymbolReaper& SymReaper);
367 RangeConstraintManager::removeDeadBindings(ProgramStateRef state, in removeDeadBindings() function in RangeConstraintManager
HDRegionStore.cpp566 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
2307 StoreRef RegionStoreManager::removeDeadBindings(Store store, in removeDeadBindings() function in RegionStoreManager
HDExprEngine.cpp361 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); in removeDead()
389 CheckerState = getConstraintManager().removeDeadBindings(CheckerState, in removeDead()