From 1038f9f69978ea99efccdda01f66215a1c56dc55 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Mon, 9 Mar 2009 09:15:51 +0000 Subject: [PATCH] Now we do not retrieve untyped regions. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66418 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/RegionStore.cpp | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index 9ef3fe8463..433b05d996 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -665,7 +665,8 @@ SVal RegionStoreManager::Retrieve(const GRState* St, Loc L, QualType T) { // FIXME: Perhaps this method should just take a 'const MemRegion*' argument // instead of 'Loc', and have the other Loc cases handled at a higher level. - const MemRegion* R = cast(L).getRegion(); + const TypedRegion* R + = cast(cast(L).getRegion()); assert(R && "bad region"); // FIXME: We should eventually handle funny addressing. e.g.: @@ -677,14 +678,12 @@ SVal RegionStoreManager::Retrieve(const GRState* St, Loc L, QualType T) { // // Such funny addressing will occur due to layering of regions. - if (const TypedRegion* TR = dyn_cast(R)) { - QualType T =TR->getRValueType(getContext()); - if (T->isStructureType()) - return RetrieveStruct(St, TR); - // FIXME: handle Vector types. - if (T->isVectorType()) + QualType RTy = R->getRValueType(getContext()); + if (RTy->isStructureType()) + return RetrieveStruct(St, R); + // FIXME: handle Vector types. + if (RTy->isVectorType()) return UnknownVal(); - } RegionBindingsTy B = GetRegionBindings(St->getStore()); RegionBindingsTy::data_type* V = B.lookup(R); -- 2.40.0