From: Andrew Pinski <pinskia@physics.uc.edu>
Date: Mon, 20 Sep 2004 20:53:08 +0000 (+0000)
Subject: re PR tree-optimization/17558 (internal compiler error: in merge_alias_info, at tree... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b1940f0c232babf4881370b05354fa78f8d922f4;p=gcc.git

re PR tree-optimization/17558 (internal compiler error: in merge_alias_info, at tree-ssa-copy.c:182)

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 79e80a517fe..40b125ead44 100644
--- 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 611bae77bad..447f149ab4a 100644
--- 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;
     }