1 /* { dg-do run } */ 2 3 void __attribute__((noinline,noipa)) foo(int id)4 foo(int id) 5 { 6 switch (id) 7 { 8 case (-__INT_MAX__ - 1)...-1: 9 __builtin_abort (); 10 default:; 11 } 12 } 13 main()14 int main() 15 { 16 foo(1); 17 return 0; 18 } 19