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