[www-patch] bugs.html rewrite, part 2: revamp floating point section
Gerald Pfeifer
gerald@pfeifer.com
Mon Aug 18 19:13:00 GMT 2003
On Mon, 18 Aug 2003, Volker Reichelt wrote:
> Ok to commit?
This is fine, with some minor changes.
> ===================================================================
> -<dt>Problems with floating point computations.</dt>
> +<dt>Problems with floating point numbers. This is the
> +<a href="http://gcc.gnu.org/PR323">most often reported non-bug</a>.</dt>
I believe "This is the..." should be part of <dd>...</dd>, not <dt>...</dt>.
> </pre></blockquote>
> -<p>might print 49 on some systems and optimization levels, and 48 on
> +<p>might print 50 on some systems and optimization levels, and 49 on
> others.</p>
I believe this was agreed upon some time ago, but please explicitly
mention it in the commit log.
> +<p>On some architectures calculations inside the floating point unit (FPU)
Perhaps a comma after "architectures"?
> +point numbers (e.g., a <code>double</code> has 80 bits in the FPU on x86,
> +but only 64 bits in memory). Thus, writing data to memory involves rounding!
> +That's why the following C program might print <code>"Uh oh!"</code>.</p>
How about "involves rounding, and the following C program..."?
> +<p>You can force the compiler to store floating point numbers after each
> +computation by using the command-line option "<code>-ffloat-store</code>",
> +but that is only meant as a work-around and can massively slow down
"this is"
Thanks! (Keep up with this good stuff. :) )
Gerald
--
Gerald Pfeifer (Jerry) gerald@pfeifer.com http://www.pfeifer.com/gerald/
More information about the Gcc-patches
mailing list