replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Return the corresponding MemRegionVal for both rvalue and lvalue of array of 

type T.

llvm-svn: 57665
This commit is contained in:
Zhongxing Xu 2008-10-17 02:14:42 +00:00
parent 4e500455c9
commit 9fe408057a
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
clang/lib/Analysis/GRExprEngine.cpp
View File

@ -806,11 +806,11 @@ void GRExprEngine::VisitDeclRefExpr(DeclRefExpr* Ex, NodeTy* Pred, NodeSet& Dst,
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));