https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120937
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |INVALID
Status|UNCONFIRMED |RESOLVED
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
So I suspect this is because of rounding of the multiple first and then doing
the addition so the 2 values would be different enough to produce -0.0.
The other thing is contracting to use fused multiple add which means the
rounding happens at the end rather than after multiple.
In either case this is expected behavior and valid one at that.
