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

References

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

  386   StoreManager &getStoreManager() { return StateMgr.getStoreManager(); }

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

  270     FindUninitializedField F(C.getState()->getStateManager().getStoreManager(),

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

  323   State->getStateManager().getStoreManager().iterBindings(State->getStore(),

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

   67             State->getStateManager().getStoreManager()

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

  810       ThisVal = StateMgr.getStoreManager().attemptDownCast(ThisVal, Ty, Failed);

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

  107     LHSVal = Mgr.getStoreManager().getBinding(State->getStore(),

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

  338   StoreManager &StoreMgr = StateMgr.getStoreManager();

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

   53   stateMgr->getStoreManager().incrementReferenceCount(store);
   63   stateMgr->getStoreManager().incrementReferenceCount(store);
   68     stateMgr->getStoreManager().decrementReferenceCount(store);
  434     stateMgr->getStoreManager().incrementReferenceCount(newStoreStore);
  436     stateMgr->getStoreManager().decrementReferenceCount(store);
  453   Mgr.getStoreManager().printJson(Out, getStore(), NL, Space, IsDot);
  535   StoreManager &StoreMgr = state->getStateManager().getStoreManager();
  613       StoreManager &StoreMgr = state->getStateManager().getStoreManager();

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

  568         StoreManager &storeMgr = StateMgr.getStoreManager();
  644     StoreManager &storeMgr = StateMgr.getStoreManager();

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

 1114           Result = StateMgr.getStoreManager().evalDerivedToBase(