[Bug tree-optimization/83435] [8 Regression] ICE in set_value_range, at tree-vrp.c:211

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Thu Jan 11 13:42:29 2018
New Revision: 256535

URL: https://gcc.gnu.org/viewcvs?rev=256535&root=gcc&view=rev
Log:
2018-01-11  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/83435
        * graphite.c (canonicalize_loop_form): Ignore fake loop exit edges.
        * graphite-scop-detection.c (scop_detection::get_sese): Likewise.
        * tree-vrp.c (add_assert_info): Drop TREE_OVERFLOW if they appear.

        * gcc.dg/graphite/pr83435.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/pr83435.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite-scop-detection.c
    trunk/gcc/graphite.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c