blob: 8b920c5b4bc4fa09c42c81c62e522baf6e110fb6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// { 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" }
{
}
|