mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-28 13:31:23 +08:00
Code Issues Packages Projects Releases Wiki Activity

ada: Do not share Packed Array Type if sizes of types differ

Browse Source 
If a subtype has a Size attribute value different than the size of its
ancestor, then the Packed Array Type can't be shared and a new one must
be created.

gcc/ada/

	* exp_pakd.adb (Create_Packed_Array_Impl_Type): Do not share PAT
	if sizes of types differ.
This commit is contained in:
Marc Poulhiès 2022-11-15 16:47:59 +01:00
parent 6f089469f4
commit a186dd158d
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gcc/ada/exp_pakd.adb
View File

@ -671,11 +671,11 @@ package body Exp_Pakd is
return;
end if;
-- If our immediate ancestor subtype is constrained, and it already
-- has a packed array type, then just share the same type, since the
-- bounds must be the same. If the ancestor is not an array type but
-- a private type, as can happen with multiple instantiations, create
-- a new packed type, to avoid privacy issues.
-- If our immediate ancestor subtype is constrained, and it already has
-- a packed array type, and it has the same size, then just share the
-- same type, since the bounds must be the same. If the ancestor is not
-- an array type but a private type, as can happen with multiple
-- instantiations, create a new packed type, to avoid privacy issues.
if Ekind (Typ) = E_Array_Subtype then
Ancest := Ancestor_Subtype (Typ);
@ -684,6 +684,9 @@ package body Exp_Pakd is
and then Is_Array_Type (Ancest)
and then Is_Constrained (Ancest)
and then Present (Packed_Array_Impl_Type (Ancest))
and then Known_Esize (Typ)
and then Known_Esize (Ancest)
and then Esize (Typ) = Esize (Ancest)
then
Set_Packed_Array_Impl_Type (Typ, Packed_Array_Impl_Type (Ancest));
return;