From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-71719-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 11121 invoked by alias); 10 Apr 2003 21:00:18 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 11109 invoked from network); 10 Apr 2003 21:00:17 -0000
Received: from unknown (HELO nile.gnat.com) (205.232.38.5)
  by sources.redhat.com with SMTP; 10 Apr 2003 21:00:17 -0000
Received: by nile.gnat.com (Postfix, from userid 338)
	id 76EB1F2DF6; Thu, 10 Apr 2003 17:00:17 -0400 (EDT)
To: dewar@gnat.com, weigand@immd1.informatik.uni-erlangen.de
Subject: Re: DATA_ALIGNMENT vs. DECL_USER_ALIGNMENT
Cc: gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org,
	kenner@vlsi1.ultra.nyu.edu, rth@redhat.com
Message-Id: <20030410210017.76EB1F2DF6@nile.gnat.com>
Date: Thu, 10 Apr 2003 21:10:00 -0000
From: dewar@gnat.com (Robert Dewar)
X-SW-Source: 2003-04/txt/msg00462.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?
> 
> That sounds like a pretty fundamental part of the idea of 'type', not
> language-specific.

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