From: Eric Botcazou Date: Sat, 2 Apr 2016 08:56:19 +0000 (+0000) Subject: decl.c (components_to_record): Restrict the previous change to fields with variable... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7d9979e629a54f0d7e3378c90c7eb1adfd76196e;p=gcc.git decl.c (components_to_record): Restrict the previous change to fields with variable size. * gcc-interface/decl.c (components_to_record): Restrict the previous change to fields with variable size. From-SVN: r234696 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 0c9b179792d..6f84ab32693 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,6 +1,11 @@ +2016-04-02 Eric Botcazou + + * gcc-interface/decl.c (components_to_record): Restrict the previous + change to fields with variable size. + 2016-03-27 Eric Botcazou - * gcc-interface/decl.c (components_to_record): Add special case for + * gcc-interface/decl.c (components_to_record): Add special case for single field with representation clause at offset 0. 2016-03-16 Svante Signell diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index ad8452810d4..87026e742bb 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -7606,13 +7606,15 @@ components_to_record (tree gnu_record_type, Node_Id gnat_component_list, if (p_gnu_rep_list && gnu_rep_list) *p_gnu_rep_list = chainon (*p_gnu_rep_list, gnu_rep_list); - /* If only one field has a rep clause and it starts at 0, put back the field - at the head of the regular field list. This will avoid creating a useless - REP part below and deal with the annoying case of an extension of a record - with variable size and rep clause, for which the _Parent field is forced - at offset 0 and has variable size, which we do not support below. */ + /* Deal with the annoying case of an extension of a record with variable size + and partial rep clause, for which the _Parent field is forced at offset 0 + and has variable size, which we do not support below. Note that we cannot + do it if the field has fixed size because we rely on the presence of the + REP part built below to trigger the reordering of the fields in a derived + record type when all the fields have a fixed position. */ else if (gnu_rep_list && !DECL_CHAIN (gnu_rep_list) + && TREE_CODE (DECL_SIZE (gnu_rep_list)) != INTEGER_CST && !variants_have_rep && first_free_pos && integer_zerop (first_free_pos)