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
189   virtual StoreRef invalidateRegions(Store store,
203   StoreRef enterStackFrame(Store store,
213   virtual void print(Store store, raw_ostream &Out,
219     virtual bool HandleBinding(StoreManager& SMgr, Store store,
232     bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
239   virtual void iterBindings(Store store, BindingsHandler& f) = 0;
256 inline StoreRef::StoreRef(Store store, StoreManager & smgr)
257   : store(store), mgr(smgr) {
258   if (store)
259     mgr.incrementReferenceCount(store);
263   : store(sr.store), mgr(sr.mgr)
265   if (store)
266     mgr.incrementReferenceCount(store);
270   if (store)
271     mgr.decrementReferenceCount(store);
276   if (store != newStore.store) {
277     mgr.incrementReferenceCount(newStore.store);
278     mgr.decrementReferenceCount(store);
279     store = newStore.getStore();