From 5ff5f7210f74f3190ec50b526a0dfb5be462b28b Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Tue, 4 Aug 2020 15:08:56 +0200 Subject: [PATCH] [Ada] Fix bogus error for bit-packed array with volatile component 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 | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb index f090b3efbb3..08c78a3c0d2 100644 --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -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 -- 2.30.2