From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32128 invoked by alias); 10 Apr 2003 20:52:26 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 32101 invoked from network); 10 Apr 2003 20:52:25 -0000 Received: from unknown (HELO vlsi1.ultra.nyu.edu) (128.122.140.213) by sources.redhat.com with SMTP; 10 Apr 2003 20:52:25 -0000 Received: by vlsi1.ultra.nyu.edu (4.1/1.34) id AA02451; Thu, 10 Apr 03 16:56:32 EDT Date: Thu, 10 Apr 2003 21:04:00 -0000 From: kenner@vlsi1.ultra.nyu.edu (Richard Kenner) Message-Id: <10304102056.AA02451@vlsi1.ultra.nyu.edu> To: geoffk@geoffk.org Subject: Re: DATA_ALIGNMENT vs. DECL_USER_ALIGNMENT Cc: gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org X-SW-Source: 2003-04/txt/msg00460.txt.bz2 Is it not true in Ada that if something is a particular type, then it has the properties (including alignment) of that type? This is the terminology point that Robert alluded to. If something has an alignment of 64 bits, it *also* has an alignment of 32 bits and of 16 bits, etc. So an object that is aligned to 64 bits and is of a type that is aligned to 32 bits *has* "the properties (including alignment)" of its type.