[Bug tree-optimization/70715] SCEV failed to prove no-overflow-ness information unsigned loop IV

[amker at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70715

--- Comment #1 from amker at gcc dot gnu.org ---
Author: amker
Date: Thu Apr 21 11:28:58 2016
New Revision: 235333

URL: https://gcc.gnu.org/viewcvs?rev=235333&root=gcc&view=rev
Log:
        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.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/scev-13.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-loop-niter.c