On Thu, 12 Feb 2004 03:19:52 +0000 (UTC), edgein123@aol.com <edgein123@aol.com> wrote:
> inout: This indicates that a parameter is used for both input and output. The problem seems to be the calling mechanism used. For instance, are we using pass-by-reference, pass-by-value-result (pass-by-copy), or pass-by-name.

If you disallow aliases, then it doesn't matter which is used in terms of correctness.  This allows future ABIs to use pass-by-value, which could be more efficient (especially on ABIs that pass parameters in registers).

Disallowing aliases allows other important optimizations as well, especially concerning arrays.

-Scott