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

References

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

 2038   auto &SVB = State->getStateManager().getSValBuilder();
 2105   SValBuilder &SVB = State->getStateManager().getSValBuilder();
 2357   auto &SVB = State->getStateManager().getSValBuilder();

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

  243   SValBuilder &SVB = Mgr.getSValBuilder();
  271   SValBuilder &SVB = Mgr.getSValBuilder();
  322   SValBuilder &SVB = Mgr.getSValBuilder();

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

  218     SValBuilder &SVB = InputState->getStateManager().getSValBuilder();

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

  284   if (!Mgr.getSValBuilder()

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

  595   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
  796     SValBuilder &SVB = StateMgr.getSValBuilder();
  870   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
  915     SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
 1345   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
 1396     SValBuilder &SVB = State->getStateManager().getSValBuilder();
 1412   SValBuilder &SVB = State->getStateManager().getSValBuilder();

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

  113   SValBuilder &Bldr = Mgr.getSValBuilder();

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

  215       svalBuilder(StateMgr.getSValBuilder()),

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

  100   SValBuilder &SVB = State->getStateManager().getSValBuilder();

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

  327   SValBuilder &svalBuilder = SM.getSValBuilder();
  369   return stateMgr->getSValBuilder().areEqual(this, Lhs, Rhs);

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

  333   return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder());

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

  739         svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {}

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

   17   return std::make_unique<SMTConstraintManager>(Eng, StMgr.getSValBuilder());

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

   30     SValBuilder &SVB = State->getStateManager().getSValBuilder();

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

  315   SValBuilder &SVB = State->getStateManager().getSValBuilder();
  332   SValBuilder &SVB = State->getStateManager().getSValBuilder();
  375   SValBuilder &SVB = State->getStateManager().getSValBuilder();
  450   SValBuilder &SVB = StateMgr.getSValBuilder();
 1259         : State(State), SVB(State->getStateManager().getSValBuilder()) {}

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

   43     : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),