From: Zhongxing Xu Date: Fri, 17 Oct 2008 02:20:14 +0000 (+0000) Subject: Get array's lvalue through standard interface. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a7581731b1453b51b26154d2409d42a5b6395079;p=clang Get array's lvalue through standard interface. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57666 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 76d89bb3b1..bc7a00a546 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -804,20 +804,18 @@ void GRExprEngine::VisitDeclRefExpr(DeclRefExpr* Ex, NodeTy* Pred, NodeSet& Dst, if (const VarDecl* VD = dyn_cast(D)) { - QualType T = VD->getType(); - if (T->isArrayType()) { + RVal V = StateMgr.GetLValue(St, VD); + + if (VD->getType()->isArrayType()) { // 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)); return; } - - RVal V = StateMgr.GetLValue(St, VD); if (asLValue) MakeNode(Dst, Ex, Pred, SetRVal(St, Ex, V));