[Bug target/17622] Non-optimal code sequence for floating point "x=0; x+=a*b;"

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-23 01:10 -------
          /* Maybe simplify x + 0 to x.  The two expressions are equivalent
             when x is NaN, infinite, or finite and nonzero.  They aren't
             when x is -0 and the rounding mode is not towards -infinity,
             since (-0) + 0 is then 0.  */

So this is invalid.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID
            Summary|Non-optimal code sequence   |Non-optimal code sequence
                   |for floating point "x=0;    |for floating point "x=0;
                   |x=a*b;"                     |x+=a*b;"


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