| /* 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; | |
| } |