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
fn0(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
fn1(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
fn2(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
fn3(void)75 fn3 (void)
76 {
77   switch (x)
78     {
79     case 1:
80       SWAP (x, y);
81     }
82 }
83