From fd0bd278031c12e1148fb28b4fd66849cfe61781 Mon Sep 17 00:00:00 2001 From: Zdenek Dvorak Date: Mon, 19 Dec 2005 01:56:31 +0100 Subject: [PATCH] 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 --- gcc/ChangeLog | 5 +++++ gcc/tree-ssa-structalias.c | 8 +++----- 2 files changed, 8 insertions(+), 5 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 11df7f363c8..c7deb7152f7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2005-12-19 Zdenek Dvorak + + * tree-ssa-structalias.c (update_alias_info): Remove handling + of may_be_aliased (SSA_NAME_VAR (op)) case. + 2005-12-19 Zdenek Dvorak * tree-flow.h (struct stmt_ann_d): Remove diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index b4251d6f1e3..a3c655cfda1 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)))