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-7-bit
Path: 
 g2news1.google.com!news4.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post01.iad.highwinds-media.com!newsfe13.iad.POSTED!4a71828c!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.9.1.5) Gecko/20091204 Thunderbird/3.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Software Quality in Science
References: 
 <1198a288-b013-45a8-907f-7fe227e6294e@m27g2000prl.googlegroups.com>
 <04185bf3-f83a-4fbe-b380-c6d8aa4105e6@w27g2000pre.googlegroups.com>
 <wcc6366x9em.fsf@shell01.TheWorld.com> <usk9917wf.fsf@stephe-leake.org>
In-Reply-To: <usk9917wf.fsf@stephe-leake.org>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <Yxzcn.24742$aU4.15454@newsfe13.iad>
X-Complaints-To: abuse@WWWSpace.NET
NNTP-Posting-Date: Wed, 10 Feb 2010 14:38:48 UTC
Date: Wed, 10 Feb 2010 09:38:48 -0500
Xref: g2news1.google.com comp.lang.ada:9085
Date: 2010-02-10T09:38:48-05:00
List-Id: <comp.lang.ada>

On 2/10/2010 9:29 AM, Stephen Leake wrote:
> The programmers still have to specify the right switches, and pay
> attention to the results, and know how to fix them, which is a
> political/management/skill issue, not a language design issue.

The same is true for Ada, at least as implemented in GNAT.

> I know from personal experience that there is a satellite about to be
> launched who's control code has many remaining C warnings. Sigh.

Well, isn't that part of "pay attention to the results"?
Not all warnings represent things that need to be fixed.