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

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

   86   Store store;               // Maps a location to its current value.
  125   Store getStore() const { return store; }

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h

   74   virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
   86   virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
  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;
  194   virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
  197   virtual bool includedInBindings(Store store,
  202   virtual void incrementReferenceCount(Store store) {}
  207   virtual void decrementReferenceCount(Store store) {}
  234   virtual StoreRef invalidateRegions(Store store,
  246   StoreRef enterStackFrame(Store store,
  253   virtual bool scanReachableSymbols(Store S, const MemRegion *R,
  256   virtual void printJson(raw_ostream &Out, Store S, const char *NL,
  264     virtual bool HandleBinding(StoreManager& SMgr, Store store,
  278     bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R,
  284   virtual void iterBindings(Store store, BindingsHandler& f) = 0;
  301 inline StoreRef::StoreRef(Store store, StoreManager & smgr)

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h

   30   Store store;
   34   StoreRef(Store store, StoreManager &smgr);
   46   Store getStore() const { return store; }

tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp

  199   Store store;
  203                          Store s)

tools/clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp

  309     bool HandleBinding(StoreManager &SMgr, Store S, const MemRegion *Region,

tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp

  227   Store OldStore = getStore();
  432   Store newStoreStore = newStore.getStore();

tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp

  222   Store asStore() const {
  223     llvm::PointerIntPair<Store, 1, bool> Ptr = {
  425   StoreRef invalidateRegions(Store store,
  435   bool scanReachableSymbols(Store S, const MemRegion *R,
  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;
  523   void incrementReferenceCount(Store store) override {
  530   void decrementReferenceCount(Store store) override {
  534   bool includedInBindings(Store store, const MemRegion *region) const override;
  549   SVal getBinding(Store S, Loc L, QualType T) override {
  553   Optional<SVal> getDefaultBinding(Store S, const MemRegion *R) override {
  603   std::pair<Store, const SubRegion *>
  621   StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
  637   RegionBindingsRef getRegionBindings(Store store) const {
  638     llvm::PointerIntPair<Store, 1, bool> Ptr;
  647   void printJson(raw_ostream &Out, Store S, const char *NL = "\n",
  650   void iterBindings(Store store, BindingsHandler& f) override {
  798 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R,
 1335 RegionStoreManager::invalidateRegions(Store store,
 1626 std::pair<Store, const SubRegion *>
 1636   typedef std::pair<Store, const SubRegion *> StoreRegionPair;
 1886   Store lazyBindingStore = nullptr;
 2126 bool RegionStoreManager::includedInBindings(Store store,
 2154 StoreRef RegionStoreManager::killBinding(Store ST, Loc L) {
 2641 StoreRef RegionStoreManager::removeDeadBindings(Store store,
 2675 void RegionStoreManager::printJson(raw_ostream &Out, Store S, const char *NL,

tools/clang/lib/StaticAnalyzer/Core/Store.cpp

   46 StoreRef StoreManager::enterStackFrame(Store OldStore,
  545                                                     Store store,

tools/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp

  559     if (Store store = reapedStore.getStore()) {

tools/clang/unittests/StaticAnalyzer/StoreTest.cpp

   43     Store StInit = StMgr.getInitialStore(SFC).getStore();
   49     Store StX0 =
   54     Store StY0 =
   60     Store StZ0 =
   69     Store StX1 =
   74     Store StY1 =