diff options
author | Marek Polacek <polacek@redhat.com> | 2024-09-03 13:04:09 -0400 |
---|---|---|
committer | Marek Polacek <polacek@redhat.com> | 2024-09-04 13:06:31 -0400 |
commit | c755c7a32590e2eef5a8b062b9756c1513910246 (patch) | |
tree | 44b8a19ea953e8c452457d6078f564f8482558ba /gcc/cp/pt.cc | |
parent | 858918ef4233c837ab85819ad159bf452df3a7fb (diff) | |
download | gcc-c755c7a32590e2eef5a8b062b9756c1513910246.zip gcc-c755c7a32590e2eef5a8b062b9756c1513910246.tar.gz gcc-c755c7a32590e2eef5a8b062b9756c1513910246.tar.bz2 |
c++: noexcept and pointer to member function type [PR113108]
We ICE in nothrow_spec_p because it got a DEFERRED_NOEXCEPT.
This DEFERRED_NOEXCEPT was created in implicitly_declare_fn
when declaring
Foo& operator=(Foo&&) = default;
in the test. The problem is that in resolve_overloaded_unification
we call maybe_instantiate_noexcept before try_one_overload only in
the TEMPLATE_ID_EXPR case.
PR c++/113108
gcc/cp/ChangeLog:
* pt.cc (resolve_overloaded_unification): Call
maybe_instantiate_noexcept.
gcc/testsuite/ChangeLog:
* g++.dg/cpp1z/noexcept-type28.C: New test.
Diffstat (limited to 'gcc/cp/pt.cc')
-rw-r--r-- | gcc/cp/pt.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/cp/pt.cc b/gcc/cp/pt.cc index 024fa8a..747e627 100644 --- a/gcc/cp/pt.cc +++ b/gcc/cp/pt.cc @@ -23787,6 +23787,8 @@ resolve_overloaded_unification (tree tparms, for (lkp_iterator iter (arg); iter; ++iter) { tree fn = *iter; + if (flag_noexcept_type) + maybe_instantiate_noexcept (fn, tf_none); if (try_one_overload (tparms, targs, tempargs, parm, TREE_TYPE (fn), strict, sub_strict, addr_p, explain_p) && (!goodfn || !decls_match (goodfn, fn))) |