Lines Matching refs:StoreRef
377 StoreRef getInitialStore(const LocationContext *InitLoc) override {
378 return StoreRef(RBFactory.getEmptyMap().getRootWithoutRetain(), *this);
391 StoreRef invalidateRegions(Store store,
409 StoreRef Bind(Store store, Loc LV, SVal V) override {
410 return StoreRef(bind(getRegionBindings(store), LV, V).asStore(), *this);
416 StoreRef BindDefault(Store store, const MemRegion *R, SVal V) override {
431 return StoreRef(B.asImmutableMap().getRootWithoutRetain(), *this);
470 StoreRef killBinding(Store ST, Loc L) override;
562 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
1148 StoreRef
1200 return StoreRef(B.asStore(), *this);
1822 return svalBuilder.makeLazyCompoundVal(StoreRef(B.asStore(), *this), R);
1878 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) {
1881 return StoreRef(getRegionBindings(ST).removeBinding(R)
1886 return StoreRef(ST, *this);
1969 StoreRef store(B.asStore(), *this);
2302 StoreRef RegionStoreManager::removeDeadBindings(Store store,
2344 return StoreRef(B.asStore(), *this);
