111
|
1 /* { dg-do compile } */
|
|
2 /* { dg-options "-O -fdiagnostics-show-caret -fpermissive" } */
|
|
3
|
|
4 /* This is a collection of unittests to verify that we're correctly
|
|
5 capturing the source code ranges of various kinds of expression.
|
|
6
|
|
7 It uses the various "diagnostic_test_*_expression_range_plugin"
|
|
8 plugins which handles "__emit_expression_range" by generating a warning
|
|
9 at the given source range of the input argument. Each of the
|
|
10 different plugins do this at a different phase of the internal
|
|
11 representation (tree, gimple, etc), so we can verify that the
|
|
12 source code range information is valid at each phase.
|
|
13
|
|
14 We want to accept an expression of any type. We use variadic arguments.
|
|
15 For compatibility with the C tests we have a dummy argument, since
|
|
16 C requires at least one argument before the ellipsis. */
|
|
17
|
|
18 extern void __emit_expression_range (int dummy, ...);
|
|
19
|
|
20 int global;
|
|
21
|
131
|
22 void test_global (void)
|
|
23 {
|
|
24 __emit_expression_range (0, global); /* { dg-warning "range" } */
|
|
25 /* { dg-begin-multiline-output "" }
|
|
26 __emit_expression_range (0, global);
|
|
27 ^~~~~~
|
|
28 { dg-end-multiline-output "" } */
|
|
29 }
|
|
30
|
|
31 void test_param (int param)
|
|
32 {
|
|
33 __emit_expression_range (0, param); /* { dg-warning "range" } */
|
|
34 /* { dg-begin-multiline-output "" }
|
|
35 __emit_expression_range (0, param);
|
|
36 ^~~~~
|
|
37 { dg-end-multiline-output "" } */
|
|
38 }
|
|
39
|
|
40 void test_local (void)
|
|
41 {
|
|
42 int local = 5;
|
|
43
|
|
44 __emit_expression_range (0, local); /* { dg-warning "range" } */
|
|
45 /* { dg-begin-multiline-output "" }
|
|
46 __emit_expression_range (0, local);
|
|
47 ^~~~~
|
|
48 { dg-end-multiline-output "" } */
|
|
49 }
|
|
50
|
|
51 void test_integer_constants (void)
|
|
52 {
|
|
53 __emit_expression_range (0, 1234); /* { dg-warning "range" } */
|
|
54 /* { dg-begin-multiline-output "" }
|
|
55 __emit_expression_range (0, 1234);
|
|
56 ^~~~
|
|
57 { dg-end-multiline-output "" } */
|
|
58
|
|
59 /* Ensure that zero works. */
|
|
60
|
|
61 __emit_expression_range (0, 0); /* { dg-warning "range" } */
|
|
62 /* { dg-begin-multiline-output "" }
|
|
63 __emit_expression_range (0, 0);
|
|
64 ^
|
|
65 { dg-end-multiline-output "" } */
|
|
66 }
|
|
67
|
|
68 void test_character_constants (void)
|
|
69 {
|
|
70 __emit_expression_range (0, 'a'); /* { dg-warning "range" } */
|
|
71 /* { dg-begin-multiline-output "" }
|
|
72 __emit_expression_range (0, 'a');
|
|
73 ^~~
|
|
74 { dg-end-multiline-output "" } */
|
|
75 }
|
|
76
|
|
77 void test_floating_constants (void)
|
|
78 {
|
|
79 __emit_expression_range (0, 98.6); /* { dg-warning "range" } */
|
|
80 /* { dg-begin-multiline-output "" }
|
|
81 __emit_expression_range (0, 98.6);
|
|
82 ^~~~
|
|
83 { dg-end-multiline-output "" } */
|
|
84
|
|
85 __emit_expression_range (0, .6); /* { dg-warning "range" } */
|
|
86 /* { dg-begin-multiline-output "" }
|
|
87 __emit_expression_range (0, .6);
|
|
88 ^~
|
|
89 { dg-end-multiline-output "" } */
|
|
90
|
|
91 __emit_expression_range (0, 98.); /* { dg-warning "range" } */
|
|
92 /* { dg-begin-multiline-output "" }
|
|
93 __emit_expression_range (0, 98.);
|
|
94 ^~~
|
|
95 { dg-end-multiline-output "" } */
|
|
96
|
|
97 __emit_expression_range (0, 6.022140857e23 ); /* { dg-warning "range" } */
|
|
98 /* { dg-begin-multiline-output "" }
|
|
99 __emit_expression_range (0, 6.022140857e23 );
|
|
100 ^~~~~~~~~~~~~~
|
|
101 { dg-end-multiline-output "" } */
|
|
102
|
|
103 __emit_expression_range (0, 98.6f ); /* { dg-warning "range" } */
|
|
104 /* { dg-begin-multiline-output "" }
|
|
105 __emit_expression_range (0, 98.6f );
|
|
106 ^~~~~
|
|
107 { dg-end-multiline-output "" } */
|
|
108
|
|
109 __emit_expression_range (0, 6.022140857e23l ); /* { dg-warning "range" } */
|
|
110 /* { dg-begin-multiline-output "" }
|
|
111 __emit_expression_range (0, 6.022140857e23l );
|
|
112 ^~~~~~~~~~~~~~~
|
|
113 { dg-end-multiline-output "" } */
|
|
114 }
|
|
115
|
|
116 enum test_enum {
|
|
117 TEST_ENUM_VALUE
|
|
118 };
|
|
119
|
|
120 void test_enumeration_constant (void)
|
|
121 {
|
|
122 __emit_expression_range (0, TEST_ENUM_VALUE ); /* { dg-warning "range" } */
|
|
123 /* { dg-begin-multiline-output "" }
|
|
124 __emit_expression_range (0, TEST_ENUM_VALUE );
|
|
125 ^~~~~~~~~~~~~~~
|
|
126 { dg-end-multiline-output "" } */
|
|
127 }
|
|
128
|
111
|
129 void test_parentheses (int a, int b)
|
|
130 {
|
|
131 __emit_expression_range (0, (a + b) ); /* { dg-warning "range" } */
|
|
132 /* { dg-begin-multiline-output "" }
|
|
133 __emit_expression_range (0, (a + b) );
|
|
134 ~~~^~~~
|
|
135 { dg-end-multiline-output "" } */
|
|
136
|
|
137 __emit_expression_range (0, (a + b) * (a - b) ); /* { dg-warning "range" } */
|
|
138 /* { dg-begin-multiline-output "" }
|
|
139 __emit_expression_range (0, (a + b) * (a - b) );
|
|
140 ~~~~~~~~^~~~~~~~~
|
|
141 { dg-end-multiline-output "" } */
|
|
142
|
|
143 __emit_expression_range (0, !(a && b) ); /* { dg-warning "range" } */
|
|
144 /* { dg-begin-multiline-output "" }
|
|
145 __emit_expression_range (0, !(a && b) );
|
|
146 ^~~~~~~~~
|
|
147 { dg-end-multiline-output "" } */
|
|
148 }
|
|
149
|
|
150 /* Postfix expressions. ************************************************/
|
|
151
|
|
152 void test_array_reference (int *arr)
|
|
153 {
|
|
154 __emit_expression_range (0, arr[100] ); /* { dg-warning "range" } */
|
|
155 /* { dg-begin-multiline-output "" }
|
|
156 __emit_expression_range (0, arr[100] );
|
|
157 ~~~~~~~^
|
|
158 { dg-end-multiline-output "" } */
|
|
159 }
|
|
160
|
|
161 int test_function_call (int p, int q, int r)
|
|
162 {
|
|
163 __emit_expression_range (0, test_function_call (p, q, r) ); /* { dg-warning "range" } */
|
|
164 /* { dg-begin-multiline-output "" }
|
|
165 __emit_expression_range (0, test_function_call (p, q, r) );
|
|
166 ~~~~~~~~~~~~~~~~~~~^~~~~~~~~
|
|
167 { dg-end-multiline-output "" } */
|
|
168 return 0;
|
|
169 }
|
|
170
|
|
171 struct test_struct
|
|
172 {
|
|
173 int field;
|
|
174 };
|
|
175
|
131
|
176 void test_structure_references (struct test_struct *ptr)
|
111
|
177 {
|
|
178 struct test_struct local;
|
|
179 local.field = 42;
|
|
180
|
|
181 __emit_expression_range (0, local.field ); /* { dg-warning "range" } */
|
|
182 /* { dg-begin-multiline-output "" }
|
|
183 __emit_expression_range (0, local.field );
|
|
184 ~~~~~~^~~~~
|
|
185 { dg-end-multiline-output "" } */
|
|
186
|
|
187 __emit_expression_range (0, ptr->field ); /* { dg-warning "range" } */
|
|
188 /* { dg-begin-multiline-output "" }
|
|
189 __emit_expression_range (0, ptr->field );
|
|
190 ~~~~~^~~~~
|
|
191 { dg-end-multiline-output "" } */
|
|
192 }
|
|
193
|
131
|
194 void test_postfix_incdec (int i)
|
111
|
195 {
|
|
196 __emit_expression_range (0, i++ ); /* { dg-warning "range" } */
|
|
197 /* { dg-begin-multiline-output "" }
|
|
198 __emit_expression_range (0, i++ );
|
|
199 ~^~
|
|
200 { dg-end-multiline-output "" } */
|
|
201
|
|
202 __emit_expression_range (0, i-- ); /* { dg-warning "range" } */
|
|
203 /* { dg-begin-multiline-output "" }
|
|
204 __emit_expression_range (0, i-- );
|
|
205 ~^~
|
|
206 { dg-end-multiline-output "" } */
|
|
207 }
|
|
208
|
|
209 /* Unary operators. ****************************************************/
|
|
210
|
131
|
211 void test_sizeof (int i)
|
111
|
212 {
|
131
|
213 __emit_expression_range (0, sizeof i ); /* { dg-warning "range" } */
|
111
|
214 /* { dg-begin-multiline-output "" }
|
131
|
215 __emit_expression_range (0, sizeof i );
|
|
216 ^~~~~~~~
|
111
|
217 { dg-end-multiline-output "" } */
|
|
218
|
131
|
219 __emit_expression_range (0, sizeof (char) ); /* { dg-warning "range" } */
|
111
|
220 /* { dg-begin-multiline-output "" }
|
131
|
221 __emit_expression_range (0, sizeof (char) );
|
|
222 ^~~~~~~~~~~~~
|
111
|
223 { dg-end-multiline-output "" } */
|
|
224 }
|
|
225
|
131
|
226 void test_alignof (int i)
|
111
|
227 {
|
131
|
228 __emit_expression_range (0, alignof(int)); /* { dg-warning "range" } */
|
111
|
229 /* { dg-begin-multiline-output "" }
|
131
|
230 __emit_expression_range (0, alignof(int));
|
|
231 ^~~~~~~~~~~~
|
111
|
232 { dg-end-multiline-output "" } */
|
|
233
|
131
|
234 __emit_expression_range (0, __alignof__(int)); /* { dg-warning "range" } */
|
111
|
235 /* { dg-begin-multiline-output "" }
|
131
|
236 __emit_expression_range (0, __alignof__(int));
|
|
237 ^~~~~~~~~~~~~~~~
|
111
|
238 { dg-end-multiline-output "" } */
|
131
|
239 __emit_expression_range (0, __alignof__ i); /* { dg-warning "range" } */
|
111
|
240 /* { dg-begin-multiline-output "" }
|
131
|
241 __emit_expression_range (0, __alignof__ i);
|
|
242 ^~~~~~~~~~~~~
|
111
|
243 { dg-end-multiline-output "" } */
|
|
244 }
|
|
245
|
131
|
246 void test_prefix_incdec (int i)
|
111
|
247 {
|
|
248 __emit_expression_range (0, ++i ); /* { dg-warning "range" } */
|
|
249 /* { dg-begin-multiline-output "" }
|
|
250 __emit_expression_range (0, ++i );
|
|
251 ^~~
|
|
252 { dg-end-multiline-output "" } */
|
|
253
|
|
254 __emit_expression_range (0, --i ); /* { dg-warning "range" } */
|
|
255 /* { dg-begin-multiline-output "" }
|
|
256 __emit_expression_range (0, --i );
|
|
257 ^~~
|
|
258 { dg-end-multiline-output "" } */
|
|
259 }
|
|
260
|
|
261 void test_address_operator (void)
|
|
262 {
|
|
263 __emit_expression_range (0, &global ); /* { dg-warning "range" } */
|
|
264 /* { dg-begin-multiline-output "" }
|
|
265 __emit_expression_range (0, &global );
|
|
266 ^~~~~~~
|
|
267 { dg-end-multiline-output "" } */
|
|
268 }
|
|
269
|
|
270 void test_indirection (int *ptr)
|
|
271 {
|
|
272 __emit_expression_range (0, *ptr ); /* { dg-warning "range" } */
|
|
273 /* { dg-begin-multiline-output "" }
|
|
274 __emit_expression_range (0, *ptr );
|
|
275 ^~~~
|
|
276 { dg-end-multiline-output "" } */
|
|
277 }
|
|
278
|
131
|
279 void test_unary_plus (int i)
|
|
280 {
|
|
281 __emit_expression_range (0, +i ); /* { dg-warning "range" } */
|
|
282 /* { dg-begin-multiline-output "" }
|
|
283 __emit_expression_range (0, +i );
|
|
284 ^~
|
|
285 { dg-end-multiline-output "" } */
|
|
286 }
|
|
287
|
111
|
288 void test_unary_minus (int i)
|
|
289 {
|
|
290 __emit_expression_range (0, -i ); /* { dg-warning "range" } */
|
|
291 /* { dg-begin-multiline-output "" }
|
|
292 __emit_expression_range (0, -i );
|
|
293 ^~
|
|
294 { dg-end-multiline-output "" } */
|
|
295 }
|
|
296
|
|
297 void test_ones_complement (int i)
|
|
298 {
|
|
299 __emit_expression_range (0, ~i ); /* { dg-warning "range" } */
|
|
300 /* { dg-begin-multiline-output "" }
|
|
301 __emit_expression_range (0, ~i );
|
|
302 ^~
|
|
303 { dg-end-multiline-output "" } */
|
|
304 }
|
|
305
|
|
306 void test_logical_negation (int flag)
|
|
307 {
|
|
308 __emit_expression_range (0, !flag ); /* { dg-warning "range" } */
|
|
309 /* { dg-begin-multiline-output "" }
|
|
310 __emit_expression_range (0, !flag );
|
|
311 ^~~~~
|
|
312 { dg-end-multiline-output "" } */
|
|
313 }
|
|
314
|
|
315 /* Casts. ****************************************************/
|
|
316
|
|
317 void test_cast (void *ptr)
|
|
318 {
|
|
319 __emit_expression_range (0, (int *)ptr ); /* { dg-warning "range" } */
|
|
320 /* { dg-begin-multiline-output "" }
|
|
321 __emit_expression_range (0, (int *)ptr );
|
|
322 ^~~~~~~~~~
|
|
323 { dg-end-multiline-output "" } */
|
|
324
|
|
325 __emit_expression_range (0, *(int *)0xdeadbeef ); /* { dg-warning "range" } */
|
|
326 /* { dg-begin-multiline-output "" }
|
|
327 __emit_expression_range (0, *(int *)0xdeadbeef );
|
|
328 ^~~~~~~~~~~~~~~~~~
|
|
329 { dg-end-multiline-output "" } */
|
|
330
|
|
331 }
|
|
332
|
|
333 /* Binary operators. *******************************************/
|
|
334
|
|
335 void test_multiplicative_operators (int lhs, int rhs)
|
|
336 {
|
|
337 __emit_expression_range (0, lhs * rhs ); /* { dg-warning "range" } */
|
|
338 /* { dg-begin-multiline-output "" }
|
|
339 __emit_expression_range (0, lhs * rhs );
|
|
340 ~~~~^~~~~
|
|
341 { dg-end-multiline-output "" } */
|
|
342
|
|
343 __emit_expression_range (0, lhs / rhs ); /* { dg-warning "range" } */
|
|
344 /* { dg-begin-multiline-output "" }
|
|
345 __emit_expression_range (0, lhs / rhs );
|
|
346 ~~~~^~~~~
|
|
347 { dg-end-multiline-output "" } */
|
|
348
|
|
349 __emit_expression_range (0, lhs % rhs ); /* { dg-warning "range" } */
|
|
350 /* { dg-begin-multiline-output "" }
|
|
351 __emit_expression_range (0, lhs % rhs );
|
|
352 ~~~~^~~~~
|
|
353 { dg-end-multiline-output "" } */
|
|
354 }
|
|
355
|
|
356 void test_additive_operators (int lhs, int rhs)
|
|
357 {
|
|
358 __emit_expression_range (0, lhs + rhs ); /* { dg-warning "range" } */
|
|
359 /* { dg-begin-multiline-output "" }
|
|
360 __emit_expression_range (0, lhs + rhs );
|
|
361 ~~~~^~~~~
|
|
362 { dg-end-multiline-output "" } */
|
|
363
|
|
364 __emit_expression_range (0, lhs - rhs ); /* { dg-warning "range" } */
|
|
365 /* { dg-begin-multiline-output "" }
|
|
366 __emit_expression_range (0, lhs - rhs );
|
|
367 ~~~~^~~~~
|
|
368 { dg-end-multiline-output "" } */
|
|
369 }
|
|
370
|
|
371 void test_shift_operators (int lhs, int rhs)
|
|
372 {
|
|
373 __emit_expression_range (0, lhs << rhs ); /* { dg-warning "range" } */
|
|
374 /* { dg-begin-multiline-output "" }
|
|
375 __emit_expression_range (0, lhs << rhs );
|
|
376 ~~~~^~~~~~
|
|
377 { dg-end-multiline-output "" } */
|
|
378
|
|
379 __emit_expression_range (0, lhs >> rhs ); /* { dg-warning "range" } */
|
|
380 /* { dg-begin-multiline-output "" }
|
|
381 __emit_expression_range (0, lhs >> rhs );
|
|
382 ~~~~^~~~~~
|
|
383 { dg-end-multiline-output "" } */
|
|
384 }
|
|
385
|
|
386 void test_relational_operators (int lhs, int rhs)
|
|
387 {
|
|
388 __emit_expression_range (0, lhs < rhs ); /* { dg-warning "range" } */
|
|
389 /* { dg-begin-multiline-output "" }
|
|
390 __emit_expression_range (0, lhs < rhs );
|
|
391 ~~~~^~~~~
|
|
392 { dg-end-multiline-output "" } */
|
|
393
|
|
394 __emit_expression_range (0, lhs > rhs ); /* { dg-warning "range" } */
|
|
395 /* { dg-begin-multiline-output "" }
|
|
396 __emit_expression_range (0, lhs > rhs );
|
|
397 ~~~~^~~~~
|
|
398 { dg-end-multiline-output "" } */
|
|
399
|
|
400 __emit_expression_range (0, lhs <= rhs ); /* { dg-warning "range" } */
|
|
401 /* { dg-begin-multiline-output "" }
|
|
402 __emit_expression_range (0, lhs <= rhs );
|
|
403 ~~~~^~~~~~
|
|
404 { dg-end-multiline-output "" } */
|
|
405
|
|
406 __emit_expression_range (0, lhs >= rhs ); /* { dg-warning "range" } */
|
|
407 /* { dg-begin-multiline-output "" }
|
|
408 __emit_expression_range (0, lhs >= rhs );
|
|
409 ~~~~^~~~~~
|
|
410 { dg-end-multiline-output "" } */
|
|
411 }
|
|
412
|
|
413 void test_equality_operators (int lhs, int rhs)
|
|
414 {
|
|
415 __emit_expression_range (0, lhs == rhs ); /* { dg-warning "range" } */
|
|
416 /* { dg-begin-multiline-output "" }
|
|
417 __emit_expression_range (0, lhs == rhs );
|
|
418 ~~~~^~~~~~
|
|
419 { dg-end-multiline-output "" } */
|
|
420
|
|
421 __emit_expression_range (0, lhs != rhs ); /* { dg-warning "range" } */
|
|
422 /* { dg-begin-multiline-output "" }
|
|
423 __emit_expression_range (0, lhs != rhs );
|
|
424 ~~~~^~~~~~
|
|
425 { dg-end-multiline-output "" } */
|
|
426 }
|
|
427
|
|
428 void test_bitwise_binary_operators (int lhs, int rhs)
|
|
429 {
|
|
430 __emit_expression_range (0, lhs & rhs ); /* { dg-warning "range" } */
|
|
431 /* { dg-begin-multiline-output "" }
|
|
432 __emit_expression_range (0, lhs & rhs );
|
|
433 ~~~~^~~~~
|
|
434 { dg-end-multiline-output "" } */
|
|
435
|
|
436 __emit_expression_range (0, lhs ^ rhs ); /* { dg-warning "range" } */
|
|
437 /* { dg-begin-multiline-output "" }
|
|
438 __emit_expression_range (0, lhs ^ rhs );
|
|
439 ~~~~^~~~~
|
|
440 { dg-end-multiline-output "" } */
|
|
441
|
|
442 __emit_expression_range (0, lhs | rhs ); /* { dg-warning "range" } */
|
|
443 /* { dg-begin-multiline-output "" }
|
|
444 __emit_expression_range (0, lhs | rhs );
|
|
445 ~~~~^~~~~
|
|
446 { dg-end-multiline-output "" } */
|
|
447 }
|
|
448
|
|
449 void test_logical_operators (int lhs, int rhs)
|
|
450 {
|
|
451 __emit_expression_range (0, lhs && rhs ); /* { dg-warning "range" } */
|
|
452 /* { dg-begin-multiline-output "" }
|
|
453 __emit_expression_range (0, lhs && rhs );
|
|
454 ~~~~^~~~~~
|
|
455 { dg-end-multiline-output "" } */
|
|
456
|
|
457 __emit_expression_range (0, lhs || rhs ); /* { dg-warning "range" } */
|
|
458 /* { dg-begin-multiline-output "" }
|
|
459 __emit_expression_range (0, lhs || rhs );
|
|
460 ~~~~^~~~~~
|
|
461 { dg-end-multiline-output "" } */
|
|
462 }
|
|
463
|
|
464 /* Conditional operator. *******************************************/
|
|
465
|
|
466 void test_conditional_operators (int flag, int on_true, int on_false)
|
|
467 {
|
|
468 __emit_expression_range (0, flag ? on_true : on_false ); /* { dg-warning "range" } */
|
|
469 /* { dg-begin-multiline-output "" }
|
|
470 __emit_expression_range (0, flag ? on_true : on_false );
|
|
471 ~~~~~^~~~~~~~~~~~~~~~~~~~
|
|
472 { dg-end-multiline-output "" } */
|
|
473 }
|
|
474
|
|
475 /* Assignment expressions. *******************************************/
|
|
476
|
|
477 void test_assignment_expressions (int dest, int other)
|
|
478 {
|
|
479 __emit_expression_range (0, dest = other ); /* { dg-warning "range" } */
|
|
480 /* { dg-begin-multiline-output "" }
|
|
481 __emit_expression_range (0, dest = other );
|
|
482 ~~~~~^~~~~~~
|
|
483 { dg-end-multiline-output "" } */
|
|
484
|
|
485 __emit_expression_range (0, dest *= other ); /* { dg-warning "range" } */
|
|
486 /* { dg-begin-multiline-output "" }
|
|
487 __emit_expression_range (0, dest *= other );
|
|
488 ~~~~~^~~~~~~~
|
|
489 { dg-end-multiline-output "" } */
|
|
490
|
|
491 __emit_expression_range (0, dest /= other ); /* { dg-warning "range" } */
|
|
492 /* { dg-begin-multiline-output "" }
|
|
493 __emit_expression_range (0, dest /= other );
|
|
494 ~~~~~^~~~~~~~
|
|
495 { dg-end-multiline-output "" } */
|
|
496
|
|
497 __emit_expression_range (0, dest %= other ); /* { dg-warning "range" } */
|
|
498 /* { dg-begin-multiline-output "" }
|
|
499 __emit_expression_range (0, dest %= other );
|
|
500 ~~~~~^~~~~~~~
|
|
501 { dg-end-multiline-output "" } */
|
|
502
|
|
503 __emit_expression_range (0, dest += other ); /* { dg-warning "range" } */
|
|
504 /* { dg-begin-multiline-output "" }
|
|
505 __emit_expression_range (0, dest += other );
|
|
506 ~~~~~^~~~~~~~
|
|
507 { dg-end-multiline-output "" } */
|
|
508
|
|
509 __emit_expression_range (0, dest -= other ); /* { dg-warning "range" } */
|
|
510 /* { dg-begin-multiline-output "" }
|
|
511 __emit_expression_range (0, dest -= other );
|
|
512 ~~~~~^~~~~~~~
|
|
513 { dg-end-multiline-output "" } */
|
|
514
|
|
515 __emit_expression_range (0, dest <<= other ); /* { dg-warning "range" } */
|
|
516 /* { dg-begin-multiline-output "" }
|
|
517 __emit_expression_range (0, dest <<= other );
|
|
518 ~~~~~^~~~~~~~~
|
|
519 { dg-end-multiline-output "" } */
|
|
520
|
|
521 __emit_expression_range (0, dest >>= other ); /* { dg-warning "range" } */
|
|
522 /* { dg-begin-multiline-output "" }
|
|
523 __emit_expression_range (0, dest >>= other );
|
|
524 ~~~~~^~~~~~~~~
|
|
525 { dg-end-multiline-output "" } */
|
|
526
|
|
527 __emit_expression_range (0, dest &= other ); /* { dg-warning "range" } */
|
|
528 /* { dg-begin-multiline-output "" }
|
|
529 __emit_expression_range (0, dest &= other );
|
|
530 ~~~~~^~~~~~~~
|
|
531 { dg-end-multiline-output "" } */
|
|
532
|
|
533 __emit_expression_range (0, dest ^= other ); /* { dg-warning "range" } */
|
|
534 /* { dg-begin-multiline-output "" }
|
|
535 __emit_expression_range (0, dest ^= other );
|
|
536 ~~~~~^~~~~~~~
|
|
537 { dg-end-multiline-output "" } */
|
|
538
|
|
539 __emit_expression_range (0, dest |= other ); /* { dg-warning "range" } */
|
|
540 /* { dg-begin-multiline-output "" }
|
|
541 __emit_expression_range (0, dest |= other );
|
|
542 ~~~~~^~~~~~~~
|
|
543 { dg-end-multiline-output "" } */
|
|
544 }
|
|
545
|
|
546 /* Comma operator. *******************************************/
|
|
547
|
|
548 void test_comma_operator (int a, int b)
|
|
549 {
|
|
550 __emit_expression_range (0, (a++, a + b) ); /* { dg-warning "range" } */
|
|
551 /* { dg-begin-multiline-output "" }
|
|
552 __emit_expression_range (0, (a++, a + b) );
|
|
553 ~~~~^~~~~~~~
|
|
554 { dg-end-multiline-output "" } */
|
|
555 }
|
|
556
|
|
557 /* Literals. **************************************************/
|
|
558
|
131
|
559 void test_string_literals ()
|
111
|
560 {
|
131
|
561 __emit_expression_range (0, "0123456789"); /* { dg-warning "range" } */
|
111
|
562 /* { dg-begin-multiline-output "" }
|
131
|
563 __emit_expression_range (0, "0123456789");
|
|
564 ^~~~~~~~~~~~
|
111
|
565 { dg-end-multiline-output "" } */
|
|
566
|
131
|
567 __emit_expression_range (0, "foo" "bar" ); /* { dg-warning "range" } */
|
111
|
568 /* { dg-begin-multiline-output "" }
|
131
|
569 __emit_expression_range (0, "foo" "bar" );
|
|
570 ^~~~~~~~~~~
|
111
|
571 { dg-end-multiline-output "" } */
|
|
572 }
|
|
573
|
|
574 void test_numeric_literals (int i)
|
|
575 {
|
131
|
576 __emit_expression_range (0, 42 ); /* { dg-warning "range" } */
|
111
|
577 /* { dg-begin-multiline-output "" }
|
131
|
578 __emit_expression_range (0, 42 );
|
|
579 ^~
|
111
|
580 { dg-end-multiline-output "" } */
|
|
581
|
|
582 /* Verify locations of negative literals (via folding of
|
|
583 unary negation). */
|
|
584
|
131
|
585 __emit_expression_range (0, -42 ); /* { dg-warning "range" } */
|
111
|
586 /* { dg-begin-multiline-output "" }
|
131
|
587 __emit_expression_range (0, -42 );
|
|
588 ^~~
|
111
|
589 { dg-end-multiline-output "" } */
|
|
590
|
|
591 __emit_expression_range (0, i ? 0 : -1 ); /* { dg-warning "range" } */
|
|
592 /* { dg-begin-multiline-output "" }
|
|
593 __emit_expression_range (0, i ? 0 : -1 );
|
|
594 ~~^~~~~~~~
|
|
595 { dg-end-multiline-output "" } */
|
|
596 }
|
|
597
|
|
598 /* Braced initializers. ***************************************/
|
|
599
|
|
600 /* We can't test the ranges of these directly, since the underlying
|
|
601 tree nodes don't retain a location. However, we can test that they
|
|
602 have ranges during parsing by building compound expressions using
|
|
603 them, and verifying the ranges of the compound expressions. */
|
|
604
|
|
605 #define vector(elcount, type) \
|
|
606 __attribute__((vector_size((elcount)*sizeof(type)))) type
|
|
607
|
|
608 void test_braced_init (void)
|
|
609 {
|
|
610 /* Verify start of range. */
|
|
611 __emit_expression_range (0, (vector(4, float)){2., 2., 2., 2.} + 1); /* { dg-warning "range" } */
|
|
612 /* { dg-begin-multiline-output "" }
|
|
613 __emit_expression_range (0, (vector(4, float)){2., 2., 2., 2.} + 1);
|
|
614 ~~~~~~~~~~~~~~~~~^~~
|
|
615 { dg-end-multiline-output "" } */
|
|
616
|
|
617 /* Verify end of range. */
|
|
618 __emit_expression_range (0, 1 + (vector(4, float)){2., 2., 2., 2.}); /* { dg-warning "range" } */
|
|
619 /* { dg-begin-multiline-output "" }
|
|
620 __emit_expression_range (0, 1 + (vector(4, float)){2., 2., 2., 2.});
|
|
621 ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
622 { dg-end-multiline-output "" } */
|
|
623 }
|
|
624
|
|
625 /* Statement expressions. ***************************************/
|
|
626
|
|
627 void test_statement_expression (void)
|
|
628 {
|
|
629 __emit_expression_range (0, ({ static int a; a; }) + 1); /* { dg-warning "range" } */
|
|
630 /* { dg-begin-multiline-output "" }
|
|
631 __emit_expression_range (0, ({ static int a; a; }) + 1);
|
|
632 ~~~~~~~~~~~~~~~~~~~~~~~^~~
|
|
633 { dg-end-multiline-output "" } */
|
|
634
|
|
635 __emit_expression_range (0, 1 + ({ static int a; a; }) ); /* { dg-warning "range" } */
|
|
636 /* { dg-begin-multiline-output "" }
|
|
637 __emit_expression_range (0, 1 + ({ static int a; a; }) );
|
|
638 ~~^~~~~~~~~~~~~~~~~~~~~~~~
|
|
639 { dg-end-multiline-output "" } */
|
|
640 }
|
|
641
|
|
642 /* Other expressions. */
|
|
643
|
|
644 void test_address_of_label (void)
|
|
645 {
|
|
646 label:
|
|
647 __emit_expression_range (0, &&label ); /* { dg-warning "range" } */
|
|
648 /* { dg-begin-multiline-output "" }
|
|
649 __emit_expression_range (0, &&label );
|
|
650 ^~~~~~~
|
|
651 { dg-end-multiline-output "" } */
|
|
652 }
|
|
653
|
|
654 void test_transaction_expressions (void)
|
|
655 {
|
|
656 int i;
|
|
657 i = __transaction_atomic (42); /* { dg-error "without transactional memory support enabled" } */
|
|
658 /* { dg-begin-multiline-output "" }
|
|
659 i = __transaction_atomic (42);
|
|
660 ^~~~~~~~~~~~~~~~~~~~
|
|
661 { dg-end-multiline-output "" } */
|
|
662 i = __transaction_relaxed (42); /* { dg-error "without transactional memory support enabled" } */
|
|
663 /* { dg-begin-multiline-output "" }
|
|
664 i = __transaction_relaxed (42);
|
|
665 ^~~~~~~~~~~~~~~~~~~~~
|
|
666 { dg-end-multiline-output "" } */
|
|
667 }
|
|
668
|
|
669 void test_keywords (int i)
|
|
670 {
|
|
671 __emit_expression_range (0, __FUNCTION__[i] ); /* { dg-warning "range" } */
|
|
672 /* { dg-begin-multiline-output "" }
|
|
673 __emit_expression_range (0, __FUNCTION__[i] );
|
|
674 ~~~~~~~~~~~~~~^
|
|
675 { dg-end-multiline-output "" } */
|
|
676
|
|
677 __emit_expression_range (0, __PRETTY_FUNCTION__[i] ); /* { dg-warning "range" } */
|
|
678 /* { dg-begin-multiline-output "" }
|
|
679 __emit_expression_range (0, __PRETTY_FUNCTION__[i] );
|
|
680 ~~~~~~~~~~~~~~~~~~~~~^
|
|
681 { dg-end-multiline-output "" } */
|
|
682
|
|
683 __emit_expression_range (0, __func__[i] ); /* { dg-warning "range" } */
|
|
684 /* { dg-begin-multiline-output "" }
|
|
685 __emit_expression_range (0, __func__[i] );
|
|
686 ~~~~~~~~~~^
|
|
687 { dg-end-multiline-output "" } */
|
|
688 }
|
|
689
|
|
690 void test_builtin_va_arg (__builtin_va_list v)
|
|
691 {
|
|
692 __emit_expression_range (0, __builtin_va_arg (v, int) ); /* { dg-warning "range" } */
|
|
693 /* { dg-begin-multiline-output "" }
|
|
694 __emit_expression_range (0, __builtin_va_arg (v, int) );
|
|
695 ~~~~~~~~~~~~~~~~~~~~~^~~~
|
|
696 { dg-end-multiline-output "" } */
|
|
697
|
|
698 __emit_expression_range (0, __builtin_va_arg (v, int) + 1 ); /* { dg-warning "range" } */
|
|
699 /* { dg-begin-multiline-output "" }
|
|
700 __emit_expression_range (0, __builtin_va_arg (v, int) + 1 );
|
|
701 ~~~~~~~~~~~~~~~~~~~~~~~~~~^~~
|
|
702 { dg-end-multiline-output "" } */
|
|
703 }
|
|
704
|
|
705 struct s { int i; float f; };
|
|
706
|
|
707 void test_builtin_offsetof (int i)
|
|
708 {
|
131
|
709 __emit_expression_range (0, __builtin_offsetof (struct s, f) ); /* { dg-warning "range" } */
|
111
|
710 /* { dg-begin-multiline-output "" }
|
131
|
711 __emit_expression_range (0, __builtin_offsetof (struct s, f) );
|
|
712 ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~
|
111
|
713 { dg-end-multiline-output "" } */
|
|
714 }
|
|
715
|
|
716 /* Examples of non-trivial expressions. ****************************/
|
|
717
|
|
718 extern double sqrt (double x);
|
|
719
|
|
720 void test_quadratic (double a, double b, double c)
|
|
721 {
|
|
722 __emit_expression_range (0, b * b - 4 * a * c ); /* { dg-warning "range" } */
|
|
723 /* { dg-begin-multiline-output "" }
|
|
724 __emit_expression_range (0, b * b - 4 * a * c );
|
|
725 ~~~~~~^~~~~~~~~~~
|
|
726 { dg-end-multiline-output "" } */
|
|
727
|
|
728 __emit_expression_range (0,
|
|
729 (-b + sqrt (b * b - 4 * a * c))
|
|
730 / (2 * a)); /* { dg-warning "range" } */
|
|
731 /* { dg-begin-multiline-output "" }
|
|
732 (-b + sqrt (b * b - 4 * a * c))
|
|
733 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
734 / (2 * a));
|
|
735 ^~~~~~~~~
|
|
736 { dg-end-multiline-output "" } */
|
|
737
|
|
738 }
|
|
739
|
|
740 int bar (int);
|
|
741 void test_combinations (int a)
|
|
742 {
|
|
743 __emit_expression_range (0, bar (a) > a ); /* { dg-warning "range" } */
|
|
744 /* { dg-begin-multiline-output "" }
|
|
745 __emit_expression_range (0, bar (a) > a );
|
|
746 ~~~~~~~~^~~
|
|
747 { dg-end-multiline-output "" } */
|
|
748 }
|
|
749
|
|
750 /* C++-specific expresssions. ****************************************/
|
|
751
|
|
752 void test_cp_literal_keywords (int a, int b)
|
|
753 {
|
|
754 this; /* { dg-error "invalid use of 'this' in non-member function" } */
|
|
755 /* { dg-begin-multiline-output "" }
|
|
756 this;
|
|
757 ^~~~
|
|
758 { dg-end-multiline-output "" } */
|
|
759
|
|
760 }
|
|
761
|
|
762 class base {
|
|
763 public:
|
|
764 base ();
|
|
765 base (int i);
|
|
766 virtual ~base ();
|
|
767 int pub ();
|
|
768 private:
|
|
769 int priv ();
|
|
770 };
|
|
771 class derived : public base { ~derived (); };
|
|
772
|
|
773 void test_cp_casts (base *ptr)
|
|
774 {
|
|
775 __emit_expression_range (0, dynamic_cast <derived *> (ptr)); /* { dg-warning "range" } */
|
|
776 /* { dg-begin-multiline-output "" }
|
|
777 __emit_expression_range (0, dynamic_cast <derived *> (ptr));
|
|
778 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
779 { dg-end-multiline-output "" } */
|
|
780
|
|
781 __emit_expression_range (0, static_cast <derived *> (ptr)); /* { dg-warning "range" } */
|
|
782 /* { dg-begin-multiline-output "" }
|
|
783 __emit_expression_range (0, static_cast <derived *> (ptr));
|
|
784 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
785 { dg-end-multiline-output "" } */
|
|
786
|
|
787 __emit_expression_range (0, reinterpret_cast <int *> (ptr)); /* { dg-warning "range" } */
|
|
788 /* { dg-begin-multiline-output "" }
|
|
789 __emit_expression_range (0, reinterpret_cast <int *> (ptr));
|
|
790 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
791 { dg-end-multiline-output "" } */
|
|
792
|
|
793 __emit_expression_range (0, const_cast <base *> (ptr)); /* { dg-warning "range" } */
|
|
794 /* { dg-begin-multiline-output "" }
|
|
795 __emit_expression_range (0, const_cast <base *> (ptr));
|
|
796 ^~~~~~~~~~~~~~~~~~~~~~~~~
|
|
797 { dg-end-multiline-output "" } */
|
|
798 }
|
|
799
|
|
800 void test_functional_casts (int i, float f)
|
|
801 {
|
|
802 __emit_expression_range (0, float(i)); /* { dg-warning "range" } */
|
|
803 /* { dg-begin-multiline-output "" }
|
|
804 __emit_expression_range (0, float(i));
|
|
805 ^~~~~~~~
|
|
806 { dg-end-multiline-output "" } */
|
|
807
|
|
808 __emit_expression_range (0, int(f)); /* { dg-warning "range" } */
|
|
809 /* { dg-begin-multiline-output "" }
|
|
810 __emit_expression_range (0, int(f));
|
|
811 ^~~~~~
|
|
812 { dg-end-multiline-output "" } */
|
|
813
|
|
814 __emit_expression_range (0, s{i, f}); /* { dg-warning "range" } */
|
|
815 /* { dg-begin-multiline-output "" }
|
|
816 __emit_expression_range (0, s{i, f});
|
|
817 ^~~~~~~
|
|
818 { dg-end-multiline-output "" } */
|
|
819 }
|
|
820
|
|
821 template <typename TYPENAME>
|
|
822 class example_template
|
|
823 {
|
|
824 public:
|
|
825 example_template (TYPENAME v);
|
|
826 };
|
|
827
|
|
828 void test_template_id (void)
|
|
829 {
|
|
830 example_template <int>; /* { dg-warning "declaration does not declare anything" } */
|
|
831 /* { dg-begin-multiline-output "" }
|
|
832 example_template <int>;
|
|
833 ^~~~~~~~~~~~~~~~~~~~~~
|
|
834 { dg-end-multiline-output "" } */
|
|
835 }
|
|
836
|
|
837 void test_new (void)
|
|
838 {
|
|
839 __emit_expression_range (0, ::new base); /* { dg-warning "range" } */
|
|
840 /* { dg-begin-multiline-output "" }
|
|
841 __emit_expression_range (0, ::new base);
|
|
842 ^~~~~~~~~~
|
|
843 { dg-end-multiline-output "" } */
|
|
844
|
|
845 __emit_expression_range (0, new base); /* { dg-warning "range" } */
|
|
846 /* { dg-begin-multiline-output "" }
|
|
847 __emit_expression_range (0, new base);
|
|
848 ^~~~~~~~
|
|
849 { dg-end-multiline-output "" } */
|
|
850
|
|
851 __emit_expression_range (0, new (base)); /* { dg-warning "range" } */
|
|
852 /* { dg-begin-multiline-output "" }
|
|
853 __emit_expression_range (0, new (base));
|
|
854 ^~~~~~~~~~
|
|
855 { dg-end-multiline-output "" } */
|
|
856
|
|
857 __emit_expression_range (0, new base (42)); /* { dg-warning "range" } */
|
|
858 /* { dg-begin-multiline-output "" }
|
|
859 __emit_expression_range (0, new base (42));
|
|
860 ^~~~~~~~~~~~~
|
|
861 { dg-end-multiline-output "" } */
|
|
862
|
|
863 __emit_expression_range (0, new (base) (42)); /* { dg-warning "range" } */
|
|
864 /* { dg-begin-multiline-output "" }
|
|
865 __emit_expression_range (0, new (base) (42));
|
|
866 ^~~~~~~~~~~~~~~
|
|
867 { dg-end-multiline-output "" } */
|
|
868
|
|
869 /* TODO: placement new. */
|
|
870
|
|
871 __emit_expression_range (0, new example_template<int> (42)); /* { dg-warning "range" } */
|
|
872 /* { dg-begin-multiline-output "" }
|
|
873 __emit_expression_range (0, new example_template<int> (42));
|
|
874 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
875 { dg-end-multiline-output "" } */
|
|
876 }
|
|
877
|
|
878 void test_methods ()
|
|
879 {
|
|
880 __emit_expression_range (0, ((base *)1)->pub () ); /* { dg-warning "range" } */
|
|
881 /* { dg-begin-multiline-output "" }
|
|
882 __emit_expression_range (0, ((base *)1)->pub () );
|
|
883 ~~~~~~~~~~~~~~~~~^~
|
|
884 { dg-end-multiline-output "" } */
|
|
885
|
|
886 ((base *)1)->priv (); // { dg-error " is private " }
|
|
887 /* { dg-begin-multiline-output "" }
|
|
888 ((base *)1)->priv ();
|
|
889 ^
|
|
890 { dg-end-multiline-output "" }
|
|
891 { dg-begin-multiline-output "" }
|
|
892 int priv ();
|
|
893 ^~~~
|
|
894 { dg-end-multiline-output "" } */
|
|
895 }
|
|
896
|
|
897 class tests
|
|
898 {
|
|
899 public:
|
|
900 void test_method_calls ();
|
|
901 int some_method () const;
|
|
902 };
|
|
903
|
|
904 void
|
|
905 tests::test_method_calls ()
|
|
906 {
|
|
907 __emit_expression_range (0, this->some_method () ); /* { dg-warning "range" } */
|
|
908 /* { dg-begin-multiline-output "" }
|
|
909 __emit_expression_range (0, this->some_method () );
|
|
910 ~~~~~~~~~~~~~~~~~~^~
|
|
911 { dg-end-multiline-output "" } */
|
|
912 }
|
|
913
|
|
914 namespace std
|
|
915 {
|
|
916 class type_info { public: int foo; };
|
|
917 }
|
|
918
|
|
919 void test_typeid (int i)
|
|
920 {
|
131
|
921 __emit_expression_range (0, typeid(i)); /* { dg-warning "range" } */
|
111
|
922 /* { dg-begin-multiline-output "" }
|
131
|
923 __emit_expression_range (0, typeid(i));
|
|
924 ^~~~~~~~~
|
111
|
925 { dg-end-multiline-output "" } */
|
|
926
|
131
|
927 __emit_expression_range (0, typeid(int)); /* { dg-warning "range" } */
|
111
|
928 /* { dg-begin-multiline-output "" }
|
131
|
929 __emit_expression_range (0, typeid(int));
|
|
930 ^~~~~~~~~~~
|
111
|
931 { dg-end-multiline-output "" } */
|
|
932
|
131
|
933 __emit_expression_range (0, typeid(i * 2)); /* { dg-warning "range" } */
|
111
|
934 /* { dg-begin-multiline-output "" }
|
131
|
935 __emit_expression_range (0, typeid(i * 2));
|
|
936 ^~~~~~~~~~~~~
|
111
|
937 { dg-end-multiline-output "" } */
|
|
938 }
|
|
939
|
|
940 /* Various tests of locations involving macros. */
|
|
941
|
|
942 void test_within_macro_1 (int lhs, int rhs)
|
|
943 {
|
|
944 #define MACRO_1(EXPR) EXPR
|
|
945
|
|
946 __emit_expression_range (0, MACRO_1 (lhs == rhs));
|
|
947
|
|
948 /* { dg-warning "range" "" { target *-*-* } .-2 } */
|
|
949 /* { dg-begin-multiline-output "" }
|
|
950 __emit_expression_range (0, MACRO_1 (lhs == rhs));
|
|
951 ~~~~^~~~~~
|
|
952 { dg-end-multiline-output "" } */
|
|
953 /* { dg-begin-multiline-output "" }
|
|
954 #define MACRO_1(EXPR) EXPR
|
|
955 ^~~~
|
|
956 { dg-end-multiline-output "" } */
|
|
957
|
|
958 #undef MACRO_1
|
|
959 }
|
|
960
|
|
961 void test_within_macro_2 (int lhs, int rhs)
|
|
962 {
|
|
963 #define MACRO_2(EXPR) EXPR
|
|
964
|
|
965 __emit_expression_range (0, MACRO_2 (MACRO_2 (lhs == rhs)));
|
|
966
|
|
967 /* { dg-warning "range" "" { target *-*-* } .-2 } */
|
|
968 /* { dg-begin-multiline-output "" }
|
|
969 __emit_expression_range (0, MACRO_2 (MACRO_2 (lhs == rhs)));
|
|
970 ~~~~^~~~~~
|
|
971 { dg-end-multiline-output "" } */
|
|
972 /* { dg-begin-multiline-output "" }
|
|
973 __emit_expression_range (0, MACRO_2 (MACRO_2 (lhs == rhs)));
|
|
974 ^~~~~~~
|
|
975 { dg-end-multiline-output "" } */
|
|
976 /* { dg-begin-multiline-output "" }
|
|
977 #define MACRO_2(EXPR) EXPR
|
|
978 ^~~~
|
|
979 { dg-end-multiline-output "" } */
|
|
980
|
|
981 #undef MACRO_2
|
|
982 }
|
|
983
|
|
984 void test_within_macro_3 (int lhs, int rhs)
|
|
985 {
|
|
986 #define MACRO_3(EXPR) EXPR
|
|
987
|
|
988 __emit_expression_range (0, MACRO_3 (lhs) == MACRO_3 (rhs));
|
|
989
|
|
990 /* { dg-warning "range" "" { target *-*-* } .-2 } */
|
|
991 /* { dg-begin-multiline-output "" }
|
|
992 __emit_expression_range (0, MACRO_3 (lhs) == MACRO_3 (rhs));
|
|
993 ^
|
|
994 { dg-end-multiline-output "" } */
|
|
995
|
|
996 #undef MACRO_3
|
|
997 }
|
|
998
|
|
999 void test_within_macro_4 (int lhs, int rhs)
|
|
1000 {
|
|
1001 #define MACRO_4(EXPR) EXPR
|
|
1002
|
|
1003 __emit_expression_range (0, MACRO_4 (MACRO_4 (lhs) == MACRO_4 (rhs)));
|
|
1004
|
|
1005 /* { dg-warning "range" "" { target *-*-* } .-2 } */
|
|
1006 /* { dg-begin-multiline-output "" }
|
|
1007 __emit_expression_range (0, MACRO_4 (MACRO_4 (lhs) == MACRO_4 (rhs)));
|
|
1008 ^
|
|
1009 { dg-end-multiline-output "" } */
|
|
1010 /* { dg-begin-multiline-output "" }
|
|
1011 #define MACRO_4(EXPR) EXPR
|
|
1012 ^~~~
|
|
1013 { dg-end-multiline-output "" } */
|
|
1014
|
|
1015 #undef MACRO_4
|
|
1016 }
|