| // Copyright (C) 2002 Free Software Foundation. | |
| // | |
| // Test that the nothrow attribute is working correctly. | |
| // | |
| // Written by Richard Henderson, 26 May 2002. | |
| // { dg-do link { target c++11} } | |
| extern void foo [[gnu::nothrow]] (); | |
| extern void link_error(); | |
| int main() | |
| { | |
| try { | |
| foo(); | |
| } catch (...) { | |
| link_error(); | |
| } | |
| } | |
| void foo() { } |