db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / bad-phisrc3.c
blob41537420d6fa6385c4d335a97f726d19fee3529f
1 void foo(void)
3 int c = 1;
4 switch (3) {
5 case 0:
6 do {
8 case 3: ;
9 } while (c++);
14 * check-name: bad-phisrc3
15 * check-command: test-linearize -Wno-decl $file
17 * check-output-ignore
18 * check-output-pattern(2): phisrc\\.
19 * check-output-pattern(1): phi\\.