diff options
| author | Diego Novillo <dnovillo@redhat.com> | 2004-09-30 14:09:45 +0000 |
|---|---|---|
| committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2004-09-30 10:09:45 -0400 |
| commit | 20c16b361d24eb2d17d27e2648bc6a37a3fced4e (patch) | |
| tree | da76cc450482bad41e8ad307309025d51eed105f /gcc/tree-dfa.c | |
| parent | 8b0add272f78b9922c065eaadaa267db070f66eb (diff) | |
| download | gcc-20c16b361d24eb2d17d27e2648bc6a37a3fced4e.zip gcc-20c16b361d24eb2d17d27e2648bc6a37a3fced4e.tar.gz gcc-20c16b361d24eb2d17d27e2648bc6a37a3fced4e.tar.bz2 | |
tree-ssa-alias.c (collect_points_to_info_r): Move analysis of expressions...
* tree-ssa-alias.c (collect_points_to_info_r): Move analysis of
expressions...
(add_pointed_to_expr): ... here.
Call add_pointed_to_expr for variables with DECL_INITIAL set.
* tree-dfa.c (add_referenced_var): Scan DECL_INITIAL of any
pointer variable, if set.
From-SVN: r88334
Diffstat (limited to 'gcc/tree-dfa.c')
| -rw-r--r-- | gcc/tree-dfa.c | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/gcc/tree-dfa.c b/gcc/tree-dfa.c index 679ffef..29de670 100644 --- a/gcc/tree-dfa.c +++ b/gcc/tree-dfa.c @@ -891,12 +891,11 @@ add_referenced_var (tree var, struct walk_state *walk_state) if (is_global_var (var)) mark_call_clobbered (var); - /* If an initialized global variable then register the initializer - as well. */ - if (POINTER_TYPE_P (TREE_TYPE (var)) - && TREE_READONLY (var) - && DECL_INITIAL (var) - && TREE_CODE (DECL_INITIAL (var)) == ADDR_EXPR) + /* Scan DECL_INITIAL for pointer variables as they may contain + address arithmetic referencing the address of other + variables. */ + if (DECL_INITIAL (var) + && POINTER_TYPE_P (TREE_TYPE (var))) walk_tree (&DECL_INITIAL (var), find_vars_r, walk_state, 0); } } |