390   StoreRef getInitialStore(const LocationContext *InitLoc) override {  in getInitialStore()
394     return StoreRef(RegionBindingsRef(  in getInitialStore()
409   StoreRef invalidateRegions(Store store,
436   StoreRef Bind(Store store, Loc LV, SVal V) override {  in Bind()
437     return StoreRef(bind(getRegionBindings(store), LV, V).asStore(), *this);  in Bind()
444   StoreRef BindDefaultInitial(Store store, const MemRegion *R,  in BindDefaultInitial()
452     return StoreRef(B.asImmutableMap().getRootWithoutRetain(), *this);  in BindDefaultInitial()
457   StoreRef BindDefaultZero(Store store, const MemRegion *R) override {  in BindDefaultZero()
469         return StoreRef(store, *this);  in BindDefaultZero()
475     return StoreRef(B.asImmutableMap().getRootWithoutRetain(), *this);  in BindDefaultZero()
519   StoreRef killBinding(Store ST, Loc L) override;
619   StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
1314 StoreRef
1366   return StoreRef(B.asStore(), *this);  in invalidateRegions()
2305   return svalBuilder.makeLazyCompoundVal(StoreRef(B.asStore(), *this), R);  in createLazyBinding()
2361 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) {  in killBinding()
2364       return StoreRef(getRegionBindings(ST).removeBinding(R)  in killBinding()
2369   return StoreRef(ST, *this);  in killBinding()
2884 StoreRef RegionStoreManager::removeDeadBindings(Store store,  in removeDeadBindings()
2911   return StoreRef(B.asStore(), *this);  in removeDeadBindings()