diff options
| author | Paolo Carlini <paolo.carlini@oracle.com> | 2017-10-14 20:35:36 +0000 |
|---|---|---|
| committer | Paolo Carlini <paolo@gcc.gnu.org> | 2017-10-14 20:35:36 +0000 |
| commit | c97b789cb88ceb5b3fc2aa94506978e74503d895 (patch) | |
| tree | e048fbcb593314e1d5a84d970d7e67d5d1f9a291 /gcc | |
| parent | 27b8e74a872a56d68093343458a4e3ddc16753db (diff) | |
| download | gcc-c97b789cb88ceb5b3fc2aa94506978e74503d895.zip gcc-c97b789cb88ceb5b3fc2aa94506978e74503d895.tar.gz gcc-c97b789cb88ceb5b3fc2aa94506978e74503d895.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp1z/noexcept-type18.C | 15 |
2 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 80dede2..c5bbf3e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 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 * g++.dg/cpp1z/pr81016.C: New. 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 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)> {}; +} |