/* PR tree-optimization/107975 */ | |
/* { dg-do compile } */ | |
/* { dg-options "-O2" } */ | |
/* { dg-add-options ieee } */ | |
double | |
foo (double x, double y) | |
{ | |
if (x == 42.0) | |
return 1.0; | |
double r = x * y; | |
if (!__builtin_isnan (r)) | |
__builtin_unreachable (); | |
return r; | |
} |