| // { dg-do compile { target c++11 } } | |
| // { dg-additional-options "-fno-exceptions" } | |
| // PR68475 we used to not check eh spec matching with -fno-exceptions, | |
| // but this could lead to ICEs. | |
| template <typename> struct traits; | |
| template <typename T> struct X | |
| { | |
| void Foo () noexcept (traits <T>::foo ()); // { dg-message "previous declaration" } | |
| }; | |
| template <typename T> | |
| void | |
| X<T>::Foo () noexcept (traits <T>::bar ()) // { dg-error "different exception specifier" } | |
| { | |
| } | |