procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ada: Spurious error on nested call using the prefix notation

Browse source 
gcc/ada/

	* exp_ch6.adb
	(Build_Static_Check_Helper_Call): Perform implicit type conversion
	to ensure matching types and avoid reporting spurious errors.
This commit is contained in:
Javier Miranda 2022-11-19 19:46:31 +00:00 • committed by Marc Poulhiès
parent 188965afb1
commit 7dc44f280e
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
gcc/ada/exp_ch6.adb
View file

@ -7552,9 +7552,10 @@ package body Exp_Ch6 is
Remove_Side_Effects (A);
if Is_Controlling_Actual (A)
and then Etype (F) /= Etype (A)
then
-- Ensure matching types to avoid reporting spurious errors since
-- the called helper may have been built for a parent type.
if Etype (F) /= Etype (A) then
Append_To (Actuals,
Unchecked_Convert_To (Etype (F), New_Copy_Tree (A)));
else