1 /* PR middle-end/71476 */
2 /* { dg-do compile } */
3 /* { dg-options "-Wswitch-unreachable" } */
4 
5 void
foo(int a)6 foo (int a)
7 {
8   switch (a)
9     {
10       void f (void) { }
11     }
12 }
13