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

[Ada] Add missing conversion in call to Finalize primitive

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

gcc/ada/

	* exp_ch7.adb (Make_Final_Call): Set the type of the object, if
	it is unanalyzed, before calling Convert_View on it.
This commit is contained in:
Eric Botcazou 2020-01-29 16:15:09 +01:00 committed by Pierre-Marie de Rodat
parent 3ab26de1c0
commit 25a76d621a
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ada/exp_ch7.adb
View File

@ -8432,6 +8432,15 @@ package body Exp_Ch7 is
end if;
end;
-- If the object is unanalyzed, set its expected type for use in
-- Convert_View in case an additional conversion is needed.
if No (Etype (Ref))
and then Nkind (Ref) /= N_Unchecked_Type_Conversion
then
Set_Etype (Ref, Typ);
end if;
Ref := Convert_View (Fin_Id, Ref);
end if;