Home
last modified time | relevance | path

Searched defs:removeDeadBindings (Results 1 – 7 of 7) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DEnvironment.cpp147 EnvironmentManager::removeDeadBindings(Environment Env, in removeDeadBindings() function in EnvironmentManager
DRangeConstraintManager.cpp400 RangeConstraintManager::removeDeadBindings(ProgramStateRef state, in removeDeadBindings() function in RangeConstraintManager
DProgramState.cpp90 ProgramStateManager::removeDeadBindings(ProgramStateRef state, in removeDeadBindings() function in ProgramStateManager
DRegionStore.cpp2413 StoreRef RegionStoreManager::removeDeadBindings(Store store, in removeDeadBindings() function in RegionStoreManager
/external/llvm-project/clang/lib/StaticAnalyzer/Core/
DEnvironment.cpp178 EnvironmentManager::removeDeadBindings(Environment Env, in removeDeadBindings() function in EnvironmentManager
DRangeConstraintManager.cpp1885 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings() function in RangeConstraintManager
DRegionStore.cpp2599 StoreRef RegionStoreManager::removeDeadBindings(Store store, in removeDeadBindings() function in RegionStoreManager