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

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  111     return *stateMgr;
  649   return stateMgr->getConstraintManager();
tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
   53   stateMgr->getStoreManager().incrementReferenceCount(store);
   58       stateMgr(RHS.stateMgr),
   63   stateMgr->getStoreManager().incrementReferenceCount(store);
   68     stateMgr->getStoreManager().decrementReferenceCount(store);
  369   return stateMgr->getSValBuilder().areEqual(this, Lhs, Rhs);
  434     stateMgr->getStoreManager().incrementReferenceCount(newStoreStore);
  436     stateMgr->getStoreManager().decrementReferenceCount(store);
  481   return stateMgr->getOwningEngine().getAnalysisManager();