re PR c++/57626 ([C++11] ICE with template alias and member function pointer)

2015-01-13  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/57626
	* g++.dg/cpp0x/vt-57626.C: New.

From-SVN: r219546

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 79a43d628e86fc99573071a275f1d2efe9da70a2..5a09e16cb8cfd6357df4fef9500b9f8a8b80ef13 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-01-13  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/57626
+       * g++.dg/cpp0x/vt-57626.C: New.
+
 2015-01-13  Jakub Jelinek  <jakub@redhat.com>
 
        PR fortran/64528

diff --git a/gcc/testsuite/g++.dg/cpp0x/vt-57626.C b/gcc/testsuite/g++.dg/cpp0x/vt-57626.C
new file mode 100644 (file)
index 0000000..ca6b7c5
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/vt-57626.C
@@ -0,0 +1,14 @@
+// PR c++/57626
+// { dg-do compile { target c++11 } }
+
+struct symbol_set{};
+
+template <typename T, template <typename ...> class TT, typename ... Args>
+using bar = void(T::*)(TT<Args...> &, const symbol_set &);
+
+struct converter
+{
+  template <typename Term, typename ... Args,
+           typename = decltype(bar<Term,Args...>(&Term::multiply))>  // { dg-error "pack expansion" }
+  converter(const Term &);
+};