aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BasicStore.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
-rw-r--r--lib/Analysis/BasicStore.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp
index ad542b884a..85d96c4780 100644
--- 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;
}