From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 22 Jun 93 19:04:20 GMT
From: cis.ohio-state.edu!pacific.mps.ohio-state.edu!math.ohio-state.edu!cs.utex
as.edu!swrinde!elroy.jpl.nasa.gov!usc!venice!atlas!mgatlin@ucbvax.Berkeley.EDU
Subject: References in Ada exceptions
Message-ID: <3176.2c26e734@atlas.nafb.trw.com>
List-Id: <comp.lang.ada>

[ The following is a request for information by a member of my department.
  Please reply direct to my email address, and I will forward. mg.]

I seem to remember that the following is dangerous:

	for i in 1..10 loop
	 begin
	   ...
	 exception
		...
		put(i);
	 end;
	end loop;

The state of the variable i cannot be guaranteed in an exception 
handler.  We had a problem like this on the DEC Ada compiler, and
I claim it was not a compiler bug, but a known limitation of Ada 
validated compilers.  Is there a formal ruling on this?  We require 
a hard reference.  Please reply by email to mgatlin@atlas.nafb.trw.com.
Thanks.