1  /* PR tree-optimization/109386 */
       2  
       3  static inline float
       4  foo (float x, float y)
       5  {
       6    float u = __builtin_fabsf (x);
       7    float v = __builtin_fabsf (y);
       8    if (!(u >= v))
       9      {
      10        if (__builtin_isinf (v)) return v;
      11        if (__builtin_isinf (u)) return u;
      12      }
      13    return 42.0f;
      14  }
      15  
      16  int
      17  main ()
      18  {
      19    if (!__builtin_isinf (foo (__builtin_inff (), __builtin_nanf (""))))
      20      __builtin_abort ();
      21  }