blob: 06522a7d737bbca43c8bb1f5c01b07c8c94c2851 [file] [log] [blame]
/* PR c/80116 */
/* { dg-options "-Wmultistatement-macros" } */
/* { dg-do compile } */
#define SWAP(x, y) \
tmp = x; /* { dg-warning "macro expands to multiple statements" } */ \
x = y; \
y = tmp
#define M1 \
for (i = 0; i < 1; ++i) /* { dg-message "not guarded by this 'for' clause" } */ \
SWAP (x, y) /* { dg-message "in expansion of macro .SWAP." } */
#define M2 \
for (i = 0; i < 1; ++i) \
x++
#define M3 \
for (i = 0; i < 1; ++i) \
x++;;
#define M4 \
for (i = 0; i < 1; ++i) /* { dg-message "not guarded by this 'for' clause" } */ \
L1: \
SWAP (x, y) /* { dg-message "in expansion of macro .SWAP." } */
#define INC \
x++;;
int x, y, tmp;
void
fn0 (void)
{
int i;
for (i = 0; i < 1; ++i) /* { dg-message "not guarded by this 'for' clause" } */
SWAP (x, y); /* { dg-message "in expansion of macro .SWAP." } */
for (i = 0; i < 1; ++i) /* { dg-message "not guarded by this 'for' clause" } */
L:
SWAP (x, y); /* { dg-message "in expansion of macro .SWAP." } */
goto L;
}
void
fn1 (void)
{
int i;
M1; /* { dg-message "in expansion of macro .M1." } */
M2;
M3;
M4; /* { dg-message "in expansion of macro .M4." } */
goto L1;
}
void
fn2 (void)
{
for (int i = 0; i < 1; ++i)
INC
for (int i = 0; i < 1; ++i)
({ x = 10; x++; });
}