From 4dcfe21f161fead78fe7f7e31ecf6f67586399ec Mon Sep 17 00:00:00 2001
From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Sun, 15 Oct 2017 22:29:59 +0000
Subject: [PATCH] re PR c++/54090 (internal compiler error: in unify, at
 cp/pt.c:15731)

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

	PR c++/54090
	* g++.dg/template/crash128.C: New.

From-SVN: r253772
---
 gcc/testsuite/ChangeLog                  |  5 +++++
 gcc/testsuite/g++.dg/template/crash128.C | 19 +++++++++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/template/crash128.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d8436266a5b..ff99cba66b7 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-10-15  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/54090
+	* g++.dg/template/crash128.C: New.
+
 2017-10-15  Thomas Koenig  <tkoenig@gcc.gnu.org>
 
 	PR fortran/82372
diff --git a/gcc/testsuite/g++.dg/template/crash128.C b/gcc/testsuite/g++.dg/template/crash128.C
new file mode 100644
index 00000000000..2682e3dc3ce
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/crash128.C
@@ -0,0 +1,19 @@
+// PR c++/54090
+
+template <int n>
+struct X {
+
+  template <int N, bool = (n >= N), typename T = void> struct Y;
+
+  template <int N, typename T>
+  struct Y<N, true, T> {};
+
+  static const int M = n / 2;
+
+  template <typename T>
+  struct Y<X::M, true, T> {};
+};
+
+void foo() {
+  X<10>::Y<10/2> y;
+}
-- 
2.30.2