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

Declarations

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

   82 class SymbolManager;

References

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

  114   SymbolManager &getSymbolManager() {

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

  132   SymbolManager &SymMgr;
  397   SymbolManager &getSymbolManager() { return SymMgr; }

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

  149   SymbolManager &getSymbolManager() const;
  514   SymbolManager &getSymbolManager() {
  517   const SymbolManager &getSymbolManager() const {
  790 inline SymbolManager &ProgramState::getSymbolManager() const {

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

   62   SymbolManager SymMgr;
  171   SymbolManager &getSymbolManager() { return SymMgr; }
  172   const SymbolManager &getSymbolManager() const { return SymMgr; }

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

   79   SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); }

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

  565   SymbolManager& SymMgr;
  578                SymbolManager &symmgr, StoreManager &storeMgr)

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

  875     auto &SymMgr = C.getSymbolManager();
  956     auto &SymMgr = C.getSymbolManager();
  974     auto &SymMgr = C.getSymbolManager();
 1188   auto &SymMgr = C.getSymbolManager();
 1228           auto &SymMgr = C.getSymbolManager();
 1324     auto &SymMgr = C.getSymbolManager();
 1350     auto &SymMgr = C.getSymbolManager();
 1393       auto &SymMgr = C.getSymbolManager();
 1428     auto &SymMgr = C.getSymbolManager();
 1535   auto &SymMgr = C.getSymbolManager();
 1566   auto &SymMgr = C.getSymbolManager();
 1951   auto &SymMgr = State->getSymbolManager();
 1974   auto &SymMgr = State->getSymbolManager();
 2270   auto &SymMgr = SVB.getSymbolManager();

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

   49     SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx,

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

  526       SymbolManager &SymMgr = State->getSymbolManager();

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

   49     SymbolManager &SymMgr = getSymbolManager();

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

  124   if (!SymbolManager::canSymbolicate(T))
  161   if (!SymbolManager::canSymbolicate(type))
  179   if (!SymbolManager::canSymbolicate(type))
  228   if (!SymbolManager::canSymbolicate(T))

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

  377   SymbolManager &SymMgr = SVB.getSymbolManager();