[Bug tree-optimization/59417] [4.9 Regression] ICE in determine_value_range, at tree-ssa-loop-niter.c:176

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59417

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed Dec 11 09:19:41 2013
New Revision: 205884

URL: http://gcc.gnu.org/viewcvs?rev=205884&root=gcc&view=rev
Log:
    PR tree-optimization/59417
    * tree-ssa-copy.c (fini_copy_prop): If copy_of[i].value is defined
    in a different bb rhan var, only duplicate points-to info and
    not alignment info and don't duplicate range info.
    * tree-ssa-loop-niter.c (determine_value_range): Instead of
    assertion failure handle inconsistencies in range info by only
    using var's range info and not PHI result range infos.

    * gcc.c-torture/compile/pr59417.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr59417.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-copy.c
    trunk/gcc/tree-ssa-loop-niter.c