From: James E Wilson Date: Fri, 3 Sep 2004 22:33:46 +0000 (+0000) Subject: Fix aliasing bug that also caused memory usage problems. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bb1058e4c2866efcfb59d127081e6afceaa16fd8;p=gcc.git Fix aliasing bug that also caused memory usage problems. * tree-ssa-alias.c (may_be_aliased): Move TREE_STATIC check after DECL_EXTERNAL check. From-SVN: r87057 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 175598c53e1..a8fbba52873 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-09-03 James E Wilson + + * tree-ssa-alias.c (may_be_aliased): Move TREE_STATIC check after + DECL_EXTERNAL check. + 2004-09-03 Eric Botcazou * final.c (output_in_slot): New global variable. diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index 25c7cf0fa0f..4027ec940e2 100644 --- a/gcc/tree-ssa-alias.c +++ b/gcc/tree-ssa-alias.c @@ -2467,15 +2467,17 @@ may_be_aliased (tree var) if (TREE_ADDRESSABLE (var)) return true; - /* Automatic variables can't have their addresses escape any other way. */ - if (!TREE_STATIC (var)) - return false; - /* Globally visible variables can have their addresses taken by other translation units. */ if (DECL_EXTERNAL (var) || TREE_PUBLIC (var)) return true; + /* Automatic variables can't have their addresses escape any other way. + This must be after the check for global variables, as extern declarations + do not have TREE_STATIC set. */ + if (!TREE_STATIC (var)) + return false; + /* If we're in unit-at-a-time mode, then we must have seen all occurrences of address-of operators, and so we can trust TREE_ADDRESSABLE. Otherwise we can only be sure the variable isn't addressable if it's local to the