Aborting a recursive subprogram by an exception

Aborting a recursive subprogram by an exception

[Victor Porton]

See also
http://stackoverflow.com/questions/25556441/aborting-a-recursive-subprogram-in-the-middle

If I want to abort a recursive subprogram in the middle, is throwing an
exception from it a good way to do this?

I am not sure whether exception optimizations allowed by Ada RM may not
nullify some external actions of the subprogram (such as modifying global
variables) which are before throwing the exception.

Will it work with exceptions the right way?

-- 
Victor Porton - http://portonvictor.org

Re: Aborting a recursive subprogram by an exception

[Victor Porton]

Victor Porton wrote:

> See also
> http://stackoverflow.com/questions/25556441/aborting-a-recursive-subprogram-in-the-middle
> 
> If I want to abort a recursive subprogram in the middle, is throwing an
> exception from it a good way to do this?
> 
> I am not sure whether exception optimizations allowed by Ada RM may not
> nullify some external actions of the subprogram (such as modifying global
> variables) which are before throwing the exception.
> 
> Will it work with exceptions the right way?

I see that it will work as it should.

Ada2012 "11.6 Exceptions and Optimization" allows additional optimizations 
only for language-defined checks. Explicit "raise" statement should work as 
expected.

-- 
Victor Porton - http://portonvictor.org