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