Re: Is this a GNAT bug???

[robert_s_quinn@yahoo.com (Robert Quinn)]

tmoran@acm.org wrote in message news:<9gBz8.4053$451.2378814669@newssvr21.news.prodigy.com>...

> > type Message_Type_Access is access Message_Type;
> > function Get_Message_Data is new Unchecked_Conversion
> >    (SOURCE => System.ADDRESS,
> >     TARGET => Message_Type_Access);

>   This is not good Ada.  [snip] There is no reason to
> assume an unchecked conversion from System.Address to an access
> type will work as you hope.

Ahh, thanks for the note.  I used the Unchecked_Conversion out of
ignorance and habit, since the system I actually work on uses it a
lot.  Addresses are passed between tasks and then converted to an
appropriate access type.  Or sometimes data is read off a socket, an
address passed to a task, then converted to an appropriate access
type.  So I've seen this method used for both intertask communications
and for client-server communications.

Anyway I seledom delve into this realm, which is why I'm asking
questions - thanks!

Robert Quinn