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,13bec1d6e8f0eeee
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!cyclone1.gnilink.net!spamkiller.gnilink.net!gnilink.net!nwrddc01.gnilink.net.POSTED!c2bfcbcf!not-for-mail
Subject: Re: gnatcheck
From: "Ed Falis" <falis@verizon.net>
Content-Type: text/plain; format=flowed; delsp=yes; charset=utf-8
MIME-Version: 1.0
Newsgroups: comp.lang.ada
References: <gioss0$q92$1@online.de>
 <nospam-873A93.23190822122008@nntp.motzarella.org> <gir392$nub$1@online.de>
 <5897d4c8-eeb0-40cb-808b-09d8cf4d2a1a@s9g2000prg.googlegroups.com>
 <gir523$ppp$1@online.de>
Content-Transfer-Encoding: 7bit
Message-ID: <op.ummkgvfy5afhvo@naropa>
User-Agent: Opera Mail/9.63 (Linux)
Date: Tue, 23 Dec 2008 17:06:20 GMT
NNTP-Posting-Host: 71.184.149.42
X-Complaints-To: abuse@verizon.net
X-Trace: nwrddc01.gnilink.net 1230051980 71.184.149.42 (Tue,
 23 Dec 2008 12:06:20 EST)
NNTP-Posting-Date: Tue, 23 Dec 2008 12:06:20 EST
Xref: g2news2.google.com comp.lang.ada:4051
Date: 2008-12-23T17:06:20+00:00
List-Id: <comp.lang.ada>

The idea behind gnatcheck is to enforce organization-specific coding  
standards.  It comes with a set of default rules there were of interest to  
certain customers developing safety-critical software, whose coding  
standards excluded certain constructs that are difficult to certify for  
safety applications.  You should go through the list and turn off those  
rules that are irrelevant to your situation.