http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59159
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to jos...@codesourcery.com from comment #1) > 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. Yes, sorry, I meant -(x*y).