From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Mon, 6 Mar 2017 11:54:37 +0000 (+0000)
Subject: re PR c++/64574 (ICE (stack overflow SEGV) with bad template specialization)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5f215a70bac6405482f21a584a1bb654e123ab7f;p=gcc.git

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 636cbee8803..43c19c34795 100644
--- 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
index 00000000000..448f74682d4
--- /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" }