https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67815
--- Comment #3 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- Note that this should only be applied when the multiplication of the two constants can be folded to a single constant (thus, not for -frounding-math - HONOR_SIGN_DEPENDENT_ROUNDING - if the multiplication is inexact).