validation/optim/bad-phisrc3.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

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-known-to-fail
 *
 * check-output-ignore
 * check-output-pattern(2): phisrc\\.
 * check-output-pattern(1): phi\\.
 */