comp.lang.ada
 help / color / mirror / Atom feed
From: Brian Drummond <brian_drummond@btconnect.com>
Subject: Re: Generic warning
Date: Wed, 18 Jun 2008 15:16:42 +0100
Date: 2008-06-18T15:16:42+01:00	[thread overview]
Message-ID: <626i5415pe8s2jekhij85k4algrh9i1jfo@4ax.com> (raw)
In-Reply-To: 4858CA3B.7030101@gmail.com

On Wed, 18 Jun 2008 08:41:31 +0000, S�bastien Morand
<seb.morand@gmail.com> wrote:

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

(Newbie qiestion, coming from VHDL, halfway through the Barnes book)

Can you not create a subtype of Positive to reflect that, and declare
both the array and index using that subtype?

- Brian




  reply	other threads:[~2008-06-18 14:16 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-06-17 16:44 Generic warning Sébastien Morand
2008-06-17 17:17 ` Dmitry A. Kazakov
2008-06-17 18:33   ` Sébastien Morand
2008-06-17 19:04     ` Dmitry A. Kazakov
2008-06-18  8:41       ` Sébastien Morand
2008-06-18 14:16         ` Brian Drummond [this message]
2008-06-18 14:32           ` Sébastien Morand
2008-06-18 14:39             ` Ed Falis
2008-06-18 14:42             ` Dmitry A. Kazakov
2008-06-18 15:10               ` Robert A Duff
2008-06-18 15:25                 ` Dmitry A. Kazakov
2008-06-18 15:38                   ` Ed Falis
2008-06-18 17:04                     ` Dmitry A. Kazakov
2008-06-17 18:20 ` Jeffrey R. Carter
2008-06-18  8:55   ` Sébastien Morand
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox