diff options
| author | Diego Novillo <dnovillo@redhat.com> | 2004-07-09 15:12:48 +0000 |
|---|---|---|
| committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2004-07-09 11:12:48 -0400 |
| commit | d8903b30e16fb86408db4bcc57db09817d59b290 (patch) | |
| tree | 62b1be41a808600bc5c1a49208824c954c076c8b /gcc/tree-flow.h | |
| parent | 61ebeccf5d0aa7194753cad97082cbc3cbc49242 (diff) | |
| download | gcc-d8903b30e16fb86408db4bcc57db09817d59b290.zip gcc-d8903b30e16fb86408db4bcc57db09817d59b290.tar.gz gcc-d8903b30e16fb86408db4bcc57db09817d59b290.tar.bz2 | |
tree-dfa.c (dump_variable): If the variable is a pointer SSA_NAME, also dump its points-to information.
* tree-dfa.c (dump_variable): If the variable is a pointer
SSA_NAME, also dump its points-to information.
* tree-flow.h (struct ptr_info_def): Add field
is_dereferenced.
(dump_points_to_info_for): Declare.
(debug_points_to_info_for): Declare.
* tree-optimize.c (init_tree_optimization_passes): Add a
second alias analysis pass after DOM2.
Move pass_del_pta to a later spot.
* tree-ssa-alias.c (compute_points_to_and_addr_escape): Do not
create a name tags when we find a dereferenced pointer. Just
mark the pointer dereferenced.
(collect_points_to_info_for): Move code to clear points-to
information to create_name_tags.
(create_name_tags): New function.
(compute_flow_sensitive_aliasing): Call it.
(setup_pointers_and_addressables): Mark type tags for renaming
here instead of ...
(create_memory_tag): ... here.
(merge_pointed_to_info): Do not merge PT_MALLOC attributes.
(dump_points_to_info_for): Declare extern.
(debug_points_to_info_for): New function.
From-SVN: r84377
Diffstat (limited to 'gcc/tree-flow.h')
| -rw-r--r-- | gcc/tree-flow.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h index 102b6ea..cc2cb16 100644 --- a/gcc/tree-flow.h +++ b/gcc/tree-flow.h @@ -59,6 +59,9 @@ struct ptr_info_def GTY(()) /* Nonzero if the value of this pointer escapes the current function. */ unsigned int value_escapes_p : 1; + /* Nonzero if this pointer is dereferenced. */ + unsigned int is_dereferenced : 1; + /* Set of variables that this pointer may point to. */ bitmap pt_vars; @@ -550,6 +553,8 @@ extern void dump_alias_info (FILE *); extern void debug_alias_info (void); extern void dump_points_to_info (FILE *); extern void debug_points_to_info (void); +extern void dump_points_to_info_for (FILE *, tree); +extern void debug_points_to_info_for (tree); /* Call-back function for walk_use_def_chains(). At each reaching definition, a function with this prototype is called. */ |