1 void fun(void); 2 foo(int p,int a)3void foo(int p, int a) 4 { 5 if (p == p) { 6 switch (p) { 7 case 0: 8 break; 9 case 1: 10 a = 0; 11 } 12 } 13 if (a) 14 fun(); 15 } 16 17 /* 18 * check-name: multi-phisrc 19 * check-command: test-linearize -Wno-decl $file 20 * 21 * check-output-ignore 22 * check-output-excludes: phi 23 */ 24