This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: DATA_ALIGNMENT vs. DECL_USER_ALIGNMENT
- From: David Edelsohn <dje at watson dot ibm dot com>
- To: dewar at gnat dot com (Robert Dewar)
- Cc: weigand at immd1 dot informatik dot uni-erlangen dot de, gcc-patches at gcc dot gnu dot org, gcc at gcc dot gnu dot org, kenner at vlsi1 dot ultra dot nyu dot edu, rth at redhat dot com
- Date: Thu, 10 Apr 2003 17:05:15 -0400
- Subject: Re: DATA_ALIGNMENT vs. DECL_USER_ALIGNMENT
>>>>> 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