From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,fb264cdd67c2f20f
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!news.karotte.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Alex R. Mosteo" <devnull@mailinator.com>
Newsgroups: comp.lang.ada
Subject: Re: Possibly fixed in gcc 4.1.1,
 but bug box -- Was: Re: A smaller self contained test case ...
Date: Tue, 27 Jun 2006 20:24:34 +0200
Message-ID: <4gdbbqF1ld2nsU1@individual.net>
References: <05lkrrojfd.fsf@hod.lan.m-e-leypold.de>
 <t3k678yz5g.fsf@hod.lan.m-e-leypold.de>
 <16veqny46o.fsf_-_@hod.lan.m-e-leypold.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: individual.net VY3GrSVNOi+PfBa0OzXcggMKKfeXg+urh2jvCXVMdNTGuriA0=
User-Agent: KNode/0.10.2
Xref: g2news2.google.com comp.lang.ada:5097
Date: 2006-06-27T20:24:34+02:00
List-Id: <comp.lang.ada>

M E Leypold wrote:

> I've been able to compile one of the smaller, selfcontained test cases
> with gcc-4.1.1 and it looks as if the Read/Write bug has been
> fixed. At least I don't get a SIGSEGV any more.
> 
> Unfortunately when compiling the larger program, I now get a bug box,
> that starts like this:
> 
>   +===========================GNAT BUG
>   DETECTED==============================+
>   | 4.1.1 (i686-pc-linux-gnu) in create_tmp_var, at gimplify.c:410        
>   |   |
>   | Error detected at sf-choicetables.adb:485:1                           
>   |   |
> 
> 
> Whereas I'll be trying to report _that_ also to whereever, I'm rapidly
> running out of temporal resources, so I'll not follow that new issue
> to its logical conclusion.
> 
> Just as a message to all those that have been responding that I should
> use a newer compiler:
> 
>  - gcc 3.4 hadn't fixed it yet.
> 
>  - With gcc-4.1.1 I first found a problem with the typing, then
> 
>  - I found the bug box above.
> 
> I've not been expecting anything else, since I've some experience with
> maintaining gcc on various platforms and dread out of experience what
> will happen if on tries to change the tool chain in just some hours.

Last time I heard, Ada is not a release criterion for gcc. As I understand
it, this means that the gcc version, even if GMGPL, can be in any state. It
could be perfectly ok yesterday, and today be broken in subtle ways, and
this wouldn't alter the gcc releasing schedule.

It's for this reason, coupled with the fact that AdaCore endorsed versions
use 3.4.6 as backend and not 4.x, and with the fact that gnat is enduring
heavy changes due to the addition of 2005 features, that I hold very low
expectatives on the gcc-gnat, for the time being.

> Let that be a lesson to those that don't hold dear their old compiler
> versions: Changing to new version will just get you new, different
> sneaky bugs, not less :-).

Ah, the times when one never ever ran in a compiler bug...