Zero-sized fields do not get processed by finish_record_type: they're
removed from the field list before and reinserted after, so their
DECL_SIZE_UNIT remains unset, causing the translation of assignment
statements with use_memset_p, in quite unusual circumstances, to use a
NULL_TREE as the memset length.  This patch sets DECL_SIZE_UNIT for
the zero-sized fields, that don't go through language-independent
layout, in language-specific layout.

Regstrapped on x86_64-linux-gnu.  I'm checking this in.


for  gcc/ada/ChangeLog

        * gcc-interface/decl.c (components_to_record): Set
        DECL_SIZE_UNIT for zero-sized fields.
---
 gcc/ada/gcc-interface/decl.c |    1 +
 1 file changed, 1 insertion(+)

diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c
index 67b938ee7eef0..77c6c9f12e76c 100644
--- a/gcc/ada/gcc-interface/decl.c
+++ b/gcc/ada/gcc-interface/decl.c
@@ -7928,6 +7928,7 @@ components_to_record (Node_Id gnat_component_list, 
Entity_Id gnat_record_type,
 
       if (DECL_SIZE (gnu_field) && integer_zerop (DECL_SIZE (gnu_field)))
        {
+         DECL_SIZE_UNIT (gnu_field) = size_zero_node;
          DECL_FIELD_OFFSET (gnu_field) = size_zero_node;
          SET_DECL_OFFSET_ALIGN (gnu_field, BIGGEST_ALIGNMENT);
          DECL_FIELD_BIT_OFFSET (gnu_field) = bitsize_zero_node;

-- 
Alexandre Oliva, freedom fighter  he/him   https://FSFLA.org/blogs/lxo
Be the change, be Free!        FSF VP & FSF Latin America board member
GNU Toolchain Engineer                        Free Software Evangelist
Hay que enGNUrecerse, pero sin perder la terGNUra jamás - Che GNUevara

Reply via email to