Bug#233673: gcc-3.3: Description of -ffloat-store in gcc man page is incorrect

[Vincent Lefevre <vincent@vinc17.org>]

Package: gcc-3.3
Version: 1:3.3.3-1
Severity: normal

The gcc man page says:

    -ffloat-store
        Do  not  store floating point variables in registers.  This pre-
        vents undesirable excess precision on machines such as the 68000
        where  the floating registers (of the 68881) keep more precision
        than a double is supposed to have.

        For most programs, the excess precision does only  good,  but  a
        few  programs  rely  on  the precise definition of IEEE floating
        point.  Use `-ffloat-store' for such programs.

The second paragraph is incorrect. The IEEE754 standard has nothing
to do with that since it allows extended precision for intermediate
computations. This option just makes gcc more ISO C compliant, since
the ISO C forbids excess precision after an explicit conversion to
double (cast or affectation).

-- System Information:
Debian Release: testing/unstable
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.4.24
Locale: LANG=POSIX, LC_CTYPE=en_US.ISO8859-1

Versions of packages gcc-3.3 depends on:
ii  binutils                   2.14.90.0.7-5 The GNU assembler, linker and bina
ii  cpp-3.3                    1:3.3.3-1     The GNU C preprocessor
ii  gcc-3.3-base               1:3.3.3-1     The GNU Compiler Collection (base 
ii  libc6                      2.3.2.ds1-11  GNU C Library: Shared libraries an
ii  libgcc1                    1:3.3.3-1     GCC support library

-- no debconf information