http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49188
Thomas Henlich <thenlich at users dot sourceforge.net> changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |minor
--- Comment #2 from Thomas Henlich <thenlich at users dot sourceforge.net>
2011-05-27 18:41:38 UTC ---
In this case a more precise documentation should be something like:
"When enabled, floating point numbers with the sign bit set are always written
with a negative sign even if the formatted output contains no other digits than
zero. In addition, floating point numbers of value zero with the sign bit set
are treated as negative in the SIGN intrinsic. fno-sign-zero does not print the
negative sign of such values and regards zero as positive number in the SIGN
intrinsic for compatibility with g77. fsign-zero is the default."
