From: Eric Botcazou Date: Fri, 7 Mar 2008 18:41:01 +0000 (+0000) Subject: decl.c (gnat_to_gnu_entity): Add comment for the packed array type case. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b49a1a1e0fef509deb7d91ef348ad3793478f471;p=gcc.git decl.c (gnat_to_gnu_entity): Add comment for the packed array type case. * decl.c (gnat_to_gnu_entity) : Add comment for the packed array type case. * utils.c (build_template): Use a loop to strip padding or containing records for justified modular types. From-SVN: r133014 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9d92d7b732f..5632ddfc694 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,10 @@ +2008-03-07 Eric Botcazou + + * decl.c (gnat_to_gnu_entity) : Add + comment for the packed array type case. + * utils.c (build_template): Use a loop to strip padding or + containing records for justified modular types. + 2008-03-07 Eric Botcazou * decl.c (gnat_to_gnu_entity): Issue a warning on suspiciously diff --git a/gcc/ada/decl.c b/gcc/ada/decl.c index 48279391b30..c1d02ec5d5e 100644 --- a/gcc/ada/decl.c +++ b/gcc/ada/decl.c @@ -1493,6 +1493,11 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition) = UI_To_gnu (RM_Size (gnat_entity), bitsizetype); gnu_type = make_node (RECORD_TYPE); TYPE_NAME (gnu_type) = create_concat_name (gnat_entity, "JM"); + + /* Propagate the alignment of the modular type to the record. + This means that bitpacked arrays have "ceil" alignment for + their size, which may seem counter-intuitive but makes it + possible to easily overlay them on modular types. */ TYPE_ALIGN (gnu_type) = TYPE_ALIGN (gnu_field_type); TYPE_USER_ALIGN (gnu_type) = TYPE_USER_ALIGN (gnu_field_type); TYPE_PACKED (gnu_type) = 1; diff --git a/gcc/ada/utils.c b/gcc/ada/utils.c index bdce72a6d4d..46ce865bdb4 100644 --- a/gcc/ada/utils.c +++ b/gcc/ada/utils.c @@ -2486,9 +2486,9 @@ build_template (tree template_type, tree array_type, tree expr) tree bound_list = NULL_TREE; tree field; - if (TREE_CODE (array_type) == RECORD_TYPE - && (TYPE_IS_PADDING_P (array_type) - || TYPE_JUSTIFIED_MODULAR_P (array_type))) + while (TREE_CODE (array_type) == RECORD_TYPE + && (TYPE_IS_PADDING_P (array_type) + || TYPE_JUSTIFIED_MODULAR_P (array_type))) array_type = TREE_TYPE (TYPE_FIELDS (array_type)); if (TREE_CODE (array_type) == ARRAY_TYPE