procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

decl.c (gnat_to_gnu_field): Adjust again the packing for a field without strict alignment and with an...

Browse source 
* gcc-interface/decl.c (gnat_to_gnu_field): Adjust again the packing
	for a field without strict alignment and with an oversized clause.

From-SVN: r276873
This commit is contained in:
Eric Botcazou 2019-10-11 09:09:40 +00:00 • committed by Eric Botcazou
parent 76dcb70dab
commit 75a582cd9f
4 changed files with 36 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/ada/ChangeLog
View file

@ -1,3 +1,8 @@
2019-10-11 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c (gnat_to_gnu_field): Adjust again the packing
for a field without strict alignment and with an oversized clause.
2019-10-11 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Really test the

7
gcc/ada/gcc-interface/decl.c
View file

@ -7229,10 +7229,17 @@ gnat_to_gnu_field (Entity_Id gnat_field, tree gnu_record_type, int packed,
&& INTEGRAL_TYPE_P (TREE_TYPE (TYPE_FIELDS (gnu_field_type))))
gnu_field_type = TREE_TYPE (TYPE_FIELDS (gnu_field_type));
orig_field_type = gnu_field_type;
gnu_field_type
= make_type_from_size (gnu_field_type, gnu_size,
Has_Biased_Representation (gnat_field));
/* If the type has been extended, we may need to cap the alignment. */
if (!needs_strict_alignment
&& gnu_field_type != orig_field_type
&& tree_int_cst_lt (TYPE_SIZE (orig_field_type), gnu_size))
packed = adjust_packed (gnu_field_type, gnu_record_type, packed);
orig_field_type = gnu_field_type;
gnu_field_type = maybe_pad_type (gnu_field_type, gnu_size, 0, gnat_field,
false, false, definition, true);

4
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,7 @@
2019-10-11 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/specs/size_clause4.ads: New test.
2019-10-11 Ilya Leoshkevich <iii@linux.ibm.com>
PR target/77918

20
gcc/testsuite/gnat.dg/specs/size_clause4.ads Normal file
View file

@ -0,0 +1,20 @@
-- { dg-do compile }
with System;
package Size_Clause4 is
type Rec is record
A1 : System.Address;
A2 : System.Address;
I : aliased Integer;
end record;
for Rec use record
A1 at 0 range 0 .. 63;
A2 at 8 range 0 .. 63;
I at 16 range 0 .. 31;
end record;
for Rec'Size use 160;
end Size_Clause4;