| void foo(void) | |
| { | |
| int c = 1; | |
| switch (3) { | |
| case 0: | |
| do { | |
| ; | |
| case 3: ; | |
| } while (c++); | |
| } | |
| } | |
| /* | |
| * check-name: bad-phisrc3 | |
| * check-command: test-linearize -Wno-decl $file | |
| * | |
| * check-output-ignore | |
| * check-output-pattern(2): phisrc\\. | |
| * check-output-pattern(1): phi\\. | |
| */ |