I think we should getRValueType here. The lvaluetype of an array region is 'pointer to array'.
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 af1bebf..b78c2ed 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -779,7 +779,7 @@
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());