Core/PathSensitive/Store.h

55   /// \param[in] store The analysis state.
61   virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
64   /// \param[in] store The analysis state.
70   virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
72   virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
74   /// \brief Create a new store with the specified binding removed.
75   /// \param ST the original store, that is the basis for the new store.
79   /// getInitialStore - Returns the initial "empty" store representing the
144   virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
147   virtual bool includedInBindings(Store store,
152   virtual void incrementReferenceCount(Store store) {}
157   virtual void decrementReferenceCount(Store store) {}
161   /// invalidateRegions - Clears out the specified regions from the store,
162   ///  marking their values as unknown. Depending on the store, this may also
165   /// \param[in] store The initial store
184   virtual StoreRef invalidateRegions(Store store,
196   StoreRef enterStackFrame(Store store,
206   virtual void print(Store store, raw_ostream &Out,
212     virtual bool HandleBinding(StoreManager& SMgr, Store store,
225     bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
232   virtual void iterBindings(Store store, BindingsHandler& f) = 0;
249 inline StoreRef::StoreRef(Store store, StoreManager & smgr)
250   : store(store), mgr(smgr) {
251   if (store)
252     mgr.incrementReferenceCount(store);
256   : store(sr.store), mgr(sr.mgr)
258   if (store)
259     mgr.incrementReferenceCount(store);
263   if (store)
264     mgr.decrementReferenceCount(store);
269   if (store != newStore.store) {
270     mgr.incrementReferenceCount(newStore.store);
271     mgr.decrementReferenceCount(store);
272     store = newStore.getStore();