[Bug c++/49082] [C++0x] Issues with noexcept propagation

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-20 21:29:17 UTC ---
Author: jason
Date: Fri May 20 21:29:14 2011
New Revision: 173984

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=173984
Log:
    DR 1073
    PR c++/49082
    * typeck.c (comp_except_specs): noexcept(false) is not compatible
    with throw(type-list).
    * typeck2.c (merge_exception_specifiers): noexcept(false)
    beats any more limited specification.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/noexcept10.C
Modified:
    branches/gcc-4_6-branch/gcc/cp/ChangeLog
    branches/gcc-4_6-branch/gcc/cp/typeck.c
    branches/gcc-4_6-branch/gcc/cp/typeck2.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/noexcept02.C
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/noexcept03.C
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/noexcept08.C