re PR rtl-optimization/56745 (ICE in merge_if_block)

	PR rtl-optimization/56745
	* ifcvt.c (cond_exec_find_if_block): Don't try to optimize
	if then_bb has no successors and else_bb is EXIT_BLOCK_PTR.

	* gcc.c-torture/compile/pr56745.c: New test.

From-SVN: r197371

gcc/ChangeLog

 2013-04-02  Jakub Jelinek  <jakub@redhat.com>
 
+	PR rtl-optimization/56745
+	* ifcvt.c (cond_exec_find_if_block): Don't try to optimize
+	if then_bb has no successors and else_bb is EXIT_BLOCK_PTR.
+
 	PR c++/34949
 	* tree-ssa-alias.c (stmt_kills_ref_p_1): If base != ref->base
 	and both of them are MEM_REFs, just compare first argument for

gcc/ifcvt.c

@@ -3473,7 +3473,7 @@ cond_exec_find_if_block (struct ce_if_block * ce_info)
      code processing.  ??? we should fix this in the future.  */
   if (EDGE_COUNT (then_bb->succs) == 0)
     {
-      if (single_pred_p (else_bb))
+      if (single_pred_p (else_bb) && else_bb != EXIT_BLOCK_PTR)
 	{
 	  rtx last_insn = BB_END (then_bb);
 

gcc/testsuite/ChangeLog

-2013-04-02  Pitchumani Sivanupandi <pitchumani.s@atmel.com>
+2013-04-02  Jakub Jelinek  <jakub@redhat.com>
+
+	PR rtl-optimization/56745
+	* gcc.c-torture/compile/pr56745.c: New test.
+
+2013-04-02  Pitchumani Sivanupandi  <pitchumani.s@atmel.com>
 
 	* gcc.dg/tree-ssa/sra-13.c: Fix for 16 bit int.
 

gcc/testsuite/gcc.c-torture/compile/pr56745.c

+/* PR rtl-optimization/56745 */
+
+unsigned char a[6];
+
+void
+foo ()
+{
+  int i;
+  for (i = 5; i >= 0; i++)
+    {
+      if (++a[i] != 0)
+	break;
+      ++a[i];
+    }
+}