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: 103376,a88e582de42cdc9b
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!e60g2000hsh.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Bug in Ada (SuSe 10.2) ?
Date: Thu, 21 Feb 2008 01:27:47 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <2630d99b-1578-4d79-ac9c-64c00c203b77@e60g2000hsh.googlegroups.com>
References: <0_mdna0iHpIsCifaRVnzvQA@telenor.com>
 <47ba9867$0$21892$4f793bc4@news.tdc.fi>
	<dN2dndl3zoW5Oifa4p2dnAA@telenor.com>
 <dbe54d78-5bd2-4ad0-ab93-f00b099ae5a3@64g2000hsw.googlegroups.com>
	<spCdnTyCKpCfvSHaRVnzvQA@telenor.com>
 <3a281192-2744-4110-9fc1-90c155c9436b@d4g2000prg.googlegroups.com>
	<qm_uj.42460$yE1.36921@attbi_s21>
 <48277611-402f-4622-be05-6edddf6dd56a@o10g2000hsf.googlegroups.com>
	<fpigq5$5me$1@jacob-sparre.dk> <gcejpf.ir2.ln@hunter.axlog.fr>
	<624tcvF21i3nvU1@mid.individual.net>
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 1203586068 16041 127.0.0.1 (21 Feb 2008 09:27:48
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 21 Feb 2008 09:27:48 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: e60g2000hsh.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 i686; en-US; rv:1.4.3)
	Gecko/20040924,gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:19944
Date: 2008-02-21T01:27:47-08:00
List-Id: <comp.lang.ada>

Alex R. Mosteo wrote:
> Jean-Pierre Rosen wrote:
> > Randy Brukardt a =E9crit :
> >> The other obvious evidence that this is a bad thing is that OP's
> >> question:
> >> which we see here several times a year. It would obviously be better
> >> if we
> >> didn't have to deal with that (and remember that many people will not
> >> actually write such a question, so there probably are many more that ar=
e
> >> confused).
> >>
> > Hmm... maybe we coud suggest to AdaCore (anybody listening?) that the
> > GPL version should have the checks on by default, and let the default be=

> > what paying customers demand for the Pro version. After all, GnatGPL is
> > 2005 by default, and Pro is 95 by default, so it should be doable.
>
> Seems sensible to me. I guess very few of us aware of this issue compile
> during development without -gnato

The suggestion has already been made in GCC's Bugzilla database which
I mentioned earlier in this thread[1]. A few people have already added
comments supporting the suggestion but AdaCore has not yet implemented
it, or indicated any intention to do so. If anyone is interested they
too can comment on the PR, but better yet would be to submit a patch.

[1] http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D34117

--
Ludovic Brenta.