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

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
   34 class ProgramStateManager;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h
   18   class ProgramStateManager;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
   49 class ProgramStateManager;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
   47 class ProgramStateManager;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
   37 class ProgramStateManager;

References

tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h
  675   ProgramStateManager &getStateManager() const;
  702   ProgramStateManager& getStateManager() const {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
  118   ProgramStateManager &getStateManager() {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
  199 CreateRangeConstraintManager(ProgramStateManager &statemgr,
  203 CreateZ3ConstraintManager(ProgramStateManager &statemgr, SubEngine *subengine);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  129   ProgramStateManager StateMgr;
  384   ProgramStateManager &getStateManager() override { return StateMgr; }
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
   42     ProgramStateManager &, SubEngine *);
   44     ProgramStateManager &);
   84   ProgramStateManager *stateMgr;
   98   ProgramState(ProgramStateManager *mgr, const Environment& env,
  110   ProgramStateManager &getStateManager() const {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
   67   ProgramStateManager &StateMgr;
   85               ProgramStateManager &stateMgr)
  158   ProgramStateManager &getStateManager() { return StateMgr; }
  389                                      ProgramStateManager &stateMgr);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
   56   ProgramStateManager &StateMgr;
   62   StoreManager(ProgramStateManager &stateMgr);
  331 CreateRegionStoreManager(ProgramStateManager &StMgr);
  333 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
   58   virtual ProgramStateManager &getStateManager() = 0;
tools/clang/lib/StaticAnalyzer/Checkers/ChrootChecker.cpp
   80   ProgramStateManager &Mgr = state->getStateManager();
   90   ProgramStateManager &Mgr = state->getStateManager();
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp
  631 static AllocationInfo GetAllocationSite(ProgramStateManager &StateMgr,
tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
  242   ProgramStateManager &Mgr = State->getStateManager();
  270   ProgramStateManager &Mgr = State->getStateManager();
  321   ProgramStateManager &Mgr = State->getStateManager();
tools/clang/lib/StaticAnalyzer/Core/BugReporter.cpp
 2388 ProgramStateManager &PathSensitiveBugReporter::getStateManager() const {
tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
  269   ProgramStateManager &Mgr = N->getState()->getStateManager();
 1148     ProgramStateManager &StateMgr = BRC.getStateManager();
 1422           ProgramStateManager &StateMgr = BRC.getStateManager();
 1840       ProgramStateManager &StateMgr = N->getState()->getStateManager();
tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp
  795     ProgramStateManager &StateMgr = getState()->getStateManager();
tools/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp
  105   ProgramStateManager &Mgr = State->getStateManager();
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
  336   ProgramStateManager &StateMgr = State->getStateManager();
tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
   38     ProgramStateManager &Mgr = s->getStateManager();
   46 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
  123   ProgramStateManager &Mgr = getStateManager();
  136   ProgramStateManager &Mgr = getStateManager();
  145   ProgramStateManager &Mgr = getStateManager();
  193   ProgramStateManager &Mgr = getStateManager();
  326   ProgramStateManager &SM = getStateManager();
  450   ProgramStateManager &Mgr = getStateManager();
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
  332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
  380   RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f)
  676 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) {
  682 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) {
  736   ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
 1005                           ProgramStateManager &stateMgr,
 2511                            ProgramStateManager &stateMgr,
tools/clang/lib/StaticAnalyzer/Core/SMTConstraintManager.cpp
   16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
   32                     ProgramStateManager &stateMgr)
   60                                            ProgramStateManager &stateMgr) {
  449   ProgramStateManager &StateMgr = State->getStateManager();
tools/clang/lib/StaticAnalyzer/Core/Store.cpp
   42 StoreManager::StoreManager(ProgramStateManager &stateMgr)
usr/include/c++/7.4.0/bits/move.h
   72     constexpr _Tp&&
   83     constexpr _Tp&&
usr/include/c++/7.4.0/bits/unique_ptr.h
  824     make_unique(_Args&&... __args)
usr/include/c++/7.4.0/type_traits
 1633     { typedef _Tp   type; };