From cdfdc9c109210c71c227cb56db04ee78671d9238 Mon Sep 17 00:00:00 2001 From: rguenth Date: Sun, 19 Oct 2008 17:05:53 +0000 Subject: [PATCH] 2008-10-19 Richard Guenther * 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 --- gcc/ChangeLog | 4 ++++ 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 + + * tree-ssa-alias.c (may_alias_p): Remove bogus shortcut. + 2008-10-19 Manuel López-Ibáñez 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. */ -- 2.11.4.GIT