1  /* PR tree-optimization/107975 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2" } */
       4  /* { dg-add-options ieee } */
       5  
       6  double
       7  foo (double x, double y)
       8  {
       9    if (x == 42.0)
      10      return 1.0;
      11    double r = x * y;
      12    if (!__builtin_isnan (r))
      13      __builtin_unreachable ();
      14    return r;
      15  }