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: Jeffrey A Law <law at redhat dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: gcc at gcc dot gnu dot org
- Date: Tue, 21 Feb 2006 12:03:56 -0700
- Subject: Re: Ada subtypes and base types (was: Bootstrap failure on trunk: x86_64-linux-gnu)
- References: <10602211857.AA12436@vlsi1.ultra.nyu.edu>
- Reply-to: law at redhat dot com
On Tue, 2006-02-21 at 13:57 -0500, Richard Kenner wrote:
> Can a conforming program set the object to a value outside of
> TYPE_MIN_VALUE/TYPE_MAX_VALUE.
>
> Let's forget about the obscure unchecked conversion -> 'Valid case
> because we're going to handle that in whatever way we need to.
>
> So the answer is "no".
OK. So if a program sets an object to a value outside
TYPE_MIN_VALUE/TYPE_MAX_VALUE, then that program is
invalid for the purposes of this discussion?
Jeff