2 /* { dg-options "-O1" } */
3 /* { dg-add-options ieee } */
6 extern void abort (void);
7 void __attribute__((noinline)) f (double x)
9 double pluszero = pow (x, 0.5);
10 double minuszero = sqrt (x);
11 if (signbit (pluszero) == signbit (minuszero))