https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110305
--- Comment #9 from Michael Morrell <mmorrell at tachyum dot com> --- And what about when -frounding-math is used? The transformation will still occur in simplify_binary_operation_1 if -frounding-math -fno-signed-zeros -fno-signaling-nans is used. Note that fold_real_zero_addition_p checks HONOR_SIGN_DEPENDENT_ROUNDING.
