re PR tree-optimization/17558 (internal compiler error: in merge_alias_info, at tree...

2004-09-20  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/17558
        * tree-ssa-copy.c (may_propagate_copy): Only allow if the
        aliasing sets are the same rather than just conflicting.

From-SVN: r87772

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 79e80a517fe8f43d228de43cc776696fcd84fc40..40b125ead44c7b671c3ae4209c8e107f3657e392 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2004-09-20  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       PR tree-opt/17558
+       * tree-ssa-copy.c (may_propagate_copy): Only allow if the
+       aliasing sets are the same rather than just conflicting.
+
 2004-09-20  Jan Hubicka  <jh@suse.cz>
 
        PR middle-end/16460

diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c
index 611bae77bad736888c3eeb7ddb2c761018c30c15..447f149ab4abf16bf3e21d03f6f5245159297bac 100644 (file)
--- a/gcc/tree-ssa-copy.c
+++ b/gcc/tree-ssa-copy.c
@@ -112,8 +112,8 @@ may_propagate_copy (tree dest, tree orig)
        return false;
       else if (!lang_hooks.types_compatible_p (type_d, type_o))
        return false;
-      else if (!alias_sets_conflict_p (get_alias_set (TREE_TYPE (type_d)),
-                                      get_alias_set (TREE_TYPE (type_o))))
+      else if (get_alias_set (TREE_TYPE (type_d)) != 
+              get_alias_set (TREE_TYPE (type_o)))
        return false;
     }