[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