re PR tree-optimization/54669 (verify_flow_info failure after loop unrolling…

re PR tree-optimization/54669 (verify_flow_info failure after loop unrolling with -fnon-call-exceptions)

	PR tree-optimization/54669
	* tree-ssa-loop-ivcanon.c (propagate_into_all_uses): Invoke
	maybe_clean_or_replace_eh_stmt on the modified use statements.

From-SVN: r191654

gcc/ChangeLog

+2012-09-23  Eric Botcazou  <ebotcazou@adacore.com>
+
+	PR tree-optimization/54669
+	* tree-ssa-loop-ivcanon.c (propagate_into_all_uses): Invoke
+	maybe_clean_or_replace_eh_stmt on the modified use statements.
+
 2012-09-23  Marc Glisse  <marc.glisse@inria.fr>
 
 	* expr.c (do_store_flag): Remove duplicated code.

gcc/testsuite/ChangeLog

+2012-09-23  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc.dg/pr54669.c: New test.
+
 2012-09-23  Paolo Carlini  <paolo.carlini@oracle.com>
 	    Dominique Dhumieres  <dominiq@lps.ens.fr>
 
 	PR testsuite/54677
 	* g++.dg/cpp0x/decltype32.C: Add -ftemplate-depth=10.
 
-2012-09-2323  Tobias Burnus  <burnus@net-b.de>
+2012-09-23  Tobias Burnus  <burnus@net-b.de>
 
 	PR fortran/54618
 	* gfortran.dg/class_array_14.f90: New.

gcc/testsuite/gcc.dg/pr54669.c

+/* PR tree-optimization/54669 */
+/* Testcase by Zdenek Sojka <zsojka@seznam.cz> */
+
+/* { dg-compile } */
+/* { dg-options "-O2 -fexceptions -fnon-call-exceptions" } */
+
+int a[10];
+
+void
+foo (void)
+{
+  int x;
+  int i;
+  for (i = 0; i < 1;)
+    {
+      int b[3];
+      for (i = 0; i < 1; i++)
+	b[i] = a[i];
+      if (&x)
+	a[0] = b[0];
+    }
+}

gcc/tree-ssa-loop-ivcanon.c

@@ -531,6 +531,7 @@ propagate_into_all_uses (tree ssa_name, tree val)
 
       fold_stmt_inplace (&use_stmt_gsi);
       update_stmt (use_stmt);
+      maybe_clean_or_replace_eh_stmt (use_stmt, use_stmt);
     }
 }