c/4346: wrong float multiply with Sparc

[aoliva@gcc.gnu.org]

Synopsis: wrong float multiply with Sparc

State-Changed-From-To: open->closed
State-Changed-By: aoliva
State-Changed-When: Fri Sep 28 21:26:28 2001
State-Changed-Why:
    GCC is correct, as far as the code you wrote goes.  There's no reason to do the multiplication that outputs a double; in fact, this could even give incorrect results in case the algorithm depended on the multiplication being performed in float, and only then converted to double, which is what the code asks for.  Perhaps if you convert the operands of the multiplication to double, GCC will do the multiplication the way you expect.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=4346&database=gcc