Re: Parameter evaluation order

[matthew_heaney@acm.org (Matthew Heaney)]

In article <6g9d2o$tfg$1@nnrp1.dejanews.com>,
Mark.Rutten@dsto.defence.gov.au wrote:

>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?

No, this is not a bug.  The language does not mandate an order of
evaluation of parameters.

There is a very simple fix:

declare
   Arg1 : constant Arg1Type := Func_One;
   Arg2 : constant Arg2Type := Func_Two;
begin
   proc (Arg1, Arg2);
end;