diff options
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/tree-ssa-alias.c | 10 |
2 files changed, 4 insertions, 10 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7791e3b7a58..5ea5c0186d0 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 adea68ea4f6..655056b53f7 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. */ |
