1/* { dg-skip-if "signed zero not supported" { "vax-*-*" } { "*" } { "" } } */
2extern void abort (void);
3
4double
5__attribute__ ((noinline))
6not_fabs (double x)
7{
8  return x >= 0.0 ? x : -x;
9}
10
11int main()
12{
13  double x = -0.0;
14  double y;
15
16  y = not_fabs (x);
17
18  if (!__builtin_signbit (y))
19    abort();
20
21  return 0;
22}
23