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