From: Martin Jambor <mjambor@suse.cz>
Date: Tue, 7 Apr 2009 15:46:33 +0000 (+0200)
Subject: tree-ssa-alias.c (refs_may_alias_p_1): Check for is_gimple_min_invariant rather than... 
X-Git-Tag: releases/gcc-4.5.0~6827
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=dc5e72981f0a2bc79f4c6975ad025239ee41a515;p=thirdparty%2Fgcc.git

tree-ssa-alias.c (refs_may_alias_p_1): Check for is_gimple_min_invariant rather than CONSTANT_CLASS_P so that...

2009-04-07  Martin Jambor  <mjambor@suse.cz>

	* tree-ssa-alias.c (refs_may_alias_p_1): Check for
	is_gimple_min_invariant rather than CONSTANT_CLASS_P so that invariant
	ADDR_EXPRS are include too.

From-SVN: r145685
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 13c4eb2ffb2f..9d9e83e7af2a 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2009-04-07  Martin Jambor  <mjambor@suse.cz>
+
+	* tree-ssa-alias.c (refs_may_alias_p_1): Check for
+	is_gimple_min_invariant rather than CONSTANT_CLASS_P so that invariant
+	ADDR_EXPRS are include too.
+
 2009-04-07  Richard Guenther  <rguenther@suse.de>
 
 	* tree-ssa-alias.c (ref_maybe_used_by_call_p_1): Non-aliased
diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c
index f97502a606ae..b9cd54732b93 100644
--- a/gcc/tree-ssa-alias.c
+++ b/gcc/tree-ssa-alias.c
@@ -688,9 +688,9 @@ refs_may_alias_p_1 (tree ref1, tree ref2)
      *D.1663_44 = VIEW_CONVERT_EXPR<struct DB_LSN>(__tmp$B0F64_59);
      which is seen as a struct copy.  */
   if (TREE_CODE (base1) == SSA_NAME
-      || CONSTANT_CLASS_P (base1)
       || TREE_CODE (base2) == SSA_NAME
-      || CONSTANT_CLASS_P (base2))
+      || is_gimple_min_invariant (base1)
+      || is_gimple_min_invariant (base2))
     return false;
 
   var1_p = SSA_VAR_P (base1);