From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Wed, 18 Oct 2017 07:43:06 +0000 (+0000)
Subject: re PR c++/68884 (template of value template crashes the compiler)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=257792c5e2aa931f4bf532aedd0d5d19b44567f3;p=gcc.git

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
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d5fc8d8e44a..cd8a3e65fed 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+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
diff --git a/gcc/testsuite/g++.dg/cpp0x/variadic-crash4.C b/gcc/testsuite/g++.dg/cpp0x/variadic-crash4.C
new file mode 100644
index 00000000000..2974fe933e1
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/variadic-crash4.C
@@ -0,0 +1,14 @@
+// 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;