| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s -pedantic -std=c99 |
| 2 | |
| 3 | int __attribute__(()) x; |
| 4 | |
| 5 | __inline void __attribute__((__always_inline__, __nodebug__)) |
| 6 | foo(void) { |
| 7 | } |
| 8 | |
| 9 | |
| 10 | __attribute__(()) y; // expected-warning {{defaults to 'int'}} |
| 11 | |
| 12 | // PR2796 |
| 13 | int (__attribute__(()) *z)(long y); |
| 14 | |
| 15 | |
| 16 | void f1(__attribute__(()) int x); |
| 17 | |
| 18 | int f2(y, __attribute__(()) x); // expected-error {{expected identifier}} |
| 19 | |
| 20 | // This is parsed as a normal argument list (with two args that are implicit |
| 21 | // int) because the __attribute__ is a declspec. |
| 22 | void f3(__attribute__(()) x, // expected-warning {{defaults to 'int'}} |
| 23 | y); // expected-warning {{defaults to 'int'}} |
| 24 | |
| 25 | void f4(__attribute__(())); // expected-error {{expected parameter declarator}} |
| 26 | |
| 27 | |
| 28 | // This is ok, the __attribute__ applies to the pointer. |
| 29 | int baz(int (__attribute__(()) *x)(long y)); |
| 30 | |
| 31 | void g1(void (*f1)(__attribute__(()) int x)); |
| 32 | void g2(int (*f2)(y, __attribute__(()) x)); // expected-error {{expected identifier}} |
| 33 | void g3(void (*f3)(__attribute__(()) x, int y)); // expected-warning {{defaults to 'int'}} |
| 34 | void g4(void (*f4)(__attribute__(()))); // expected-error {{expected parameter declarator}} |
| 35 | |
| 36 | |
| 37 | void (*h1)(void (*f1)(__attribute__(()) int x)); |
| 38 | void (*h2)(int (*f2)(y, __attribute__(()) x)); // expected-error {{expected identifier}} |
| 39 | |
| 40 | void (*h3)(void (*f3)(__attribute__(()) x)); // expected-warning {{defaults to 'int'}} |
| 41 | void (*h4)(void (*f4)(__attribute__(()))); // expected-error {{expected parameter declarator}} |
| 42 | |
| 43 | |
| 44 | |
| 45 | // rdar://6131260 |
| 46 | int foo42(void) { |
| 47 | int x, __attribute__((unused)) y, z; |
| 48 | return 0; |
| 49 | } |
| 50 | |
| 51 | // rdar://6096491 |
| 52 | void __attribute__((noreturn)) d0(void), __attribute__((noreturn)) d1(void); |
| 53 | |
| 54 | void d2(void) __attribute__((noreturn)), d3(void) __attribute__((noreturn)); |
| 55 | |
| 56 | |
| 57 | // PR6287 |
| 58 | void __attribute__((returns_twice)) returns_twice_test(); |
| 59 | |
| 60 | int aligned(int); |
| 61 | int __attribute__((vec_type_hint(char, aligned(16) )) missing_rparen_1; // expected-error 2{{expected ')'}} expected-note {{to match}} expected-warning {{does not declare anything}} |
| 62 | int __attribute__((mode(x aligned(16) )) missing_rparen_2; // expected-error {{expected ')'}} |
| 63 | int __attribute__((format(printf, 0 aligned(16) )) missing_rparen_3; // expected-error {{expected ')'}} |
| 64 | |
| 65 | |
| 66 | |
| 67 | int testFundef1(int *a) __attribute__((nonnull(1))) { // \ |
| 68 | // expected-warning {{GCC does not allow 'nonnull' attribute in this position on a function definition}} |
| 69 | return *a; |
| 70 | } |
| 71 | |
| 72 | // noreturn is lifted to type qualifier |
| 73 | void testFundef2() __attribute__((noreturn)) { // \ |
| 74 | // expected-warning {{GCC does not allow 'noreturn' attribute in this position on a function definition}} |
| 75 | testFundef2(); |
| 76 | } |
| 77 | |
| 78 | int testFundef3(int *a) __attribute__((nonnull(1), // \ |
| 79 | // expected-warning {{GCC does not allow 'nonnull' attribute in this position on a function definition}} |
| 80 | pure)) { // \ |
| 81 | // expected-warning {{GCC does not allow 'pure' attribute in this position on a function definition}} |
| 82 | return *a; |
| 83 | } |
| 84 | |
| 85 | int testFundef4(int *a) __attribute__((nonnull(1))) // \ |
| 86 | // expected-warning {{GCC does not allow 'nonnull' attribute in this position on a function definition}} |
| 87 | __attribute((pure)) { // \ |
| 88 | // expected-warning {{GCC does not allow 'pure' attribute in this position on a function definition}} |
| 89 | return *a; |
| 90 | } |
| 91 | |
| 92 | // GCC allows these |
| 93 | void testFundef5() __attribute__(()) { } |
| 94 | |
| 95 | __attribute__((pure)) int testFundef6(int a) { return a; } |
| 96 | |
| 97 | void deprecatedTestFun(void) __attribute__((deprecated())); |
| 98 | |
| 99 | struct s { |
| 100 | int a; |
| 101 | }; |
| 102 | |
| 103 | // This test ensure compatibility with parsing GNU-style attributes |
| 104 | // where the attribute is on a separate line from the elaborated type |
| 105 | // specifier. |
| 106 | struct s |
| 107 | __attribute__((used)) bar; |
| 108 | |