diff options
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
-rw-r--r-- | lib/Analysis/BasicStore.cpp | 4 |
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; } |