aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bad-phisrc3.c
blob: 41537420d6fa6385c4d335a97f726d19fee3529f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
void foo(void)
{
	int c = 1;
	switch (3) {
	case 0:
		do {
			;
	case 3:	;
		} while (c++);
	}
}

/*
 * check-name: bad-phisrc3
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-ignore
 * check-output-pattern(2): phisrc\\.
 * check-output-pattern(1): phi\\.
 */