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

["Randy Brukardt" <randy@rrsoftware.com>]

"Fionn Mac Cumhaill" <invisible@hiding.from.spam> wrote in message
news:79c673pq5htg508nkoi935n3udqg5ps7r8@4ax.com...
...
> 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?

My gut feeling (not one backed up by checking the rules in detail) is that
it depends on how the parameters are passed. Integers are a by-copy type, so
a compiler that modified X would be wrong: the copy back into X occurs on
the return from the call, and when the exception is raised that copy back
will not be executed.

Conversely, if the parameter is a by-reference type, then the assignment
should be reflected. (But I'd have to read the 11.6 rules ten times to be
sure, and it probably would depend on the actual code in the subprogram.)
Surely, Janus/Ada would make the assignment in that case.

If the language does not specify the parameter passing mechanism (as for
untagged records and arrays), then either thing could happen and you should
depend on nothing.

Surely the safest rule is to never depend on the parameter being changed,
but either thing can happen.

                           Randy.