Searched refs:BindDefault (Results 1 – 4 of 4) sorted by relevance
72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
62 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) { in BindDefault() function in StoreManager
128 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V); in bindDefault()
416 StoreRef BindDefault(Store store, const MemRegion *R, SVal V) override { in BindDefault() function in __anon6858ecd90511::RegionStoreManager