1 2 3 4 5 6 7 8 9 10 11
/* Should not compile. */ int main(int argc, char **argv) { double d = 0.0; switch (d) { } return 0; }