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  }