https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58915
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #4) > Without the VRP, GCC 6.1.0 have this fixed by r6-5389. Or it was fixed by r6-3351 but it was some patch in GCC 6 timeframe which got tree-ssa-loop-niter.c to work without VRP usage.