re PR tree-optimization/70715 (SCEV failed to prove no-overflow-ness information...
authorBin Cheng <bin.cheng@arm.com>
Thu, 21 Apr 2016 11:28:58 +0000 (11:28 +0000)
committerBin Cheng <amker@gcc.gnu.org>
Thu, 21 Apr 2016 11:28:58 +0000 (11:28 +0000)
commit2359e571cd71026167931216e730129d53244dd1
tree93769dac35b40a1151671d0c8e5afcda93f8bd2a
parentce0e66ffb22832d1668dd9d92ad0ca128fbd07c3
re PR tree-optimization/70715 (SCEV failed to prove no-overflow-ness information unsigned loop IV)

PR tree-optimization/70715
* tree-ssa-loop-niter.c (loop_exits_before_overflow): Check equality
after expanding BASE using expand_simple_operations.

gcc/testsuite/ChangeLog
PR tree-optimization/70715
* gcc.dg/tree-ssa/scev-13.c: New test.

From-SVN: r235333
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/scev-13.c [new file with mode: 0644]
gcc/tree-ssa-loop-niter.c