diff options
| author | Diego Novillo <dnovillo@redhat.com> | 2004-07-29 20:16:26 +0000 |
|---|---|---|
| committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2004-07-29 16:16:26 -0400 |
| commit | 118a8d02ca08c146be991ac3a10fa7c3b7743168 (patch) | |
| tree | 8264c94168c554a586d23e0faabe80caf84e181d /gcc | |
| parent | 4b9a3b371b16c88a732bca139e67f5591a8c64f2 (diff) | |
| download | gcc-118a8d02ca08c146be991ac3a10fa7c3b7743168.zip gcc-118a8d02ca08c146be991ac3a10fa7c3b7743168.tar.gz gcc-118a8d02ca08c146be991ac3a10fa7c3b7743168.tar.bz2 | |
tree-ssa.c (verify_flow_sensitive_alias_info): When comparing points-to sets of different pointers...
* 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.
From-SVN: r85314
Diffstat (limited to 'gcc')
| -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 |