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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a1d2fe1ec5136718
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.germany.com!news.motzarella.org!motzarella.org!not-for-mail
From: =?ISO-8859-1?Q?S=E9bastien_Morand?= <seb.morand@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Generic warning
Date: Wed, 18 Jun 2008 08:41:31 +0000
Organization: A noiseless patient Spider
Message-ID: <4858CA3B.7030101@gmail.com>
References: <g38pkv$vi9$1@registered.motzarella.org>
 <iyg4tdla7x2a.1e9ubbvqz88c0$.dlg@40tude.net>
 <g39028$2mk$1@registered.motzarella.org>
 <ttqeca6peob2.1jgze60x240ta.dlg@40tude.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: feeder.motzarella.org
 U2FsdGVkX181tdZAQNh/CtYoXMguy+eJ8z2xoZXYPcdbbjrQlMGEhgx6AR7DIVHWRL3/Ym4z9QpfJvO1nTs8E4Z5EFFXKwtcyYy0VQ7F4s6p0+zZQD2mHmJ1rKFSX+gxo49kRO3uKCcJS4+LBXqGQA==
X-Complaints-To: Please send complaints to abuse@motzarella.org with full
 headers
NNTP-Posting-Date: Wed, 18 Jun 2008 08:41:35 +0000 (UTC)
In-Reply-To: <ttqeca6peob2.1jgze60x240ta.dlg@40tude.net>
X-Auth-Sender: U2FsdGVkX19tNYwodjcyCD08HKw9/qur9jdIX8EH0V5yoDmqp9I7ww==
Cancel-Lock: sha1:ks3FDQTQIffFtTT7lRU6QLeevpE=
User-Agent: Thunderbird 2.0.0.14 (Windows/20080421)
X-Enigmail-Version: 0.95.6
Xref: g2news1.google.com comp.lang.ada:755
Date: 2008-06-18T08:41:31+00:00
List-Id: <comp.lang.ada>

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1


> The problem is here. You instantiate TestGen with Order = 1. So the upper
> bound of Buffer is 2. Therefore the range is 1+2..Index, which should cause
> Constraint_Error in Buffer(I).

I understand, if Order = 1, then the code could never occur.

Anyway, There is a test just before in the real code that avoid the
impossible situation (index is between 1 and Order*2 always).

I could remove all the warnings except one that I had to change in a
While clause. But I put a comment in the code to explain why.

Thanks to show what I actually should have seen by myself.

Sebastien
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (Cygwin)

iD8DBQFIWMo7+zV9xm4PlDQRAuDMAJ9/qDRM1TL617fgDICj1JIYfgxcCgCgh2aI
Xsga9iFVpUAYBO5FKHJ6wXk=
=qGlV
-----END PGP SIGNATURE-----