Incorrect noexcept specification for out-of-line defaulted special member function

[gwllx]

Issue Summary

EDG applies the in-class defaulted special member function noexcept rules to out-of-line members also, resulting in a possibly incorrect noexcept specification on the generated function.

Reproducing Source Code

struct Base { Base() noexcept; };
struct Derived : Base { Derived(); };
Derived::Derived() = default;
static_assert(!noexcept(Derived()));

https://godbolt.org/z/zrsxrfx4x

Command-line Options

cpfe --c++17

Type of Issue

[Front End] This code SHOULD compile with these options.

Additional Details

is_non_throwing_routine calls complete_defaulted_exc_spec for all defaulted routines. The condition should possibly be restricted to in-class defaulted members: rp->is_defaulted && !rp->defined_outside_of_parent or complete_defaulted_exc_spec should guard on this in general.

Reproducing (Standard) Configuration(s)

linux-gcc-debug

Reproducing (Non-standard) Configuration

No response

I acknowledge that:

• I have checked open issues and existing discussions before filing this report.
• The reproducing source code that I have provided does not depend on headers that I have not included with my submission.
• I have reduced the reproducing source code to the best of my ability.
• I have selected at least one standard configuration or uploaded a non-standard configuration dump.
• I understand code shared via this form is NOT confidential.
• I have permission to share the reproducing source code and grant permission for the project to use the source code (or derivatives of the source code) to create tests.
• I agree that any tests created using the reproducing source code (or deriatives of it) will be licensed under project license unless I included a LICENSE.txt file in my .zip or .tar.gz upload. If I included a LICENSE.txt file, any tests created using the reproducing source code will be governed by the terms of the license I provided instead.