From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-102109-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 13136 invoked by alias); 7 Sep 2004 14:41:41 -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 13127 invoked from network); 7 Sep 2004 14:41:40 -0000
Received: from unknown (HELO mx1.redhat.com) (66.187.233.31)
  by sourceware.org with SMTP; 7 Sep 2004 14:41:40 -0000
Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254])
	by mx1.redhat.com (8.12.10/8.12.10) with ESMTP id i87EfeS0015070;
	Tue, 7 Sep 2004 10:41:40 -0400
Received: from pobox.toronto.redhat.com (pobox.toronto.redhat.com [172.16.14.4])
	by int-mx1.corp.redhat.com (8.11.6/8.11.6) with ESMTP id i87Efe321469;
	Tue, 7 Sep 2004 10:41:40 -0400
Received: from [127.0.0.1] (vpn50-12.rdu.redhat.com [172.16.50.12])
	by pobox.toronto.redhat.com (8.12.8/8.12.8) with ESMTP id i87Efcse020405;
	Tue, 7 Sep 2004 10:41:39 -0400
Subject: Re: Problem with operand handling
From: Diego Novillo <dnovillo@redhat.com>
To: Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
Cc: Andrew Macleod <amacleod@redhat.com>, "gcc@gcc.gnu.org" <gcc@gcc.gnu.org>
In-Reply-To: <10409071402.AA25285@vlsi1.ultra.nyu.edu>
References: <10409071402.AA25285@vlsi1.ultra.nyu.edu>
Content-Type: text/plain
Organization: Red Hat Canada
Message-Id: <1094568099.21733.44.camel@localhost.localdomain>
Mime-Version: 1.0
Date: Tue, 07 Sep 2004 14:41:00 -0000
Content-Transfer-Encoding: 7bit
X-SW-Source: 2004-09/txt/msg00296.txt.bz2

On Tue, 2004-09-07 at 10:02, Richard Kenner wrote:

> GNAT.EXCEPTION_TRACES.DECORATOR_WRAPPER (traceback, len)
> {
>   system__traceback_entries__traceback_entry___XDLU_0__18446744073709551615[1 .. T.2] & decorator_traceback;
>
What does this declaration mean?  Is decorator_traceback

>   decorator_traceback_17 = (system__traceback_entries__traceback_entry___XDLU_0__18446744073709551615[1 .. T.2] &) traceback_16;
>
According to this, decorator_traceback is a GIMPLE register.  It seems
to be a pointer of some kind?  I can't parse the original declaration. 
You'll have to figure out why we first think that decorator_traceback is
a gimple reg, and then we think otherwise.

This may help.  Put this test in add_may_alias:

if (is_gimple_reg (var) || is_gimple_reg (alias))
  abort ();


Diego.