DATA_ALIGNMENT vs. DECL_USER_ALIGNMENT

[David Edelsohn]

>>>>> Robert Dewar writes:


>> Is it not true in Ada that if something is a particular type, then
>> it has the properties (including alignment) of that type?
>> 
>> That sounds like a pretty fundamental part of the idea of 'type', not
>> language-specific.

Robert> No, that is not the case, if type'alignment is set, then objects of the type
Robert> can have that alignment or a greater alignment. The same is true for 
Robert> type'size.

	Yes, the type can have greater alignment.  However type normally
does imply a minimum alignment and minimum size.  Specifying user
alignment for a well-defined type seems redundant.

David