From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Interfaces.C questions Date: Tue, 21 Mar 2017 21:31:01 +0000 Organization: A noiseless patient Spider Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="29063f5595cb7f46a23b79637d218608"; logging-data="22565"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/zTO1/uZkrbgP/e+IY6OlkVpXlfEbZ9dQ=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (darwin) Cancel-Lock: sha1:S2UA3N7+1rNMCTm4EYigpI39Nl0= sha1:RzRmuIv8A9/mFZB4iV9EthFIINc= Xref: news.eternal-september.org comp.lang.ada:46437 Date: 2017-03-21T21:31:01+00:00 List-Id: "Michael B." writes: > On 17.03.2017 23:24, Dmitry A. Kazakov wrote: >> P.S. For convention C assume this: >> >> 1. out T, in out T, access T are equivalent >> >> 2. in T and access T are equivalent when T is non-scalar (you can pass >> int, array, or record, the compiler will sort that out) >> > > Is this GNAT specific or true for all Ada compilers? See ARM B.3(63)[1]ff for the ARM on this subject. [1] http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-B-3.html#p63