/* { dg-options "-Wno-old-style-definition -fwrapv" } */

extern void abort(void);
extern void exit(int);

int f(j)
int j;
{ return ++j > 0; }
int main() {
    if (f((~0U) >> 1)) abort();
    exit(0);
}
