https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110305
--- Comment #8 from Michael Morrell <mmorrell at tachyum dot com> --- Interesting information. I still feel that perhaps both functions should use the same logic to determine whether to make this transformation, but, for example, the extra checking for the vector case done by fold_real_zero_addition_p may not be needed in simplify_binary_operation_1 because of when the latter is used.