Searched refs:decrementReferenceCount (Results 1 – 3 of 3) sorted by relevance
201 virtual void decrementReferenceCount(Store store) {} in decrementReferenceCount() function304 mgr.decrementReferenceCount(store); in ~StoreRef()311 mgr.decrementReferenceCount(store);
65 stateMgr->getStoreManager().decrementReferenceCount(store); in ~ProgramState()450 stateMgr->getStoreManager().decrementReferenceCount(store); in setStore()
532 void decrementReferenceCount(Store store) override { in decrementReferenceCount() function in __anon93e2d1960411::RegionStoreManager