This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Ada subtypes and base types

From: Geert Bosch <bosch at adacore dot com>
To: "Richard Guenther" <richard dot guenther at gmail dot com>
Cc: "Robert Dewar" <dewar at adacore dot com>, "Laurent GUERBY" <laurent at guerby dot net>, law at redhat dot com, "Waldek Hebisch" <hebisch at math dot uni dot wroc dot pl>, gcc at gcc dot gnu dot org
Date: Thu, 16 Mar 2006 12:48:35 +0100
Subject: Re: Ada subtypes and base types
References: <E1FDnj3-0003am-00@hera.math.uni.wroc.pl> <1142289070.22105.11.camel@localhost.localdomain> <1142462739.24449.306.camel@pc.site> <4418E514.4070803@adacore.com> <82004632-B372-41A0-AD5A-3F55D85E314D@adacore.com> <84fc9c000603160143m557463f4o4296ecfd17396b30@mail.gmail.com>

On Mar 16, 2006, at 10:43, Richard Guenther wrote:

Uh - what do you expect here??  Does the Ada standard
require a out-of-range exception upon the first use of N?
In this case, the frontend needs to insert a proper check.
You cannot expect the middle-end to avoid the above
transformation, so this is a frontend bug.

That's exactly the point I'm making.

-Geert

References:
- Re: Ada subtypes and base types
  - From: Jeffrey A Law
- Re: Ada subtypes and base types
  - From: Laurent GUERBY
- Re: Ada subtypes and base types
  - From: Robert Dewar
- Re: Ada subtypes and base types
  - From: Geert Bosch
- Re: Ada subtypes and base types
  - From: Richard Guenther

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]