1 2 3 4 5 6 7 8 9 10 11 12 13
/* { dg-do compile } */ /* { dg-options "-O -Wunused-but-set-variable" } */ int main(void) { const int i = 0; switch(i) { default: break; } }