re PR ipa/66793 (ICE at -Os and above on x86_64-linux-gnu (verify_flow_info failed))

2015-07-08  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/66793
	* gimple-ssa-isolate-paths.c (insert_trap_and_remove_trailing_statemen):
	Properly split the block after stmts ending it.

	* gcc.dg/torture/pr66793.c: New testcase.

From-SVN: r225546

gcc/ChangeLog

 2015-07-08  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/66793
+	* gimple-ssa-isolate-paths.c (insert_trap_and_remove_trailing_statemen):
+	Properly split the block after stmts ending it.
+
+2015-07-08  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/66794
 	* passes.c (execute_function_todo): Assert that post-dominators
 	are not computed.

gcc/gimple-ssa-isolate-paths.c

@@ -103,7 +103,14 @@ insert_trap_and_remove_trailing_statements (gimple_stmt_iterator *si_p, tree op)
   if (walk_stmt_load_store_ops (stmt, (void *)op,
 			        check_loadstore,
 				check_loadstore))
-    gsi_insert_after (si_p, seq, GSI_NEW_STMT);
+    {
+      gsi_insert_after (si_p, seq, GSI_NEW_STMT);
+      if (stmt_ends_bb_p (stmt))
+	{
+	  split_block (gimple_bb (stmt), stmt);
+	  return;
+	}
+    }
   else
     gsi_insert_before (si_p, seq, GSI_NEW_STMT);
 

gcc/testsuite/ChangeLog

 2015-07-08  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/66793
+	* gcc.dg/torture/pr66793.c: New testcase.
+
+2015-07-08  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/66794
 	* gcc.dg/torture/pr66794.c: New testcase.
 

gcc/testsuite/gcc.dg/torture/pr66793.c

+/* { dg-do link } */
+
+int a, b, c; 
+
+struct S0
+{
+  int f1;
+} *d; 
+
+void
+fn1 (struct S0 p)
+{
+  for (p.f1 = 0; p.f1 < 1; p.f1++)
+    c = a && b ? a && b : 1; 
+  for (; c;)
+    ;
+}
+
+int
+main ()
+{
+  struct S0 **f = &d;
+  d = 0; 
+  fn1 (**f); 
+  return 0;
+}