Re: References in Ada exceptions

[pa.dec.com!e2big.mko.dec.com!jac.nuo.dec.com!digits.enet.dec.com!brett@de cwrl.dec.com (Bevin R. Brett)]

In article <3176.2c26e734@atlas.nafb.trw.com>, mgatlin@atlas.nafb.trw.com write
s...
>[ 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.

If a DEC Ada product did this, we would definitely regard it as a bug.
Exceptions within the begin..exception...end should not interrupt operations
such as the loop increment done outside the frame.

I have sent personal mail asking for help reproducing the problem.

/Bevin
DEC Ada team