validation/optim/bad-phisrc1.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

void foo(int a, int b)
{
	if (b)
		while ((a += 5) > a)
			;
}

/*
 * check-name: bad-phisrc1
 * check-command: test-linearize -Wno-decl $file
 * check-known-to-fail
 *
 * check-output-ignore
 * check-output-excludes: phi\\.
 * check-output-excludes: phisource\\.
 */