From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Tue, 13 Jan 2015 17:19:32 +0000 (+0000)
Subject: re PR c++/57626 ([C++11] ICE with template alias and member function pointer)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6e5a37dae73dc82c735d85f5d1f835f91cd36352;p=gcc.git

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 79a43d628e8..5a09e16cb8c 100644
--- 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
index 00000000000..ca6b7c51967
--- /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 &);
+};