From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-102090-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 27491 invoked by alias); 7 Sep 2004 10:51:42 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 27484 invoked from network); 7 Sep 2004 10:51:41 -0000
Received: from unknown (HELO nikam.ms.mff.cuni.cz) (195.113.20.16)
  by sourceware.org with SMTP; 7 Sep 2004 10:51:41 -0000
Received: from camelot.ms.mff.cuni.cz (kampanus.ms.mff.cuni.cz [195.113.18.107])
	by nikam.ms.mff.cuni.cz (Postfix) with SMTP
	id 0E6514DEC8; Tue,  7 Sep 2004 12:51:42 +0200 (CEST)
Received: by camelot.ms.mff.cuni.cz (sSMTP sendmail emulation); Tue, 7 Sep 2004 12:51:42 +0200
Date: Tue, 07 Sep 2004 10:51:00 -0000
From: Jan Hubicka <jh@suse.cz>
To: dnovillo@redhat.com, gcc@gcc.gnu.org
Subject: aliasing question
Message-ID: <20040907105142.GD28472@kam.mff.cuni.cz>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.3.28i
X-SW-Source: 2004-09/txt/msg00277.txt.bz2

Hi,
while looking into releasing more SSA_NAMEs I run across following code
(in combining combine.i with -O2 on i686).
ssa dump says:

  #   V_MUST_DEF <value_49>;
  value = T.4862_48;

and alias1 dump:

  #   value_229 = V_MAY_DEF <value_19>;
  value = T.4862_48;

Why the MUST_DEF is getting converted to MAY_DEF in such a obvious case
for MUST_DEF?

I will keep copy of the dumps around in the case you are interested to
look into it.  It is one of places (actually first nontrivial) where we
are leakign SSA_NAME unfreeed.

Honza