1 2 3 4 5 6 7 8
unsigned u=2147483839;float f0=2147483648e0,f1=2147483904e0; main() { float f=u; if(f==f0) abort(); exit(0); }