[Ada] Fix bogus error for bit-packed array with volatile component
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 4 Aug 2020 13:08:56 +0000 (15:08 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 21 Oct 2020 07:22:46 +0000 (03:22 -0400)
gcc/ada/

* freeze.adb (Check_Strict_Alignment): Do not set the flag for
a bit-packed array type, even if it is a by-reference type.

gcc/ada/freeze.adb

index f090b3efbb3c995f1811d829b45fd4420cf306c9..08c78a3c0d2fafe3692cd9fa5095058404289415 100644 (file)
@@ -1609,7 +1609,10 @@ package body Freeze is
       Comp  : Entity_Id;
 
    begin
-      if Is_By_Reference_Type (E) then
+      --  Bit-packed array types do not require strict alignment, even if they
+      --  are by-reference types, because they are accessed in a special way.
+
+      if Is_By_Reference_Type (E) and then not Is_Bit_Packed_Array (E) then
          Set_Strict_Alignment (E);
 
       elsif Is_Array_Type (E) then