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

decl.c (gnat_to_gnu_field): Remove the wrapper around a misaligned integral type if...

Browse source 
* gcc-interface/decl.c (gnat_to_gnu_field): Remove the wrapper around
	a misaligned integral type if a size is specified for the field.

From-SVN: r196506
This commit is contained in:
Eric Botcazou 2013-03-06 18:00:50 +00:00 • committed by Eric Botcazou
parent 6f71e355eb
commit afb0fadf9d
4 changed files with 43 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
gcc/ada/ChangeLog
View file

@ -1,4 +1,9 @@
2013-06-03 Eric Botcazou <ebotcazou@adacore.com>
2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c (gnat_to_gnu_field): Remove the wrapper around
a misaligned integral type if a size is specified for the field.
2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/trans.c (Raise_Error_to_gnu) <CE_Index_Check_Failed>:
Record the unpadded type of the index type on the RCI stack.

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

@ -6619,6 +6619,13 @@ gnat_to_gnu_field (Entity_Id gnat_field, tree gnu_record_type, int packed,
<= 0)
gnu_field_type = TREE_TYPE (TYPE_FIELDS (gnu_field_type));
/* Similarly if the field's type is a misaligned integral type, but
there is no restriction on the size as there is no justification. */
if (!needs_strict_alignment
&& TYPE_IS_PADDING_P (gnu_field_type)
&& INTEGRAL_TYPE_P (TREE_TYPE (TYPE_FIELDS (gnu_field_type))))
gnu_field_type = TREE_TYPE (TYPE_FIELDS (gnu_field_type));
gnu_field_type
= make_type_from_size (gnu_field_type, gnu_size,
Has_Biased_Representation (gnat_field));

6
gcc/testsuite/ChangeLog
View file

@ -1,4 +1,8 @@
2013-06-03 Eric Botcazou <ebotcazou@adacore.com>
2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/specs/aggr6.ads: New test.
2013-03-06 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/loop_optimization15.ad[sb]: New test.

25
gcc/testsuite/gnat.dg/specs/aggr6.ads Normal file
View file

@ -0,0 +1,25 @@
-- { dg-do compile }
package Aggr6 is
type B15_T is mod 2 ** 15;
for B15_T'Size use 15;
for B15_T'Alignment use 1;
type B17_T is mod 2 ** 17;
for B17_T'Size use 17;
for B17_T'Alignment use 1;
type Rec_T is record
A : B17_T;
B : B15_T;
end record;
for Rec_T use record
A at 0 range 0 .. 16;
B at 0 range 17 .. 31;
end record;
for Rec_T'Size use 32;
C : constant Rec_T := (A => 1, B => 0);
end Aggr6;