This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Bootstrap failure on trunk: x86_64-linux-gnu
- From: Jeffrey A Law <law at redhat dot com>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: Laurent GUERBY <laurent at guerby dot net>, Daniel Jacobowitz <drow at false dot org>, gcc at gcc dot gnu dot org, Arnaud Charlet <charlet at adacore dot com>, Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>, Andrew Pinski <pinskia at physics dot uc dot edu>, Andrew Haley <aph at redhat dot com>
- Date: Thu, 02 Mar 2006 12:07:14 -0700
- Subject: Re: Bootstrap failure on trunk: x86_64-linux-gnu
- References: <17400.42579.162536.967995@zapata.pink> <1141214164.24449.52.camel@pc.site> <1141252514.3223.101.camel@localhost.localdomain> <200603021405.09326.ebotcazou@adacore.com>
- Reply-to: law at redhat dot com
On Thu, 2006-03-02 at 14:05 +0100, Eric Botcazou wrote:
> > # BLOCK 6
> > # PRED: 4 (false,exec)
> > <L1>:;
> > iftmp.78_63 = D.1309_32;
> > iftmp.78_64 = D.1309_32;
> > D.1316_65 = (c460008__unsigned_edge_8) D.1309_32;
> > if (D.1316_65 == 255) goto <L3>; else goto <L4>;
> > # SUCC: 7 (true,exec) 8 (false,exec)
> > [...]
> > The problem (of course) is D.1316_65 can and does actually hold
> > values outside the range [ ,254] at runtime. For example, it could
> > hold the value 255 if D.1309_32 had the value 255, which would occur
> > if for_the_value_31 held the value 255000000000.
> >
> > Someone with a better knowledge of Ada is going to need to step
> > in here, but based on the type information provided by the Ada
> > front-end, VRP is doing the right thing here.
>
> Yes, I think we have a problem in Gigi, namely convert_with_check:
[ ... ]
Just to be 100% clear, I'm leaving this one in the hands of the
Ada maintainers. I'm not qualified to fix it. Once the Ada
maintainers have this issue fixed, I'll re-run the Ada testsuite
and attack the next regression introduced by the VRP changes
(if any are left).
We're also still need the uintp fix installed. I'm not qualified
to say if Kenner's fix is correct or not, thus I'm not comfortable
checking in that change.
jeff