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