Rename AnonTypedRegion to TypedViewRegion.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65764 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/include/clang/Analysis/PathSensitive/MemRegion.h b/include/clang/Analysis/PathSensitive/MemRegion.h
index ba08e3838762954442c0dc2b381f2813b78992af..cd7011e53ad1736b34f8be101208693aa48a6d23 100644 (file)
--- a/include/clang/Analysis/PathSensitive/MemRegion.h
+++ b/include/clang/Analysis/PathSensitive/MemRegion.h
@@ -45,7 +45,7 @@ public:
                SymbolicRegionKind,
                CompoundLiteralRegionKind,
                StringRegionKind, ElementRegionKind,
-               AnonTypedRegionKind,
+               TypedViewRegionKind,
                AnonPointeeRegionKind,
                // Decl Regions.
                  BEG_DECL_REGIONS,
@@ -224,13 +224,13 @@ public:
   }
 };
 
-class AnonTypedRegion : public TypedRegion {
+class TypedViewRegion : public TypedRegion {
   friend class MemRegionManager;
 
   QualType T;
 
-  AnonTypedRegion(QualType t, const MemRegion* sreg)
-    : TypedRegion(sreg, AnonTypedRegionKind), T(t) {}
+  TypedViewRegion(QualType t, const MemRegion* sreg)
+    : TypedRegion(sreg, TypedViewRegionKind), T(t) {}
 
   static void ProfileRegion(llvm::FoldingSetNodeID& ID, QualType T, 
                             const MemRegion* superRegion);
@@ -248,7 +248,7 @@ public:
   }
 
   static bool classof(const MemRegion* R) {
-    return R->getKind() == AnonTypedRegionKind;
+    return R->getKind() == TypedViewRegionKind;
   }
 };
   
@@ -527,7 +527,7 @@ public:
   ObjCIvarRegion* getObjCIvarRegion(const ObjCIvarDecl* ivd,
                                     const MemRegion* superRegion);
 
-  AnonTypedRegion* getAnonTypedRegion(QualType t, const MemRegion* superRegion);
+  TypedViewRegion* getTypedViewRegion(QualType t, const MemRegion* superRegion);
 
   bool hasStackStorage(const MemRegion* R);
 

diff --git a/lib/Analysis/BasicObjCFoundationChecks.cpp b/lib/Analysis/BasicObjCFoundationChecks.cpp
index 8a5c3e0a84739e8ae40001e1938df48edc38c539..88f480e68c07992cac52ed7f0c91bd3c3993326f 100644 (file)
--- a/lib/Analysis/BasicObjCFoundationChecks.cpp
+++ b/lib/Analysis/BasicObjCFoundationChecks.cpp
@@ -412,7 +412,7 @@ bool AuditCFNumberCreate::Audit(ExplodedNode<GRState>* N,GRStateManager&){
   const TypedRegion* R = dyn_cast<TypedRegion>(LV->getRegion());
   if (!R) return false;
   
-  while (const AnonTypedRegion* ATR = dyn_cast<AnonTypedRegion>(R)) {
+  while (const TypedViewRegion* ATR = dyn_cast<TypedViewRegion>(R)) {
     R = dyn_cast<TypedRegion>(ATR->getSuperRegion());
     if (!R) return false;
   }

diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp
index ad542b884a0b2f1a996b3230e1f64f5f89b37b3c..85d96c4780eeef3d1b87e5de3f586028bbce248f 100644 (file)
--- a/lib/Analysis/BasicStore.cpp
+++ b/lib/Analysis/BasicStore.cpp
@@ -159,7 +159,7 @@ BasicStoreManager::CastRegion(const GRState* state, const MemRegion* R,
       return CastResult(state, R);
   }
 
-  return CastResult(state, MRMgr.getAnonTypedRegion(CastToTy, R));
+  return CastResult(state, MRMgr.getTypedViewRegion(CastToTy, R));
 }
   
 SVal BasicStoreManager::getLValueField(const GRState* St, SVal Base,
@@ -223,7 +223,7 @@ SVal BasicStoreManager::getLValueElement(const GRState* St, SVal Base,
                                                   StateMgr.getSymbolManager());
       // Layered a typed region on top of this.
       QualType T = StateMgr.getSymbolManager().getType(Sym);
-      BaseR = MRMgr.getAnonTypedRegion(T, SymR);
+      BaseR = MRMgr.getTypedViewRegion(T, SymR);
       break;
     }
       

diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp
index d42a936834d73b385351821dd422d058cf6502d4..59669976b1bd22cb5fcc69879800c59b4ff13d65 100644 (file)
--- a/lib/Analysis/CFRefCount.cpp
+++ b/lib/Analysis/CFRefCount.cpp
@@ -1643,9 +1643,9 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst,
         
         const TypedRegion* R = dyn_cast<TypedRegion>(MR->getRegion());
         
-        // Blast through AnonTypedRegions to get the original region type.
+        // Blast through TypedViewRegions to get the original region type.
         while (R) {
-          const AnonTypedRegion* ATR = dyn_cast<AnonTypedRegion>(R);
+          const TypedViewRegion* ATR = dyn_cast<TypedViewRegion>(R);
           if (!ATR) break;
           R = dyn_cast<TypedRegion>(ATR->getSuperRegion());
         }

diff --git a/lib/Analysis/MemRegion.cpp b/lib/Analysis/MemRegion.cpp
index 779f651edbd5bcb515a01e3537f812bd266a7437..b2d7ad2d8965a67128f817d81360f7e7c11163ab 100644 (file)
--- a/lib/Analysis/MemRegion.cpp
+++ b/lib/Analysis/MemRegion.cpp
@@ -57,9 +57,9 @@ void AllocaRegion::Profile(llvm::FoldingSetNodeID& ID) const {
   ProfileRegion(ID, Ex, Cnt);
 }
 
-void AnonTypedRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, QualType T, 
+void TypedViewRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, QualType T, 
                                     const MemRegion* superRegion) {
-  ID.AddInteger((unsigned) AnonTypedRegionKind);
+  ID.AddInteger((unsigned) TypedViewRegionKind);
   ID.Add(T);
   ID.AddPointer(superRegion);
 }
@@ -160,7 +160,7 @@ void AllocaRegion::print(llvm::raw_ostream& os) const {
   os << "alloca{" << (void*) Ex << ',' << Cnt << '}';
 }
 
-void AnonTypedRegion::print(llvm::raw_ostream& os) const {
+void TypedViewRegion::print(llvm::raw_ostream& os) const {
   os << "anon_type{" << T.getAsString() << ',';
   getSuperRegion()->print(os);
   os << '}';
@@ -399,18 +399,18 @@ MemRegionManager::getObjCObjectRegion(const ObjCInterfaceDecl* d,
   return R;
 }
 
-AnonTypedRegion* 
-MemRegionManager::getAnonTypedRegion(QualType t, const MemRegion* superRegion) {
+TypedViewRegion* 
+MemRegionManager::getTypedViewRegion(QualType t, const MemRegion* superRegion) {
   llvm::FoldingSetNodeID ID;
-  AnonTypedRegion::ProfileRegion(ID, t, superRegion);
+  TypedViewRegion::ProfileRegion(ID, t, superRegion);
 
   void* InsertPos;
   MemRegion* data = Regions.FindNodeOrInsertPos(ID, InsertPos);
-  AnonTypedRegion* R = cast_or_null<AnonTypedRegion>(data);
+  TypedViewRegion* R = cast_or_null<TypedViewRegion>(data);
 
   if (!R) {
-    R = (AnonTypedRegion*) A.Allocate<AnonTypedRegion>();
-    new (R) AnonTypedRegion(t, superRegion);
+    R = (TypedViewRegion*) A.Allocate<TypedViewRegion>();
+    new (R) TypedViewRegion(t, superRegion);
     Regions.InsertNode(R, InsertPos);
   }
 

diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index c61094c20cd813f3b764ed36d54040dc1ed1caa7..e6e530bc0f0384e8d0f874b81699f3786e8784b1 100644 (file)
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -365,7 +365,7 @@ SVal RegionStoreManager::getLValueElement(const GRState* St,
     //   char *p = __builtin_alloc(10);
     //   p[1] = 8;
     //
-    //  Observe that 'p' binds to an AnonTypedRegion<AllocaRegion>.
+    //  Observe that 'p' binds to an TypedViewRegion<AllocaRegion>.
     //
 
     // Offset might be unsigned. We have to convert it to signed ConcreteInt.
@@ -442,7 +442,7 @@ SVal RegionStoreManager::getSizeInElements(const GRState* St,
     return NonLoc::MakeIntVal(getBasicVals(), Str->getByteLength()+1, false);
   }
 
-  if (const AnonTypedRegion* ATR = dyn_cast<AnonTypedRegion>(R)) {
+  if (const TypedViewRegion* ATR = dyn_cast<TypedViewRegion>(R)) {
 #if 0
     // FIXME: This logic doesn't really work, as we can have all sorts of
     // weird cases.  For example, this crashes on test case 'rdar-6442306-1.m'.
@@ -547,7 +547,7 @@ RegionStoreManager::CastRegion(const GRState* state, const MemRegion* R,
   //      char* y = (char*) x;
   //      void* z = (void*) y; // <-- we should get the same region that is 
   //                                  bound to 'x'
-  const MemRegion* ViewR = MRMgr.getAnonTypedRegion(CastToTy, R);  
+  const MemRegion* ViewR = MRMgr.getTypedViewRegion(CastToTy, R);  
   return CastResult(AddRegionView(state, ViewR, R), ViewR);
 }