1/* { dg-options "-fwrapv" } */
2
3extern void abort (void);
4extern void exit (int);
5
6int f(j)int j;{return++j>0;}
7int main(){if(f((~0U)>>1))abort();exit(0);}
8