From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 17915 invoked by alias); 26 Mar 2004 20:32:04 -0000 Mailing-List: contact gdb-patches-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sources.redhat.com Received: (qmail 17906 invoked from network); 26 Mar 2004 20:32:03 -0000 Received: from unknown (HELO nevyn.them.org) (66.93.172.17) by sources.redhat.com with SMTP; 26 Mar 2004 20:32:03 -0000 Received: from drow by nevyn.them.org with local (Exim 4.30 #1 (Debian)) id 1B6xzm-0007t6-Q9 for ; Fri, 26 Mar 2004 15:32:02 -0500 Date: Fri, 26 Mar 2004 20:32:00 -0000 From: Daniel Jacobowitz To: gdb-patches@sources.redhat.com Subject: Re: [RFA]: Extend some arithmetic operations to range types. Message-ID: <20040326203202.GA30273@nevyn.them.org> Mail-Followup-To: gdb-patches@sources.redhat.com References: <20040326105916.3FAA5F2DA7@nile.gnat.com> <20040326180659.GA21603@nevyn.them.org> <20040326190334.GH1483@gnat.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040326190334.GH1483@gnat.com> User-Agent: Mutt/1.5.1i X-SW-Source: 2004-03/txt/msg00683.txt.bz2 On Fri, Mar 26, 2004 at 11:03:34AM -0800, Joel Brobecker wrote: > > Is there something clearer you can call this? "base" to me means "as > > in inheritance", which is not really appropriate here. > > How about using the dwarf-2 terminology: basis_type? That's how they > call the type on which the range type is based: > > The subrange entry may have a DW_AT_type attribute to describe > the type of object, called the basis type, of whose values this > subrange is a subset. > > (base type is the equivalent in Ada terminology) Well, if I'm right that all we need is the predicate, we could probably just use integral_type_p? -- Daniel Jacobowitz MontaVista Software Debian GNU/Linux Developer