From: Diego Novillo <dnovillo@redhat.com>
Date: Wed, 28 Jul 2004 17:49:06 +0000 (+0000)
Subject: tree-ssa.c (verify_flow_insensitive_alias_info): Process every variable that may... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=852c7b12c56a25dfbad50418d9c4a093b7463bd4;p=gcc.git

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
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cf2ddc336c1..259ad7cedf0 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index 52df86937e0..3bb35954ca4 100644
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -348,28 +348,25 @@ 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);
+      may_aliases = ann->may_aliases;
 
-      if (ann->mem_tag_kind == TYPE_TAG || ann->mem_tag_kind == NAME_TAG)
+      for (j = 0; may_aliases && j < VARRAY_ACTIVE_SIZE (may_aliases); j++)
 	{
-	  size_t j;
-	  varray_type may_aliases = ann->may_aliases;
-
-	  for (j = 0; may_aliases && j < VARRAY_ACTIVE_SIZE (may_aliases); j++)
-	    {
-	      tree alias = VARRAY_TREE (may_aliases, j);
+	  tree alias = VARRAY_TREE (may_aliases, j);
 
-	      bitmap_set_bit (visited, var_ann (alias)->uid);
+	  bitmap_set_bit (visited, var_ann (alias)->uid);
 
-	      if (!may_be_aliased (alias))
-		{
-		  error ("Non-addressable variable inside an alias set.");
-		  debug_variable (alias);
-		  goto err;
-		}
+	  if (!may_be_aliased (alias))
+	    {
+	      error ("Non-addressable variable inside an alias set.");
+	      debug_variable (alias);
+	      goto err;
 	    }
 	}
     }