diff options
author | Jordan Rose <jordan_rose@apple.com> | 2012-06-16 01:28:03 +0000 |
---|---|---|
committer | Jordan Rose <jordan_rose@apple.com> | 2012-06-16 01:28:03 +0000 |
commit | 3083d3c550dedf68101dd9133905c3c7d35662bd (patch) | |
tree | c92aa51aa86b8e9a2aa724cc0539f4b607da4ebc /lib/StaticAnalyzer/Core/ExprEngineC.cpp | |
parent | 9955e708ffadb479b82b26d93dfcf0f5a2a6e372 (diff) |
[analyzer] Array CompoundLiteralExprs need to be treated like lvalues.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@158588 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngineC.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngineC.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngineC.cpp b/lib/StaticAnalyzer/Core/ExprEngineC.cpp index 6707860009..0056089af9 100644 --- a/lib/StaticAnalyzer/Core/ExprEngineC.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngineC.cpp @@ -408,7 +408,7 @@ void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, const LocationContext *LC = Pred->getLocationContext(); state = state->bindCompoundLiteral(CL, LC, ILV); - if (CL->isGLValue()) + if (CL->isGLValue() || CL->getType()->isArrayType()) B.generateNode(CL, Pred, state->BindExpr(CL, LC, state->getLValue(CL, LC))); else B.generateNode(CL, Pred, state->BindExpr(CL, LC, ILV)); |