Lines Matching refs:store
1 //== RegionStore.cpp - Field-sensitive store model --------------*- C++ -*--==//
9 // This file defines a basic region store model. In this model, we do have field
58 assert(getConcreteOffsetRegion() == Base && "Failed to store base region");
65 assert(getOffset() == offset && "Failed to store offset");
370 /// This is controlled by 'region-store-small-struct-limit' option.
426 StoreRef invalidateRegions(Store store,
444 StoreRef Bind(Store store, Loc LV, SVal V) override {
445 return StoreRef(bind(getRegionBindings(store), LV, V).asStore(), *this);
452 StoreRef BindDefaultInitial(Store store, const MemRegion *R,
454 RegionBindingsRef B = getRegionBindings(store);
465 StoreRef BindDefaultZero(Store store, const MemRegion *R) override {
477 return StoreRef(store, *this);
479 RegionBindingsRef B = getRegionBindings(store);
494 /// \returns The updated store bindings, or \c None if binding non-lazily
519 /// Create a new store with the specified binding removed.
520 /// \param ST the original store, that is the basis for the new store.
524 void incrementReferenceCount(Store store) override {
525 getRegionBindings(store).manualRetain();
531 void decrementReferenceCount(Store store) override {
532 getRegionBindings(store).manualRelease();
535 bool includedInBindings(Store store, const MemRegion *region) const override;
622 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
629 RegionBindingsRef getRegionBindings(Store store) const {
631 Ptr.setFromOpaqueValue(const_cast<void *>(store));
642 void iterBindings(Store store, BindingsHandler& f) override {
643 RegionBindingsRef B = getRegionBindings(store);
653 if (!f.HandleBinding(*this, store, R, CI.getData()))
1327 RegionStoreManager::invalidateRegions(Store store,
1346 RegionBindingsRef B = getRegionBindings(store);
1545 /// Checks to see if store \p B has a lazy binding for region \p R.
2084 bool RegionStoreManager::includedInBindings(Store store,
2086 RegionBindingsRef B = getRegionBindings(store);
2599 StoreRef RegionStoreManager::removeDeadBindings(Store store,
2602 RegionBindingsRef B = getRegionBindings(store);
2614 // We have now scanned the store, marking reachable regions and symbols
2615 // as live. We now remove all the regions that are dead from the store
2637 Indent(Out, Space, IsDot) << "\"store\": ";