2008-10-19 Richard Guenther <rguenther@suse.de>

	* tree-ssa-alias.c (may_alias_p): Remove bogus shortcut.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7791e3b7a580753a712d34a057d44cf51adfb6df..5ea5c0186d0e0ee8f2f8e388a9bd55c1efe3b7f1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2008-10-19  Richard Guenther  <rguenther@suse.de>
+
+       * tree-ssa-alias.c (may_alias_p): Remove bogus shortcut.
+
 2008-10-19  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 
        PR c/30260

diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c
index adea68ea4f67c3484b0dcc6a6bf77b9910f3c933..655056b53f7a0f2ca1622b7d56ce58b1147f05fd 100644 (file)
--- a/gcc/tree-ssa-alias.c
+++ b/gcc/tree-ssa-alias.c
@@ -2985,16 +2985,6 @@ may_alias_p (tree ptr, alias_set_type mem_alias_set,
       return false;
     }
 
-  /* If either MEM or VAR is a read-only global and the other one
-     isn't, then PTR cannot point to VAR.  */
-  if ((unmodifiable_var_p (mem) && !unmodifiable_var_p (var))
-      || (unmodifiable_var_p (var) && !unmodifiable_var_p (mem)))
-    {
-      alias_stats.alias_noalias++;
-      alias_stats.simple_resolved++;
-      return false;
-    }
-
   /* If the pointed to memory has alias set zero, or the pointer
      is ref-all, or the pointer decl is marked that no TBAA is to
      be applied, the MEM can alias VAR.  */