Re: Parameter evaluation order

["Corey Ashford" <corSPAMey@rational.com>]

Mark.Rutten@dsto.defence.gov.au wrote in message
<6g9d2o$tfg$1@nnrp1.dejanews.com>...
>
>
>I'm using GNAT3.09 on WindowsNT (and also Solaris, but I didn't get
>this problem).
>
>I compiled a procedure call similar to the following
>
>  proc(func_one,func_two);
>
>The program relies on func_one being called _before_ func_two. But
>at run-time the code above did the opposite! Is this a bug (and if so, has
it
>been fixed in 3.10)? Or is there something written in the language
definition
>to justify this behaviour?
>
>Thanks,
>Mark Rutten


See the Ada RM 6.4 (10)

(10)
    For the execution of a subprogram call, the name or prefix of the call
is evaluated, and each parameter_association is evaluated (see 6.4.1).
    If a default_expression is used, an implicit parameter_association is
assumed for this rule. These evaluations are done in an arbitrary order.
    The subprogram_body is then executed. Finally, if the subprogram
completes normally, then after it is left, any necessary assigning back of
    formal to actual parameters occurs (see 6.4.1).