tree-ssa.c (verify_flow_insensitive_alias_info): Process every variable that may…

tree-ssa.c (verify_flow_insensitive_alias_info): Process every variable that may have aliases, not just tags.


	* tree-ssa.c (verify_flow_insensitive_alias_info): Process
	every variable that may have aliases, not just tags.

From-SVN: r85267

gcc/ChangeLog

+2004-07-28  Diego Novillo  <dnovillo@redhat.com>
+
+	* tree-ssa.c (verify_flow_insensitive_alias_info): Process
+	every variable that may have aliases, not just tags.
+
 2004-07-28  Aldy Hernandez  <aldyh@redhat.com>
 
 	* config/rs6000/rs6000.md ("move_from_CR_gt_bit"): Rename to

gcc/tree-ssa.c

@@ -348,15 +348,13 @@ verify_flow_insensitive_alias_info (void)
 
   for (i = 0; i < num_referenced_vars; i++)
     {
+      size_t j;
       var_ann_t ann;
+      varray_type may_aliases;
 
       var = referenced_var (i);
       ann = var_ann (var);
-
-      if (ann->mem_tag_kind == TYPE_TAG || ann->mem_tag_kind == NAME_TAG)
-	{
-	  size_t j;
-	  varray_type may_aliases = ann->may_aliases;
+      may_aliases = ann->may_aliases;
 
       for (j = 0; may_aliases && j < VARRAY_ACTIVE_SIZE (may_aliases); j++)
 	{
@@ -372,7 +370,6 @@ verify_flow_insensitive_alias_info (void)
 	    }
 	}
     }
-    }
 
   for (i = 0; i < num_referenced_vars; i++)
     {