summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/BasicStore.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-05-09 00:50:33 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-05-09 00:50:33 +0000
commit8038f7b30fa2dd40cba273196cd6e57ee4c6d921 (patch)
tree3975fd921234c5e37a0e83dcc54946b86e81f211 /clang/lib/Analysis/BasicStore.cpp
parent9ec08aa3f7b707faa1cb7c6b9b9a2d2a33d077a7 (diff)
downloadbcm5719-llvm-8038f7b30fa2dd40cba273196cd6e57ee4c6d921.tar.gz
bcm5719-llvm-8038f7b30fa2dd40cba273196cd6e57ee4c6d921.zip
rename: MemRegion:
RValueType => ObjectType LValueType => LocationType No functionality change. llvm-svn: 71304
Diffstat (limited to 'clang/lib/Analysis/BasicStore.cpp')
-rw-r--r--clang/lib/Analysis/BasicStore.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/clang/lib/Analysis/BasicStore.cpp b/clang/lib/Analysis/BasicStore.cpp
index 598191f5781..e4e0cfa983b 100644
--- a/clang/lib/Analysis/BasicStore.cpp
+++ b/clang/lib/Analysis/BasicStore.cpp
@@ -290,7 +290,7 @@ SVal BasicStoreManager::Retrieve(const GRState* state, Loc loc, QualType T) {
// Just support void**, void***, intptr_t*, intptr_t**, etc., for now.
// This is needed to handle OSCompareAndSwapPtr() and friends.
ASTContext &Ctx = StateMgr.getContext();
- QualType T = ER->getLValueType(Ctx);
+ QualType T = ER->getLocationType(Ctx);
if (!isHigherOrderRawPtr(T, Ctx))
return UnknownVal();
@@ -334,7 +334,7 @@ Store BasicStoreManager::BindInternal(Store store, Loc loc, SVal V) {
if (isa<Loc>(V) || isa<nonloc::LocAsInteger>(V))
if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
// FIXME: Should check for index 0.
- QualType T = ER->getLValueType(C);
+ QualType T = ER->getLocationType(C);
if (isHigherOrderRawPtr(T, C))
R = ER->getSuperRegion();
@@ -357,7 +357,7 @@ Store BasicStoreManager::BindInternal(Store store, Loc loc, SVal V) {
// elsewhere. Food for thought.
if (const TypedRegion *TyR = dyn_cast<TypedRegion>(R)) {
if (TyR->isBoundable(C) &&
- Loc::IsLocType(TyR->getRValueType(C)))
+ Loc::IsLocType(TyR->getObjectType(C)))
V = X->getLoc();
}
}
OpenPOWER on IntegriCloud