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