From c97b789cb88ceb5b3fc2aa94506978e74503d895 Mon Sep 17 00:00:00 2001
From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Sat, 14 Oct 2017 20:35:36 +0000
Subject: [PATCH] re PR c++/80908 ([c++1z] ICE on instantiating a template
 deducing the noexcept-ness of a function pointer)

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

	PR c++/80908
	* g++.dg/cpp1z/noexcept-type18.C: New.

From-SVN: r253763
---
 gcc/testsuite/ChangeLog                      |  5 +++++
 gcc/testsuite/g++.dg/cpp1z/noexcept-type18.C | 15 +++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp1z/noexcept-type18.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 80dede23db7..c5bbf3e6022 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-10-14  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/80908
+	* g++.dg/cpp1z/noexcept-type18.C: New.
+
 2017-10-14  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	PR c++/81016
diff --git a/gcc/testsuite/g++.dg/cpp1z/noexcept-type18.C b/gcc/testsuite/g++.dg/cpp1z/noexcept-type18.C
new file mode 100644
index 00000000000..e01fd0a2030
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/noexcept-type18.C
@@ -0,0 +1,15 @@
+// { dg-options "-std=c++17" }
+
+template<typename T>
+struct S;
+
+template<bool IsNoexcept>
+struct S<void(*)() noexcept(IsNoexcept)> {
+	S() {}
+};
+
+void f() {}
+
+int main() {
+	S<decltype(&f)> {};
+}
-- 
2.30.2