re PR tree-optimization/60979 (ICE: in gimple_redirect_edge_and_branch_force, at…

re PR tree-optimization/60979 (ICE: in gimple_redirect_edge_and_branch_force, at tree-cfg.c:5544, w/ -O -ftree-loop-linear or -fgraphite-identity)

2014-04-28  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/60979
	* graphite-scop-detection.c (scopdet_basic_block_info): Reject
	SCOPs that end in a block with a successor with abnormal
	predecessors.

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

From-SVN: r209859

gcc/ChangeLog

 2014-04-28  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/60979
+	* graphite-scop-detection.c (scopdet_basic_block_info): Reject
+	SCOPs that end in a block with a successor with abnormal
+	predecessors.
+
+2014-04-28  Richard Biener  <rguenther@suse.de>
+
 	* tree-pass.h (execute_pass_list): Adjust prototype.
 	* passes.c (pass_manager::execute_early_local_passes):
 	Adjust.

gcc/graphite-scop-detection.c

@@ -474,8 +474,10 @@ scopdet_basic_block_info (basic_block bb, loop_p outermost_loop,
       result.exits = false;
 
       /* Mark bbs terminating a SESE region difficult, if they start
-	 a condition.  */
-      if (!single_succ_p (bb))
+	 a condition or if the block it exits to cannot be split
+	 with make_forwarder_block.  */
+      if (!single_succ_p (bb)
+	  || bb_has_abnormal_pred (single_succ (bb)))
 	result.difficult = true;
       else
 	result.exit = single_succ (bb);

gcc/testsuite/ChangeLog

+2014-04-28  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/60979
+	* gcc.dg/graphite/pr60979.c: New testcase.
+
 2014-04-28  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
 
 	PR c/60983

gcc/testsuite/gcc.dg/graphite/pr60979.c

+/* { dg-options "-O -fgraphite-identity" } */
+
+#include <setjmp.h>
+
+struct x;
+
+typedef struct x **(*a)(struct x *);
+
+struct x {
+    union {
+	struct {
+	    union {
+		a *i;
+	    } l;
+	    int s;
+	} y;
+    } e;
+};
+
+jmp_buf c;
+
+void
+b(struct x *r)
+{
+  int f;
+  static int w = 0;
+  volatile jmp_buf m;
+  f = (*(((struct x *)r)->e.y.l.i[2]((struct x *)r)))->e.y.s;
+  if (w++ != 0)
+    __builtin_memcpy((char *)m, (const char *)c, sizeof(jmp_buf));
+  if (setjmp (c) == 0) {
+      int z;
+      for (z = 0; z < 0; ++z)
+	;
+  }
+  d((const char *)m);
+}