|
150
|
1 // RUN: %clang_cc1 -fsyntax-only -Wno-pragma-clang-attribute -verify %s
|
|
|
2 // RUN: not %clang_cc1 -fsyntax-only -ast-dump -ast-dump-filter test %s | FileCheck %s
|
|
|
3
|
|
|
4 // Check for contradictions in rules for attribute without a strict subject set:
|
|
|
5
|
|
|
6 #pragma clang attribute push (__attribute__((annotate("subRuleContradictions"))), apply_to = any(variable, variable(is_parameter), function(is_member), variable(is_global)))
|
|
|
7 // expected-error@-1 {{redundant attribute subject matcher sub-rule 'variable(is_parameter)'; 'variable' already matches those declarations}}
|
|
|
8 // expected-error@-2 {{redundant attribute subject matcher sub-rule 'variable(is_global)'; 'variable' already matches those declarations}}
|
|
|
9
|
|
|
10 // Ensure that we've recovered from the error:
|
|
|
11 int testRecoverSubRuleContradiction = 0;
|
|
|
12 // CHECK-LABEL: VarDecl{{.*}} testRecoverSubRuleContradiction
|
|
|
13 // CHECK-NEXT: IntegerLiteral
|
|
|
14 // CHECK-NEXT: AnnotateAttr{{.*}} "subRuleContradictions"
|
|
|
15
|
|
|
16 #pragma clang attribute pop
|
|
|
17
|
|
|
18 #pragma clang attribute push (__attribute__((annotate("negatedSubRuleContradictions2"))), apply_to = any(variable(unless(is_parameter)), variable(is_thread_local), function, variable(is_global)))
|
|
|
19 // expected-error@-1 {{negated attribute subject matcher sub-rule 'variable(unless(is_parameter))' contradicts sub-rule 'variable(is_global)'}}
|
|
|
20 // We have just one error, don't error on 'variable(is_global)'
|
|
|
21
|
|
|
22 // Ensure that we've recovered from the error:
|
|
|
23 int testRecoverNegatedContradiction = 0;
|
|
|
24 // CHECK-LABEL: VarDecl{{.*}} testRecoverNegatedContradiction
|
|
|
25 // CHECK-NEXT: IntegerLiteral
|
|
|
26 // CHECK-NEXT: AnnotateAttr{{.*}} "negatedSubRuleContradictions2"
|
|
|
27
|
|
|
28 void testRecoverNegatedContradictionFunc(void);
|
|
|
29 // CHECK-LABEL: FunctionDecl{{.*}} testRecoverNegatedContradictionFunc
|
|
|
30 // CHECK-NEXT: AnnotateAttr{{.*}} "negatedSubRuleContradictions2"
|
|
|
31
|
|
|
32 #pragma clang attribute pop
|
|
|
33
|
|
|
34 // Verify the strict subject set verification.
|
|
|
35
|
|
|
36 #pragma clang attribute push (__attribute__((abi_tag("a"))), apply_to = any(function))
|
|
|
37
|
|
|
38 int testRecoverStrictnessVar = 0;
|
|
|
39 // CHECK-LABEL: VarDecl{{.*}} testRecoverStrictnessVar
|
|
|
40 // CHECK-NEXT: IntegerLiteral
|
|
|
41 // CHECK-NOT: AbiTagAttr
|
|
|
42
|
|
|
43 void testRecoverStrictnessFunc(void);
|
|
|
44 // CHECK-LABEL: FunctionDecl{{.*}} testRecoverStrictnessFunc
|
|
|
45 // CHECK-NEXT: AbiTagAttr
|
|
|
46
|
|
|
47 struct testRecoverStrictnessStruct { };
|
|
|
48 // CHECK-LABEL: RecordDecl{{.*}} testRecoverStrictnessStruct
|
|
|
49 // CHECK-NOT: AbiTagAttr
|
|
|
50
|
|
|
51 #pragma clang attribute pop
|
|
|
52
|
|
|
53 #pragma clang attribute push (__attribute__((abi_tag("a"))), apply_to = any(function, record(unless(is_union)), variable, enum))
|
|
|
54 // expected-error@-1 {{attribute 'abi_tag' can't be applied to 'enum'}}
|
|
|
55
|
|
|
56 int testRecoverExtraVar = 0;
|
|
|
57 // CHECK-LABEL: VarDecl{{.*}} testRecoverExtraVar
|
|
|
58 // CHECK-NEXT: IntegerLiteral
|
|
|
59 // CHECK-NEXT: AbiTagAttr
|
|
|
60
|
|
|
61 void testRecoverExtraFunc(void);
|
|
|
62 // CHECK-LABEL: FunctionDecl{{.*}} testRecoverExtraFunc
|
|
|
63 // CHECK-NEXT: AbiTagAttr
|
|
|
64
|
|
|
65 struct testRecoverExtraStruct { };
|
|
|
66 // CHECK-LABEL: RecordDecl{{.*}} testRecoverExtraStruct
|
|
|
67 // CHECK-NEXT: AbiTagAttr
|
|
|
68
|
|
|
69 enum testNoEnumAbiTag { CaseCase };
|
|
|
70 // CHECK-LABEL: EnumDecl{{.*}} testNoEnumAbiTag
|
|
|
71 // CHECK-NO: AbiTagAttr
|
|
|
72
|
|
|
73 #pragma clang attribute pop
|
|
|
74
|
|
|
75 // Verify the non-strict subject set verification.
|
|
|
76
|
|
|
77 #pragma clang attribute push (__attribute__((abi_tag("a"))), apply_to = any(function))
|
|
|
78
|
|
|
79 int testSubset1Var;
|
|
|
80 // CHECK-LABEL: VarDecl{{.*}} testSubset1Var
|
|
|
81 // CHECK-NOT: AbiTagAttr
|
|
|
82
|
|
|
83 void testSubset1Func(void);
|
|
|
84 // CHECK-LABEL: FunctionDecl{{.*}} testSubset1Func
|
|
|
85 // CHECK-NEXT: AbiTagAttr
|
|
|
86
|
|
|
87 struct testSubset1Struct { };
|
|
|
88 // CHECK-LABEL: RecordDecl{{.*}} testSubset1Struct
|
|
|
89 // CHECK-NOT: AbiTagAttr
|
|
|
90
|
|
|
91 #pragma clang attribute pop
|
|
|
92
|
|
|
93 #pragma clang attribute push (__attribute__((abi_tag("a"))), apply_to = variable)
|
|
|
94
|
|
|
95 int testSubset2Var;
|
|
|
96 // CHECK-LABEL: VarDecl{{.*}} testSubset2Var
|
|
|
97 // CHECK-NEXT: AbiTagAttr
|
|
|
98
|
|
|
99 void testSubset2Func(void);
|
|
|
100 // CHECK-LABEL: FunctionDecl{{.*}} testSubset2Func
|
|
|
101 // CHECK-NOT: AbiTagAttr
|
|
|
102
|
|
|
103 struct testSubset2Struct { };
|
|
|
104 // CHECK-LABEL: RecordDecl{{.*}} testSubset2Struct
|
|
|
105 // CHECK-NOT: AbiTagAttr
|
|
|
106
|
|
|
107 #pragma clang attribute pop
|
|
|
108
|
|
|
109 #pragma clang attribute push (__attribute__((abi_tag("a"))), apply_to = any(record(unless(is_union))))
|
|
|
110
|
|
|
111 int testSubset3Var;
|
|
|
112 // CHECK-LABEL: VarDecl{{.*}} testSubset3Var
|
|
|
113 // CHECK-NOT: AbiTagAttr
|
|
|
114
|
|
|
115 void testSubset3Func(void);
|
|
|
116 // CHECK-LABEL: FunctionDecl{{.*}} testSubset3Func
|
|
|
117 // CHECK-NOT: AbiTagAttr
|
|
|
118
|
|
|
119 struct testSubset3Struct { };
|
|
|
120 // CHECK-LABEL: RecordDecl{{.*}} testSubset3Struct
|
|
|
121 // CHECK-NEXT: AbiTagAttr
|
|
|
122
|
|
|
123 #pragma clang attribute pop
|
|
|
124
|
|
|
125 #pragma clang attribute push (__attribute__((abi_tag("a"))), apply_to = any(function, variable))
|
|
|
126
|
|
|
127 int testSubset4Var;
|
|
|
128 // CHECK-LABEL: VarDecl{{.*}} testSubset4Var
|
|
|
129 // CHECK-NEXT: AbiTagAttr
|
|
|
130
|
|
|
131 void testSubset4Func(void);
|
|
|
132 // CHECK-LABEL: FunctionDecl{{.*}} testSubset4Func
|
|
|
133 // CHECK-NEXT: AbiTagAttr
|
|
|
134
|
|
|
135 struct testSubset4Struct { };
|
|
|
136 // CHECK-LABEL: RecordDecl{{.*}} testSubset4Struct
|
|
|
137 // CHECK-NOT: AbiTagAttr
|
|
|
138
|
|
|
139 #pragma clang attribute pop
|
|
|
140
|
|
|
141 #pragma clang attribute push (__attribute__((abi_tag("a"))), apply_to = any(variable, record(unless(is_union))))
|
|
|
142
|
|
|
143 int testSubset5Var;
|
|
|
144 // CHECK-LABEL: VarDecl{{.*}} testSubset5Var
|
|
|
145 // CHECK-NEXT: AbiTagAttr
|
|
|
146
|
|
|
147 void testSubset5Func(void);
|
|
|
148 // CHECK-LABEL: FunctionDecl{{.*}} testSubset5Func
|
|
|
149 // CHECK-NOT: AbiTagAttr
|
|
|
150
|
|
|
151 struct testSubset5Struct { };
|
|
|
152 // CHECK-LABEL: RecordDecl{{.*}} testSubset5Struct
|
|
|
153 // CHECK-NEXT: AbiTagAttr
|
|
|
154
|
|
|
155 #pragma clang attribute pop
|
|
|
156
|
|
|
157 #pragma clang attribute push (__attribute__((abi_tag("a"))), apply_to = any(record(unless(is_union)), function))
|
|
|
158
|
|
|
159 int testSubset6Var;
|
|
|
160 // CHECK-LABEL: VarDecl{{.*}} testSubset6Var
|
|
|
161 // CHECK-NOT: AbiTagAttr
|
|
|
162
|
|
|
163 void testSubset6Func(void);
|
|
|
164 // CHECK-LABEL: FunctionDecl{{.*}} testSubset6Func
|
|
|
165 // CHECK-NEXT: AbiTagAttr
|
|
|
166
|
|
|
167 struct testSubset6Struct { };
|
|
|
168 // CHECK-LABEL: RecordDecl{{.*}} testSubset6Struct
|
|
|
169 // CHECK-NEXT: AbiTagAttr
|
|
|
170
|
|
|
171 #pragma clang attribute pop
|
|
|
172
|
|
|
173 #pragma clang attribute push (__attribute__((abi_tag("a"))), apply_to = any(record(unless(is_union)), function, variable))
|
|
|
174
|
|
|
175 int testSubset7Var;
|
|
|
176 // CHECK-LABEL: VarDecl{{.*}} testSubset7Var
|
|
|
177 // CHECK-NEXT: AbiTagAttr
|
|
|
178
|
|
|
179 void testSubset7Func(void);
|
|
|
180 // CHECK-LABEL: FunctionDecl{{.*}} testSubset7Func
|
|
|
181 // CHECK-NEXT: AbiTagAttr
|
|
|
182
|
|
|
183 struct testSubset7Struct { };
|
|
|
184 // CHECK-LABEL: RecordDecl{{.*}} testSubset7Struct
|
|
|
185 // CHECK-NEXT: AbiTagAttr
|
|
|
186
|
|
|
187 #pragma clang attribute pop
|
|
|
188
|
|
|
189
|
|
|
190 #pragma clang attribute push (__attribute__((abi_tag("a"))), apply_to = any(record(unless(is_union)), function, variable, enum, enum_constant))
|
|
|
191 // expected-error@-1 {{attribute 'abi_tag' can't be applied to 'enum_constant', and 'enum'}}
|
|
|
192
|
|
|
193 int testSubsetRecoverVar;
|
|
|
194 // CHECK-LABEL: VarDecl{{.*}} testSubsetRecoverVar
|
|
|
195 // CHECK-NEXT: AbiTagAttr
|
|
|
196
|
|
|
197 void testSubsetRecoverFunc(void);
|
|
|
198 // CHECK-LABEL: FunctionDecl{{.*}} testSubsetRecoverFunc
|
|
|
199 // CHECK-NEXT: AbiTagAttr
|
|
|
200
|
|
|
201 struct testSubsetRecoverStruct { };
|
|
|
202 // CHECK-LABEL: RecordDecl{{.*}} testSubsetRecoverStruct
|
|
|
203 // CHECK-NEXT: AbiTagAttr
|
|
|
204
|
|
|
205 #pragma clang attribute pop
|
|
|
206
|
|
|
207 #pragma clang attribute push (__attribute__((abi_tag("a"))), apply_to = enum)
|
|
|
208 // expected-error@-1 {{attribute 'abi_tag' can't be applied to 'enum'}}
|
|
|
209
|
|
|
210 int testSubsetNoVar;
|
|
|
211 // CHECK-LABEL: VarDecl{{.*}} testSubsetNoVar
|
|
|
212 // CHECK-NOT: AbiTagAttr
|
|
|
213
|
|
|
214 void testSubsetNoFunc(void);
|
|
|
215 // CHECK-LABEL: FunctionDecl{{.*}} testSubsetNoFunc
|
|
|
216 // CHECK-NOT: AbiTagAttr
|
|
|
217
|
|
|
218 struct testSubsetNoStruct { };
|
|
|
219 // CHECK-LABEL: RecordDecl{{.*}} testSubsetNoStruct
|
|
|
220 // CHECK-NOT: AbiTagAttr
|
|
|
221
|
|
|
222 #pragma clang attribute pop
|
