re PR c++/68884 (template of value template crashes the compiler)

2017-10-18  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/68884
	* g++.dg/cpp0x/variadic-crash4.C: New.

From-SVN: r253843

gcc/testsuite/ChangeLog

 2017-10-18  Paolo Carlini  <paolo.carlini@oracle.com>
 
+	PR c++/68884
+	* g++.dg/cpp0x/variadic-crash4.C: New.
+
+2017-10-18  Paolo Carlini  <paolo.carlini@oracle.com>
+
 	PR c++/79474
 	* g++.dg/cpp1y/auto-fn44.C: New.
 

gcc/testsuite/g++.dg/cpp0x/variadic-crash4.C

+// PR c++/68884
+// { dg-do compile { target c++11 } }
+
+namespace std {
+  template <typename _Tp, _Tp __v> struct A { static constexpr _Tp value = __v; };
+typedef A<bool, true> true_type;
+}
+template <int> struct VsA;
+template <class ValueType> struct ValueTemplate {
+  template <template <ValueType> class, class> struct IsInstanceOf;
+  template <template <ValueType> class TemplateA, ValueType... TypesA>
+  struct IsInstanceOf<TemplateA, TemplateA<TypesA...>> : std::true_type {};
+};
+bool foo = ValueTemplate<int>::IsInstanceOf<VsA, VsA<0>>::value;