1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
/* PR middle-end/14730 */ int t (char i) { switch (i) { case 1: case 7: case 10: case 14: case 9: case 256: return 0; } return 1; }