OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Deal with derived record types in Has_Compatible_Representation

Browse Source 
More precisely, untagged record types, as tagged record types are already
handled by the predicate.  If the derived type has not been given its own
representation clause, then the representations are the same.

gcc/ada/

	* sem_ch13.adb (Has_Compatible_Representation): Return true for
	derived untagged record types without representation clause.
This commit is contained in:
Eric Botcazou 2022-03-21 08:35:53 +01:00 committed by Pierre-Marie de Rodat
parent e2f7d58cda
commit d678717ab2
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gcc/ada/sem_ch13.adb
View File

@ -13539,6 +13539,16 @@ package body Sem_Ch13 is
if Is_Packed (T1) /= Is_Packed (T2) then
return False;
-- If the operand type is derived from the target type and no clause
-- has been given after the derivation, then the representations are
-- the same since the derived type inherits that of the parent type.
elsif Is_Derived_Type (T2)
and then Etype (T2) = T1
and then not Has_Record_Rep_Clause (T2)
then
return True;
-- Otherwise we must check components. Typ2 maybe a constrained
-- subtype with fewer components, so we compare the components
-- of the base types.