[Bug c++/50893] New: [C++0x] explicitly defaulted virtual destructor throw specification

[Bug c++/50893] New: [C++0x] explicitly defaulted virtual destructor throw specification

[jarrydb at cse dot unsw.edu.au]

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

             Bug #: 50893
           Summary: [C++0x] explicitly defaulted virtual destructor throw
                    specification
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jarrydb@cse.unsw.edu.au


The following code fails to compile:

class Base
{
  public:
  virtual ~Base() = default;
};

class Derived : public Base
{
  public:
  virtual ~Derived() = default;
};

g++ -std=gnu++0x except.cpp 
except.cpp:10:11: error: looser throw specifier for ‘virtual
Derived::~Derived()’
except.cpp:4:11: error:   overriding ‘virtual Base::~Base() noexcept (true)’

I think, according to 15.4.14, that Derived should, by default, have the same
exception specification as Base, ie. noexcept(true). Therefore, this code
should compile.

Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/jarrydb/current/soft/install-latest/libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/jarrydb/current/soft/src/gcc-git/configure
--prefix=/home/jarrydb/current/soft/install-latest --disable-multilib
--enable-languages=c,c++
Thread model: posix
gcc version 4.7.0 20111027 (experimental) (GCC)

[Bug c++/50893] [C++0x] explicitly defaulted virtual destructor throw specification

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot       |paolo.carlini at oracle dot
                   |gnu.org                     |com
   Target Milestone|---                         |4.8.0

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-05 14:31:47 UTC ---
Works in mainline. I'm committing the testcase and closing the PR.

[Bug c++/50893] [C++0x] explicitly defaulted virtual destructor throw specification

[paolo at gcc dot gnu.org]

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

--- Comment #2 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2012-10-05 15:00:34 UTC ---
Author: paolo
Date: Fri Oct  5 15:00:26 2012
New Revision: 192131

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192131
Log:
2012-10-05  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/50893
    * g++.dg/cpp0x/defaulted38.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/defaulted38.C
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug c++/50893] [C++0x] explicitly defaulted virtual destructor throw specification

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-05 15:03:20 UTC ---
Done.