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