gcc/testsuite/gcc.dg/pr97932.c

   1 /* Verify that we don't emit ranges that span both
   2    a macro definition location and a macro expansion location.  */
   3
   4 /* { dg-options "-fdiagnostics-show-caret" } */
   5
   6 /* Various cases involving the ranges of the LHS and RHS operands to "-".  */
   7
   8 /* Case 1
   9    start token is in macro definition ("&"),
  10    end token is in macro invocation ("a" and "b").  */
  11
  12 #define M1(A, B) &A - &B /* { dg-error "invalid operands" } */
  13
  14 /* Intervening
  15    material
  16    that
  17    ought
  18    not
  19    to
  20    be
  21    printed.  */
  22
  23 int test_1 (float a, int b)
  24 {
  25   return M1(a, b); /* { dg-message "in expansion of macro 'M1'" } */
  26 }
  27
  28 /* { dg-begin-multiline-output "" }
  29  #define M1(A, B) &A - &B
  30                      ^
  31    { dg-end-multiline-output "" } */
  32 /* { dg-begin-multiline-output "" }
  33    return M1(a, b);
  34           ^~
  35    { dg-end-multiline-output "" } */
  36
  37 /* Case 2:
  38    start and end tokens are both in macro invocation ("&", and "a"/"b").  */
  39
  40 #define M2(A, B) A - B /* { dg-error "invalid operands" } */
  41
  42 /* Intervening
  43    material
  44    that
  45    ought
  46    not
  47    to
  48    be
  49    printed.  */
  50
  51 int test_2 (float a, int b)
  52 {
  53   return M2(&a, &b); /* { dg-message "in expansion of macro 'M2'" } */
  54 }
  55
  56 /* { dg-begin-multiline-output "" }
  57  #define M2(A, B) A - B
  58                     ^
  59    { dg-end-multiline-output "" } */
  60 /* { dg-begin-multiline-output "" }
  61    return M2(&a, &b);
  62           ^~
  63    { dg-end-multiline-output "" } */
  64
  65 /* Case 3:
  66    start token is in macro invocation ("&"),
  67    end token is in macro definition ("a").  */
  68
  69 #define M3(OP) OP a - OP b /* { dg-error "invalid operands" } */
  70
  71 /* Intervening
  72    material
  73    that
  74    ought
  75    not
  76    to
  77    be
  78    printed.  */
  79
  80 int test_3 (float a, int b)
  81 {
  82   return M3(&); /* { dg-message "in expansion of macro 'M3'" } */
  83 }
  84
  85 /* { dg-begin-multiline-output "" }
  86  #define M3(OP) OP a - OP b
  87                      ^
  88    { dg-end-multiline-output "" } */
  89 /* { dg-begin-multiline-output "" }
  90    return M3(&);
  91           ^~
  92    { dg-end-multiline-output "" } */
  93
  94
  95 /* Case 4:
  96    start and end tokens are both in macro definition ("&a").  */
  97
  98 #define M4 &a - &b /* { dg-error "invalid operands" } */
  99
 100 /* Intervening
 101    material
 102    that
 103    ought
 104    not
 105    to
 106    be
 107    printed.  */
 108
 109 int test_4 (float a, int b)
 110 {
 111   return M4; /* { dg-message "in expansion of macro 'M4'" } */
 112 }
 113
 114 /* { dg-begin-multiline-output "" }
 115  #define M4 &a - &b
 116             ~~ ^ ~~
 117             |    |
 118             |    int *
 119             float *
 120    { dg-end-multiline-output "" } */
 121 /* { dg-begin-multiline-output "" }
 122    return M4;
 123           ^~
 124    { dg-end-multiline-output "" } */
 125