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