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
next prev parent 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