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

Declarations

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

   58 class SymbolicRegion;

References

include/llvm/Support/Allocator.h

   81   template <typename T> T *Allocate(size_t Num = 1) {
   82     return static_cast<T *>(Allocate(Num * sizeof(T), alignof(T)));
   82     return static_cast<T *>(Allocate(Num * sizeof(T), alignof(T)));

include/llvm/Support/Casting.h

   58     return To::classof(&Val);
  106     return isa_impl<To, From>::doit(*Val);
  122     return isa_impl_wrap<To, SimpleFrom,
  132     return isa_impl_cl<To,FromTy>::doit(Val);
  142   return isa_impl_wrap<X, const Y,
  172   using ret_type = To *;       // Pointer arg case, return Ty*
  176   using ret_type = const To *; // Constant pointer arg case, return const Ty*
  198   using ret_type = typename cast_retty<To, SimpleFrom>::ret_type;
  204   using ret_type = typename cast_retty_impl<To,FromTy>::ret_type;
  210       To, From, typename simplify_type<From>::SimpleType>::ret_type;
  227   static typename cast_retty<To, FromTy>::ret_type doit(const FromTy &Val) {
  228     typename cast_retty<To, FromTy>::ret_type Res2
  256 inline typename cast_retty<X, Y>::ret_type cast(Y &Val) {
  263 inline typename cast_retty<X, Y *>::ret_type cast(Y *Val) {
  265   return cast_convert_val<X, Y*,
  305 LLVM_NODISCARD inline typename cast_retty<X, Y *>::ret_type
  309   return cast<X>(Val);
  337 LLVM_NODISCARD inline typename cast_retty<X, Y>::ret_type dyn_cast(Y &Val) {
  342 LLVM_NODISCARD inline typename cast_retty<X, Y *>::ret_type dyn_cast(Y *Val) {
  343   return isa<X>(Val) ? cast<X>(Val) : nullptr;
  343   return isa<X>(Val) ? cast<X>(Val) : nullptr;
  366 LLVM_NODISCARD inline typename cast_retty<X, Y *>::ret_type
  368   return (Val && isa<X>(Val)) ? cast<X>(Val) : nullptr;
  368   return (Val && isa<X>(Val)) ? cast<X>(Val) : nullptr;

tools/clang/include/clang/StaticAnalyzer/Checkers/SValExplainer.h

   36   bool isThisObject(const SymbolicRegion *R) {
   57     if (auto SR = dyn_cast<SymbolicRegion>(R)) {
  139   std::string VisitSymbolicRegion(const SymbolicRegion *R) {

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

  133   const SymbolicRegion *getSymbolicBase() const;
 1228 const RegionTy* MemRegion::getAs() const {
 1229   if (const auto *RT = dyn_cast<RegionTy>(this))
 1229   if (const auto *RT = dyn_cast<RegionTy>(this))
 1314   const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
 1317   const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);

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

  613   const REGION* getRegionAs() const {
  614     return dyn_cast<REGION>(getRegion());

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

  107   const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R);
  107   const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R);

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

   69   const auto *DerivedClassRegion = MR->getBaseRegion()->getAs<SymbolicRegion>();
   69   const auto *DerivedClassRegion = MR->getBaseRegion()->getAs<SymbolicRegion>();

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

  670   const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg);
  670   const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg);

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

 1069   if (const auto *ContSym = Cont->getSymbolicBase()) {
 1085   if (const auto *ContSym = IterCont->getSymbolicBase()) {
 1114   if (const auto *ContSym = IterCont1->getSymbolicBase()) {
 1124   if (const auto *ContSym = IterCont2->getSymbolicBase()) {

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

  959       const SymbolicRegion *SymReg =
  960           dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion());

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

  135     const SymbolicRegion *SR = MR->getSymbolicBase();

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

 1536   const SymbolicRegion *R =
 1537       dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion());
 1815   const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion());
 1815   const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion());
 2754         if (const SymbolicRegion *BMR =
 2755               dyn_cast<SymbolicRegion>(MR->getBaseRegion()))

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

  264   if (const auto *SR = dyn_cast_or_null<SymbolicRegion>(MR)) {
  264   if (const auto *SR = dyn_cast_or_null<SymbolicRegion>(MR)) {

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

  184   const SymbolicRegion *getTrackRegion(SVal Val,
  272 const SymbolicRegion *
  285       return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion());
  287       return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion());
  290   return dyn_cast<SymbolicRegion>(Region);
  347   if (!StoredVal || !isa<SymbolicRegion>(StoredVal->getRegion()))
  456     const auto *Region = I->first->getAs<SymbolicRegion>();
  456     const auto *Region = I->first->getAs<SymbolicRegion>();

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

  148     if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) {
  148     if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) {

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

  140   if (isa<SymbolicRegion>(Region))

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

   57   if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR))
   57   if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR))

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

 1194     if (const SymbolicRegion *SR = I->StripCasts()->getAs<SymbolicRegion>())
 1194     if (const SymbolicRegion *SR = I->StripCasts()->getAs<SymbolicRegion>())

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

   80   if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R))
   80   if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R))
  145   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg))
  145   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg))

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

  180   IsSymbolic = Reg && Reg->getAs<SymbolicRegion>();

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

 2223   if (const auto *SR = dyn_cast<SymbolicRegion>(R))
 2223   if (const auto *SR = dyn_cast<SymbolicRegion>(R))
 2286   if (const auto *SR = dyn_cast<SymbolicRegion>(R))
 2286   if (const auto *SR = dyn_cast<SymbolicRegion>(R))

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

 2042     if (const auto *SR = L->getRegionAs<SymbolicRegion>()) {
 2042     if (const auto *SR = L->getRegionAs<SymbolicRegion>()) {
 2067     if (RegionRVal && isa<SymbolicRegion>(RegionRVal)) {

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

   51   if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) {
   51   if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) {

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

 2734     if (const SymbolicRegion *R = I->StripCasts()->getAs<SymbolicRegion>())
 2734     if (const SymbolicRegion *R = I->StripCasts()->getAs<SymbolicRegion>())

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

   66 RegionTy* MemRegionManager::getSubRegion(const Arg1Ty arg1,
   69   RegionTy::ProfileRegion(ID, arg1, superRegion);
   71   auto *R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID, InsertPos));
   71   auto *R = cast_or_null<RegionTy>(Regions.FindNodeOrInsertPos(ID, InsertPos));
   74     R = A.Allocate<RegionTy>();
   75     new (R) RegionTy(arg1, superRegion);
  331   SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());
 1023 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) {
 1024   return getSubRegion<SymbolicRegion>(sym, getUnknownRegion());
 1027 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) {
 1028   return getSubRegion<SymbolicRegion>(Sym, getHeapRegion());
 1219 const SymbolicRegion *MemRegion::getSymbolicBase() const {
 1223     if (const auto *SymR = dyn_cast<SymbolicRegion>(SubR))
 1223     if (const auto *SymR = dyn_cast<SymbolicRegion>(SubR))
 1349       } else if (const auto *SR = dyn_cast<SymbolicRegion>(R)) {
 1349       } else if (const auto *SR = dyn_cast<SymbolicRegion>(R)) {
 1593   if (const auto *SR = dyn_cast<SymbolicRegion>(MR))
 1593   if (const auto *SR = dyn_cast<SymbolicRegion>(MR))
 1613   if (const auto *SR = dyn_cast<SymbolicRegion>(MR))
 1613   if (const auto *SR = dyn_cast<SymbolicRegion>(MR))

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

  601   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
  601   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))

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

 1136   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR))
 1136   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR))
 1147   if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) {
 1236           if (R && isa<SymbolicRegion>(R))
 1474       else if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
 1474       else if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
 1578   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
 1578   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
 2186   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) {
 2186   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) {
 2505   SmallVector<const SymbolicRegion *, 12> Postponed;
 2546   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) {
 2546   if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) {
 2578   if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR))
 2578   if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR))
 2630     if (const SymbolicRegion *SR = *I) {

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

   53     if (const auto *SR = dyn_cast<SymbolicRegion>(R)) {
   53     if (const auto *SR = dyn_cast<SymbolicRegion>(R)) {
   92     if (const SymbolicRegion *SymR = IncludeBaseRegions ?
   94                                       dyn_cast<SymbolicRegion>(R->StripCasts()))
  110     if (const auto *SymR = dyn_cast<SymbolicRegion>(SR))
  110     if (const auto *SymR = dyn_cast<SymbolicRegion>(SR))

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

  160         if (const SymbolicRegion *SymR = R->getSymbolicBase())
 1003         ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) ||
 1003         ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) ||

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

   86     if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R))
  286     if (const auto *SR =
  287             dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion()))
  309   if (const auto *SR = dyn_cast<SymbolicRegion>(MR))
  309   if (const auto *SR = dyn_cast<SymbolicRegion>(MR))
  382   if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) {
  382   if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) {
  424     if (const auto *SR = dyn_cast_or_null<SymbolicRegion>(V.getAsRegion()))
  424     if (const auto *SR = dyn_cast_or_null<SymbolicRegion>(V.getAsRegion()))

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

  437   if (const auto *SR = dyn_cast<SymbolicRegion>(MR))
  437   if (const auto *SR = dyn_cast<SymbolicRegion>(MR))