aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/RegionStore.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-03-01 05:44:08 +0000
committerTed Kremenek <kremenek@apple.com>2009-03-01 05:44:08 +0000
commit0312c0e09c9de480d78607972ac64a88f4e94a33 (patch)
treeb0bfc5b4e7abc182a7cfe0ec1540078449ba3b0b /lib/Analysis/RegionStore.cpp
parent17a8e07f122856d474633f437e77674923a98eb0 (diff)
Rename AnonTypedRegion to TypedViewRegion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65764 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/RegionStore.cpp')
-rw-r--r--lib/Analysis/RegionStore.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index c61094c20c..e6e530bc0f 100644
--- 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);
}