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_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!attcan!uunet!convex!mozart.convex.com!gargulak
From: gargulak@mozart.convex.com (Tom Gargulak)
Newsgroups: comp.lang.ada
Subject: Storage Error
Message-ID: <108637@convex.convex.com>
Date: 13 Nov 90 00:22:43 GMT
Sender: usenet@convex.com
Reply-To: gargulak@mozart.convex.com (Tom Gargulak)
Organization: Convex Computer Corporation, Richardson, Texas
List-Id: <comp.lang.ada>

I got the following example from the book by Barnes (pg. 183).  Barnes 
claims that this program should raise the STORAGE_ERROR exception
and I agree due to 11.4.1(10) in the LRM.  A colleague believes that
Barnes is mistaken and that it would be acceptable for the program
to run forever.  He claims it depends how the stack is implemeted.

Barnes claims the following should happen:


    |		n-3	B				H	
    |		n-2	B		H		B
    |		n-1	B	H	B	H	B
    V		n	*	*	*	*	*

Invocation	--------------------------------------->time

B - executing in the procedure body for invocation n-m
H - executing in the exception handler for invocation n-m
* - a call which failed due to STORAGE_ERROR


Does anyone know what should happen and why?


Thanks,
Tom

--------------------------------cut here----------------------------

procedure P is
begin
  P;
exception
  when others =>
    P;
end;