https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78396
--- Comment #6 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- gfortran.dg/vect/pr77848.f indeed still passes with this change. I suppose that similar code where something else in the block could be vectorized would still regress, though. I don't think that's sufficient to hold up this fix, but it's just a reason to see if we can do better in GCC 8.