From 0b7e642397e973f32d11b6066ef4bbbde59d6668 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Sun, 26 Oct 2008 02:23:57 +0000 Subject: [PATCH] Simplify ArrayToPointer conversion. Actually the only thing we need to do is to get the first element region. It is not necessary to care about the kind of the base array region. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58181 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/RegionStore.cpp | 34 +++++----------------------------- 1 file changed, 5 insertions(+), 29 deletions(-) diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index eabe462cc7..84f543ede4 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -197,35 +197,11 @@ SVal RegionStoreManager::ArrayToPointer(SVal Array) { const MemRegion* ArrayR = cast(&Array)->getRegion(); BasicValueFactory& BasicVals = StateMgr.getBasicVals(); - if (const StringRegion* StringR = dyn_cast(ArrayR)) { - // FIXME: Find a better way to get bit width. - nonloc::ConcreteInt Idx(BasicVals.getValue(0, 32, false)); - ElementRegion* ER = MRMgr.getElementRegion(Idx, ArrayR); - - return loc::MemRegionVal(ER); - } - - const Decl* D = cast(ArrayR)->getDecl(); - - QualType ArrayTy; - if (const VarDecl* VD = dyn_cast(D)) - ArrayTy = VD->getType(); - else if (const FieldDecl* FD = dyn_cast(D)) - ArrayTy = FD->getType(); - else - assert(0 && "unknown decl"); - - if (const ConstantArrayType* CAT = - dyn_cast(ArrayTy.getTypePtr())) { - - nonloc::ConcreteInt Idx(BasicVals.getValue(0, CAT->getSize().getBitWidth(), - false)); - ElementRegion* ER = MRMgr.getElementRegion(Idx, ArrayR); - - return loc::MemRegionVal(ER); - } - - return Array; + // FIXME: Find a better way to get bit width. + nonloc::ConcreteInt Idx(BasicVals.getValue(0, 32, false)); + ElementRegion* ER = MRMgr.getElementRegion(Idx, ArrayR); + + return loc::MemRegionVal(ER); } SVal RegionStoreManager::Retrieve(Store S, Loc L, QualType T) { -- 2.50.1