Searched refs:removeDeadBindings (Results 1 – 9 of 9) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Environment.h | 118 Environment removeDeadBindings(Environment Env,
|
| D | ConstraintManager.h | 112 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
|
| D | Store.h | 144 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
|
| D | ProgramState.h | 513 ProgramStateRef removeDeadBindings(ProgramStateRef St,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 90 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()
|
| D | Environment.cpp | 146 EnvironmentManager::removeDeadBindings(Environment Env, in removeDeadBindings() function in EnvironmentManager
|
| D | RangeConstraintManager.cpp | 319 ProgramStateRef removeDeadBindings(ProgramStateRef St,
369 RangeConstraintManager::removeDeadBindings(ProgramStateRef state, in removeDeadBindings() function in RangeConstraintManager
|
| D | RegionStore.cpp | 562 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
2303 StoreRef RegionStoreManager::removeDeadBindings(Store store, in removeDeadBindings() function in RegionStoreManager
|
| D | ExprEngine.cpp | 376 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); in removeDead()
404 CheckerState = getConstraintManager().removeDeadBindings(CheckerState, in removeDead()
|