foo(int a)1 void foo(int a)
2 {
3 if (a) {
4 while (a) {
5 switch (0) {
6 default:
7 a = 0;
8 case 0:;
9 }
10 }
11 }
12 }
13
14 /*
15 * check-name: trivial-phi01
16 * check-command: test-linearize -Wno-decl $file
17 *
18 * check-output-ignore
19 * check-output-excludes: phi\\.
20 */
21