gcc/testsuite/g++.dg/plugin/diagnostic-test-expressions-1.C

   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
  22 void test_parentheses (int a, int b)
  23 {
  24   __emit_expression_range (0, (a + b) ); /* { dg-warning "range" } */
  25 /* { dg-begin-multiline-output "" }
  26    __emit_expression_range (0, (a + b) );
  27                                ~~~^~~~
  28    { dg-end-multiline-output "" } */
  29
  30   __emit_expression_range (0, (a + b) * (a - b) ); /* { dg-warning "range" } */
  31 /* { dg-begin-multiline-output "" }
  32    __emit_expression_range (0, (a + b) * (a - b) );
  33                                ~~~~~~~~^~~~~~~~~
  34    { dg-end-multiline-output "" } */
  35
  36   __emit_expression_range (0, !(a && b) ); /* { dg-warning "range" } */
  37 /* { dg-begin-multiline-output "" }
  38    __emit_expression_range (0, !(a && b) );
  39                                ^~~~~~~~~
  40    { dg-end-multiline-output "" } */
  41 }
  42
  43 /* Postfix expressions.  ************************************************/
  44
  45 void test_array_reference (int *arr)
  46 {
  47   __emit_expression_range (0, arr[100] ); /* { dg-warning "range" } */
  48 /* { dg-begin-multiline-output "" }
  49    __emit_expression_range (0, arr[100] );
  50                                ~~~~~~~^
  51    { dg-end-multiline-output "" } */
  52 }
  53
  54 int test_function_call (int p, int q, int r)
  55 {
  56   __emit_expression_range (0, test_function_call (p, q, r) ); /* { dg-warning "range" } */
  57 /* { dg-begin-multiline-output "" }
  58    __emit_expression_range (0, test_function_call (p, q, r) );
  59                                ~~~~~~~~~~~~~~~~~~~^~~~~~~~~
  60    { dg-end-multiline-output "" } */
  61   return 0;
  62 }
  63
  64 struct test_struct
  65 {
  66   int field;
  67 };
  68
  69 int test_structure_references (struct test_struct *ptr)
  70 {
  71   struct test_struct local;
  72   local.field = 42;
  73
  74   __emit_expression_range (0, local.field ); /* { dg-warning "range" } */
  75 /* { dg-begin-multiline-output "" }
  76    __emit_expression_range (0, local.field );
  77                                ~~~~~~^~~~~
  78    { dg-end-multiline-output "" } */
  79
  80   __emit_expression_range (0, ptr->field ); /* { dg-warning "range" } */
  81 /* { dg-begin-multiline-output "" }
  82    __emit_expression_range (0, ptr->field );
  83                                ~~~~~^~~~~
  84    { dg-end-multiline-output "" } */
  85 }
  86
  87 int test_postfix_incdec (int i)
  88 {
  89   __emit_expression_range (0, i++ ); /* { dg-warning "range" } */
  90 /* { dg-begin-multiline-output "" }
  91    __emit_expression_range (0, i++ );
  92                                ~^~
  93    { dg-end-multiline-output "" } */
  94
  95   __emit_expression_range (0, i-- ); /* { dg-warning "range" } */
  96 /* { dg-begin-multiline-output "" }
  97    __emit_expression_range (0, i-- );
  98                                ~^~
  99    { dg-end-multiline-output "" } */
 100 }
 101
 102 /* Unary operators.  ****************************************************/
 103
 104 int test_sizeof (int i)
 105 {
 106   __emit_expression_range (0, sizeof(int) + i); /* { dg-warning "range" } */
 107 /* { dg-begin-multiline-output "" }
 108    __emit_expression_range (0, sizeof(int) + i);
 109                                ~~~~~~~~~~~~^~~
 110    { dg-end-multiline-output "" } */
 111
 112   __emit_expression_range (0, i + sizeof(int)); /* { dg-warning "range" } */
 113 /* { dg-begin-multiline-output "" }
 114    __emit_expression_range (0, i + sizeof(int));
 115                                ~~^~~~~~~~~~~~~
 116    { dg-end-multiline-output "" } */
 117
 118   __emit_expression_range (0, sizeof i + i); /* { dg-warning "range" } */
 119 /* { dg-begin-multiline-output "" }
 120    __emit_expression_range (0, sizeof i + i);
 121                                ~~~~~~~~~^~~
 122    { dg-end-multiline-output "" } */
 123
 124   __emit_expression_range (0, i + sizeof i); /* { dg-warning "range" } */
 125 /* { dg-begin-multiline-output "" }
 126    __emit_expression_range (0, i + sizeof i);
 127                                ~~^~~~~~~~~~
 128    { dg-end-multiline-output "" } */
 129 }
 130
 131 int test_alignof (int i)
 132 {
 133   __emit_expression_range (0, alignof(int) + i); /* { dg-warning "range" } */
 134 /* { dg-begin-multiline-output "" }
 135    __emit_expression_range (0, alignof(int) + i);
 136                                ~~~~~~~~~~~~~^~~
 137    { dg-end-multiline-output "" } */
 138
 139   __emit_expression_range (0, i + alignof(int)); /* { dg-warning "range" } */
 140 /* { dg-begin-multiline-output "" }
 141    __emit_expression_range (0, i + alignof(int));
 142                                ~~^~~~~~~~~~~~~~
 143    { dg-end-multiline-output "" } */
 144
 145   __emit_expression_range (0, __alignof__(int) + i); /* { dg-warning "range" } */
 146 /* { dg-begin-multiline-output "" }
 147    __emit_expression_range (0, __alignof__(int) + i);
 148                                ~~~~~~~~~~~~~~~~~^~~
 149    { dg-end-multiline-output "" } */
 150
 151   __emit_expression_range (0, i + __alignof__(int)); /* { dg-warning "range" } */
 152 /* { dg-begin-multiline-output "" }
 153    __emit_expression_range (0, i + __alignof__(int));
 154                                ~~^~~~~~~~~~~~~~~~~~
 155    { dg-end-multiline-output "" } */
 156
 157   __emit_expression_range (0, __alignof__ i + i); /* { dg-warning "range" } */
 158 /* { dg-begin-multiline-output "" }
 159    __emit_expression_range (0, __alignof__ i + i);
 160                                ~~~~~~~~~~~~~~^~~
 161    { dg-end-multiline-output "" } */
 162
 163   __emit_expression_range (0, i + __alignof__ i); /* { dg-warning "range" } */
 164 /* { dg-begin-multiline-output "" }
 165    __emit_expression_range (0, i + __alignof__ i);
 166                                ~~^~~~~~~~~~~~~~~
 167    { dg-end-multiline-output "" } */
 168 }
 169
 170 int test_prefix_incdec (int i)
 171 {
 172   __emit_expression_range (0, ++i ); /* { dg-warning "range" } */
 173 /* { dg-begin-multiline-output "" }
 174    __emit_expression_range (0, ++i );
 175                                ^~~
 176    { dg-end-multiline-output "" } */
 177
 178   __emit_expression_range (0, --i ); /* { dg-warning "range" } */
 179 /* { dg-begin-multiline-output "" }
 180    __emit_expression_range (0, --i );
 181                                ^~~
 182    { dg-end-multiline-output "" } */
 183 }
 184
 185 void test_address_operator (void)
 186 {
 187   __emit_expression_range (0, &global ); /* { dg-warning "range" } */
 188 /* { dg-begin-multiline-output "" }
 189    __emit_expression_range (0, &global );
 190                                ^~~~~~~
 191    { dg-end-multiline-output "" } */
 192 }
 193
 194 void test_indirection (int *ptr)
 195 {
 196   __emit_expression_range (0, *ptr ); /* { dg-warning "range" } */
 197 /* { dg-begin-multiline-output "" }
 198    __emit_expression_range (0, *ptr );
 199                                ^~~~
 200    { dg-end-multiline-output "" } */
 201 }
 202
 203 void test_unary_minus (int i)
 204 {
 205   __emit_expression_range (0, -i ); /* { dg-warning "range" } */
 206 /* { dg-begin-multiline-output "" }
 207    __emit_expression_range (0, -i );
 208                                ^~
 209    { dg-end-multiline-output "" } */
 210 }
 211
 212 void test_ones_complement (int i)
 213 {
 214   __emit_expression_range (0, ~i ); /* { dg-warning "range" } */
 215 /* { dg-begin-multiline-output "" }
 216    __emit_expression_range (0, ~i );
 217                                ^~
 218    { dg-end-multiline-output "" } */
 219 }
 220
 221 void test_logical_negation (int flag)
 222 {
 223   __emit_expression_range (0, !flag ); /* { dg-warning "range" } */
 224 /* { dg-begin-multiline-output "" }
 225    __emit_expression_range (0, !flag );
 226                                ^~~~~
 227    { dg-end-multiline-output "" } */
 228 }
 229
 230 /* Casts.  ****************************************************/
 231
 232 void test_cast (void *ptr)
 233 {
 234   __emit_expression_range (0, (int *)ptr ); /* { dg-warning "range" } */
 235 /* { dg-begin-multiline-output "" }
 236    __emit_expression_range (0, (int *)ptr );
 237                                ^~~~~~~~~~
 238    { dg-end-multiline-output "" } */
 239
 240   __emit_expression_range (0, *(int *)0xdeadbeef ); /* { dg-warning "range" } */
 241 /* { dg-begin-multiline-output "" }
 242    __emit_expression_range (0, *(int *)0xdeadbeef );
 243                                ^~~~~~~~~~~~~~~~~~
 244    { dg-end-multiline-output "" } */
 245
 246 }
 247
 248 /* Binary operators.  *******************************************/
 249
 250 void test_multiplicative_operators (int lhs, int rhs)
 251 {
 252   __emit_expression_range (0, lhs * rhs ); /* { dg-warning "range" } */
 253 /* { dg-begin-multiline-output "" }
 254    __emit_expression_range (0, lhs * rhs );
 255                                ~~~~^~~~~
 256    { dg-end-multiline-output "" } */
 257
 258   __emit_expression_range (0, lhs / rhs ); /* { dg-warning "range" } */
 259 /* { dg-begin-multiline-output "" }
 260    __emit_expression_range (0, lhs / rhs );
 261                                ~~~~^~~~~
 262    { dg-end-multiline-output "" } */
 263
 264   __emit_expression_range (0, lhs % rhs ); /* { dg-warning "range" } */
 265 /* { dg-begin-multiline-output "" }
 266    __emit_expression_range (0, lhs % rhs );
 267                                ~~~~^~~~~
 268    { dg-end-multiline-output "" } */
 269 }
 270
 271 void test_additive_operators (int lhs, int rhs)
 272 {
 273   __emit_expression_range (0, lhs + rhs ); /* { dg-warning "range" } */
 274 /* { dg-begin-multiline-output "" }
 275    __emit_expression_range (0, lhs + rhs );
 276                                ~~~~^~~~~
 277    { dg-end-multiline-output "" } */
 278
 279   __emit_expression_range (0, lhs - rhs ); /* { dg-warning "range" } */
 280 /* { dg-begin-multiline-output "" }
 281    __emit_expression_range (0, lhs - rhs );
 282                                ~~~~^~~~~
 283    { dg-end-multiline-output "" } */
 284 }
 285
 286 void test_shift_operators (int lhs, int rhs)
 287 {
 288   __emit_expression_range (0, lhs << rhs ); /* { dg-warning "range" } */
 289 /* { dg-begin-multiline-output "" }
 290    __emit_expression_range (0, lhs << rhs );
 291                                ~~~~^~~~~~
 292    { dg-end-multiline-output "" } */
 293
 294   __emit_expression_range (0, lhs >> rhs ); /* { dg-warning "range" } */
 295 /* { dg-begin-multiline-output "" }
 296    __emit_expression_range (0, lhs >> rhs );
 297                                ~~~~^~~~~~
 298    { dg-end-multiline-output "" } */
 299 }
 300
 301 void test_relational_operators (int lhs, int rhs)
 302 {
 303   __emit_expression_range (0, lhs < rhs ); /* { dg-warning "range" } */
 304 /* { dg-begin-multiline-output "" }
 305    __emit_expression_range (0, lhs < rhs );
 306                                ~~~~^~~~~
 307    { dg-end-multiline-output "" } */
 308
 309   __emit_expression_range (0, lhs > rhs ); /* { dg-warning "range" } */
 310 /* { dg-begin-multiline-output "" }
 311    __emit_expression_range (0, lhs > rhs );
 312                                ~~~~^~~~~
 313    { dg-end-multiline-output "" } */
 314
 315   __emit_expression_range (0, lhs <= rhs ); /* { dg-warning "range" } */
 316 /* { dg-begin-multiline-output "" }
 317    __emit_expression_range (0, lhs <= rhs );
 318                                ~~~~^~~~~~
 319    { dg-end-multiline-output "" } */
 320
 321   __emit_expression_range (0, lhs >= rhs ); /* { dg-warning "range" } */
 322 /* { dg-begin-multiline-output "" }
 323    __emit_expression_range (0, lhs >= rhs );
 324                                ~~~~^~~~~~
 325    { dg-end-multiline-output "" } */
 326 }
 327
 328 void test_equality_operators (int lhs, int rhs)
 329 {
 330   __emit_expression_range (0, lhs == rhs ); /* { dg-warning "range" } */
 331 /* { dg-begin-multiline-output "" }
 332    __emit_expression_range (0, lhs == rhs );
 333                                ~~~~^~~~~~
 334    { dg-end-multiline-output "" } */
 335
 336   __emit_expression_range (0, lhs != rhs ); /* { dg-warning "range" } */
 337 /* { dg-begin-multiline-output "" }
 338    __emit_expression_range (0, lhs != rhs );
 339                                ~~~~^~~~~~
 340    { dg-end-multiline-output "" } */
 341 }
 342
 343 void test_bitwise_binary_operators (int lhs, int rhs)
 344 {
 345   __emit_expression_range (0, lhs & rhs ); /* { dg-warning "range" } */
 346 /* { dg-begin-multiline-output "" }
 347    __emit_expression_range (0, lhs & rhs );
 348                                ~~~~^~~~~
 349    { dg-end-multiline-output "" } */
 350
 351   __emit_expression_range (0, lhs ^ rhs ); /* { dg-warning "range" } */
 352 /* { dg-begin-multiline-output "" }
 353    __emit_expression_range (0, lhs ^ rhs );
 354                                ~~~~^~~~~
 355    { dg-end-multiline-output "" } */
 356
 357   __emit_expression_range (0, lhs | rhs ); /* { dg-warning "range" } */
 358 /* { dg-begin-multiline-output "" }
 359    __emit_expression_range (0, lhs | rhs );
 360                                ~~~~^~~~~
 361    { dg-end-multiline-output "" } */
 362 }
 363
 364 void test_logical_operators (int lhs, int rhs)
 365 {
 366   __emit_expression_range (0, lhs && rhs ); /* { dg-warning "range" } */
 367 /* { dg-begin-multiline-output "" }
 368    __emit_expression_range (0, lhs && rhs );
 369                                ~~~~^~~~~~
 370    { dg-end-multiline-output "" } */
 371
 372   __emit_expression_range (0, lhs || rhs ); /* { dg-warning "range" } */
 373 /* { dg-begin-multiline-output "" }
 374    __emit_expression_range (0, lhs || rhs );
 375                                ~~~~^~~~~~
 376    { dg-end-multiline-output "" } */
 377 }
 378
 379 /* Conditional operator.  *******************************************/
 380
 381 void test_conditional_operators (int flag, int on_true, int on_false)
 382 {
 383   __emit_expression_range (0, flag ? on_true : on_false ); /* { dg-warning "range" } */
 384 /* { dg-begin-multiline-output "" }
 385    __emit_expression_range (0, flag ? on_true : on_false );
 386                                ~~~~~^~~~~~~~~~~~~~~~~~~~
 387    { dg-end-multiline-output "" } */
 388 }
 389
 390 /* Assignment expressions.  *******************************************/
 391
 392 void test_assignment_expressions (int dest, int other)
 393 {
 394   __emit_expression_range (0, dest = other ); /* { dg-warning "range" } */
 395 /* { dg-begin-multiline-output "" }
 396    __emit_expression_range (0, dest = other );
 397                                ~~~~~^~~~~~~
 398    { dg-end-multiline-output "" } */
 399
 400   __emit_expression_range (0, dest *= other ); /* { dg-warning "range" } */
 401 /* { dg-begin-multiline-output "" }
 402    __emit_expression_range (0, dest *= other );
 403                                ~~~~~^~~~~~~~
 404    { dg-end-multiline-output "" } */
 405
 406   __emit_expression_range (0, dest /= other ); /* { dg-warning "range" } */
 407 /* { dg-begin-multiline-output "" }
 408    __emit_expression_range (0, dest /= other );
 409                                ~~~~~^~~~~~~~
 410    { dg-end-multiline-output "" } */
 411
 412   __emit_expression_range (0, dest %= other ); /* { dg-warning "range" } */
 413 /* { dg-begin-multiline-output "" }
 414    __emit_expression_range (0, dest %= other );
 415                                ~~~~~^~~~~~~~
 416    { dg-end-multiline-output "" } */
 417
 418   __emit_expression_range (0, dest += other ); /* { dg-warning "range" } */
 419 /* { dg-begin-multiline-output "" }
 420    __emit_expression_range (0, dest += other );
 421                                ~~~~~^~~~~~~~
 422    { dg-end-multiline-output "" } */
 423
 424   __emit_expression_range (0, dest -= other ); /* { dg-warning "range" } */
 425 /* { dg-begin-multiline-output "" }
 426    __emit_expression_range (0, dest -= other );
 427                                ~~~~~^~~~~~~~
 428    { dg-end-multiline-output "" } */
 429
 430   __emit_expression_range (0, dest <<= other ); /* { dg-warning "range" } */
 431 /* { dg-begin-multiline-output "" }
 432    __emit_expression_range (0, dest <<= other );
 433                                ~~~~~^~~~~~~~~
 434    { dg-end-multiline-output "" } */
 435
 436   __emit_expression_range (0, dest >>= other ); /* { dg-warning "range" } */
 437 /* { dg-begin-multiline-output "" }
 438    __emit_expression_range (0, dest >>= other );
 439                                ~~~~~^~~~~~~~~
 440    { dg-end-multiline-output "" } */
 441
 442   __emit_expression_range (0, dest &= other ); /* { dg-warning "range" } */
 443 /* { dg-begin-multiline-output "" }
 444    __emit_expression_range (0, dest &= other );
 445                                ~~~~~^~~~~~~~
 446    { dg-end-multiline-output "" } */
 447
 448   __emit_expression_range (0, dest ^= other ); /* { dg-warning "range" } */
 449 /* { dg-begin-multiline-output "" }
 450    __emit_expression_range (0, dest ^= other );
 451                                ~~~~~^~~~~~~~
 452    { dg-end-multiline-output "" } */
 453
 454   __emit_expression_range (0, dest |= other ); /* { dg-warning "range" } */
 455 /* { dg-begin-multiline-output "" }
 456    __emit_expression_range (0, dest |= other );
 457                                ~~~~~^~~~~~~~
 458    { dg-end-multiline-output "" } */
 459 }
 460
 461 /* Comma operator.  *******************************************/
 462
 463 void test_comma_operator (int a, int b)
 464 {
 465   __emit_expression_range (0, (a++, a + b) ); /* { dg-warning "range" } */
 466 /* { dg-begin-multiline-output "" }
 467    __emit_expression_range (0, (a++, a + b) );
 468                                ~~~~^~~~~~~~
 469    { dg-end-multiline-output "" } */
 470 }
 471
 472 /* Literals.  **************************************************/
 473
 474 /* We can't test the ranges of literals directly, since the underlying
 475    tree nodes don't retain a location.  However, we can test that they
 476    have ranges during parsing by building compound expressions using
 477    them, and verifying the ranges of the compound expressions.  */
 478
 479 void test_string_literals (int i)
 480 {
 481   __emit_expression_range (0, "foo"[i] ); /* { dg-warning "range" } */
 482 /* { dg-begin-multiline-output "" }
 483    __emit_expression_range (0, "foo"[i] );
 484                                ~~~~~~~^
 485    { dg-end-multiline-output "" } */
 486
 487   __emit_expression_range (0, &"foo" "bar" ); /* { dg-warning "range" } */
 488 /* { dg-begin-multiline-output "" }
 489    __emit_expression_range (0, &"foo" "bar" );
 490                                ^~~~~~~~~~~~
 491    { dg-end-multiline-output "" } */
 492 }
 493
 494 void test_numeric_literals (int i)
 495 {
 496   __emit_expression_range (0, 42 + i ); /* { dg-warning "range" } */
 497 /* { dg-begin-multiline-output "" }
 498    __emit_expression_range (0, 42 + i );
 499                                ~~~^~~
 500    { dg-end-multiline-output "" } */
 501
 502   __emit_expression_range (0, i + 42 ); /* { dg-warning "range" } */
 503 /* { dg-begin-multiline-output "" }
 504    __emit_expression_range (0, i + 42 );
 505                                ~~^~~~
 506    { dg-end-multiline-output "" } */
 507
 508   /* Verify locations of negative literals (via folding of
 509      unary negation).  */
 510
 511   __emit_expression_range (0, -42 + i ); /* { dg-warning "range" } */
 512 /* { dg-begin-multiline-output "" }
 513    __emit_expression_range (0, -42 + i );
 514                                ~~~~^~~
 515    { dg-end-multiline-output "" } */
 516
 517   __emit_expression_range (0, i + -42 ); /* { dg-warning "range" } */
 518 /* { dg-begin-multiline-output "" }
 519    __emit_expression_range (0, i + -42 );
 520                                ~~^~~~~
 521    { dg-end-multiline-output "" } */
 522
 523   __emit_expression_range (0, i ? 0 : -1 ); /* { dg-warning "range" } */
 524 /* { dg-begin-multiline-output "" }
 525    __emit_expression_range (0, i ? 0 : -1 );
 526                                ~~^~~~~~~~
 527    { dg-end-multiline-output "" } */
 528 }
 529
 530 /* Braced initializers.  ***************************************/
 531
 532 /* We can't test the ranges of these directly, since the underlying
 533    tree nodes don't retain a location.  However, we can test that they
 534    have ranges during parsing by building compound expressions using
 535    them, and verifying the ranges of the compound expressions.  */
 536
 537 #define vector(elcount, type)  \
 538 __attribute__((vector_size((elcount)*sizeof(type)))) type
 539
 540 void test_braced_init (void)
 541 {
 542   /* Verify start of range.  */
 543   __emit_expression_range (0, (vector(4, float)){2., 2., 2., 2.} + 1); /* { dg-warning "range" } */
 544 /* { dg-begin-multiline-output "" }
 545    __emit_expression_range (0, (vector(4, float)){2., 2., 2., 2.} + 1);
 546                                                  ~~~~~~~~~~~~~~~~~^~~
 547    { dg-end-multiline-output "" } */
 548
 549   /* Verify end of range.  */
 550   __emit_expression_range (0, 1 + (vector(4, float)){2., 2., 2., 2.}); /* { dg-warning "range" } */
 551 /* { dg-begin-multiline-output "" }
 552    __emit_expression_range (0, 1 + (vector(4, float)){2., 2., 2., 2.});
 553                                ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 554    { dg-end-multiline-output "" } */
 555 }
 556
 557 /* Statement expressions.  ***************************************/
 558
 559 void test_statement_expression (void)
 560 {
 561   __emit_expression_range (0, ({ static int a; a; }) + 1);  /* { dg-warning "range" } */
 562 /* { dg-begin-multiline-output "" }
 563    __emit_expression_range (0, ({ static int a; a; }) + 1);
 564                                ~~~~~~~~~~~~~~~~~~~~~~~^~~
 565    { dg-end-multiline-output "" } */
 566
 567   __emit_expression_range (0, 1 + ({ static int a; a; }) );  /* { dg-warning "range" } */
 568 /* { dg-begin-multiline-output "" }
 569    __emit_expression_range (0, 1 + ({ static int a; a; }) );
 570                                ~~^~~~~~~~~~~~~~~~~~~~~~~~
 571    { dg-end-multiline-output "" } */
 572 }
 573
 574 /* Other expressions.  */
 575
 576 void test_address_of_label (void)
 577 {
 578  label:
 579   __emit_expression_range (0, &&label );  /* { dg-warning "range" } */
 580 /* { dg-begin-multiline-output "" }
 581    __emit_expression_range (0, &&label );
 582                                ^~~~~~~
 583    { dg-end-multiline-output "" } */
 584 }
 585
 586 void test_transaction_expressions (void)
 587 {
 588   int i;
 589   i = __transaction_atomic (42); /* { dg-error "without transactional memory support enabled" } */
 590 /* { dg-begin-multiline-output "" }
 591    i = __transaction_atomic (42);
 592        ^~~~~~~~~~~~~~~~~~~~
 593    { dg-end-multiline-output "" } */
 594   i = __transaction_relaxed (42); /* { dg-error "without transactional memory support enabled" } */
 595 /* { dg-begin-multiline-output "" }
 596    i = __transaction_relaxed (42);
 597        ^~~~~~~~~~~~~~~~~~~~~
 598    { dg-end-multiline-output "" } */
 599 }
 600
 601 void test_keywords (int i)
 602 {
 603   __emit_expression_range (0, __FUNCTION__[i] );  /* { dg-warning "range" } */
 604 /* { dg-begin-multiline-output "" }
 605    __emit_expression_range (0, __FUNCTION__[i] );
 606                                ~~~~~~~~~~~~~~^
 607    { dg-end-multiline-output "" } */
 608
 609   __emit_expression_range (0, __PRETTY_FUNCTION__[i] );  /* { dg-warning "range" } */
 610 /* { dg-begin-multiline-output "" }
 611    __emit_expression_range (0, __PRETTY_FUNCTION__[i] );
 612                                ~~~~~~~~~~~~~~~~~~~~~^
 613    { dg-end-multiline-output "" } */
 614
 615   __emit_expression_range (0, __func__[i] );  /* { dg-warning "range" } */
 616 /* { dg-begin-multiline-output "" }
 617    __emit_expression_range (0, __func__[i] );
 618                                ~~~~~~~~~~^
 619    { dg-end-multiline-output "" } */
 620 }
 621
 622 void test_builtin_va_arg (__builtin_va_list v)
 623 {
 624   __emit_expression_range (0,  __builtin_va_arg (v, int) );  /* { dg-warning "range" } */
 625 /* { dg-begin-multiline-output "" }
 626    __emit_expression_range (0,  __builtin_va_arg (v, int) );
 627                                 ~~~~~~~~~~~~~~~~~~~~~^~~~
 628    { dg-end-multiline-output "" } */
 629
 630   __emit_expression_range (0,  __builtin_va_arg (v, int) + 1 );  /* { dg-warning "range" } */
 631 /* { dg-begin-multiline-output "" }
 632    __emit_expression_range (0,  __builtin_va_arg (v, int) + 1 );
 633                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~^~~
 634    { dg-end-multiline-output "" } */
 635 }
 636
 637 struct s { int i; float f; };
 638
 639 void test_builtin_offsetof (int i)
 640 {
 641   __emit_expression_range (0,  i + __builtin_offsetof (struct s, f) );  /* { dg-warning "range" } */
 642 /* { dg-begin-multiline-output "" }
 643    __emit_expression_range (0,  i + __builtin_offsetof (struct s, f) );
 644                                 ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 645    { dg-end-multiline-output "" } */
 646
 647   __emit_expression_range (0,  __builtin_offsetof (struct s, f) + i );  /* { dg-warning "range" } */
 648 /* { dg-begin-multiline-output "" }
 649    __emit_expression_range (0,  __builtin_offsetof (struct s, f) + i );
 650                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~
 651    { dg-end-multiline-output "" } */
 652 }
 653
 654 /* Examples of non-trivial expressions.  ****************************/
 655
 656 extern double sqrt (double x);
 657
 658 void test_quadratic (double a, double b, double c)
 659 {
 660   __emit_expression_range (0, b * b - 4 * a * c ); /* { dg-warning "range" } */
 661 /* { dg-begin-multiline-output "" }
 662    __emit_expression_range (0, b * b - 4 * a * c );
 663                                ~~~~~~^~~~~~~~~~~
 664    { dg-end-multiline-output "" } */
 665
 666   __emit_expression_range (0,
 667      (-b + sqrt (b * b - 4 * a * c))
 668      / (2 * a)); /* { dg-warning "range" } */
 669 /* { dg-begin-multiline-output "" }
 670       (-b + sqrt (b * b - 4 * a * c))
 671       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 672       / (2 * a));
 673       ^~~~~~~~~
 674    { dg-end-multiline-output "" } */
 675
 676 }
 677
 678 int bar (int);
 679 void test_combinations (int a)
 680 {
 681   __emit_expression_range (0, bar (a) > a ); /* { dg-warning "range" } */
 682 /* { dg-begin-multiline-output "" }
 683    __emit_expression_range (0, bar (a) > a );
 684                                ~~~~~~~~^~~
 685    { dg-end-multiline-output "" } */
 686 }
 687
 688 /* C++-specific expresssions. ****************************************/
 689
 690 void test_cp_literal_keywords (int a, int b)
 691 {
 692   this; /* { dg-error "invalid use of 'this' in non-member function" } */
 693 /* { dg-begin-multiline-output "" }
 694    this;
 695    ^~~~
 696    { dg-end-multiline-output "" } */
 697
 698 }
 699
 700 class base {
 701  public:
 702   base ();
 703   base (int i);
 704   virtual ~base ();
 705   int pub ();
 706 private:
 707   int priv ();
 708 };
 709 class derived : public base { ~derived (); };
 710
 711 void test_cp_casts (base *ptr)
 712 {
 713   __emit_expression_range (0, dynamic_cast <derived *> (ptr)); /* { dg-warning "range" } */
 714 /* { dg-begin-multiline-output "" }
 715    __emit_expression_range (0, dynamic_cast <derived *> (ptr));
 716                                ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 717    { dg-end-multiline-output "" } */
 718
 719   __emit_expression_range (0, static_cast <derived *> (ptr)); /* { dg-warning "range" } */
 720 /* { dg-begin-multiline-output "" }
 721    __emit_expression_range (0, static_cast <derived *> (ptr));
 722                                ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 723    { dg-end-multiline-output "" } */
 724
 725   __emit_expression_range (0, reinterpret_cast <int *> (ptr)); /* { dg-warning "range" } */
 726 /* { dg-begin-multiline-output "" }
 727    __emit_expression_range (0, reinterpret_cast <int *> (ptr));
 728                                ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 729    { dg-end-multiline-output "" } */
 730
 731   __emit_expression_range (0, const_cast <base *> (ptr)); /* { dg-warning "range" } */
 732 /* { dg-begin-multiline-output "" }
 733    __emit_expression_range (0, const_cast <base *> (ptr));
 734                                ^~~~~~~~~~~~~~~~~~~~~~~~~
 735    { dg-end-multiline-output "" } */
 736 }
 737
 738 void test_functional_casts (int i, float f)
 739 {
 740   __emit_expression_range (0, float(i)); /* { dg-warning "range" } */
 741 /* { dg-begin-multiline-output "" }
 742    __emit_expression_range (0, float(i));
 743                                ^~~~~~~~
 744    { dg-end-multiline-output "" } */
 745
 746   __emit_expression_range (0, int(f)); /* { dg-warning "range" } */
 747 /* { dg-begin-multiline-output "" }
 748    __emit_expression_range (0, int(f));
 749                                ^~~~~~
 750    { dg-end-multiline-output "" } */
 751
 752   __emit_expression_range (0, s{i, f}); /* { dg-warning "range" } */
 753 /* { dg-begin-multiline-output "" }
 754    __emit_expression_range (0, s{i, f});
 755                                ^~~~~~~
 756    { dg-end-multiline-output "" } */
 757 }
 758
 759 template <typename TYPENAME>
 760 class example_template
 761 {
 762 public:
 763   example_template (TYPENAME v);
 764 };
 765
 766 void test_template_id (void)
 767 {
 768   example_template <int>; /* { dg-warning "declaration does not declare anything" } */
 769 /* { dg-begin-multiline-output "" }
 770    example_template <int>;
 771    ^~~~~~~~~~~~~~~~~~~~~~
 772    { dg-end-multiline-output "" } */
 773 }
 774
 775 void test_new (void)
 776 {
 777   __emit_expression_range (0, ::new base); /* { dg-warning "range" } */
 778 /* { dg-begin-multiline-output "" }
 779    __emit_expression_range (0, ::new base);
 780                                ^~~~~~~~~~
 781    { dg-end-multiline-output "" } */
 782
 783   __emit_expression_range (0, new base); /* { dg-warning "range" } */
 784 /* { dg-begin-multiline-output "" }
 785    __emit_expression_range (0, new base);
 786                                ^~~~~~~~
 787    { dg-end-multiline-output "" } */
 788
 789   __emit_expression_range (0, new (base)); /* { dg-warning "range" } */
 790 /* { dg-begin-multiline-output "" }
 791    __emit_expression_range (0, new (base));
 792                                ^~~~~~~~~~
 793    { dg-end-multiline-output "" } */
 794
 795   __emit_expression_range (0, new base (42)); /* { dg-warning "range" } */
 796 /* { dg-begin-multiline-output "" }
 797    __emit_expression_range (0, new base (42));
 798                                ^~~~~~~~~~~~~
 799    { dg-end-multiline-output "" } */
 800
 801   __emit_expression_range (0, new (base) (42)); /* { dg-warning "range" } */
 802 /* { dg-begin-multiline-output "" }
 803    __emit_expression_range (0, new (base) (42));
 804                                ^~~~~~~~~~~~~~~
 805    { dg-end-multiline-output "" } */
 806
 807   /* TODO: placement new.  */
 808
 809   __emit_expression_range (0, new example_template<int> (42)); /* { dg-warning "range" } */
 810 /* { dg-begin-multiline-output "" }
 811    __emit_expression_range (0, new example_template<int> (42));
 812                                ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 813    { dg-end-multiline-output "" } */
 814 }
 815
 816 void test_methods ()
 817 {
 818   __emit_expression_range (0, ((base *)1)->pub () ); /* { dg-warning "range" } */
 819 /* { dg-begin-multiline-output "" }
 820    __emit_expression_range (0, ((base *)1)->pub () );
 821                                ~~~~~~~~~~~~~~~~~^~
 822    { dg-end-multiline-output "" } */
 823
 824   ((base *)1)->priv (); // { dg-error " is private " }
 825 /* { dg-begin-multiline-output "" }
 826    ((base *)1)->priv ();
 827                       ^
 828    { dg-end-multiline-output "" }
 829    { dg-begin-multiline-output "" }
 830    int priv ();
 831        ^~~~
 832    { dg-end-multiline-output "" } */
 833 }
 834
 835 class tests
 836 {
 837 public:
 838   void test_method_calls ();
 839   int some_method () const;
 840 };
 841
 842 void
 843 tests::test_method_calls ()
 844 {
 845   __emit_expression_range (0, this->some_method () ); /* { dg-warning "range" } */
 846 /* { dg-begin-multiline-output "" }
 847    __emit_expression_range (0, this->some_method () );
 848                                ~~~~~~~~~~~~~~~~~~^~
 849    { dg-end-multiline-output "" } */
 850 }