From: Steve Baird Date: Wed, 13 May 2020 17:38:35 +0000 (-0700) Subject: [Ada] Simplify statically known Max_Size_In_Storage_Elements attribute in more cases X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1c4b5a795ad772b0d80d18757593808044b14e90;p=gcc.git [Ada] Simplify statically known Max_Size_In_Storage_Elements attribute in more cases gcc/ada/ * sem_attr.adb (Eval_Attribute): Generalize static evaluation of Size attribute references to also handle Max_Size_In_Storage_Elements references. --- diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 7a2f5953d38..0d1f9c59e88 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -8127,14 +8127,24 @@ package body Sem_Attr is -- for a size from an attribute definition clause). At this stage, this -- can happen only for types (e.g. record types) for which the size is -- always non-static. We exclude generic types from consideration (since - -- they have bogus sizes set within templates). + -- they have bogus sizes set within templates). We can also fold + -- Max_Size_In_Storage_Elements in the same cases. - elsif Id = Attribute_Size + elsif (Id = Attribute_Size or + Id = Attribute_Max_Size_In_Storage_Elements) and then Is_Type (P_Entity) and then (not Is_Generic_Type (P_Entity)) and then Known_Static_RM_Size (P_Entity) then - Compile_Time_Known_Attribute (N, RM_Size (P_Entity)); + declare + Attr_Value : Uint := RM_Size (P_Entity); + begin + if Id = Attribute_Max_Size_In_Storage_Elements then + Attr_Value := (Attr_Value + System_Storage_Unit - 1) + / System_Storage_Unit; + end if; + Compile_Time_Known_Attribute (N, Attr_Value); + end; return; -- We can fold 'Alignment applied to a type if the alignment is known