[Bug tree-optimization/79159] [7 regression] spurious array-bounds warning

[amker at gcc dot gnu.org]

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

--- Comment #7 from amker at gcc dot gnu.org ---
Author: amker
Date: Tue Jan 24 13:09:27 2017
New Revision: 244868

URL: https://gcc.gnu.org/viewcvs?rev=244868&root=gcc&view=rev
Log:
        PR tree-optimization/79159
        * tree-ssa-loop-niter.c (get_cst_init_from_scev): New function.
        (record_nonwrapping_iv): Imporve boundary using above function if no
        value range information.

        gcc/testsuite
        PR tree-optimization/79159
        * g++.dg/tree-ssa/pr79159.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr79159.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-loop-niter.c