From 64cc30c5ee15d8987cb565bccd9d29fad7b7a567 Mon Sep 17 00:00:00 2001
From: Marek Polacek <polacek@redhat.com>
Date: Tue, 19 Dec 2017 20:44:19 +0000
Subject: [PATCH] re PR c++/82231 (ICE when deducing non-type template
 parameter value whose type depends on a non-type `auto` template parameter
 from function arguments)

	PR c++/82231
	* g++.dg/cpp1z/nontype-auto14.C: New test.

From-SVN: r255839
---
 gcc/testsuite/ChangeLog                     |  5 +++++
 gcc/testsuite/g++.dg/cpp1z/nontype-auto14.C | 14 ++++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp1z/nontype-auto14.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b32cb7a09fa..a87d64e9dd1 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-12-19  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/82231
+	* g++.dg/cpp1z/nontype-auto14.C: New test.
+
 2017-12-18  Jeff Law  <law@redhat.com>
 
 	PR tree-optimization/83477
diff --git a/gcc/testsuite/g++.dg/cpp1z/nontype-auto14.C b/gcc/testsuite/g++.dg/cpp1z/nontype-auto14.C
new file mode 100644
index 00000000000..d7ab133baaa
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/nontype-auto14.C
@@ -0,0 +1,14 @@
+// PR c++/82231
+// { dg-options -std=c++17 }
+
+template<int>
+struct x {};
+
+template <auto I, decltype(I) X>
+void f(x<X>) { }
+
+int
+main()
+{
+  f<0>(x<1>{});
+}
-- 
2.30.2