From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-113692-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 5931 invoked by alias); 4 May 2005 00:40:47 -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 5913 invoked from network); 4 May 2005 00:40:44 -0000
Received: from unknown (HELO mx1.redhat.com) (66.187.233.31)
  by sourceware.org with SMTP; 4 May 2005 00:40:44 -0000
Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254])
	by mx1.redhat.com (8.12.11/8.12.11) with ESMTP id j440ehQ6026246;
	Tue, 3 May 2005 20:40:44 -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 j440ehO30489;
	Tue, 3 May 2005 20:40:43 -0400
Received: from topo.toronto.redhat.com (vpn50-23.rdu.redhat.com [172.16.50.23])
	by pobox.toronto.redhat.com (8.12.8/8.12.8) with ESMTP id j440egxY016303;
	Tue, 3 May 2005 20:40:42 -0400
Received: from topo.toronto.redhat.com (localhost.localdomain [127.0.0.1])
	by topo.toronto.redhat.com (8.13.1/8.12.11) with ESMTP id j440eXCS027594;
	Tue, 3 May 2005 20:40:33 -0400
Received: (from dnovillo@localhost)
	by topo.toronto.redhat.com (8.13.1/8.13.1/Submit) id j440eWMx027593;
	Tue, 3 May 2005 20:40:32 -0400
Date: Wed, 04 May 2005 00:40:00 -0000
From: Diego Novillo <dnovillo@redhat.com>
To: Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
Cc: gcc@gcc.gnu.org
Subject: Re: Q about Ada and value ranges in types
Message-ID: <20050504004032.GD27447@topo.toronto.redhat.com>
References: <10505032221.AA29226@vlsi1.ultra.nyu.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
In-Reply-To: <10505032221.AA29226@vlsi1.ultra.nyu.edu>
User-Agent: Mutt/1.4.1i
X-SW-Source: 2005-05/txt/msg00130.txt.bz2

On Tue, May 03, 2005 at 06:21:11PM -0400, Richard Kenner wrote:

> As of right now, I don't think this is a VRP problem, but something wrong
> with the tree Ada produces.
> 
That'd be good.  If that's the case, we can make VRP assert that
the range derived from such types agrees with the type's range.



Thanks.  Diego.