Re: aliased & packed?

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Tom Moran says

<<type char_array is array(size_t range <>) of aliased char;
pragma Pack(char array);
  to work?>>

Of course it will work. But what do you mean by working? There is no 
requirement in this case that the pragma Pack have any effect. Indeed
on most byte addressable machines, the pragma Pack will have no effect
anyway.

with GNAT, pragma Pack never has any effect if the components are aliased,
and indeed you will get a warning that the pragma Pack is ignored.

However, it is not silly to put it in necessarily, since you can imagine
a machine that allows independent addressability of characters, but 
still has a cost associated with 8-bit packing of characters. The old
alpha comes close to being like that, but actually on the Alpha, we decide
to pack this by default anyway.