From: Jason Merrill <jason@redhat.com>
Date: Thu, 26 May 2011 02:22:39 +0000 (-0400)
Subject: re PR c++/45401 ([C++0x] reference collapsing and reference qualifiers)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dc31ddad44bb44e5f715d0f730e16166621c573c;p=gcc.git

re PR c++/45401 ([C++0x] reference collapsing and reference qualifiers)

	PR c++/45401
	* decl.c (grokdeclarator): Don't change type when adding rvalue ref
	to another reference type.

From-SVN: r174255
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 1b611936af4..1d0aa92e81c 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,9 @@
 2011-05-25  Jason Merrill  <jason@redhat.com>
 
+	PR c++/45401
+	* decl.c (grokdeclarator): Don't change type when adding rvalue ref
+	to another reference type.
+
 	PR c++/44311
 	* decl.c (case_conversion): New.
 	(finish_case_label): Use it.
diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c
index 7fc194554b9..d53fa26c68a 100644
--- a/gcc/cp/decl.c
+++ b/gcc/cp/decl.c
@@ -9200,13 +9200,18 @@ grokdeclarator (const cp_declarator *declarator,
 		 to create the type "rvalue reference to cv TD' creates the
 		 type TD."
               */
-	      if (!VOID_TYPE_P (type))
+	      if (VOID_TYPE_P (type))
+		/* We already gave an error.  */;
+	      else if (TREE_CODE (type) == REFERENCE_TYPE)
+		{
+		  if (declarator->u.reference.rvalue_ref)
+		    /* Leave type alone.  */;
+		  else
+		    type = cp_build_reference_type (TREE_TYPE (type), false);
+		}
+	      else
 		type = cp_build_reference_type
-		       ((TREE_CODE (type) == REFERENCE_TYPE
-			 ? TREE_TYPE (type) : type),
-			(declarator->u.reference.rvalue_ref
-			 && (TREE_CODE(type) != REFERENCE_TYPE
-			     || TYPE_REF_IS_RVALUE (type))));
+		  (type, declarator->u.reference.rvalue_ref);
 
 	      /* In C++0x, we need this check for direct reference to
 		 reference declarations, which are forbidden by
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e8a335ff813..e302c74527b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,7 @@
 2011-05-25  Jason Merrill  <jason@redhat.com>
 
+	* g++.dg/cpp0x/rv-restrict.C: New.
+
 	* g++.dg/cpp0x/enum15.C: New.
 	* g++.dg/cpp0x/constexpr-switch2.C: New.
 
diff --git a/gcc/testsuite/g++.dg/cpp0x/rv-restrict.C b/gcc/testsuite/g++.dg/cpp0x/rv-restrict.C
new file mode 100644
index 00000000000..569ee5bb6c9
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/rv-restrict.C
@@ -0,0 +1,6 @@
+// PR c++/45401
+// { dg-options -std=c++0x }
+
+typedef int &__restrict restrictLvref;
+typedef restrictLvref &&rvrefToRestrictLvref;
+typedef restrictLvref rvrefToRestrictLvref;