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

[Ada] Fix missing error on actual for In/Out parameter

Browse source 
The compiler was failing to give an error on the result of a call to the
Input attribute passed as actual for an In/Out parameter.

gcc/ada/

	* sem_util.adb (Is_OK_Variable_For_Out_Formal): Remove test on
	Comes_From_Source in the condition dealing with the expression
	of an N_Unchecked_Type_Conversion node.
This commit is contained in:
Eric Botcazou 2022-01-14 22:36:13 +01:00 • committed by Pierre-Marie de Rodat
parent 00b21aa982
commit f920ab029d
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/ada/sem_util.adb
View file

@ -19533,9 +19533,7 @@ package body Sem_Util is
if Nkind (Original_Node (AV)) in N_Function_Call | N_Aggregate then
return False;
elsif Comes_From_Source (AV)
and then Nkind (Original_Node (Expression (AV))) = N_Function_Call
then
elsif Nkind (Original_Node (Expression (AV))) = N_Function_Call then
return False;
elsif Nkind (Original_Node (AV)) = N_Type_Conversion then