annotate gcc/testsuite/gcc.dg/pr43419.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do run } */
kono
parents:
diff changeset
2 /* { dg-options "-O1" } */
kono
parents:
diff changeset
3 /* { dg-add-options ieee } */
kono
parents:
diff changeset
4 #include <math.h>
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 extern void abort (void);
kono
parents:
diff changeset
7 void __attribute__((noinline)) f (double x)
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 double pluszero = pow (x, 0.5);
kono
parents:
diff changeset
10 double minuszero = sqrt (x);
kono
parents:
diff changeset
11 if (signbit (pluszero) == signbit (minuszero))
kono
parents:
diff changeset
12 abort ();
kono
parents:
diff changeset
13 }
kono
parents:
diff changeset
14
kono
parents:
diff changeset
15 int main(void)
kono
parents:
diff changeset
16 {
kono
parents:
diff changeset
17 f (-0.0);
kono
parents:
diff changeset
18 return 0;
kono
parents:
diff changeset
19 }