===================================================================
@@ -590,6 +590,15 @@ scop_detection::add_scop (sese_l s)
{
gcc_assert (s);
+ /* If the exit edge is fake discard the SCoP for now as we're removing the
+ fake edges again after analysis. */
+ if (s.exit->flags & EDGE_FAKE)
+ {
+ DEBUG_PRINT (dp << "[scop-detection-fail] Discarding infinite loop SCoP: ";
+ print_sese (dump_file, s));
+ return;
+ }
+
/* Include the BB with the loop-closed SSA PHI nodes, we need this
block in the region for code-generating out-of-SSA copies.
canonicalize_loop_closed_ssa makes sure that is in proper shape. */
===================================================================
@@ -0,0 +1,23 @@
+/* { dg-do compile } */
+/* { dg-options "-O -fgraphite-identity -fno-tree-loop-im" } */
+
+int q3, w1;
+
+void
+bw (int b8)
+{
+ const int sd = 2;
+ int mc;
+
+ for (mc = 0; mc < sd; ++mc)
+ {
+ik:
+ for (w1 = 0; w1 < sd; ++w1)
+ ++b8;
+ }
+
+ for (q3 = 0; q3 < sd; ++q3)
+ ;
+
+ goto ik;
+}