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

Derived Classes

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

   24 class SimpleSValBuilder : public SValBuilder {

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h

   62 class SValBuilder;

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

   28 class SValBuilder;

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

   57 class SValBuilder;

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

   49 class SValBuilder;

References

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

  110   SValBuilder &getSValBuilder() {

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

   76   SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;

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

  138   SValBuilder &svalBuilder;
  194   SValBuilder &getSValBuilder() { return svalBuilder; }

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

  453   virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const {
  494   DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
  555   DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
  785   DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
  820   DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
 1024   DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;

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

  477   std::unique_ptr<SValBuilder> svalBuilder;
  506   SValBuilder &getSValBuilder() {
  510   const SValBuilder &getSValBuilder() const {

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

  140   RangedConstraintManager(SubEngine *SE, SValBuilder &SB)

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

   33   SMTConstraintManager(clang::ento::SubEngine *SE, clang::ento::SValBuilder &SB)
  271     SValBuilder &SVB = getSValBuilder();

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

  387 SValBuilder* createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,

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

  388   SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
  391   ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
  393   ConcreteInt evalMinus(SValBuilder &svalBuilder) const;

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

   25   SValBuilder &SVB;
   28   SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB)
   77   SValBuilder &getSValBuilder() const { return SVB; }

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

   55   SValBuilder &svalBuilder;
  132   SValBuilder& getSValBuilder() { return svalBuilder; }

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

   62                                          SValBuilder &svalBuilder,
   70 static SVal computeExtentBegin(SValBuilder &svalBuilder,
   85                      SValBuilder &svalBuilder) {
  130   SValBuilder &svalBuilder = checkerContext.getSValBuilder();
  277 static inline SVal getValue(SVal val, SValBuilder &svalBuilder) {
  285                               SValBuilder &sb) {
  294                      SValBuilder &svalBuilder) {
  308                                                    SValBuilder &svalBuilder,

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

  927   SValBuilder &SvalBuilder = C.getSValBuilder();

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

   81   SValBuilder &svalBuilder = C.getSValBuilder();

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

   92     SValBuilder& svalBuilder = C.getSValBuilder();
  108     SValBuilder &SVB = C.getSValBuilder();

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

  274   SValBuilder &svalBuilder = C.getSValBuilder();
  332   SValBuilder &svalBuilder = C.getSValBuilder();
  382   SValBuilder &svalBuilder = C.getSValBuilder();
  481   SValBuilder &svalBuilder = C.getSValBuilder();
  670   SValBuilder &svalBuilder = C.getSValBuilder();
  766   SValBuilder &svalBuilder = C.getSValBuilder();
  826     SValBuilder &svalBuilder = C.getSValBuilder();
  895   SValBuilder &svalBuilder = C.getSValBuilder();
 1066   SValBuilder &svalBuilder = C.getSValBuilder();
 1200       SValBuilder &SvalBuilder = C.getSValBuilder();
 1282   SValBuilder &svalBuilder = C.getSValBuilder();
 1568   SValBuilder &svalBuilder = C.getSValBuilder();
 1941   SValBuilder &svalBuilder = C.getSValBuilder();
 2058   SValBuilder &SVB = C.getSValBuilder();
 2119   SValBuilder &SVB = C.getSValBuilder();

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

   48   auto &SVB = C.getSValBuilder();

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

  111   SValBuilder &svalBuilder = C.getSValBuilder();

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

   37   SValBuilder &SVB;

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

  340     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
 1229           auto &SVB = C.getSValBuilder();
 1326     auto &SVB = C.getSValBuilder();
 1352     auto &SVB = C.getSValBuilder();
 1395       auto &SVB = C.getSValBuilder();
 1430     auto &SVB = C.getSValBuilder();
 1537   auto &SVB = C.getSValBuilder();
 1567   auto &SVB = C.getSValBuilder();
 1641 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
 2038   auto &SVB = State->getStateManager().getSValBuilder();
 2105   SValBuilder &SVB = State->getStateManager().getSValBuilder();
 2252     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
 2267 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,
 2357   auto &SVB = State->getStateManager().getSValBuilder();

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

  232   SValBuilder &SVB = C.getSValBuilder();

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

 1046   SValBuilder &SB = C.getSValBuilder();
 1173       SValBuilder &svalBuilder = C.getSValBuilder();
 1191         SValBuilder &SB = C.getSValBuilder();
 1262   SValBuilder &SvalBuilder = C.getSValBuilder();
 1382   SValBuilder &svalBuilder = C.getSValBuilder();
 1526   SValBuilder &svalBuilder = C.getSValBuilder();
 1542     SValBuilder &svalBuilder = C.getSValBuilder();
 2411   SValBuilder &svalBuilder = C.getSValBuilder();
 2505   SValBuilder &svalBuilder = C.getSValBuilder();

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

  934       SValBuilder &SVB = C.getSValBuilder();

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

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

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

  216   SValBuilder &svalBuilder = C.getSValBuilder();

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

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

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

   67   SValBuilder &SB = C.getSValBuilder();
  136         SValBuilder &SB = C.getSValBuilder();
  156         SValBuilder &SB = C.getSValBuilder();

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

  136   SValBuilder &svalBuilder = C.getSValBuilder();

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

  172   auto &SVB = C.getSValBuilder();

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

  506                                          SValBuilder &SVB,
  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/Environment.cpp

   86                           SValBuilder& svalBuilder) const {

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

  872           SValBuilder &SVB = getSValBuilder();

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

   29     SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder,

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

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

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

   47     ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder,

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

  166 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const {
  180 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const {
  199 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const {
  203 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const {
  207 DefinedOrUnknownSVal StringRegion::getExtent(SValBuilder &svalBuilder) const {

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

  327   SValBuilder &svalBuilder = SM.getSValBuilder();

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

  243   RangeConstraintManager(SubEngine *SE, SValBuilder &SVB)

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

  718   SValBuilder &svalBuilder;
  867                          SValBuilder &SVB, const ClusterBindings &Cluster,
  939                          SValBuilder &SVB, const ClusterBindings &Cluster,
 1592 getExistingLazyBinding(SValBuilder &SVB, RegionBindingsConstRef B,

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

  242 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
  255 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const {
  260 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const {

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

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

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

   24 class SimpleSValBuilder : public SValBuilder {
   58 SValBuilder *ento::createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc,
  315   SValBuilder &SVB = State->getStateManager().getSValBuilder();
  332   SValBuilder &SVB = State->getStateManager().getSValBuilder();
  375   SValBuilder &SVB = State->getStateManager().getSValBuilder();
  450   SValBuilder &SVB = StateMgr.getSValBuilder();
 1236     SValBuilder &SVB;

tools/clang/unittests/StaticAnalyzer/StoreTest.cpp

   23     SValBuilder &SVB = Eng.getSValBuilder();

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

   68         default_delete(const default_delete<_Up>&) noexcept { }
   72       operator()(_Tp* __ptr) const
   74 	static_assert(!is_void<_Tp>::value,
   76 	static_assert(sizeof(_Tp)>0,
  122 	  using type = _Up*;
  137       using pointer = typename _Ptr<_Tp, _Dp>::type;
  161 	typename __uniq_ptr_impl<_Tp, _Up>::_DeleterConstraint::type;
  163       __uniq_ptr_impl<_Tp, _Dp> _M_t;
  166       using pointer	  = typename __uniq_ptr_impl<_Tp, _Dp>::pointer;
  167       using element_type  = _Tp;
  824     make_unique(_Args&&... __args)

usr/include/c++/7.4.0/type_traits

  215     : public __is_void_helper<typename remove_cv<_Tp>::type>::type
  581     : public __or_<is_lvalue_reference<_Tp>,
  582                    is_rvalue_reference<_Tp>>::type
  601     : public __not_<__or_<is_function<_Tp>, is_reference<_Tp>,
  601     : public __not_<__or_<is_function<_Tp>, is_reference<_Tp>,
  602                           is_void<_Tp>>>::type
  638     : public __or_<is_object<_Tp>, is_reference<_Tp>>::type
  638     : public __or_<is_object<_Tp>, is_reference<_Tp>>::type
 1554     { typedef _Tp     type; };
 1563     { typedef _Tp     type; };
 1574       remove_const<typename remove_volatile<_Tp>::type>::type     type;
 1633     { typedef _Tp   type; };
 1645     { typedef _Tp&   type; };
 1650     : public __add_lvalue_reference_helper<_Tp>