1f08c3bdfSopenharmony_civoid foo(void)
2f08c3bdfSopenharmony_ci{
3f08c3bdfSopenharmony_ci	int c = 1;
4f08c3bdfSopenharmony_ci	switch (3) {
5f08c3bdfSopenharmony_ci	case 0:
6f08c3bdfSopenharmony_ci		do {
7f08c3bdfSopenharmony_ci			;
8f08c3bdfSopenharmony_ci	case 3:	;
9f08c3bdfSopenharmony_ci		} while (c++);
10f08c3bdfSopenharmony_ci	}
11f08c3bdfSopenharmony_ci}
12f08c3bdfSopenharmony_ci
13f08c3bdfSopenharmony_ci/*
14f08c3bdfSopenharmony_ci * check-name: bad-phisrc3
15f08c3bdfSopenharmony_ci * check-command: test-linearize -Wno-decl $file
16f08c3bdfSopenharmony_ci *
17f08c3bdfSopenharmony_ci * check-output-ignore
18f08c3bdfSopenharmony_ci * check-output-pattern(2): phisrc\\.
19f08c3bdfSopenharmony_ci * check-output-pattern(1): phi\\.
20f08c3bdfSopenharmony_ci */
21