Re: Ada Status in mainline

[Jeffrey A Law <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