[Bug tree-optimization/83572] [8 Regression] [graphite] ICE in verify_dominators, at dominance.c:1184 (error: dominator of 7 should be 15, not 13)

[rguenth at gcc dot gnu.org]

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

--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Jan  9 08:55:26 2018
New Revision: 256372

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

        PR tree-optimization/83572
        * graphite.c: Include cfganal.h.
        (graphite_transform_loops): Connect infinite loops to exit
        and remove fake edges at the end.

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

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/pr83572.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite.c
    trunk/gcc/testsuite/ChangeLog