Re: aliased & packed?

[Tom Moran <tmoran@bix.com>]

> Well, address is very precisely defined in terms of storage units
> occupied, so its meaning, though target dependent of course, should
> certainly be compiler independent assuming the same data layouts.
  Which still does not answer my question of whether I can assume
that 'address will generate the right thing for an Imported C function,
especially when I see that many such C functions are defined in various
examples I see as taking 'access rather than 'address parameters.

> Obviously you definitely CANNOT expect access to work on a packed array.
  Does that mean I can't expect Interfaces.C
type char_array is array(size_t range <>) of aliased char;
pragma Pack(char array);
  to work?

Also, how about the question of 'address or 'access of the array itself
rather than a component (eg the first element).  Is either or both of
'address or 'access, in Ada 95, supposed to give an Imported function
the address of the first data element, rather than the address of a
descriptor?