This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Ada Status in mainline
- From: Jeffrey A Law <law at redhat dot com>
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>, stevenb at suse dot de, gcc at gcc dot gnu dot org, Daniel Berlin <dberlin at dberlin dot org>, Sebastian Pop <s dot pop at laposte dot net>
- Date: Wed, 25 May 2005 15:37:29 -0600
- Subject: Re: Ada Status in mainline
- References: <10505251809.AA06038@vlsi1.ultra.nyu.edu> <20050525181453.GA7474@topo.toronto.redhat.com>
- Reply-to: law at redhat dot com
On Wed, 2005-05-25 at 14:14 -0400, Diego Novillo wrote:
> On Wed, May 25, 2005 at 02:09:12PM -0400, Richard Kenner wrote:
> > I may be mistaken, but didn't GCC miscompile the Ada front end because
> > of this VRP bug here: http://gcc.gnu.org/PR21332 ?
> >
> > I'm not sure if that was it, but there was a VRP item on my plate from a
> > few weeks ago since I claimed that it was an Ada front-end bug and not
> > a VRP bug. Unfortunately, I got distracted and then was away. I will make
> > a real attempt to look at it in the next few days.
> >
> The VRP bug you remember is already worked around by
>
> 2005-05-02 Diego Novillo <dnovillo@redhat.com>
>
> * tree-vrp.c (set_value_range_to_nonnull): Declare inline.
> (set_value_range_to_null): Likewise.
> (set_value_range_to_varying): New function. Use it in all
> call sites that used to call set_value_range (vr, VR_VARYING, ...).
> (extract_range_from_assert): If the integral type has a
> super-type, and LIMIT is not within MIN and MAX values of that
> type, set the resulting range to VR_VARYING.
>
>
> As soon as the Ada FE bug is fixed, we can remove the
> work-around.
>
> PR21332 is fixed by a local patch I'm working on and by a patch
> from Steven Bosscher that I approved last Friday (though I
> believe he still hasn't committed yet).
>
> The other bug related to Ada is PR21029. It needs an scev
> maintainer to look at. I've already pinged Sebastian and Dan,
> but I'm not sure if they've had the time to look at it yet.
So, if I wanted to be able to bootstrap Ada, what I do I need
to do? Disable VRP? Disable something in the loop optimizer?
Anything else?
jeff