[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 #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #6)
> The issue here is we have a non SESE-region to start with.

Related to post-dominators not being meaningful in infinite loop context. 
Connecting infinite loops to exit "causes", so some more fiddling needed.

FAIL: gfortran.dg/graphite/pr68453.f90   -O  (internal compiler error)
FAIL: gfortran.dg/graphite/pr68453.f90   -O  (test for excess errors)