1  /* { dg-options "-fwrapv" } */
       2  
       3  #include <limits.h>
       4  extern void abort ();
       5  extern void exit (int);
       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  
      16  int main(int argc, char *argv[])
      17  {
      18    f(INT_MIN);
      19    exit (0);
      20  }