From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: My bug or else regarding Visibility Rules
Date: Thu, 4 Apr 2013 12:21:29 -0700 (PDT)
Date: 2013-04-04T12:21:29-07:00 [thread overview]
Message-ID: <282c7f39-f77e-416c-81f8-1f8fb5ad6d0a@googlegroups.com> (raw)
In-Reply-To: <lyfvz6hfmd.fsf@pushface.org>
On Thursday, April 4, 2013 1:19:54 AM UTC-7, Simon Wright wrote:
> Anh Vo <anhvofrcaus@gmail.com> writes: > On Tuesday, April 2, 2013 1:16:34 PM UTC-7, Simon Wright wrote:
>> I believe that attribute 'Old is allowed in post-conditions only.
> This is a bug in GNAT, fixed in GCC 4.8.0 (I had tested with GNAT GPL
> 2012, which allows it).
It is good to know.
>> I do not understand this. Why isn't Buffer(1) valid if my index starts at 1?
> Because after the index has wrapped round Buffer'Old(1) will not be the
> same as Buffer(1).
In this case the loop will drop out because loop lower end is greater than loop upper end.
>> This is another array index option.
> No. You wrote
> (Index mod Length) + 1
> but it should be
> (Index + 1) mod Length
(In_Index + 1) mod length will raise Constraint_Error when the Queue is just full. In fact, (10 + 1) > 10 when the queue has the lenght of 10.
next prev parent reply other threads:[~2013-04-04 19:21 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-03-28 19:54 My bug or else regarding Visibility Rules Anh Vo
2013-03-28 20:58 ` Adam Beneschan
2013-03-28 22:03 ` Randy Brukardt
2013-03-30 6:05 ` Anh Vo
2013-04-02 0:56 ` Randy Brukardt
2013-04-02 1:52 ` Anh Vo
2013-04-02 8:26 ` Simon Wright
2013-04-02 18:17 ` Anh Vo
2013-04-02 20:16 ` Simon Wright
2013-04-03 23:21 ` Anh Vo
2013-04-04 8:19 ` Simon Wright
2013-04-04 19:21 ` Anh Vo [this message]
2013-04-04 19:47 ` Simon Wright
2013-04-02 22:04 ` Randy Brukardt
2013-03-28 22:06 ` Anh Vo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox