Searched refs:removeDeadBindings (Results 1 - 9 of 9) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 162 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
|
| H A D | Environment.h | 116 Environment removeDeadBindings(Environment Env,
|
| H A D | Store.h | 194 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
|
| H A D | SMTConstraintManager.h | 199 ProgramStateRef removeDeadBindings(ProgramStateRef State,
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | Environment.cpp | 162 // removeDeadBindings:
170 EnvironmentManager::removeDeadBindings(Environment Env, function in class:EnvironmentManager
|
| H A D | ProgramState.cpp | 106 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state);
109 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
|
| H A D | RangeConstraintManager.cpp | 262 ProgramStateRef removeDeadBindings(ProgramStateRef State,
415 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, function in class:RangeConstraintManager
|
| H A D | RegionStore.cpp | 619 /// removeDeadBindings - Scans the RegionStore of 'state' for dead values.
621 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
2642 StoreRef RegionStoreManager::removeDeadBindings(Store store, function in class:RegionStoreManager
|
| H A D | ExprEngine.cpp | 752 getConstraintManager().removeDeadBindings(CheckerState, SymReaper);
|
Completed in 109 milliseconds