aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Guenther <rguenther@suse.de>2008-10-19 17:05:53 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2008-10-19 17:05:53 +0000
commita15138a45ffc3b88fbda897f6a7d818f2c89b017 (patch)
treef5aacf877d886c99fcf5626d19b750bf40aac067
parent25bbe9bc633bd72933dcc97165d0698553123987 (diff)
downloadgcc-a15138a45ffc3b88fbda897f6a7d818f2c89b017.zip
gcc-a15138a45ffc3b88fbda897f6a7d818f2c89b017.tar.gz
gcc-a15138a45ffc3b88fbda897f6a7d818f2c89b017.tar.bz2
tree-ssa-alias.c (may_alias_p): Remove bogus shortcut.
2008-10-19 Richard Guenther <rguenther@suse.de> * tree-ssa-alias.c (may_alias_p): Remove bogus shortcut. From-SVN: r141229
-rw-r--r--gcc/ChangeLog4
-rw-r--r--gcc/tree-ssa-alias.c10
2 files changed, 4 insertions, 10 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7791e3b..5ea5c01 100644
--- 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 adea68e..655056b 100644
--- 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. */