This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Q about Ada and value ranges in types
- From: Diego Novillo <dnovillo 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, 3 May 2005 20:40:32 -0400
- Subject: Re: Q about Ada and value ranges in types
- References: <10505032221.AA29226@vlsi1.ultra.nyu.edu>
On Tue, May 03, 2005 at 06:21:11PM -0400, Richard Kenner wrote:
> As of right now, I don't think this is a VRP problem, but something wrong
> with the tree Ada produces.
>
That'd be good. If that's the case, we can make VRP assert that
the range derived from such types agrees with the type's range.
Thanks. Diego.