decl.c (gnat_to_gnu_entity): If the type requires strict alignment, then set the...
authorEric Botcazou <ebotcazou@adacore.com>
Sat, 29 Jun 2019 08:10:20 +0000 (08:10 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Sat, 29 Jun 2019 08:10:20 +0000 (08:10 +0000)
commit8623afc48b8125bf7c98f28d913def7f401570ca
tree716529cf3ec42c151359f725dc3e5bedfada5f11
parent26cf78991015e0f96f9bc4d771816322e58e56ec
decl.c (gnat_to_gnu_entity): If the type requires strict alignment, then set the RM size to the type size.

* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: If the
type requires strict alignment, then set the RM size to the type size.
Rework handling of alignment and sizes of tagged types in ASIS mode.
(validate_size): Rename local variable and remove special handling for
strict-alignment types.
* gcc-interface/utils.c (finish_record_type): Constify local variables
and use properly typed constants.

From-SVN: r272820
gcc/ada/ChangeLog
gcc/ada/gcc-interface/decl.c
gcc/ada/gcc-interface/utils.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/specs/size_clause3.ads