Searched refs:RegionStoreManager (Results 1 – 1 of 1) sorted by relevance
333 class RegionStoreManager : public StoreManager { class371 RegionStoreManager(ProgramStateManager &mgr) in RegionStoreManager() function in __anon93e2d1960411::RegionStoreManager671 return std::make_unique<RegionStoreManager>(StMgr); in CreateRegionStoreManager()701 RegionStoreManager &RM;986 InvalidateRegionsWorker(RegionStoreManager &rm, in InvalidateRegionsWorker()1302 RegionStoreManager::invalidateRegions(Store store, in invalidateRegions()2249 const RegionStoreManager::SValListTy &2320 bool RegionStoreManager::includedInBindings(Store store, in includedInBindings()2348 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) { in killBinding()2459 RegionStoreManager::bindArray(RegionBindingsConstRef B, in bindArray()[all …]