Searched refs:removeDeadBindings (Results 1 - 9 of 9) sorted by relevance
/freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ConstraintManager.h | 112 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
|
H A D | Environment.h | 119 Environment removeDeadBindings(Environment Env,
|
H A D | Store.h | 144 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
|
H A D | ProgramState.h | 513 ProgramStateRef removeDeadBindings(ProgramStateRef St,
|
/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | Environment.cpp | 137 // removeDeadBindings: 145 EnvironmentManager::removeDeadBindings(Environment Env, function in class:EnvironmentManager
|
H A D | ProgramState.cpp | 90 ProgramStateManager::removeDeadBindings(ProgramStateRef state, function in class:ProgramStateManager 102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); 105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, 111 return ConstraintMgr->removeDeadBindings(Result, SymReaper);
|
H A D | RangeConstraintManager.cpp | 318 ProgramStateRef removeDeadBindings(ProgramStateRef St, SymbolReaper& SymReaper); 367 RangeConstraintManager::removeDeadBindings(ProgramStateRef state, function in class:RangeConstraintManager
|
H A D | ExprEngine.cpp | 348 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); 376 CheckerState = getConstraintManager().removeDeadBindings(CheckerState,
|
H A D | RegionStore.cpp | 558 /// removeDeadBindings - Scans the RegionStore of 'state' for dead values. 560 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx, 2314 StoreRef RegionStoreManager::removeDeadBindings(Store store, function in class:RegionStoreManager
|
Completed in 101 milliseconds