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: law at redhat dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Tue, 21 Feb 06 13:57:12 EST
- Subject: Re: Ada subtypes and base types (was: Bootstrap failure on trunk: x86_64-linux-gnu)
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".