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