This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Ada Status in mainline
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: 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 14:14:53 -0400
- Subject: Re: Ada Status in mainline
- References: <10505251809.AA06038@vlsi1.ultra.nyu.edu>
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.
Diego.