From: Zdenek Dvorak <dvorakz@suse.cz>
Date: Mon, 19 Dec 2005 00:56:31 +0000 (+0100)
Subject: tree-ssa-structalias.c (update_alias_info): Remove handling of may_be_aliased (SSA_NA... 
X-Git-Tag: releases/gcc-4.2.0~5242
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fd0bd278031c12e1148fb28b4fd66849cfe61781;p=thirdparty%2Fgcc.git

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

	* 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 11df7f363c82..c7deb7152f76 100644
--- 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 b4251d6f1e3d..a3c655cfda1b 100644
--- 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)))