diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-ssa.c | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 72b7576..b9e142f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2004-07-29 Diego Novillo <dnovillo@redhat.com> + + * tree-ssa.c (verify_flow_sensitive_alias_info): When + comparing points-to sets of different pointers, make sure the + second pointer is actually referenced in the code. + 2004-07-29 Zack Weinberg <zack@codesourcery.com> * config/ia64/ia64.c (setjmp_operand): Delete, unused. diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 3bb3595..dd79b5a 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -471,7 +471,7 @@ verify_flow_sensitive_alias_info (void) tree ptr2 = ssa_name (j); struct ptr_info_def *pi2 = SSA_NAME_PTR_INFO (ptr2); - if (!POINTER_TYPE_P (TREE_TYPE (ptr2))) + if (!TREE_VISITED (ptr2) || !POINTER_TYPE_P (TREE_TYPE (ptr2))) continue; if (pi2 |