https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88964
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- In the spot which I'm changing IMHO shouldn't, that + 0.0 really should be folded (and if not, we should tweak create_iv not to do any addition if real_zerop). Though of course for other floating point IVs where the step is non-zero it could make a difference.