------- 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.