db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / trivial-phi01.c
blob40bd343b514ffcb28a9e29cba2634674470ab1ea
1 void foo(int a)
3 if (a) {
4 while (a) {
5 switch (0) {
6 default:
7 a = 0;
8 case 0:;
15 * check-name: trivial-phi01
16 * check-command: test-linearize -Wno-decl $file
18 * check-output-ignore
19 * check-output-excludes: phi\\.