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,UTF8
Path: 
 g2news2.google.com!news4.google.com!feeder.news-service.com!85.214.198.2.MISMATCH!eternal-september.org!.POSTED!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: GNAT packages in Linux distributions
Date: Mon, 10 May 2010 03:20:58 +0200
Organization: A noiseless patient Spider
Message-ID: <877hncy2kl.fsf@ludovic-brenta.org>
References: <j5e1x31qvn1b$.11ywrjmshtauz$.dlg@40tude.net>
	<87mxw9x7no.fsf@ludovic-brenta.org>
	<t8liq7w6ffnm$.19yq5hkq6tdto$.dlg@40tude.net>
	<87bpcoydfx.fsf@ludovic-brenta.org> <op.vcgjkcctule2fv@garhos>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 10 May 2010 01:20:58 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="aWhQTHgfdnD2YXcebEBGuQ";
	logging-data="26516"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18gP9+W83nl6zdm7is1+cl7"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:1n55GLWOVN5GOVVrRfjGabqNr08=
	sha1:SjXmvVP+jfVfjM939+tvnX0Re8k=
Xref: g2news2.google.com comp.lang.ada:11432
Date: 2010-05-10T03:20:58+02:00
List-Id: <comp.lang.ada>

Yannick Duchêne wrote on comp.lang.ada:
> Le Sun, 09 May 2010 23:26:10 +0200, Ludovic Brenta
> <ludovic@ludovic-brenta.org> a écrit:
>>> Whatever reasons might be, they aren't good. (:-()
>>
>> Oh no?  What about top-secret Ada code from the military that triggers a
>> bug in GNAT?
> Yes, every one can understand that and probably did think about that
> while reading your words. However, a patch does not expose any private
> data,  unless you claim some details all over the worlds.

The discussion was not about patches, it was about bug reports (which
often contain reproducers that may be proprietary).  The patches
eventually make it into the FSF GCC; just look at the changelog.  The
only problem with this is that there is a delay between the time when
the bugs are fixed in GNAT Pro (usually < 1 week after being reported)
and the time they are fixed in FSF GCC (up to 2 years, sometimes even
more).

Not reporting a bug is the only certain way never to see it fixed.
Therefore, if you don't have a support contract, report all your bugs.
They will get fixed eventually.

-- 
Ludovic Brenta.