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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@87772 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 79e80a5..40b125e 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 611bae7..447f149 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;
     }