re PR tree-optimization/57442 (ICE in appears_later_in_bb, at tree-ssa-reassoc.c:2891)

2013-05-29  Easwaran Raman  <eraman@google.com>

	PR tree-optimization/57442
	* tree-ssa-reassoc.c (appears_later_in_bb): Return correct value
	when control exits the main loop.

2013-05-29  Easwaran Raman  <eraman@google.com>

	PR tree-optimization/57442
	* gcc.dg/tree-ssa/reassoc-30.c: New testcase.

From-SVN: r199418

gcc/ChangeLog

+2013-05-29  Easwaran Raman  <eraman@google.com>
+
+	PR tree-optimization/57442
+	* tree-ssa-reassoc.c (appears_later_in_bb): Return correct value
+	when control exits the main loop.
+
 2013-05-29  Sandeep Kumar Singh  <Sandeep.Singh2@kpitcummins.com>
 
 	* rx/rx.h (TARGET_CPU_CPP_BUILTINS): Add macros for RX100, RX200,

gcc/testsuite/ChangeLog

+2013-05-29  Easwaran Raman  <eraman@google.com>
+
+	PR tree-optimization/57442
+	* gcc.dg/tree-ssa/reassoc-30.c: New testcase.
+
 2013-05-29  Bill Schmidt  <wschmidt@linux.vnet.ibm.com>
 
 	PR tree-optimization/57441

gcc/testsuite/gcc.dg/tree-ssa/reassoc-30.c

+/* PR tree-optimization/57442 */
+/* { dg-do compile } */
+/* { dg-options "-O1" } */
+short a;
+unsigned b;
+long c;
+int d;
+
+void f(void)
+{
+    b = a ? : (a = b) - c + (d - (b + b));
+}
+

gcc/tree-ssa-reassoc.c

@@ -2888,7 +2888,7 @@ appears_later_in_bb (gimple stmt1, gimple stmt2)
       else if (stmt == stmt2)
         return stmt2;
     }
-  gcc_unreachable ();
+  return stmt1;
 }
 
 /* Find the statement after which STMT must be moved so that the