diff options
| author | Diego Novillo <dnovillo@redhat.com> | 2005-07-01 03:55:28 +0000 |
|---|---|---|
| committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2005-06-30 23:55:28 -0400 |
| commit | a4f9129458103e618d0f021a9975db06a9b7abf9 (patch) | |
| tree | 8ffa65c8288eee005ef263ef8b23ad166acfef7b /gcc/tree-ssa-alias.c | |
| parent | 8ce2456a6da65df38f6538109004bf5fc520eb24 (diff) | |
| download | gcc-a4f9129458103e618d0f021a9975db06a9b7abf9.zip gcc-a4f9129458103e618d0f021a9975db06a9b7abf9.tar.gz gcc-a4f9129458103e618d0f021a9975db06a9b7abf9.tar.bz2 | |
re PR tree-optimization/21584 (ICE: verify_flow_sensitive_alias_info failed.)
PR 21584
PR 22219
* tree-ssa-alias.c (create_name_tags): Also process
non-dereferenced pointers.
Remove argument 'ai'. Update all callers.
testsuite/ChangeLog
PR 21584
PR 22219
* g++.dg/tree-ssa/pr21584-1.C: New test.
* g++.dg/tree-ssa/pr21584-2.C: New test.
From-SVN: r101498
Diffstat (limited to 'gcc/tree-ssa-alias.c')
| -rw-r--r-- | gcc/tree-ssa-alias.c | 29 |
1 files changed, 21 insertions, 8 deletions
diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index 91a01d2..39d9fde 100644 --- a/gcc/tree-ssa-alias.c +++ b/gcc/tree-ssa-alias.c @@ -791,14 +791,21 @@ compute_points_to_and_addr_escape (struct alias_info *ai) are assigned the same name tag. */ static void -create_name_tags (struct alias_info *ai) +create_name_tags (void) { size_t i; - for (i = 0; i < VARRAY_ACTIVE_SIZE (ai->processed_ptrs); i++) + for (i = 1; i < num_ssa_names; i++) { - tree ptr = VARRAY_TREE (ai->processed_ptrs, i); - struct ptr_info_def *pi = SSA_NAME_PTR_INFO (ptr); + tree ptr = ssa_name (i); + struct ptr_info_def *pi; + + if (!ptr + || !POINTER_TYPE_P (TREE_TYPE (ptr)) + || !SSA_NAME_PTR_INFO (ptr)) + continue; + + pi = SSA_NAME_PTR_INFO (ptr); if (pi->pt_anything || !pi->is_dereferenced) { @@ -824,10 +831,15 @@ create_name_tags (struct alias_info *ai) problems if they both had different name tags because they would have different SSA version numbers (which would force us to take the name tags in and out of SSA). */ - for (j = 0; j < i; j++) + for (j = 1; j < i; j++) { - tree q = VARRAY_TREE (ai->processed_ptrs, j); - struct ptr_info_def *qi = SSA_NAME_PTR_INFO (q); + tree q = ssa_name (j); + struct ptr_info_def *qi; + + if (!q || !POINTER_TYPE_P (TREE_TYPE (q))) + continue; + + qi = SSA_NAME_PTR_INFO (q); if (qi && qi->pt_vars @@ -896,7 +908,8 @@ compute_flow_sensitive_aliasing (struct alias_info *ai) find_what_p_points_to (ptr); } } - create_name_tags (ai); + + create_name_tags (); for (i = 0; i < VARRAY_ACTIVE_SIZE (ai->processed_ptrs); i++) { |