gcc/testsuite/c-c++-common/Wmultistatement-macros-1.c

   1 /* PR c/80116 */
   2 /* { dg-options "-Wmultistatement-macros" } */
   3 /* { dg-do compile } */
   4
   5 #define SWAP(X, Y)      \
   6   tmp = X; /* { dg-warning "macro expands to multiple statements" } */ \
   7   X = Y;                \
   8   Y = tmp
   9
  10 #define STUFF           \
  11   if (0) x = y
  12
  13 #define STUFF2          \
  14   if (0) x = y; x++
  15
  16 #define STUFF3          \
  17   if (x) /* { dg-message "not guarded by this 'if' clause" } */ \
  18     SWAP(x, y) /* { dg-message "in expansion of macro .SWAP." } */
  19
  20 #define SET(X, Y)       \
  21   (X) = (Y)
  22
  23 #define STUFF4          \
  24   if (x)                \
  25     SET(x, y);          \
  26   SET(x, y)
  27
  28 #define STUFF5          \
  29   { tmp = x; x = y; }
  30
  31 #define STUFF6          \
  32   x++;;
  33
  34 int x, y, tmp;
  35
  36 void
  37 fn1 (void)
  38 {
  39   if (x) /* { dg-message "not guarded by this 'if' clause" } */
  40     SWAP(x, y); /* { dg-message "in expansion of macro .SWAP." } */
  41 }
  42
  43 void
  44 fn2 (void)
  45 {
  46   SWAP(x, y);
  47 }
  48
  49 void
  50 fn3 (void)
  51 {
  52   if (x)
  53     {
  54       SWAP(x, y);
  55     }
  56 }
  57
  58 void
  59 fn4 (void)
  60 {
  61   if (x)
  62   ({ x = 10; x++; });
  63 }
  64
  65 void
  66 fn5 (void)
  67 {
  68   if (x) /* { dg-message "not guarded by this 'if' clause" } */
  69 L1:
  70     SWAP (x, y); /* { dg-message "in expansion of macro .SWAP." } */
  71   goto L1;
  72 }
  73
  74 void
  75 fn6 (void)
  76 {
  77   if (x)
  78     SET (x, y);
  79   SET (tmp, x);
  80 }
  81
  82 void
  83 fn7 (void)
  84 {
  85   STUFF;
  86 }
  87
  88 void
  89 fn8 (void)
  90 {
  91   STUFF2;
  92 }
  93
  94 void
  95 fn9 (void)
  96 {
  97   STUFF3; /* { dg-message "in expansion of macro .STUFF3." } */
  98 }
  99
 100 void
 101 fn10 (void)
 102 {
 103   STUFF4;
 104 }
 105
 106 void
 107 fn11 (void)
 108 {
 109   if (x)
 110     STUFF5;
 111 }
 112
 113 void
 114 fn12 (void)
 115 {
 116   if (x)
 117     STUFF6;
 118 }