Return the corresponding MemRegionVal for both rvalue and lvalue of array of
type T.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57665 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 1c0773a..76d89bb 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -806,11 +806,11 @@
QualType T = VD->getType();
if (T->isArrayType()) {
- assert(!asLValue && "Array variable has no lvalue.");
-
- // C++ standard says array value should be implicitly converted to pointer
- // in some cases. We don't have such context information right now. We
- // use a MemRegionVal to represent this. May be changed in the future.
+ // C++ standard says array of type T should be implicitly converted to
+ // pointer to type T in some cases. Currently we don't do this cast in
+ // VisitCast(), because BasicStore is not field sensitive. We shall do
+ // this in a transfer function in the future. We represent both lvalue and
+ // rvalue of array of type T as the corresponding MemRegionVal of it.
RVal V = lval::MemRegionVal(StateMgr.getRegion(VD));
MakeNode(Dst, Ex, Pred, SetRVal(St, Ex, V));