diff options
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/tree-ssa-structalias.c | 7 |
2 files changed, 12 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 308c935..c9e5183 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2007-11-15 Richard Guenther <rguenther@suse.de> + + * tree-ssa-structalias.c (set_uids_in_ptset): Use the pointed-to + type for TBAA pruning. + (find_what_p_points_to): Call set_uids_in_ptset with the original + pointer, not the decl of the solution we collapsed to. + 2007-11-14 David Daney <ddaney@avtrex.com> * config/mips/linux-unwind.h (mips_fallback_frame_state): Use CFA diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 479145a..3820b19 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -4719,7 +4719,10 @@ set_uids_in_ptset (tree ptr, bitmap into, bitmap from, bool is_derefed, { unsigned int i; bitmap_iterator bi; - alias_set_type ptr_alias_set = get_alias_set (TREE_TYPE (ptr)); + alias_set_type ptr_alias_set; + + gcc_assert (POINTER_TYPE_P (TREE_TYPE (ptr))); + ptr_alias_set = get_alias_set (TREE_TYPE (TREE_TYPE (ptr))); EXECUTE_IF_SET_IN_BITMAP (from, 0, i, bi) { @@ -4996,7 +4999,7 @@ find_what_p_points_to (tree p) pi->pt_global_mem = 1; } - set_uids_in_ptset (vi->decl, finished_solution, vi->solution, + set_uids_in_ptset (p, finished_solution, vi->solution, vi->directly_dereferenced, vi->no_tbaa_pruning); result = shared_bitmap_lookup (finished_solution); |