1cb93a386Sopenharmony_ciuniform int value;
2cb93a386Sopenharmony_ci
3cb93a386Sopenharmony_civoid main() {
4cb93a386Sopenharmony_ci    while (true) switch (value) { default: continue; }
5cb93a386Sopenharmony_ci    for (;;) switch (value) { case 5: continue; }
6cb93a386Sopenharmony_ci
7cb93a386Sopenharmony_ci    // Static switches are flattened out so they should not generate an error.
8cb93a386Sopenharmony_ci    while (true) @switch (0) { default: continue; }
9cb93a386Sopenharmony_ci    for (;;) @switch (5) { case 5: continue; }
10cb93a386Sopenharmony_ci}
11