re PR middle-end/19865 (ice / gnat bug detected.)

	PR tree-optimization/19865
	* tree-optimize.c (init_tree_optimization_passes): Run
	pass_may_alias after pass_sra.

From-SVN: r95113

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cff547cbe311c7e9c858230d77f9f21503cd9ad1..2139164ab4978095b43317b31d09284ff315470e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2005-02-16  Diego Novillo  <dnovillo@redhat.com>
+
+       PR tree-optimization/19865
+       * tree-optimize.c (init_tree_optimization_passes): Run
+       pass_may_alias after pass_sra.
+
 2005-02-16  Richard Henderson  <rth@redhat.com>
            Stuart Hastings  <stuart@apple.com>
 

diff --git a/gcc/tree-optimize.c b/gcc/tree-optimize.c
index 8006a2cdac66c401a75a79297b9faa3e7b2dcdd1..a2b76971812b300c4098335702e70d973a5e5e2e 100644 (file)
--- a/gcc/tree-optimize.c
+++ b/gcc/tree-optimize.c
@@ -364,6 +364,10 @@ init_tree_optimization_passes (void)
   NEXT_PASS (pass_ch);
   NEXT_PASS (pass_profile);
   NEXT_PASS (pass_sra);
+  /* FIXME: SRA may generate arbitrary gimple code, exposing new
+     aliased and call-clobbered variables.  As mentioned below,
+     pass_may_alias should be a TODO item.  */
+  NEXT_PASS (pass_may_alias);
   NEXT_PASS (pass_rename_ssa_copies);
   NEXT_PASS (pass_dominator);
   NEXT_PASS (pass_redundant_phi);