From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-103239-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 16396 invoked by alias); 24 Sep 2004 14:17:57 -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 16375 invoked from network); 24 Sep 2004 14:17:56 -0000
Received: from unknown (HELO physunc.phy.uc.edu) (129.137.4.6)
  by sourceware.org with SMTP; 24 Sep 2004 14:17:56 -0000
Received: from bethe.phy.uc.edu (bethe.geop.uc.edu [10.44.6.245])
	by physunc.phy.uc.edu (8.9.3p2/8.9.3) with ESMTP id KAA10383;
	Fri, 24 Sep 2004 10:16:22 -0400 (EDT)
Received: from [10.44.3.120] (zhivago.geop.uc.edu [10.44.3.120])
	by bethe.phy.uc.edu (8.9.3p2/8.9.3) with ESMTP id KAA01641;
	Fri, 24 Sep 2004 10:16:22 -0400 (EDT)
In-Reply-To: <10409241406.AA00634@vlsi1.ultra.nyu.edu>
References: <10409241406.AA00634@vlsi1.ultra.nyu.edu>
Mime-Version: 1.0 (Apple Message framework v618)
Content-Type: text/plain; charset=US-ASCII; format=flowed
Message-Id: <4EB96E79-0E34-11D9-921D-000A95D692F4@physics.uc.edu>
Content-Transfer-Encoding: 7bit
Cc: gcc@gcc.gnu.org, dewar@gnat.com, rth@redhat.com
From: Andrew Pinski <pinskia@physics.uc.edu>
Subject: Re: SRA problem with uninitialzed fields
Date: Fri, 24 Sep 2004 16:16:00 -0000
To: kenner@vlsi1.ultra.nyu.edu (Richard Kenner)
X-SW-Source: 2004-09/txt/msg01426.txt.bz2


On Sep 24, 2004, at 10:06 AM, Richard Kenner wrote:

> Robert and I were just talking on the phone about implementation 
> issues of
> packed arrays in Ada and I realized there might be a problem with SRA.
> Indeed there is and I can show it with a trivial C program.
>

> sub1 ()
> {
>   <unnamed type> x$f;
>
>   return (int) (<unnamed type>) (unsigned char) ((signed char) x$f | 
> 3) == 3;
> }

This looks like a bug in the expanders than the SRA as the <unnamed 
type>
is the right type in the sense it say it is only a certain number of 
bits
in this case 2.

Thanks,
Andrew Pinski