PR c++/88196 - ICE with class non-type template parameter.

	* pt.c (convert_nontype_argument): If the expr is a PTRMEM_CST, also
	check if the type we're converting it to is TYPE_PTRMEM_P.

	* g++.dg/cpp0x/ptrmem-cst-arg1.C: Tweak dg-error.
	* g++.dg/cpp2a/nontype-class10.C: New test.
	* g++.dg/template/pr54858.C: Tweak dg-error.

From-SVN: r267319

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f6e07a3afdba03c455a20e6edcc8f9681038fe42..f4295f33d5eb647667ebae97f2956eea63e0f640 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2018-12-20  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/88196 - ICE with class non-type template parameter.
+       * pt.c (convert_nontype_argument): If the expr is a PTRMEM_CST, also
+       check if the type we're converting it to is TYPE_PTRMEM_P.
+
 2018-12-20  H.J. Lu  <hongjiu.lu@intel.com>
 
        PR c/51628

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index d4ac034671ae392eaee49d2d548446d72e72fb1a..18b093e7d2d2e529fcafdf90c256eeac939a73b9 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -6775,7 +6775,7 @@ convert_nontype_argument (tree type, tree expr, tsubst_flags_t complain)
      to a null value, but otherwise still need to be of a specific form.  */
   if (cxx_dialect >= cxx11)
     {
-      if (TREE_CODE (expr) == PTRMEM_CST)
+      if (TREE_CODE (expr) == PTRMEM_CST && TYPE_PTRMEM_P (type))
        /* A PTRMEM_CST is already constant, and a valid template
           argument for a parameter of pointer to member type, we just want
           to leave it in that form rather than lower it to a

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8a32fa8998f539ecaf3ddff8647968f6f1ca581c..d814641a966159b746d5bd314e6c010533240e7a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2018-12-20  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/88196 - ICE with class non-type template parameter.
+       * g++.dg/cpp0x/ptrmem-cst-arg1.C: Tweak dg-error.
+       * g++.dg/cpp2a/nontype-class10.C: New test.
+       * g++.dg/template/pr54858.C: Tweak dg-error.
+
 2018-12-20  H.J. Lu  <hongjiu.lu@intel.com>
 
        PR c/51628

diff --git a/gcc/testsuite/g++.dg/cpp0x/ptrmem-cst-arg1.C b/gcc/testsuite/g++.dg/cpp0x/ptrmem-cst-arg1.C
index ed12655af32acc16b8cba1897d61a620b0fa40bd..38b3e24241c4aaa466d3c0c2ba41895d495ffdd3 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp0x/ptrmem-cst-arg1.C
+++ b/gcc/testsuite/g++.dg/cpp0x/ptrmem-cst-arg1.C
@@ -5,5 +5,5 @@ template<int> struct A {};
 struct B
 {
     int i;
-    A<&B::i> a; // { dg-error "could not convert template argument" }
+    A<&B::i> a; // { dg-error "could not convert" }
 };

diff --git a/gcc/testsuite/g++.dg/cpp2a/nontype-class10.C b/gcc/testsuite/g++.dg/cpp2a/nontype-class10.C
new file mode 100644 (file)
index 0000000..5cc1793
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/nontype-class10.C
@@ -0,0 +1,6 @@
+// PR c++/88196
+// { dg-do compile { target c++2a } }
+
+struct C { C *c; };
+template <C> struct D;
+D <&C::c> d; // { dg-error "could not convert" }

diff --git a/gcc/testsuite/g++.dg/template/pr54858.C b/gcc/testsuite/g++.dg/template/pr54858.C
index 51610ad689a2dd2ea26aa60cef79e0194bf358d1..6d23decfbb97871e989c051d36045234d86b0b43 100644 (file)
--- a/gcc/testsuite/g++.dg/template/pr54858.C
+++ b/gcc/testsuite/g++.dg/template/pr54858.C
@@ -5,17 +5,17 @@ template <int> struct A {};
 template <typename T, T *> struct B {};
 template <typename D> struct C
 {
-  A<0> c0; B<A<0>, &C::c0> d0; // { dg-error "could not convert template argument" }
-  A<0> c1; B<A<0>, &C::c1> d1; // { dg-error "could not convert template argument" }
-  A<0> c2; B<A<0>, &C::c2> d2; // { dg-error "could not convert template argument" }
-  A<0> c3; B<A<0>, &C::c3> d3; // { dg-error "could not convert template argument" }
-  A<0> c4; B<A<0>, &C::c4> d4; // { dg-error "could not convert template argument" }
-  A<0> c5; B<A<0>, &C::c5> d5; // { dg-error "could not convert template argument" }
-  A<0> c6; B<A<0>, &C::c6> d6; // { dg-error "could not convert template argument" }
-  A<0> c7; B<A<0>, &C::c7> d7; // { dg-error "could not convert template argument" }
-  A<0> c8; B<A<0>, &C::c8> d8; // { dg-error "could not convert template argument" }
-  A<0> c9; B<A<0>, &C::c9> d9; // { dg-error "could not convert template argument" }
-  A<0> ca; B<A<0>, &C::ca> da; // { dg-error "could not convert template argument" }
-  A<0> cb; B<A<0>, &C::cb> db; // { dg-error "could not convert template argument" }
+  A<0> c0; B<A<0>, &C::c0> d0; // { dg-error "could not convert" }
+  A<0> c1; B<A<0>, &C::c1> d1; // { dg-error "could not convert" }
+  A<0> c2; B<A<0>, &C::c2> d2; // { dg-error "could not convert" }
+  A<0> c3; B<A<0>, &C::c3> d3; // { dg-error "could not convert" }
+  A<0> c4; B<A<0>, &C::c4> d4; // { dg-error "could not convert" }
+  A<0> c5; B<A<0>, &C::c5> d5; // { dg-error "could not convert" }
+  A<0> c6; B<A<0>, &C::c6> d6; // { dg-error "could not convert" }
+  A<0> c7; B<A<0>, &C::c7> d7; // { dg-error "could not convert" }
+  A<0> c8; B<A<0>, &C::c8> d8; // { dg-error "could not convert" }
+  A<0> c9; B<A<0>, &C::c9> d9; // { dg-error "could not convert" }
+  A<0> ca; B<A<0>, &C::ca> da; // { dg-error "could not convert" }
+  A<0> cb; B<A<0>, &C::cb> db; // { dg-error "could not convert" }
 };
 C<int> e;