tree-ssa.c (verify_flow_sensitive_alias_info): When comparing points-to sets of diffe...

	* 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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 72b7576dbc4a2e24eecb45710fa71cc684d6e369..b9e142f896637450bacc4d1b49495d068a1a790f 100644 (file)
--- 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 3bb35954ca43927f3f080c96c232f88265865a4f..dd79b5a7d9f26866bbb5bc61c59a7abc2eef51f6 100644 (file)
--- 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