[Bug other/14708] description of -ffloat-store in gcc man page incorrect/inaccurate
------- Additional Comments From vincent at vinc17 dot org 2004-11-29 15:35 -------
In Comment 5, I wrote:
> The real problem is that intermediate results in extended precision are not
converted back to double after a cast or an assignment; this is required by the
C standard, whether __STDC_IEC_559__ is defined or not.
This problem has been fixed in gcc 3.4. So, now I think that the -ffloat-store
option should no longer be used: if the user wants the result to be converted
into double precision, he could add a cast to double, which is more portable
than relying on --ffloat-store. Also, note that neither the cast nor the
-ffloat-store option solves the problem of "double rounding" as described here:
http://www.vinc17.org/research/extended.en.html
IMHO the manual should discourage the use of -ffloat-store.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14708
------- You are receiving this mail because: -------
You reported the bug, or are watching the reporter.
Reply to: