1  /* { dg-options "-fwrapv" } */
       2  
       3  extern void abort (void);
       4  extern void exit (int);
       5  
       6  int f(long a){return (--a > 0);}
       7  int main(){if(f(0x80000000L)==0)abort();exit(0);}