Searched defs:removeDeadBindings (Results 1 – 3 of 3) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ | ||
| H A D | Environment.cpp | 178 EnvironmentManager::removeDeadBindings(Environment Env, in removeDeadBindings() function in EnvironmentManager |
| H A D | RegionStore.cpp | 2893 StoreRef RegionStoreManager::removeDeadBindings(Store store, in removeDeadBindings() function in RegionStoreManager |
| H A D | RangeConstraintManager.cpp | 2873 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings() function in RangeConstraintManager |