| // PR c++/60364 |
| // { dg-do compile { target c++11 } } |
| // { dg-options "-Wpedantic" } |
| |
| void f (); // { dg-message "previous declaration" } |
| void f [[noreturn]] (); // { dg-error "declared '\\\[\\\[noreturn\\\]\\\]' but its first declaration was not" } |
| |
| void f2 (); |
| void f2 [[gnu::noreturn]] (); |
| |
| void f3 (); |
| __attribute__((noreturn)) void f3 (); |
| |
| void f4 () { __builtin_abort (); } // { dg-message "previous declaration" } |
| void f4 [[noreturn]] (); // { dg-error "declared '\\\[\\\[noreturn\\\]\\\]' but its first declaration was not" } |
| |
| void f5 () { __builtin_abort (); } |
| void f5 [[gnu::noreturn]] (); |
| |
| void f6 () { __builtin_abort (); } |
| __attribute__((noreturn)) void f6 (); |