[Bug tree-optimization/83887] [8 Regression] [graphite] ICE in verify_dominators, at dominance.c:1184 (error: dominator of 3 should be 21, not 18)

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Thu Jan 18 10:59:33 2018
New Revision: 256841

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

        PR tree-optimization/83887
        * graphite-scop-detection.c
        (scop_detection::get_nearest_dom_with_single_entry): Remove.
        (scop_detection::get_nearest_pdom_with_single_exit): Likewise.
        (scop_detection::merge_sese): Re-implement with a flood-fill
        algorithm that properly finds a SESE region if it exists.

        * gcc.dg/graphite/pr83887.c: New testcase.
        * gfortran.dg/graphite/pr83887.f90: Likewise.
        * gfortran.dg/graphite/pr83887.f: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/pr83887.c
    trunk/gcc/testsuite/gfortran.dg/graphite/pr83887.f
    trunk/gcc/testsuite/gfortran.dg/graphite/pr83887.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite-scop-detection.c
    trunk/gcc/testsuite/ChangeLog