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