From: Jason Merrill <jason@redhat.com>
Date: Mon, 15 Dec 2014 20:19:51 +0000 (-0500)
Subject: re PR c++/64297 (ICE: canonical types differ for identical types)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b07891da2e13689940369c95145feae7c7f1ef47;p=gcc.git

re PR c++/64297 (ICE: canonical types differ for identical types)

	PR c++/64297
	* typeck.c (apply_memfn_quals): Correct wrong TYPE_CANONICAL.

From-SVN: r218763
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index c14020dafd6..afb24839c42 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,8 @@
 2014-12-15  Jason Merrill  <jason@redhat.com>
 
+	PR c++/64297
+	* typeck.c (apply_memfn_quals): Correct wrong TYPE_CANONICAL.
+
 	N3778: Sized Deallocation
 	* call.c (non_placement_deallocation_fn_p): A global sized
 	operator delete is not a usual deallocation function until C++14.
diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c
index 7b39816bdb1..9368b49b012 100644
--- a/gcc/cp/typeck.c
+++ b/gcc/cp/typeck.c
@@ -8945,6 +8945,12 @@ apply_memfn_quals (tree type, cp_cv_quals memfn_quals, cp_ref_qualifier rqual)
   /* This should really have a different TYPE_MAIN_VARIANT, but that gets
      complex.  */
   tree result = build_qualified_type (type, memfn_quals);
+  if (tree canon = TYPE_CANONICAL (result))
+    if (canon != result)
+      /* check_qualified_type doesn't check the ref-qualifier, so make sure
+	 TYPE_CANONICAL is correct.  */
+      TYPE_CANONICAL (result)
+	= build_ref_qualified_type (canon, type_memfn_rqual (result));
   result = build_exception_variant (result, TYPE_RAISES_EXCEPTIONS (type));
   return build_ref_qualified_type (result, rqual);
 }
diff --git a/gcc/testsuite/g++.dg/cpp0x/ref-qual16.C b/gcc/testsuite/g++.dg/cpp0x/ref-qual16.C
new file mode 100644
index 00000000000..1d7650bb61b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/ref-qual16.C
@@ -0,0 +1,12 @@
+// PR c++/64297
+// { dg-do compile { target c++11 } }
+
+struct A {
+  typedef int X;
+  template <int> X m_fn1() const;
+};
+template <typename> struct is_function {};
+is_function<int() const &> i;
+struct D {
+  template <typename Y, typename = is_function<Y>> D(Y);
+} b(&A::m_fn1<0>);