https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71823
--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #2) > b[i] = __builtin_fma (0.0f, 0.0f, a[i]); I am surprised we don't optimize that line, at least with -fno-signed-zeros. If the testcase still works with less trivial numbers, that might be better, in case we add such optimizations in the future?