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

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
   59 class VarRegion;

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);
   66   static inline bool doit(const From &) { return true; }
  104   static inline bool doit(const From *Val) {
  106     return isa_impl<To, From>::doit(*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;
include/llvm/Support/PointerLikeTypeTraits.h
   56   static inline void *getAsVoidPointer(T *P) { return P; }
   57   static inline T *getFromVoidPointer(void *P) { return static_cast<T *>(P); }
   59   enum { NumLowBitsAvailable = detail::ConstantLog2<alignof(T)>::value };
   91   typedef PointerLikeTypeTraits<T *> NonConst;
   93   static inline const void *getAsVoidPointer(const T *P) {
   96   static inline const T *getFromVoidPointer(const void *P) {
tools/clang/include/clang/StaticAnalyzer/Checkers/SValExplainer.h
   93     if (auto V = dyn_cast<VarRegion>(R))
  181   std::string VisitVarRegion(const VarRegion *R) {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
  393   const VarRegion *getParameterLocation(unsigned Index,
  579   const VarRegion *getRegionStoringCapturedLambda() const {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
  713     const VarRegion *getCapturedRegion() const {
  714       return cast<VarRegion>(*R);
  717     const VarRegion *getOriginalRegion() const {
  718       return cast<VarRegion>(*OriginalR);
  740   const VarRegion *getOriginalRegion(const VarRegion *VR) const;
  740   const VarRegion *getOriginalRegion(const VarRegion *VR) const;
  755   std::pair<const VarRegion *, const VarRegion *>
  755   std::pair<const VarRegion *, const VarRegion *>
 1228 const RegionTy* MemRegion::getAs() const {
 1229   if (const auto *RT = dyn_cast<RegionTy>(this))
 1229   if (const auto *RT = dyn_cast<RegionTy>(this))
 1325   const VarRegion* getVarRegion(const VarDecl *D, const LocationContext *LC);
 1329   const VarRegion *getVarRegion(const VarDecl *D, const MemRegion *superR);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  229   const VarRegion* getRegion(const VarDecl *D, const LocationContext *LC) const;
  652 inline const VarRegion* ProgramState::getRegion(const VarDecl *D,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
  586   bool isLive(const VarRegion *VR, bool includeStoreBindings = false) const;
tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp
  130     const auto *VR = dyn_cast<VarRegion>(MR);
  130     const auto *VR = dyn_cast<VarRegion>(MR);
tools/clang/lib/StaticAnalyzer/Checkers/MacOSXAPIChecker.cpp
   95   if (const VarRegion *VR = dyn_cast<VarRegion>(RB)) {
   95   if (const VarRegion *VR = dyn_cast<VarRegion>(RB)) {
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
 1993       const VarRegion *VR = dyn_cast<VarRegion>(MR);
 1993       const VarRegion *VR = dyn_cast<VarRegion>(MR);
 2008       const VarRegion *VR = dyn_cast<VarRegion>(MR);
 2008       const VarRegion *VR = dyn_cast<VarRegion>(MR);
 2023       const VarRegion *VR = dyn_cast<VarRegion>(MR);
 2023       const VarRegion *VR = dyn_cast<VarRegion>(MR);
 2532             const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>();
 2532             const VarRegion* VR = MR->getBaseRegion()->getAs<VarRegion>();
 2789     const VarRegion *VR = I.getCapturedRegion();
tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp
  561       MR && isa<VarRegion>(MR) && isa<StackSpaceRegion>(MR->getMemorySpace());
tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp
  191     if (const VarRegion *VR = R->getAs<VarRegion>())
  191     if (const VarRegion *VR = R->getAs<VarRegion>())
tools/clang/lib/StaticAnalyzer/Checkers/NonnullGlobalConstantsChecker.cpp
   95   auto *Region = dyn_cast<VarRegion>(RegionVal->getAsRegion());
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
  171     const VarRegion *VR = I.getCapturedRegion();
  509   const auto *VR = dyn_cast<VarRegion>(R);
  509   const auto *VR = dyn_cast<VarRegion>(R);
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp
  435   const auto *VR = cast<VarRegion>(cast<SymbolRegionValue>(Sym)->getRegion());
  435   const auto *VR = cast<VarRegion>(cast<SymbolRegionValue>(Sym)->getRegion());
  607   if (const auto *VR = dyn_cast_or_null<VarRegion>(MR))
  607   if (const auto *VR = dyn_cast_or_null<VarRegion>(MR))
tools/clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp
   95   } else if (const auto *VR = dyn_cast<VarRegion>(R)) {
   95   } else if (const auto *VR = dyn_cast<VarRegion>(R)) {
  352     const VarRegion *VR = cast<VarRegion>(P.first->getBaseRegion());
  352     const VarRegion *VR = cast<VarRegion>(P.first->getBaseRegion());
tools/clang/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp
   65     const VarRegion *VR = I.getCapturedRegion();
tools/clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp
  296   if (const VarRegion *VR = dyn_cast<VarRegion>(R))
  296   if (const VarRegion *VR = dyn_cast<VarRegion>(R))
  302   if (isa<VarRegion>(R) && isa<StackLocalsSpaceRegion>(R->getMemorySpace()))
tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
 1216 static bool isInitializationOfVar(const ExplodedNode *N, const VarRegion *VR) {
 1268       if (isa<VarRegion>(R)) {
 1287     const VarRegion *VR,
 1373   if (const auto *VR = dyn_cast<VarRegion>(R)) {
 1373   if (const auto *VR = dyn_cast<VarRegion>(R)) {
 1419       if (const auto *VR = dyn_cast<VarRegion>(R)) {
 1419       if (const auto *VR = dyn_cast<VarRegion>(R)) {
 1471     const auto *VR = dyn_cast<VarRegion>(R);
 1471     const auto *VR = dyn_cast<VarRegion>(R);
 1485           if (const VarRegion *OriginalR = BDR->getOriginalRegion(VR)) {
 1497     if (const auto *VR = dyn_cast<VarRegion>(R))
 1497     if (const auto *VR = dyn_cast<VarRegion>(R))
tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp
  224 const VarRegion *CallEvent::getParameterLocation(unsigned Index,
  249   const VarRegion *VR =
  327           if (const VarRegion *VR = getParameterLocation(*AdjIdx, BlockCount))
  879     const VarRegion *CapturedLambdaRegion = getRegionStoringCapturedLambda();
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
 2695   if (const auto *VR = dyn_cast<VarRegion>(MR->getBaseRegion()))
 2695   if (const auto *VR = dyn_cast<VarRegion>(MR->getBaseRegion()))
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp
  220       const VarRegion *capturedR = I.getCapturedRegion();
  221       const VarRegion *originalR = I.getOriginalRegion();
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
  345         const VarRegion *VR = Caller->getParameterLocation(
tools/clang/lib/StaticAnalyzer/Core/LoopWidening.cpp
   75     const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx);
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);
  320   VarRegion::ProfileRegion(ID, getDecl(), superRegion);
  699   const auto *const VR = dyn_cast<VarRegion>(this->getBaseRegion());
  699   const auto *const VR = dyn_cast<VarRegion>(this->getBaseRegion());
  818 static llvm::PointerUnion<const StackFrameContext *, const VarRegion *>
  834         const VarRegion *VR = I.getOriginalRegion();
  836           return cast<VarRegion>(I.getCapturedRegion());
  845 const VarRegion* MemRegionManager::getVarRegion(const VarDecl *D,
  878     llvm::PointerUnion<const StackFrameContext *, const VarRegion *> V =
  881     if (V.is<const VarRegion*>())
  882       return V.get<const VarRegion*>();
  929   return getSubRegion<VarRegion>(D, sReg);
  932 const VarRegion *MemRegionManager::getVarRegion(const VarDecl *D,
  935   return getSubRegion<VarRegion>(D, superR);
 1477 std::pair<const VarRegion *, const VarRegion *>
 1477 std::pair<const VarRegion *, const VarRegion *>
 1480   const VarRegion *VR = nullptr;
 1481   const VarRegion *OriginalVR = nullptr;
 1526     const VarRegion *VR = nullptr;
 1527     const VarRegion *OriginalVR = nullptr;
 1571 const VarRegion *BlockDataRegion::getOriginalRegion(const VarRegion *R) const {
 1571 const VarRegion *BlockDataRegion::getOriginalRegion(const VarRegion *R) const {
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
  569   SVal getBindingForVar(RegionBindingsConstRef B, const VarRegion *R);
 1100           const VarRegion *ToInvalidate =
 1114       const VarRegion *VR = BI.getCapturedRegion();
 1542   if (const VarRegion *VR = dyn_cast<VarRegion>(R)) {
 1542   if (const VarRegion *VR = dyn_cast<VarRegion>(R)) {
 1704   } else if (const VarRegion *VR = dyn_cast<VarRegion>(superR)) {
 1704   } else if (const VarRegion *VR = dyn_cast<VarRegion>(superR)) {
 1795   if (const auto *VR = dyn_cast<VarRegion>(superR)) {
 1795   if (const auto *VR = dyn_cast<VarRegion>(superR)) {
 1983                                           const VarRegion *R) {
 2539   if (const VarRegion *VR = dyn_cast<VarRegion>(baseR)) {
 2539   if (const VarRegion *VR = dyn_cast<VarRegion>(baseR)) {
tools/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp
  440   if (const auto *VR = dyn_cast<VarRegion>(MR))
  440   if (const auto *VR = dyn_cast<VarRegion>(MR))
  530 bool SymbolReaper::isLive(const VarRegion *VR, bool includeStoreBindings) const{
tools/clang/unittests/StaticAnalyzer/SymbolReaperTest.cpp
   30     const VarRegion *VR = Eng.getRegionManager().getVarRegion(VD, SFC);