1  int foo (float x)
       2  {
       3          float i = __builtin_inff ();
       4          return x != i;
       5  }