diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-09 00:50:33 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-05-09 00:50:33 +0000 |
| commit | ff6978263439e21d795b0602fabcb38488ef8441 (patch) | |
| tree | aafc31915a38f534f7db1637ee7efcdbf7dede6e /lib/Analysis/BasicStore.cpp | |
| parent | 80c24182549f45b9b3aa1cec1e547e8c4c09179b (diff) | |
rename: MemRegion:
RValueType => ObjectType
LValueType => LocationType
No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71304 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | lib/Analysis/BasicStore.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index 598191f578..e4e0cfa983 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/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(); } } |