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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bbbeae4ed07e9626
X-Google-Attributes: gid103376,public
From: michael@ifr16.luftfahrt.uni-stuttgart.de (Michael Paus)
Subject: Re: Address to function pointer conversion
Date: 1997/06/25
Message-ID: <5oqonh$vt6@info4.rus.uni-stuttgart.de>#1/1
X-Deja-AN: 252433364
References: <5nrq5h$13cm@info4.rus.uni-stuttgart.de>
 <33A1831C.269F@sprintmail.com>  <dewar.866334558@merv>
 <33A74403.4B7C@sprintmail.com>  <dewar.866852244@merv>
 <mheaney-ya023680002406970020250001@news.ni.net>  <dewar.867185277@merv>
Organization: Comp.Center (RUS), U of Stuttgart, FRG
Newsgroups: comp.lang.ada
Date: 1997-06-25T00:00:00+00:00
List-Id: <comp.lang.ada>


In <dewar.867185277@merv> Robert Dewar wrote:
> Matthew Heaney asks
> 
> <<I'm confused by this answer.  Do you mean
> 
> If it is accepted, then it is guaranteed to work.
> 
> or do you mean
> 
> Robert replies
> 
> The trouble is that "works" here is not well defined, it depends on exactly
> what you are doing, for example, if the C program you call raises a signal,
> what happens? Not clear. So likely to work is indeed a reasonable way of
> saying, on an informal basis, that, based on a best guess of what you
> might expect to work, it will work. Other things that might cause trouble
> are varargs for example. 
> 

So, what you say here is that if the pragma is accepted the program is
guaranteed to work exactly as reliable as any other program which
directly interfaces to some C function because the potential problems
you have mentioned will always make an Ada program which interfaces
to a foreign language somewhat less reliable than a pure Ada program.

I think everybody knows this and nobody will expect more.

Michael