1 /* { dg-options "-fwrapv" } */
2 
3 #include <limits.h>
4 extern void abort ();
5 extern void exit (int);
f(int i)6 void f(int i)
7 {
8   if (i>0)
9     abort();
10   i = -i;
11   if (i<0)
12     return;
13   abort ();
14 }
15 
main(int argc,char * argv[])16 int main(int argc, char *argv[])
17 {
18   f(INT_MIN);
19   exit (0);
20 }
21