[Bug c++/57645] [4.8/4.9 Regression] Explicitly-declared destructor with no exception specification is always noexcept(true)

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57645

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-06-19
           Assignee|unassigned at gcc dot gnu.org      |paolo.carlini at oracle 
dot com
            Summary|Explicitly-declared         |[4.8/4.9 Regression]
                   |destructor with no          |Explicitly-declared
                   |exception specification is  |destructor with no
                   |always noexcept(true)       |exception specification is
                   |                            |always noexcept(true)
     Ever confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Humpf, this regressed with PR50043. Apparently something is going wrong with
the way we are implementing 12.4/3, because this is still fine:

struct Thrower
{
  ~Thrower() noexcept(false) { throw 1; }
};

struct Explicit
{
  // ~Explicit() {}

  Thrower t;
};