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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5a84d5077c54a29d
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!out03b.usenetserver.com!news.usenetserver.com!in04.usenetserver.com!news.usenetserver.com!uns-out.usenetserver.com!news.usenetserver.com!pc03.usenetserver.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Ada array vs C pointer (call by reference)
References: 
 <d390ae47-83b1-4cfb-8e66-d6a92f38cf4e@z32g2000prh.googlegroups.com>
 <e76b87f0-65bf-485c-943f-618389ab8a1b@w34g2000prm.googlegroups.com>
 <5df91e99-a972-48f7-b466-3eb05dc0a915@m3g2000hsc.googlegroups.com>
 <lzzlp6amdv.fsf@stalkings.ghoti.net>
 <3dcc4a2d-f2f9-4c98-96c8-cd9dd1b090fe@z72g2000hsb.googlegroups.com>
 <lzwska8r0k.fsf@stalkings.ghoti.net>
 <44b654da-5a19-4230-a5f2-94e35f2b3aeb@d19g2000prm.googlegroups.com>
From: Stephen Leake <Stephe.Leake@nasa.gov>
Date: Sat, 28 Jun 2008 10:04:22 -0400
Message-ID: <uabh5k655.fsf@nasa.gov>
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/22.2 (windows-nt)
Cancel-Lock: sha1:WTjhH3VQhBbOwJw3OcyDyqiLeeg=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: 4f5eb48663f1bc74cf8ca14505
Xref: g2news1.google.com comp.lang.ada:936
Date: 2008-06-28T10:04:22-04:00
List-Id: <comp.lang.ada>

Adam Beneschan <adam@irvine.com> writes:

> On Jun 27, 3:14 pm, Keith Thompson <ks...@mib.org> wrote:
>> Maciej Sobczak <see.my.homep...@gmail.com> writes:
>> > On 27 Cze, 18:11, Keith Thompson <ks...@mib.org> wrote:
>> > > > Ada *cannot* guarantee that Interfaces.C.C_Float is the *right* float,
>> > > > because it does not verify how the C code was compiled and there is a
>> > > > lot of freedom given to C implementers in this area.
>> > > > Same for all other types.
>>
>> > > No, Ada can't guarantee it directly.  Instead, Ada requires the
>> > > implementation to guarantee it.
>>
>> > And how the implementation can guarantee it without mandating the
>> > representation on the C compiler?
>>
>> It doesn't *mandate* the representation used by the C compiler; the
>> author of the Interfaces.C implementation has to *know* the
>> representation used by the C compiler.
>
> Which is, of course, impossible without a crystal ball.  

No, the vendor must provide both the Ada compiler and the C compiler.
Are there any vendors out there that don't?

-- 
-- Stephe