Add support for generating reference initialization code.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68852 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/CodeGen/CGExprConstant.cpp b/lib/CodeGen/CGExprConstant.cpp
index a3fca20..2373ad6 100644
--- a/lib/CodeGen/CGExprConstant.cpp
+++ b/lib/CodeGen/CGExprConstant.cpp
@@ -474,7 +474,26 @@
CodeGenFunction *CGF) {
Expr::EvalResult Result;
- if (E->Evaluate(Result, Context)) {
+ 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
+ Success = E->Evaluate(Result, Context);
+
+ if (Success) {
assert(!Result.HasSideEffects &&
"Constant expr should not have any side effects!");
switch (Result.Val.getKind()) {
@@ -482,7 +501,7 @@
assert(0 && "Constant expressions should be initialized.");
return 0;
case APValue::LValue: {
- const llvm::Type *DestTy = getTypes().ConvertTypeForMem(E->getType());
+ const llvm::Type *DestTy = getTypes().ConvertTypeForMem(DestType);
llvm::Constant *Offset =
llvm::ConstantInt::get(llvm::Type::Int64Ty,
Result.Val.getLValueOffset());
diff --git a/test/CodeGenCXX/const-init.cpp b/test/CodeGenCXX/const-init.cpp
new file mode 100644
index 0000000..427ba53
--- /dev/null
+++ b/test/CodeGenCXX/const-init.cpp
@@ -0,0 +1,11 @@
+// RUN: clang-cc -verify -emit-llvm -o %t %s
+
+int a = 10;
+int &ar = a;
+
+void f();
+void (&fr)() = f;
+
+struct S { int& a; };
+S s = { a };
+