Searched refs:decrementReferenceCount (Results 1 – 3 of 3) sorted by relevance
208 virtual void decrementReferenceCount(Store store) {} in decrementReferenceCount() function316 mgr.decrementReferenceCount(store); in ~StoreRef()323 mgr.decrementReferenceCount(store);
69 stateMgr->getStoreManager().decrementReferenceCount(store); in ~ProgramState()437 stateMgr->getStoreManager().decrementReferenceCount(store); in setStore()
489 void decrementReferenceCount(Store store) override { in decrementReferenceCount() function in __anonf243ef2f0511::RegionStoreManager