Re: A note on GNAT 3.05 performance

[bobduff@world.std.com (Robert A Duff)]

In article <dewar.835605407@schonberg>, Robert Dewar <dewar@cs.nyu.edu> wrote:
>If you want something passed by reference and your code depends on it,
>either use an access parameter (if the value is guaranteed to be non-null)
>or an explicit access type. This is the only legitimate way to be sure
>that a record is passed by reference.

6.2 lists several cases where you are guaranteed to get pass-by-ref:
tagged types, limited records, etc.

In most cases, I prefer the explicitness of access types, though (either
access parameters or named access types, as appropriate).

- Bob