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