Searched refs:BindDefault (Results 1 – 4 of 4) sorted by relevance
72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
51 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()
412 StoreRef BindDefault(Store store, const MemRegion *R, SVal V) override { in BindDefault() function in __anonb42afb010511::RegionStoreManager