re PR c++/80908 ([c++1z] ICE on instantiating a template deducing the noexcept-ness...

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

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

From-SVN: r253763

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 80dede23db7b2bc6e9fd6ffcbafb7b4a8bdcfe63..c5bbf3e602273e7e8b01c9dfd2ae2a2a16d4c55b 100644 (file)
--- 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 (file)
index 0000000..e01fd0a
--- /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)> {};
+}