https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81889
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Tue Dec 12 08:50:31 2017 New Revision: 255573 URL: https://gcc.gnu.org/viewcvs?rev=255573&root=gcc&view=rev Log: 2017-12-12 Richard Biener <rguent...@suse.de> PR tree-optimization/81889 * tree-ssa-loop-niter.c (infer_loop_bounds_from_signedness): Use range info from the non-wrapping IV instead of just the range of the type. * gfortran.dg/pr81889.f90: New testcase. * gcc.dg/tree-ssa/pr64183.c: Adjust. Added: trunk/gcc/testsuite/gfortran.dg/pr81889.f90 Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gcc.dg/tree-ssa/pr64183.c trunk/gcc/tree-ssa-loop-niter.c