Re: How do typical Ada calling conventions work ?

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

"Per Sandberg" <per.s.sandberg@bahnhof.se> wrote in message 
news:55dbfddd$0$20676$862e30e2@ngroups.net...
...
> If you want to use a function "returning" large or limited objects you 
> could always use the "extended return" where the returned object will be 
> created in place.
>
> type large_or_limited is ....;
> function my_function return large_or_limited is
> begin
>    return ret : large_or_limited do
>       do_what_you_need;
>    end return;
> end my_function;

As noted by Christophe, the syntax of a return statement has no effect on 
how objects are returned. The compiler might use build-in-place semantics 
for all returns or none; it's only required for inherently limited objects. 
It's highly unlikely that a compiler would act differently for extended 
returns rather than simple returns, because that would make calls dependent 
on the contents of the body.

                                   Randy.