DATA_ALIGNMENT vs. DECL_USER_ALIGNMENT

[David Edelsohn]

>>>>> Robert Dewar writes:

>> 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.

Robert> Well the front end must know statically the alignment of any non-primitive
Robert> type, so it makes some sense to specify it as having the value that the
Robert> front end thinks it has.

	Interpret "type" as "primitive type" in your nomenclature.  As
long as the user does not explicitly override the default alignment of the
primitive type (probably the natural alignment, or whatever the language
or target ABI specifies), the compiler should not need to annotate the GCC
type information with an explicit user type.

David