gcc/testsuite/c-c++-common/Wmultistatement-macros-10.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 M1      \
  11   switch (x) /* { dg-message "not guarded by this 'switch' clause" } */ \
  12     case 1:     \
  13     SWAP (x, y) /* { dg-message "in expansion of macro .SWAP." } */
  14
  15 #define M2      \
  16   switch (x)    \
  17     case 1:     \
  18     x++
  19
  20 #define M3      \
  21   switch (x)    \
  22     case 1:     \
  23     x++;;
  24
  25 #define M4      \
  26   switch (x) /* { dg-message "not guarded by this 'switch' clause" } */ \
  27 L1:             \
  28     case 1:     \
  29     SWAP (x, y) /* { dg-message "in expansion of macro .SWAP." } */
  30
  31 #define INC     \
  32   x++;;
  33
  34 int x, y, tmp;
  35
  36 void
  37 fn0 (void)
  38 {
  39   switch (x) /* { dg-message "not guarded by this 'switch' clause" } */
  40     case 1:
  41       SWAP (x, y); /* { dg-message "in expansion of macro .SWAP." } */
  42
  43   switch (x) /* { dg-message "not guarded by this 'switch' clause" } */
  44     case 1:
  45     case 2:
  46     case 3:
  47     case 4:
  48     case 5:
  49       SWAP (x, y); /* { dg-message "in expansion of macro .SWAP." } */
  50 }
  51
  52 void
  53 fn1 (void)
  54 {
  55   M1; /* { dg-message "in expansion of macro .M1." } */
  56   M2;
  57   M3;
  58   M4; /* { dg-message "in expansion of macro .M4." } */
  59   goto L1;
  60 }
  61
  62 void
  63 fn2 (void)
  64 {
  65   switch (x)
  66     case 1:
  67       INC
  68
  69   switch (x)
  70     case 1:
  71       ({ x = 10; x++; });
  72 }
  73
  74 void
  75 fn3 (void)
  76 {
  77   switch (x)
  78     {
  79     case 1:
  80       SWAP (x, y);
  81     }
  82 }