aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/AST/ExprConstant.cpp15
-rw-r--r--lib/CodeGen/CGExprConstant.cpp18
-rw-r--r--test/CodeGenCXX/references.cpp1
3 files changed, 16 insertions, 18 deletions
diff --git a/lib/AST/ExprConstant.cpp b/lib/AST/ExprConstant.cpp
index 7651884aa6..d0d8b81bab 100644
--- a/lib/AST/ExprConstant.cpp
+++ b/lib/AST/ExprConstant.cpp
@@ -178,11 +178,20 @@ static bool EvaluateLValue(const Expr* E, APValue& Result, EvalInfo &Info) {
}
APValue LValueExprEvaluator::VisitDeclRefExpr(DeclRefExpr *E)
-{
+{
if (!E->hasGlobalStorage())
return APValue();
-
- return APValue(E, 0);
+
+ if (isa<FunctionDecl>(E->getDecl())) {
+ return APValue(E, 0);
+ } else if (VarDecl* VD = dyn_cast<VarDecl>(E->getDecl())) {
+ if (!VD->getType()->isReferenceType())
+ return APValue(E, 0);
+ if (VD->getInit())
+ return Visit(VD->getInit());
+ }
+
+ return APValue();
}
APValue LValueExprEvaluator::VisitBlockExpr(BlockExpr *E)
diff --git a/lib/CodeGen/CGExprConstant.cpp b/lib/CodeGen/CGExprConstant.cpp
index 0df03ec3a2..b30bafb510 100644
--- a/lib/CodeGen/CGExprConstant.cpp
+++ b/lib/CodeGen/CGExprConstant.cpp
@@ -478,21 +478,9 @@ llvm::Constant *CodeGenModule::EmitConstantExpr(const Expr *E,
bool Success = false;
- if (DestType->isReferenceType()) {
- // If the destination type is a reference type, we need to evaluate it
- // as an lvalue.
- if (E->EvaluateAsLValue(Result, Context)) {
- if (const Expr *LVBase = Result.Val.getLValueBase()) {
- if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(LVBase)) {
- const ValueDecl *VD = cast<ValueDecl>(DRE->getDecl());
-
- // We can only initialize a reference with an lvalue if the lvalue
- // is not a reference itself.
- Success = !VD->getType()->isReferenceType();
- }
- }
- }
- } else
+ if (DestType->isReferenceType())
+ Success = E->EvaluateAsLValue(Result, Context);
+ else
Success = E->Evaluate(Result, Context);
if (Success) {
diff --git a/test/CodeGenCXX/references.cpp b/test/CodeGenCXX/references.cpp
index 5d4ac06c5b..9d5a2ed9ee 100644
--- a/test/CodeGenCXX/references.cpp
+++ b/test/CodeGenCXX/references.cpp
@@ -11,6 +11,7 @@ void t2(int& a) {
int g;
int& gr = g;
+int& grr = gr;
void t3() {
int b = gr;
}