Add IRGen support for local variables of reference type.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72462 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/CodeGen/CGDecl.cpp b/lib/CodeGen/CGDecl.cpp
index 52bb90e7f8955aded651d36e174f335e1acb1391..bcad77be51c248997a95b561b2b6a108cf1fe4e4 100644 (file)
--- a/lib/CodeGen/CGDecl.cpp
+++ b/lib/CodeGen/CGDecl.cpp
@@ -332,11 +332,6 @@ void CodeGenFunction::EmitLocalBlockVarDecl(const VarDecl &D) {
       DI->EmitDeclareOfAutoVariable(&D, DeclPtr, Builder);
   }
 
-  if (D.getType()->isReferenceType()) {
-    CGM.ErrorUnsupported(&D, "declaration with reference type");
-    return;
-  }
-  
   // If this local has an initializer, emit it now.
   if (const Expr *Init = D.getInit()) {
     llvm::Value *Loc = DeclPtr;
@@ -344,7 +339,10 @@ void CodeGenFunction::EmitLocalBlockVarDecl(const VarDecl &D) {
       bool needsCopyDispose = BlockRequiresCopying(Ty);
       Loc = Builder.CreateStructGEP(DeclPtr, needsCopyDispose*2+4, "x");
     }
-    if (!hasAggregateLLVMType(Init->getType())) {
+    if (Ty->isReferenceType()) {
+      llvm::Value *V = EmitReferenceBindingToExpr(Init, Ty).getScalarVal();
+      EmitStoreOfScalar(V, Loc, false, Ty);
+    } else if (!hasAggregateLLVMType(Init->getType())) {
       llvm::Value *V = EmitScalarExpr(Init);
       EmitStoreOfScalar(V, Loc, D.getType().isVolatileQualified(), 
                         D.getType());

diff --git a/test/CodeGenCXX/references.cpp b/test/CodeGenCXX/references.cpp
index 5c5518b38bce6589184dc308c3cc34bc74027940..5d4ac06c5bb64b1c1a0e7d6e3ebabc0be5299df1 100644 (file)
--- a/test/CodeGenCXX/references.cpp
+++ b/test/CodeGenCXX/references.cpp
@@ -78,3 +78,9 @@ void test_aggregate() {
 int& reference_return() {
   return g;
 }
+
+int reference_decl() {
+  int& a = g;
+  const int& b = 1;
+  return a+b;
+}