2017-12-12 Richard Biener <rguenther@suse.de>
commit0b840c3855d5161b36a67caba12d66cd8ad832dc
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 Dec 2017 08:50:31 +0000 (12 08:50 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 Dec 2017 08:50:31 +0000 (12 08:50 +0000)
tree3bb310f9df1511ec6309b70eb110224f29320ea1
parent179e639c030e334fcb75a26d09c9d335fd2e5dce
2017-12-12  Richard Biener  <rguenther@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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@255573 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/pr64183.c
gcc/testsuite/gfortran.dg/pr81889.f90 [new file with mode: 0644]
gcc/tree-ssa-loop-niter.c