reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
   50 class StoreRef;

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h
   62   StoreRef store;
   66   LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r)
   75                       const StoreRef &store,
  224   const LazyCompoundValData *getLazyCompoundValData(const StoreRef &store,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
   92   ProgramStateRef makeWithStore(const StoreRef &store) const;
   94   void setStore(const StoreRef &storeRef);
   99           StoreRef st, GenericDataMap gdm);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
  254   NonLoc makeLazyCompoundVal(const StoreRef &store,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
  107   virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
  112   virtual StoreRef BindDefaultInitial(Store store, const MemRegion *R,
  117   virtual StoreRef BindDefaultZero(Store store, const MemRegion *R) = 0;
  122   virtual StoreRef killBinding(Store ST, Loc L) = 0;
  126   virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
  194   virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
  234   virtual StoreRef invalidateRegions(Store store,
  246   StoreRef enterStackFrame(Store store,
  307 inline StoreRef::StoreRef(const StoreRef &sr)
  319 inline StoreRef &StoreRef::operator=(StoreRef const &newStore) {
  319 inline StoreRef &StoreRef::operator=(StoreRef const &newStore) {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h
   35   StoreRef(const StoreRef &sr);
   36   StoreRef &operator=(StoreRef const &newStore);
   36   StoreRef &operator=(StoreRef const &newStore);
   39   bool operator==(const StoreRef &x) const {
   44   bool operator!=(const StoreRef &x) const { return !operator==(x); }
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
  566   StoreRef reapedStore;
  622   void setReapedStore(StoreRef st) { reapedStore = st; }
tools/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp
   38                                   const StoreRef &store,
  143 BasicValueFactory::getLazyCompoundValData(const StoreRef &store,
tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
   47                  StoreRef st, GenericDataMap gdm)
  110   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
  138   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V);
  147   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R);
  206   const StoreRef &newStore
  228   const StoreRef &newStore =
  240   const StoreRef &NewStore =
  425 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const {
  431 void ProgramState::setStore(const StoreRef &newStore) {
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
  406   StoreRef getInitialStore(const LocationContext *InitLoc) override {
  425   StoreRef invalidateRegions(Store store,
  443   StoreRef Bind(Store store, Loc LV, SVal V) override {
  451   StoreRef BindDefaultInitial(Store store, const MemRegion *R,
  464   StoreRef BindDefaultZero(Store store, const MemRegion *R) override {
  521   StoreRef killBinding(Store ST, Loc L) override;
  621   StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
 1334 StoreRef
 2154 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) {
 2641 StoreRef RegionStoreManager::removeDeadBindings(Store store,
tools/clang/lib/StaticAnalyzer/Core/Store.cpp
   46 StoreRef StoreManager::enterStackFrame(Store OldStore,
   49   StoreRef Store = StoreRef(OldStore, *this);