foo(int a,int b)1 void foo(int a, int b)
2 {
3 if (b)
4 while ((a += 5) > a)
5 ;
6 }
7
8 /*
9 * check-name: bad-phisrc1
10 * check-command: test-linearize -Wno-decl $file
11 *
12 * check-output-ignore
13 * check-output-excludes: phi\\.
14 * check-output-excludes: phisource\\.
15 */
16