http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59159
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Sun, 17 Nov 2013, glisse at gcc dot gnu.org wrote: > propagation, or replace x*-y with -x*y, or move operations across fesetround, Do you mean -(x*y)? I don't see the problem with replacing x*-y with -x*y (which is (-x)*y), in any rounding mode.
