1 2 3 4 5 6 7 8 9 10 11 12 13
f (n) unsigned n; { if ((int) n >= 0) abort (); } main () { unsigned x = ~0; f (x); exit (0); }