xref: /llvm-project/clang/test/Parser/c2x-attribute-keywords.c (revision 8e7f073eb42c92aa7a2b651ca314d7fcebf296e3)
1 // RUN: sed -e "s@ATTR_USE@__arm_streaming@g" -e "s@ATTR_NAME@__arm_streaming@g" %s > %t
2 // RUN: %clang_cc1 -fsyntax-only -triple aarch64-none-linux-gnu -target-feature +sme -verify=expected,notc2x -Wno-strict-prototypes %t
3 // RUN: %clang_cc1 -fsyntax-only -triple aarch64-none-linux-gnu -target-feature +sme -verify=expected,c2x %t
4 // RUN: sed -e "s@ATTR_USE@__arm_inout\(\"za\"\)@g" -e "s@ATTR_NAME@__arm_inout@g" %s > %t
5 // RUN: %clang_cc1 -fsyntax-only -triple aarch64-none-linux-gnu -target-feature +sme -verify=expected,notc2x -Wno-strict-prototypes %t
6 // RUN: %clang_cc1 -fsyntax-only -triple aarch64-none-linux-gnu -target-feature +sme -verify=expected,c2x %t
7 
8 enum ATTR_USE E { // expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
9   One ATTR_USE, // expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
10   Two,
11   Three ATTR_USE // expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
12 };
13 
14 enum ATTR_USE { Four }; // expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
15 ATTR_USE enum E2 { Five }; // expected-error {{misplaced 'ATTR_NAME'}}
16 
17 // FIXME: this diagnostic can be improved.
18 enum { ATTR_USE Six }; // expected-error {{expected identifier}}
19 
20 // FIXME: this diagnostic can be improved.
21 enum E3 ATTR_USE { Seven }; // expected-error {{expected identifier or '('}}
22 
23 struct ATTR_USE S1 { // expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
24   int i ATTR_USE; // expected-error {{'ATTR_NAME' only applies to function types}}
25   int ATTR_USE j; // expected-error {{'ATTR_NAME' only applies to function types}}
26   int k[10] ATTR_USE; // expected-error {{'ATTR_NAME' only applies to function types}}
27   int l ATTR_USE[10]; // expected-error {{'ATTR_NAME' only applies to function types}}
28   ATTR_USE int m, n; // expected-error {{'ATTR_NAME' only applies to function types}}
29   int o ATTR_USE : 12; // expected-error {{'ATTR_NAME' only applies to function types}}
30   int ATTR_USE : 0; // expected-error {{'ATTR_NAME' only applies to function types}}
31   int p, ATTR_USE : 0; // expected-error {{'ATTR_NAME' cannot appear here}}
32   int q, ATTR_USE r; // expected-error {{'ATTR_NAME' cannot appear here}}
33   ATTR_USE int; // expected-error {{'ATTR_NAME' cannot appear here}} \
34             // expected-warning {{declaration does not declare anything}}
35 };
36 
37 ATTR_USE struct S2 { int a; }; // expected-error {{misplaced 'ATTR_NAME'}}
38 struct S3 ATTR_USE { int a; }; // expected-error {{'ATTR_NAME' cannot appear here}} \
39                                          expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
40 
41 union ATTR_USE U { // expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
42   double d ATTR_USE; // expected-error {{'ATTR_NAME' only applies to function types; type here is 'double'}}
43   ATTR_USE int i; // expected-error {{'ATTR_NAME' only applies to function types; type here is 'int'}}
44 };
45 
46 ATTR_USE union U2 { double d; }; // expected-error {{misplaced 'ATTR_NAME'}}
47 union U3 ATTR_USE { double d; }; // expected-error {{'ATTR_NAME' cannot appear here}} \
48                                            expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
49 
50 struct ATTR_USE IncompleteStruct; // expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
51 union ATTR_USE IncompleteUnion; // expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
52 enum ATTR_USE IncompleteEnum; // expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
53 
54 ATTR_USE void f1(void); // expected-error {{'ATTR_NAME' cannot be applied to a declaration}}
55 void ATTR_USE f2(void); // expected-error {{'ATTR_NAME' only applies to function types}}
56 void f3 ATTR_USE (void); // expected-error {{'ATTR_NAME' cannot be applied to a declaration}}
57 void f4(void) ATTR_USE;
58 
59 void f5(int i ATTR_USE, ATTR_USE int j, int ATTR_USE k); // expected-error 3 {{'ATTR_NAME' only applies to function types}}
60 
f6(a,b)61 void f6(a, b) ATTR_USE int a; int b; { // expected-error {{'ATTR_NAME' cannot appear here}} \
62                                                  c2x-warning {{deprecated}}
63 }
64 
65 // FIXME: technically, an attribute list cannot appear here, but we currently
66 // parse it as part of the return type of the function, which is reasonable
67 // behavior given that we *don't* want to parse it as part of the K&R parameter
68 // declarations. It is disallowed to avoid a parsing ambiguity we already
69 // handle well.
70 int (*f7(a, b))(int, int) ATTR_USE int a; int b; { // c2x-warning {{deprecated}}
71   return 0;
72 }
73 
74 ATTR_USE int a, b; // expected-error {{'ATTR_NAME' only applies to function types}}
75 int c ATTR_USE, d ATTR_USE; // expected-error 2 {{'ATTR_NAME' only applies to function types}}
76 
f8(void)77 void f8(void) ATTR_USE {
78   ATTR_USE int i, j; // expected-error {{'ATTR_NAME' only applies to function types}}
79   int k, l ATTR_USE; // expected-error {{'ATTR_NAME' only applies to function types}}
80 }
81 
f9(void)82 ATTR_USE void f9(void) { // expected-error {{'ATTR_NAME' cannot be applied to a declaration}}
83   int i[10] ATTR_USE; // expected-error {{'ATTR_NAME' only applies to function types}}
84   int (*fp1)(void)ATTR_USE;
85   int (*fp2 ATTR_USE)(void); // expected-error {{'ATTR_NAME' cannot be applied to a declaration}}
86 
87   int * ATTR_USE *ipp; // expected-error {{'ATTR_NAME' only applies to function types}}
88 }
89 
90 void f10(int j[static 10] ATTR_USE, int k[*] ATTR_USE); // expected-error 2 {{'ATTR_NAME' only applies to function types}}
91 
f11(void)92 void f11(void) {
93   ATTR_USE {} // expected-error {{'ATTR_NAME' cannot be applied to a statement}}
94   ATTR_USE if (1) {} // expected-error {{'ATTR_NAME' cannot be applied to a statement}}
95 
96   ATTR_USE switch (1) { // expected-error {{'ATTR_NAME' cannot be applied to a statement}}
97   ATTR_USE case 1: ATTR_USE break; // expected-error 2 {{'ATTR_NAME' cannot be applied to a statement}}
98   ATTR_USE default: break; // expected-error {{'ATTR_NAME' cannot be applied to a statement}}
99   }
100 
101   goto foo;
102   ATTR_USE foo: (void)1; // expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}}
103 
104   ATTR_USE for (;;); // expected-error {{'ATTR_NAME' cannot be applied to a statement}}
105   ATTR_USE while (1); // expected-error {{'ATTR_NAME' cannot be applied to a statement}}
106   ATTR_USE do ATTR_USE { } while(1); // expected-error 2 {{'ATTR_NAME' cannot be applied to a statement}}
107 
108   ATTR_USE (void)1; // expected-error {{'ATTR_NAME' cannot be applied to a statement}}
109 
110   ATTR_USE; // expected-error {{'ATTR_NAME' cannot be applied to a statement}}
111 
112   (void)sizeof(int [4]ATTR_USE); // expected-error {{'ATTR_NAME' only applies to function types}}
113   (void)sizeof(struct ATTR_USE S3 { int a ATTR_USE; }); // expected-error {{'ATTR_NAME' only applies to non-K&R-style functions}} \
114                                                                       // expected-error {{'ATTR_NAME' only applies to function types; type here is 'int'}}
115 
116   ATTR_USE return; // expected-error {{'ATTR_NAME' cannot be applied to a statement}}
117 
118   ATTR_USE asm (""); // expected-error {{'ATTR_NAME' cannot appear here}}
119 }
120 
121 struct ATTR_USE S4 *s; // expected-error {{'ATTR_NAME' cannot appear here}}
122 struct S5 {};
123 int c = sizeof(struct ATTR_USE S5); // expected-error {{'ATTR_NAME' cannot appear here}}
124 
125 void invalid_parentheses1() __arm_inout; // expected-error {{expected '(' after ''__arm_inout''}}
126 void invalid_parentheses2() __arm_inout(; // expected-error {{expected string literal as argument of '__arm_inout' attribute}}
127 void invalid_parentheses3() __arm_inout((); // expected-error {{expected string literal as argument of '__arm_inout' attribute}}
128 void invalid_parentheses4() __arm_inout); // expected-error {{expected '(' after ''__arm_inout''}} \
129                                           // expected-error {{expected function body after function declarator}}
130 void invalid_parentheses5() __arm_inout(());  // expected-error {{expected string literal as argument of '__arm_inout' attribute}}
131 void invalid_parentheses6() __arm_inout("za"; // expected-error {{expected ')'}}
132 void invalid_parentheses7() __arm_streaming(; // expected-error {{expected parameter declarator}} \
133                                               // expected-error {{expected ')'}} \
134                                               // expected-note {{to match this '('}} \
135                                               // expected-error {{function cannot return function type 'void ()'}} \
136                                               // expected-error {{'__arm_streaming' only applies to function types; type here is 'int ()'}} \
137                                               // expected-warning {{'__arm_streaming' only applies to non-K&R-style functions}}
138 void invalid_parentheses8() __arm_streaming();  // expected-error {{function cannot return function type 'void ()'}} \
139                                                 // expected-error {{'__arm_streaming' only applies to function types; type here is 'int ()'}} \
140                                                 // expected-warning {{'__arm_streaming' only applies to non-K&R-style functions}}
141