rt_gccstream/gcc/testsuite/gcc.c-torture/compile/20040610-1.c

int foo (float x)
{
        float i = __builtin_inff ();
        return x != i;
}