tree-ssa-structalias.c (update_alias_info): Remove handling of may_be_aliased (SSA_NA...

	* tree-ssa-structalias.c (update_alias_info): Remove handling
	of may_be_aliased (SSA_NAME_VAR (op)) case.

From-SVN: r108776

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 11df7f363c82db8fb94188c34f58e0abbd3d369a..c7deb7152f7642d31781bd8b5fb3c55fb9fc4ac7 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-12-19  Zdenek Dvorak <dvorakz@suse.cz>
+
+       * tree-ssa-structalias.c (update_alias_info): Remove handling
+       of may_be_aliased (SSA_NAME_VAR (op)) case.
+
 2005-12-19  Zdenek Dvorak <dvorakz@suse.cz>
 
        * tree-flow.h (struct stmt_ann_d): Remove

diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index b4251d6f1e3d6fbde5bf6e6fba3654fc65b5b49a..a3c655cfda1b1855330ae6b602bb97fa418de11f 100644 (file)
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -3007,11 +3007,9 @@ update_alias_info (tree stmt, struct alias_info *ai)
       var = SSA_NAME_VAR (op);
       v_ann = var_ann (var);
 
-      /* If the operand's variable may be aliased, keep track of how
-        many times we've referenced it.  This is used for alias
-        grouping in compute_flow_insensitive_aliasing.  */
-      if (may_be_aliased (var))
-       NUM_REFERENCES_INC (v_ann);
+      /* The base variable of an ssa name must be a GIMPLE register, and thus
+        it cannot be aliased.  */
+      gcc_assert (!may_be_aliased (var));
 
       /* We are only interested in pointers.  */
       if (!POINTER_TYPE_P (TREE_TYPE (op)))