Re: Adress => Access: types for unchecked conversion have different sizes

["Randy Brukardt" <randy@rrsoftware.com>]

"Martin Krischik" <krischik@users.sourceforge.net> wrote in message 
news:op.vr8kbsndz25lew@macpro-eth1.krischik.com...
...
> The code in question is:
>
> {{{
>          declare
>             subtype Path_String is String (1 .. Filename_Len);
>             type    Path_String_Access is access Path_String;

As someone else noted, this is a pool-specific access type. It should never 
point at anything other than memory created by an allocator. (Janus/Ada 
actually checks that; you'd get Constraint_Error if you tried to dereference 
the result of the code below.) If you need to point it at something else, 
you need to use a general access type (that is, "access all").

>             function Address_To_Access is new
>               Ada.Unchecked_Conversion
>                 (Source => Address,
>                  Target => Path_String_Access);
>
>             Path_Access : constant Path_String_Access :=
>                             Address_To_Access (Filename_Addr);
>
>          begin
>             Last := Filename_Len;
>             Name (1 .. Last) := Path_Access.all;
>          end;
> }}}
...
> And I wonder if some `for Address use` magic would not be more appropriate 
> here.

No, that is a lousy way to handle this sort of problem, as is this code. 
(This appears to be an old Ada 83 design, completely inappropriate in modern 
Ada -- and a lousy idea in Ada 83, too.). Ada has package 
Address_to_Access_Conversions for this sort of problem. (That package also 
has an annoyance: it declares a new access type for each instance, forcing 
some extra conversions if you intend to use a type declared elsewhere.)

Lastly, access to unconstrained is rarely the right thing in such code; it 
might work on some compiler some of the time, but will not work in general. 
(Note that Annex B does not require such things to work for interfacing, and 
using addresses is very similar to interfacing.)

                            Randy.