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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,23c0de5a42cf667e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!h9g2000yqm.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: GNAT packages in Linux distributions
Date: Tue, 11 May 2010 00:51:31 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <1743e572-696d-48c6-8fff-3298c5b2e12b@h9g2000yqm.googlegroups.com>
References: <j5e1x31qvn1b$.11ywrjmshtauz$.dlg@40tude.net>
 <87mxw9x7no.fsf@ludovic-brenta.org>
	<t8liq7w6ffnm$.19yq5hkq6tdto$.dlg@40tude.net>
 <87bpcoydfx.fsf@ludovic-brenta.org>
	<op.vcgjkcctule2fv@garhos> <82tyqghz4x.fsf@stephe-leake.org>
	<87k4rcw0kw.fsf@ludovic-brenta.org>
 <ffa45809-34a0-4e8f-8c99-d7b6581e45a0@r11g2000yqa.googlegroups.com>
NNTP-Posting-Host: 153.98.68.197
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1273564291 30623 127.0.0.1 (11 May 2010 07:51:31
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 11 May 2010 07:51:31 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: h9g2000yqm.googlegroups.com; posting-host=153.98.68.197;
	posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.0.6)
	Gecko/2009012111 Red Hat/3.0.6-1.el5 Firefox/3.0.6,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:11482
Date: 2010-05-11T00:51:31-07:00
List-Id: <comp.lang.ada>

Simon J. Wright wrote on comp.lang.ada:
> On May 10, 10:46=A0am, Ludovic Brenta <ludo...@ludovic-brenta.org>
> wrote:
>
>> Actually, the fixes *are* exposed to public purview. =A0This happens whe=
n
>> AdaCore merge their fixes into GCC. =A0Each patch appears as a
>> self-contained email on the gcc-patches mailing list, complete with a
>> technical description of the bug and even the AdaCore bug number; only,
>> we don't know what triggered the bug, so it is difficult to relate the
>> technical description to a publicly known bug trigger.
>
> I haven't seen any of these (I guess I joined that list between
> merges) but presumably the test suite does get updated (as with
> changes for other languages).

Here is a good, small example:

http://gcc.gnu.org/ml/gcc-patches/2010-04/msg01528.html

The patch includes a detailed description of the bug, i.e. the result
of analyzing a bug report.  The bug report itself (and any triggering
code) is absent, as is the AdaCore bug number.  The patch does contain
a new test which triggers the bug; AdaCore constructed this from the
analysis of the bug report.  As you can see from the message, AdaCore
applied this particular patch to both the mainline (i.e. the future
GCC 4.6.0) and to the GCC 4.5 branch (i.e. the future GCC 4.5.1).

GCC 4.6 entered Stage 1 on 2010-04-06 (immediately after the release
of GCC 4.5.0) and the Ada patches started pouring in.  The same
happened for the Stage 1 of GCC 4.5.0 in March and April 2009; you can
browse the mailing list archives and look for the tag "[Ada]" in the
subject lines.

PS. Thanks, Simon, for this:

2010-01-09 Simon Wright <simon@pushface.org>

 	PR ada/42626
 	* gcc-interface/Makefile.in (gnatlib-shared-darwin): Add missing
 	end-quote.

--
Ludovic Brenta.