[Bug c/14384] New: Invalid use of extra precision floating-point with -O0 optimization

["anz at obs-nice dot fr" <gcc-bugzilla at gcc dot gnu dot org>]

Arithmetic involving a float and a "lesser" type should be done in float in C89,
at least when optimization is turned off.
In some cases (shown in the attached program), the arithmetic is done in double,
carrying extra precision, which is *not* wanted, and makes the program results
different from those on other machines.

-- 
           Summary: Invalid use of extra precision floating-point with -O0
                    optimization
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: anz at obs-nice dot fr
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14384