[Ada] Fix error on too large size clause for bit-packed array
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 29 Dec 2021 22:33:21 +0000 (23:33 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 10 Jan 2022 09:38:44 +0000 (09:38 +0000)
gcc/ada/

* exp_pakd.adb (Install_PAT): Do not reset the alignment here.
* layout.adb (Layout_Type): Call Adjust_Esize_Alignment after having
copied the RM_Size onto the Esize when the latter is too small.

gcc/ada/exp_pakd.adb
gcc/ada/layout.adb

index 779dbb3..78093f8 100644 (file)
@@ -577,7 +577,6 @@ package body Exp_Pakd is
 
          --  Set remaining fields of packed array type
 
-         Reinit_Alignment              (PAT);
          Set_Parent                    (PAT, Empty);
          Set_Associated_Node_For_Itype (PAT, Typ);
          Set_Original_Array_Type       (PAT, Typ);
index 092f2f5..5a6acf6 100644 (file)
@@ -616,7 +616,7 @@ package body Layout is
                Size : constant Uint := RM_Size (E);
 
             begin
-               Set_Esize (E, RM_Size (E));
+               Set_Esize (E, Size);
 
                --  For scalar types, increase Object_Size to power of 2, but
                --  not less than a storage unit in any case (i.e., normally
@@ -641,6 +641,11 @@ package body Layout is
                   loop
                      Set_Alignment (E, 2 * Alignment (E));
                   end loop;
+
+               --  For the other types, apply standard adjustments
+
+               else
+                  Adjust_Esize_Alignment (E);
                end if;
             end;
          end if;