I think we should getRValueType here. The lvaluetype of an array region is 'pointer...

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@61003 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index af1bebff80a7c086ffae41916996dba44d00826d..b78c2edb1449ad108e219174ad8ce31308efa797 100644 (file)
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -779,7 +779,7 @@ Store RegionStoreManager::InitializeArray(Store store, const TypedRegion* R,
                                           SVal Init) {
   
   // FIXME: Verify we should use getLValueType or getRValueType.
-  QualType T = R->getLValueType(getContext());
+  QualType T = R->getRValueType(getContext());
   assert(T->isArrayType());
 
   ConstantArrayType* CAT = cast<ConstantArrayType>(T.getTypePtr());