diff options
| author | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-07-29 20:16:26 +0000 |
|---|---|---|
| committer | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-07-29 20:16:26 +0000 |
| commit | 3d17956c710ee9db3e25b18b444f1f2ea3c85368 (patch) | |
| tree | 8264c94168c554a586d23e0faabe80caf84e181d /gcc/tree-ssa.c | |
| parent | 275c1bdc121c34b717db2dd750abd9fe1d29eaf7 (diff) | |
| download | gcc-3d17956c710ee9db3e25b18b444f1f2ea3c85368.tar.gz | |
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@85314 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 3bb35954ca4..dd79b5a7d9f 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 |