Standard on order of evaluation of subprogram parameters

[evanescente-ondine]

What does the RM say about the order of evaluation of parameters ? At least on GNAT, I just realize that they seem to be evaluated in the reverse order, from last to first (in procedure PL (Str1, Str2: String), Str2 then Str1). It seems to me nothing is assured, but I would like a confirmation.

[jere]

The RM states:

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

REF: Subprogram Calls

[evanescente-ondine]

Ah, it was simple, I searched for the whole phrase “order of evaluation” but I should have looked through the table of content instead. Thanks.