Searched refs:RegionStoreManager (Results 1 – 1 of 1) sorted by relevance
333 class RegionStoreManager : public StoreManager { class371 RegionStoreManager(ProgramStateManager &mgr) in RegionStoreManager() function in __anonfa909ae00411::RegionStoreManager671 return std::make_unique<RegionStoreManager>(StMgr); in CreateRegionStoreManager()701 RegionStoreManager &RM;721 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()783 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols()931 RegionStoreManager::removeSubRegionBindings(RegionBindingsConstRef B, in removeSubRegionBindings()986 InvalidateRegionsWorker(RegionStoreManager &rm, in InvalidateRegionsWorker()1256 RegionStoreManager::invalidateGlobalRegion(MemRegion::Kind K, in invalidateGlobalRegion()1280 void RegionStoreManager::populateWorkList(InvalidateRegionsWorker &W, in populateWorkList()[all …]