This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Ada subtypes and base types (was: Bootstrap failure on trunk: x86_64-linux-gnu)
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: laurent at guerby dot net
- Cc: gcc at gcc dot gnu dot org
- Date: Sun, 19 Feb 06 14:59:03 EST
- Subject: Re: Ada subtypes and base types (was: Bootstrap failure on trunk: x86_64-linux-gnu)
> No, the type of the bounds of a subtype should be the *base type*.
> That's how the tree has always looked, as far back as I can remember.
This is because intermediate computations can produce results
outside the subtype range but within the base type range (RM 3.5(6)),
right?
No. I'm pretty sure that convention predates the Ada front end by over a
decade ...