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: a07f3367d7,20280f498071efd3
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!r24g2000yqd.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Software Quality in Science
Date: Thu, 11 Feb 2010 16:32:19 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <6e1df27b-5520-4c09-8094-ab142688f2da@r24g2000yqd.googlegroups.com>
References: 
 <1198a288-b013-45a8-907f-7fe227e6294e@m27g2000prl.googlegroups.com>
	<04185bf3-f83a-4fbe-b380-c6d8aa4105e6@w27g2000pre.googlegroups.com>
	<06c522b2-512d-482d-882f-d6a690d1c587@d27g2000yqn.googlegroups.com>
	<9b39n5t0866p4o7vff03480nvljsuhk024@4ax.com>
 <faac0c2f-6b0d-4913-9408-2732336e19dd@h12g2000yql.googlegroups.com>
	<wcciqa3gvwi.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: 86.66.190.112
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1265934740 29378 127.0.0.1 (12 Feb 2010 00:32:20
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 12 Feb 2010 00:32:20 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: r24g2000yqd.googlegroups.com; posting-host=86.66.190.112;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:9135
Date: 2010-02-11T16:32:19-08:00
List-Id: <comp.lang.ada>

On 12 f=E9v, 01:06, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:
> There's an option in GNAT to warn about this.
> I don't remember if it's turned on by default.
> (I think not.)
>
> - Bob

It's not turned by default with GNAT GPL, but do not know about GNAT
Pro.

As I've later commented in the previous post, AdaControl may also help
here (make this be along with the GNAT compiler dedicated option).