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!border1.nntp.dca.giganews.com!nntp.giganews.com!nx02.iad.newshosting.com!newshosting.com!69.16.185.16.MISMATCH!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: gnatcheck
References: <gioss0$q92$1@online.de>
 <nospam-873A93.23190822122008@nntp.motzarella.org> <gir392$nub$1@online.de>
From: Stephen Leake <stephen_leake@stephe-leake.org>
Date: Wed, 24 Dec 2008 15:03:35 -0500
Message-ID: <86prjhbaso.fsf@stephe-leake.org>
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux)
Cancel-Lock: sha1:iGGKuQ/+/ZU1wbZXvYP6zpRyw1M=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: ab06d4952959dc77fb68810769
Xref: g2news2.google.com comp.lang.ada:4061
Date: 2008-12-24T15:03:35-05:00
List-Id: <comp.lang.ada>

Stefan Soos <stefan.soos@gmx.de> writes:

>> I'd start with the GNAT User's Guide section on gnatcheck:
>> 
>> <http://gcc.gnu.org/onlinedocs/gcc-4.3.2/gnat_ugn_unw/>
>> 

> Thanks but I've already checked this source, but it's no help to me.
> It describes what gnatcheck does when using the Discriminated_Record
> rule. But I don't know why its a violation. Whats wrong with
> discriminated records?

I consider this a bug in the gnatcheck manual; you should send a
report to AdaCore. They might even answer your question :)

-- 
-- Stephe