Re: Address to function pointer conversion

[michael@ifr16.luftfahrt.uni-stuttgart.de (Michael Paus)]

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