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.7 required=5.0 tests=BAYES_00,INVALID_MSGID,
	PDS_OTHER_BAD_TLD autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bc7813b85b027ce5
X-Google-Attributes: gid103376,public
From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: 11.6
Date: 1999/11/22
Message-ID: <3839d8a5_4@news1.prserv.net>#1/1
X-Deja-AN: 551847115
Content-transfer-encoding: 7bit
References: <3836ff5b_1@news1.prserv.net> <wcchfiexwj3.fsf@world.std.com>
Content-Type: text/plain; charset="US-ASCII"
X-Complaints-To: abuse@prserv.net
X-Trace: 22 Nov 1999 23:58:29 GMT, 129.37.213.102
Organization: Global Network Services - Remote Access Mail & News Services
Mime-version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-11-22T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <wcchfiexwj3.fsf@world.std.com> , Robert A Duff 
<bobduff@world.std.com>  wrote:

>>   procedure Push
>>     (Stack : in out Stack_Type;
>>      Item  : in     Item_Type) is
>>
>>      subtype Top_Range is Positive range 1 .. Stack.Size;
>>
>>      Top : Natural renames Stack.Top;
>>   begin
>>      Top := Top_Range'(Top + 1);    --???
>>      Stack.Items (Top) := Item;
>>   end Push;


Compare that Push with this one:

 procedure Push
   (Stack : in out Stack_Type;
    Item  : in     Item_Type) is

    Stack_Not_Full : constant Boolean range True .. True :=  --???
      Stack.Top < Stack.Size;

    Top : Natural renames Stack.Top;
 begin
    Top := Top + 1;
    Stack.Items (Top) := Item;
 end Push;


Can the marked line be optimized away per 11.6?


--
Why stop at evolution and cosmology, though? Let's make sure that the
schoolkids of Kansas get a really first-rate education by loosening up
the teaching standards for other so-called scientific ideas that are,
after all, just theories. The atomic theory, for example. The theory of
relativity. Heck, the Copernican theory--do we really know that the
universe doesn't revolve around the earth?

John Rennie, Scientific American, Oct 1999