* tree-ssa-structalias.c (update_alias_info): Remove handling

	of may_be_aliased (SSA_NAME_VAR (op)) case.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108776 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 11df7f3..c7deb71 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 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
        makes_aliased_loads and makes_aliased_stores fields.
        * tree-ssa-ccp.c (likely_value): Do not use makes_aliased_stores

diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index b4251d6..a3c655c 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)))