diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-03-01 05:44:08 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-03-01 05:44:08 +0000 |
| commit | 07e95680fde47691c6dd1ce4a9fa20191bf65249 (patch) | |
| tree | 18d178a2730ea1fd7e679c4b7d6b9037c2cffe25 /clang/lib/Analysis/RegionStore.cpp | |
| parent | b90a75e55d20547d1561f55dc6d379284dc0ffdc (diff) | |
| download | bcm5719-llvm-07e95680fde47691c6dd1ce4a9fa20191bf65249.tar.gz bcm5719-llvm-07e95680fde47691c6dd1ce4a9fa20191bf65249.zip | |
Rename AnonTypedRegion to TypedViewRegion.
llvm-svn: 65764
Diffstat (limited to 'clang/lib/Analysis/RegionStore.cpp')
| -rw-r--r-- | clang/lib/Analysis/RegionStore.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp index c61094c20cd..e6e530bc0f0 100644 --- a/clang/lib/Analysis/RegionStore.cpp +++ b/clang/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); } |

