Searched refs:removeDeadBindings (Results 1 – 9 of 9) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Environment.h | 116 Environment removeDeadBindings(Environment Env,
|
| H A D | ConstraintManager.h | 115 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state,
|
| H A D | Store.h | 187 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
|
| H A D | SMTConstraintManager.h | 200 ProgramStateRef removeDeadBindings(ProgramStateRef State, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | Environment.cpp | 178 EnvironmentManager::removeDeadBindings(Environment Env, in removeDeadBindings() function in EnvironmentManager
|
| H A D | ProgramState.cpp | 102 NewState.Env = EnvMgr.removeDeadBindings(NewState.Env, SymReaper, state); in removeDeadBindingsFromEnvironmentAndStore()
105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, in removeDeadBindingsFromEnvironmentAndStore()
|
| H A D | RegionStore.cpp | 619 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
2884 StoreRef RegionStoreManager::removeDeadBindings(Store store, in removeDeadBindings() function in RegionStoreManager
|
| H A D | RangeConstraintManager.cpp | 1817 ProgramStateRef removeDeadBindings(ProgramStateRef State,
2802 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings() function in RangeConstraintManager
|
| H A D | ExprEngine.cpp | 921 getConstraintManager().removeDeadBindings(CheckerState, SymReaper); in removeDead()
|