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

["jarrydb at cse dot unsw.edu.au" <gcc-bugzilla at gcc dot gnu dot org>]

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)