re PR c++/64574 (ICE (stack overflow SEGV) with bad template specialization)

2017-03-06  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/64574
	* g++.dg/template/crash125.C: New.

From-SVN: r245916

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 636cbee..43c19c3 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-03-06  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/64574
+       * g++.dg/template/crash125.C: New.
+
 2017-03-06  Jakub Jelinek  <jakub@redhat.com>
 
        PR target/79812

diff --git a/gcc/testsuite/g++.dg/template/crash125.C b/gcc/testsuite/g++.dg/template/crash125.C
new file mode 100644 (file)
index 0000000..448f746
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/crash125.C
@@ -0,0 +1,18 @@
+// PR c++/64574
+
+template<class T>
+class TraitCheckImpl;
+
+template<class T, class>
+class Swappable;
+template<class T, class=typename TraitCheckImpl<Swappable<T, void> >::Complete>
+class Swappable;
+
+template<class T>
+struct TraitCheckImpl<Swappable<T> > {
+    typedef void Complete;
+};
+
+Swappable<int> s;  // { dg-error "depth" }
+
+// { dg-prune-output "compilation terminated" }