db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / multi-phisrc.c
blobff31c0834e589aeae8c7a99ef322fea10d228513
1 void fun(void);
3 void foo(int p, int a)
5 if (p == p) {
6 switch (p) {
7 case 0:
8 break;
9 case 1:
10 a = 0;
13 if (a)
14 fun();
18 * check-name: multi-phisrc
19 * check-command: test-linearize -Wno-decl $file
21 * check-output-ignore
22 * check-output-excludes: phi