NAKAMURA Takumi | fe1d594 | 2013-01-14 13:16:02 +0000 | [diff] [blame] | 1 | // RUN: %clang -cc1 -triple x86_64-unknown-unknown -std=c++11 -verify %s |
Richard Smith | d6e7fae | 2013-01-14 08:57:42 +0000 | [diff] [blame] | 2 | |
| 3 | // Error cases. |
| 4 | |
| 5 | [[gnu::this_attribute_does_not_exist]] int unknown_attr; |
| 6 | // expected-warning@-1 {{unknown attribute 'this_attribute_does_not_exist' ignored}} |
| 7 | int [[gnu::unused]] attr_on_type; |
Richard Smith | d03de6a | 2013-01-29 10:02:16 +0000 | [diff] [blame] | 8 | // expected-error@-1 {{'unused' attribute cannot be applied to types}} |
Richard Smith | d6e7fae | 2013-01-14 08:57:42 +0000 | [diff] [blame] | 9 | int *[[gnu::unused]] attr_on_ptr; |
| 10 | // expected-warning@-1 {{attribute 'unused' ignored, because it cannot be applied to a type}} |
| 11 | |
| 12 | // Valid cases. |
| 13 | |
| 14 | void alias1() {} |
| 15 | void alias2 [[gnu::alias("_Z6alias1v")]] (); |
| 16 | |
| 17 | [[gnu::aligned(8)]] int aligned; |
| 18 | void aligned_fn [[gnu::aligned(32)]] (); |
| 19 | struct [[gnu::aligned(8)]] aligned_struct {}; |
| 20 | |
| 21 | [[gnu::malloc, gnu::alloc_size(1,2)]] void *alloc_size(int a, int b); |
| 22 | |
| 23 | void always_inline [[gnu::always_inline]] (); |
| 24 | |
| 25 | __thread int tls_model [[gnu::tls_model("local-exec")]]; |
| 26 | |
| 27 | void cleanup(int *p) { |
| 28 | int n [[gnu::cleanup(cleanup)]]; |
| 29 | } |
| 30 | |
| 31 | void deprecated1 [[gnu::deprecated]] (); // expected-note {{here}} |
| 32 | [[gnu::deprecated("custom message")]] void deprecated2(); // expected-note {{here}} |
| 33 | void deprecated3() { |
| 34 | deprecated1(); // expected-warning {{deprecated}} |
| 35 | deprecated2(); // expected-warning {{custom message}} |
| 36 | } |
| 37 | |
| 38 | [[gnu::naked(1,2,3)]] void naked(); // expected-error {{takes no arguments}} |
| 39 | |
| 40 | void nonnull [[gnu::nonnull]] (); // expected-warning {{applied to function with no pointer arguments}} |
| 41 | |
Richard Smith | 5c52166 | 2013-01-15 02:48:13 +0000 | [diff] [blame] | 42 | // [[gnu::noreturn]] appertains to a declaration, and marks the innermost |
| 43 | // function declarator in that declaration as being noreturn. |
Richard Smith | d6e7fae | 2013-01-14 08:57:42 +0000 | [diff] [blame] | 44 | int noreturn [[gnu::noreturn]]; // expected-warning {{'noreturn' only applies to function types}} |
Richard Smith | 5c52166 | 2013-01-15 02:48:13 +0000 | [diff] [blame] | 45 | int noreturn_fn_1(); |
| 46 | int noreturn_fn_2() [[gnu::noreturn]]; // expected-warning {{cannot be applied to a type}} |
| 47 | int noreturn_fn_3 [[gnu::noreturn]] (); |
| 48 | [[gnu::noreturn]] int noreturn_fn_4(); |
| 49 | int (*noreturn_fn_ptr_1 [[gnu::noreturn]])() = &noreturn_fn_1; // expected-error {{cannot initialize}} |
| 50 | int (*noreturn_fn_ptr_2 [[gnu::noreturn]])() = &noreturn_fn_3; |
| 51 | [[gnu::noreturn]] int (*noreturn_fn_ptr_3)() = &noreturn_fn_1; // expected-error {{cannot initialize}} |
| 52 | [[gnu::noreturn]] int (*noreturn_fn_ptr_4)() = &noreturn_fn_3; |
Richard Smith | d6e7fae | 2013-01-14 08:57:42 +0000 | [diff] [blame] | 53 | |
| 54 | struct [[gnu::packed]] packed { char c; int n; }; |
| 55 | static_assert(sizeof(packed) == sizeof(char) + sizeof(int), "not packed"); |