Re: Generic warning

["Sébastien Morand" <seb.morand@gmail.com>]

-----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-----