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

[Ada] Fix spurious error on derived private type with predicate

Browse Source 
2020-06-16  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* sem_ch4.adb (Common_Type): Go to Underlying_Full_View, if any.
This commit is contained in:
Eric Botcazou 2020-04-09 12:56:01 +02:00 committed by Pierre-Marie de Rodat
parent eb6dc6f301
commit dad94b3aca
1 changed files with 16 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
gcc/ada/sem_ch4.adb
View File

@ -3291,20 +3291,30 @@ package body Sem_Ch4 is
T2 : Entity_Id) return Boolean
is
function Common_Type (T : Entity_Id) return Entity_Id;
-- Find non-private full view if any, without going to ancestor type
-- (as opposed to Underlying_Type).
-- Find non-private underlying full view if any, without going to
-- ancestor type (as opposed to Underlying_Type).
-----------------
-- Common_Type --
-----------------
function Common_Type (T : Entity_Id) return Entity_Id is
CT : Entity_Id;
begin
if Is_Private_Type (T) and then Present (Full_View (T)) then
return Base_Type (Full_View (T));
else
return Base_Type (T);
CT := T;
if Is_Private_Type (CT) and then Present (Full_View (CT)) then
CT := Full_View (CT);
end if;
if Is_Private_Type (CT)
and then Present (Underlying_Full_View (CT))
then
CT := Underlying_Full_View (CT);
end if;
return Base_Type (CT);
end Common_Type;
-- Start of processing for Compatible_Types_In_Predicate