This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r130406 - in /trunk/gcc: ada/ChangeLog ada/decl...
- From: ebotcazou at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Sun, 25 Nov 2007 13:37:13 -0000
- Subject: r130406 - in /trunk/gcc: ada/ChangeLog ada/decl...
Author: ebotcazou
Date: Sun Nov 25 13:37:12 2007
New Revision: 130406
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130406
Log:
* decl.c (gnat_to_gnu_entity) <E_Record_Type>: If the type has
strict alignment, no alignment clause and a known static size, cap
the type alignment to the greatest power of 2 factor of the size.
(gnat_to_gnu_field): If the field has a component clause, is aliased
or of a type with strict alignment, require that its size be equal to
that of the type.
(validate_size): Use the type size as the minimum size for a type with
strict alignment.
Added:
trunk/gcc/testsuite/gnat.dg/specs/size_clause1.ads
trunk/gcc/testsuite/gnat.dg/specs/size_clause2.ads
trunk/gcc/testsuite/gnat.dg/specs/size_clause3.ads
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/decl.c
trunk/gcc/testsuite/ChangeLog