db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / trivial-phis.c
blob8af093c1a1553e7b9b377e85d2a07872f5c9b8a7
1 void foo(int a)
3 while (1)
4 a ^= 0;
7 /*
8 * check-name: trivial phis
9 * check-command: test-linearize -Wno-decl $file
11 * check-output-ignore
12 * check-output-excludes: phi\\.
13 * check-output-excludes: phisrc\\.