public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
* Re: Ada Status in mainline
@ 2005-05-25 17:35 Graham Stott
  2005-05-25 18:08 ` Richard Guenther
  0 siblings, 1 reply; 12+ messages in thread
From: Graham Stott @ 2005-05-25 17:35 UTC (permalink / raw)
  To: law, gcc

Jeff,

The last time I bootstrapped with Ada successfully on i686-pc-linux-gnu
was around 9/10th May after that it hangs in stage3 so I've had it disabled
since then.

Maybe it's time once it back bootstraping to enable Ada by default during
bootstraps.

Graham 

^ permalink raw reply	[flat|nested] 12+ messages in thread

* Re: Ada Status in mainline
  2005-05-25 17:35 Ada Status in mainline Graham Stott
@ 2005-05-25 18:08 ` Richard Guenther
  0 siblings, 0 replies; 12+ messages in thread
From: Richard Guenther @ 2005-05-25 18:08 UTC (permalink / raw)
  To: Graham Stott; +Cc: law, gcc

On 5/25/05, Graham Stott <graham.stott@btinternet.com> wrote:
> Jeff,
> 
> The last time I bootstrapped with Ada successfully on i686-pc-linux-gnu
> was around 9/10th May after that it hangs in stage3 so I've had it disabled
> since then.
> 
> Maybe it's time once it back bootstraping to enable Ada by default during
> bootstraps.

Please no, not until building Ada with any previous version of Ada succeeds
(or the required version is properly checked at configure time).

Richard.

^ permalink raw reply	[flat|nested] 12+ messages in thread

* Re: Ada Status in mainline
  2005-05-26  1:30     ` Diego Novillo
@ 2005-05-26 13:27       ` Andreas Jaeger
  0 siblings, 0 replies; 12+ messages in thread
From: Andreas Jaeger @ 2005-05-26 13:27 UTC (permalink / raw)
  To: Diego Novillo
  Cc: Jeffrey A Law, Richard Kenner, stevenb, gcc, Daniel Berlin,
	Sebastian Pop


[-- Attachment #1.1: Type: text/plain, Size: 669 bytes --]

Diego Novillo <dnovillo@redhat.com> writes:

> On Wed, May 25, 2005 at 03:37:29PM -0600, Jeffrey A Law wrote:
>
>> So, if I wanted to be able to bootstrap Ada, what I do I need
>> to do?  Disable VRP?
>>
> Applying the patches in the PRs I mentioned.  If that doesn't
> work, try with VRP disabled.

Does not work for me on powerpc64-linux-gnu, the compiler fails to
build with:

/aj-cvs/gcc/gcc/ada/atree.adb: In function ‘Atree._Elabb’:
/aj-cvs/gcc/gcc/ada/atree.adb:51: error: invariant not recomputed when ADDR_EXPR changed
&C.3356D.19258;

/aj-cvs/gcc/gcc/ada/atree.adb:51: error: invariant not recomputed when ADDR_EXPR changed
&C.3357D.19259;

[-- Attachment #1.2: Type: application/pgp-signature, Size: 188 bytes --]

[-- Attachment #2.1: Type: text/plain, Size: 210 bytes --]


Andreas
-- 
 Andreas Jaeger, aj@suse.de, http://www.suse.de/~aj
  SUSE Linux Products GmbH, Maxfeldstr. 5, 90409 Nürnberg, Germany
   GPG fingerprint = 93A3 365E CE47 B889 DF7F  FED1 389A 563C C272 A126

[-- Attachment #2.2: Type: application/pgp-signature, Size: 188 bytes --]

^ permalink raw reply	[flat|nested] 12+ messages in thread

* Re: Ada Status in mainline
  2005-05-26  5:57     ` Andreas Schwab
@ 2005-05-26 12:05       ` Jeffrey A Law
  0 siblings, 0 replies; 12+ messages in thread
From: Jeffrey A Law @ 2005-05-26 12:05 UTC (permalink / raw)
  To: Andreas Schwab
  Cc: Diego Novillo, Richard Kenner, stevenb, gcc, Daniel Berlin,
	Sebastian Pop

On Wed, 2005-05-25 at 23:46 +0200, Andreas Schwab wrote:
> Jeffrey A Law <law@redhat.com> writes:
> 
> > 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?
> 
> The patch from PR21029 (comment #6) is working for me.
Thanks.  That did the trick for me as well.  Bootstrap complete,
including Ada (with the new ADDR_EXPR checks enabled).  This is
good.

jeff


^ permalink raw reply	[flat|nested] 12+ messages in thread

* Re: Ada Status in mainline
  2005-05-26  0:35   ` Jeffrey A Law
  2005-05-26  1:30     ` Diego Novillo
@ 2005-05-26  5:57     ` Andreas Schwab
  2005-05-26 12:05       ` Jeffrey A Law
  1 sibling, 1 reply; 12+ messages in thread
From: Andreas Schwab @ 2005-05-26  5:57 UTC (permalink / raw)
  To: law
  Cc: Diego Novillo, Richard Kenner, stevenb, gcc, Daniel Berlin,
	Sebastian Pop

Jeffrey A Law <law@redhat.com> writes:

> 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?

The patch from PR21029 (comment #6) is working for me.

Andreas.

-- 
Andreas Schwab, SuSE Labs, schwab@suse.de
SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany
Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."

^ permalink raw reply	[flat|nested] 12+ messages in thread

* Re: Ada Status in mainline
  2005-05-26  0:35   ` Jeffrey A Law
@ 2005-05-26  1:30     ` Diego Novillo
  2005-05-26 13:27       ` Andreas Jaeger
  2005-05-26  5:57     ` Andreas Schwab
  1 sibling, 1 reply; 12+ messages in thread
From: Diego Novillo @ 2005-05-26  1:30 UTC (permalink / raw)
  To: Jeffrey A Law; +Cc: Richard Kenner, stevenb, gcc, Daniel Berlin, Sebastian Pop

On Wed, May 25, 2005 at 03:37:29PM -0600, Jeffrey A Law wrote:

> So, if I wanted to be able to bootstrap Ada, what I do I need
> to do?  Disable VRP?
>
Applying the patches in the PRs I mentioned.  If that doesn't
work, try with VRP disabled.


Diego.

^ permalink raw reply	[flat|nested] 12+ messages in thread

* Re: Ada Status in mainline
  2005-05-25 20:52 ` Diego Novillo
@ 2005-05-26  0:35   ` Jeffrey A Law
  2005-05-26  1:30     ` Diego Novillo
  2005-05-26  5:57     ` Andreas Schwab
  0 siblings, 2 replies; 12+ messages in thread
From: Jeffrey A Law @ 2005-05-26  0:35 UTC (permalink / raw)
  To: Diego Novillo; +Cc: Richard Kenner, stevenb, gcc, Daniel Berlin, Sebastian Pop

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



^ permalink raw reply	[flat|nested] 12+ messages in thread

* Re: Ada Status in mainline
  2005-05-25 20:50 Richard Kenner
@ 2005-05-25 20:52 ` Diego Novillo
  2005-05-26  0:35   ` Jeffrey A Law
  0 siblings, 1 reply; 12+ messages in thread
From: Diego Novillo @ 2005-05-25 20:52 UTC (permalink / raw)
  To: Richard Kenner; +Cc: stevenb, gcc, Daniel Berlin, Sebastian Pop

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.

^ permalink raw reply	[flat|nested] 12+ messages in thread

* Re: Ada Status in mainline
@ 2005-05-25 20:50 Richard Kenner
  2005-05-25 20:52 ` Diego Novillo
  0 siblings, 1 reply; 12+ messages in thread
From: Richard Kenner @ 2005-05-25 20:50 UTC (permalink / raw)
  To: stevenb; +Cc: gcc

    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.

^ permalink raw reply	[flat|nested] 12+ messages in thread

* Re: Ada Status in mainline
  2005-05-25 15:59 ` Steven Bosscher
@ 2005-05-25 17:27   ` Andreas Schwab
  0 siblings, 0 replies; 12+ messages in thread
From: Andreas Schwab @ 2005-05-25 17:27 UTC (permalink / raw)
  To: Steven Bosscher; +Cc: gcc, law

Steven Bosscher <stevenb@suse.de> writes:

> On Wednesday 25 May 2005 16:56, Jeffrey A Law wrote:
>> So when's the last time someone bootstrapped Ada with the mainline
>> sources on i686-pc-linux-gnu?
>>
>> I was trying to get it built to further exercise the ADDR_EXPR
>> status bit checking code and it consistently hangs building the
>> stage3 compiler (even with all the recent ADDR_EXPR stuff disabled).
>>
>> Rather than rolling my sources back further and further to see if/when
>> Ada built, I figured it might just be quicker to ask :-)
>
> I may be mistaken, but didn't GCC miscompile the Ada front end because
> of this VRP bug here:  http://gcc.gnu.org/PR21332  ?

ITYM http://gcc.gnu.org/PR21029

Andreas.

-- 
Andreas Schwab, SuSE Labs, schwab@suse.de
SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany
Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."

^ permalink raw reply	[flat|nested] 12+ messages in thread

* Re: Ada Status in mainline
  2005-05-25 15:22 Jeffrey A Law
@ 2005-05-25 15:59 ` Steven Bosscher
  2005-05-25 17:27   ` Andreas Schwab
  0 siblings, 1 reply; 12+ messages in thread
From: Steven Bosscher @ 2005-05-25 15:59 UTC (permalink / raw)
  To: gcc, law

On Wednesday 25 May 2005 16:56, Jeffrey A Law wrote:
> So when's the last time someone bootstrapped Ada with the mainline
> sources on i686-pc-linux-gnu?
>
> I was trying to get it built to further exercise the ADDR_EXPR
> status bit checking code and it consistently hangs building the
> stage3 compiler (even with all the recent ADDR_EXPR stuff disabled).
>
> Rather than rolling my sources back further and further to see if/when
> Ada built, I figured it might just be quicker to ask :-)

I may be mistaken, but didn't GCC miscompile the Ada front end because
of this VRP bug here:  http://gcc.gnu.org/PR21332  ?

Gr.
Steven

^ permalink raw reply	[flat|nested] 12+ messages in thread

* Ada Status in mainline
@ 2005-05-25 15:22 Jeffrey A Law
  2005-05-25 15:59 ` Steven Bosscher
  0 siblings, 1 reply; 12+ messages in thread
From: Jeffrey A Law @ 2005-05-25 15:22 UTC (permalink / raw)
  To: gcc


So when's the last time someone bootstrapped Ada with the mainline
sources on i686-pc-linux-gnu?

I was trying to get it built to further exercise the ADDR_EXPR
status bit checking code and it consistently hangs building the
stage3 compiler (even with all the recent ADDR_EXPR stuff disabled).

Rather than rolling my sources back further and further to see if/when
Ada built, I figured it might just be quicker to ask :-)

Jeff

^ permalink raw reply	[flat|nested] 12+ messages in thread

end of thread, other threads:[~2005-05-26  8:03 UTC | newest]

Thread overview: 12+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-05-25 17:35 Ada Status in mainline Graham Stott
2005-05-25 18:08 ` Richard Guenther
  -- strict thread matches above, loose matches on Subject: below --
2005-05-25 20:50 Richard Kenner
2005-05-25 20:52 ` Diego Novillo
2005-05-26  0:35   ` Jeffrey A Law
2005-05-26  1:30     ` Diego Novillo
2005-05-26 13:27       ` Andreas Jaeger
2005-05-26  5:57     ` Andreas Schwab
2005-05-26 12:05       ` Jeffrey A Law
2005-05-25 15:22 Jeffrey A Law
2005-05-25 15:59 ` Steven Bosscher
2005-05-25 17:27   ` Andreas Schwab

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).