References in Ada exceptions

[cis.ohio-state.edu!pacific.mps.ohio-state.edu!math.ohio-state.edu!cs.utex]

[ 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.