1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
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\\. */