Next: Ada Exceptions, Previous: Calling User-Defined Subprograms, Up: Running and Debugging Ada Programs
When you use the next
command in a function, the current source
location will advance to the next statement as usual. A special case
arises in the case of a return
statement.
Part of the code for a return statement is the “epilog” of the function. This is the code that returns to the caller. There is only one copy of this epilog code, and it is typically associated with the last return statement in the function if there is more than one return. In some implementations, this epilog is associated with the first statement of the function.
The result is that if you use the next
command from a return
statement that is not the last return statement of the function you
may see a strange apparent jump to the last return statement or to
the start of the function. You should simply ignore this odd jump.
The value returned is always that from the first return statement
that was stepped through.