Re: Exceptions and out procedure arguments (using GNAT GPL)

[Anh Vo <anhvofrcaus@gmail.com>]

On Jun 15, 6:05 pm, Fionn Mac Cumhaill <invisi...@hiding.from.spam>
wrote:
> Consider a procedure that starts like this:
[...]
> Will X get a value of 999? I.e., is an Ada compiler free to optimize
> the code such that the assignment to the out variable O is moved to
> some place after the point where the exception is raised?

When an exception is raised, all bets are off. It is not guaranteed X
has a value of 999. However, the exception handler is allowed you to
do just that by setting X equal to 999 as shown below
...
exception
    when others =>
        X := 999;
...

AV