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