diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2022-01-14 22:36:13 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-09 09:27:36 +0000 |
commit | f920ab029d9a742b5be4a52d5b9be19142c814ce (patch) | |
tree | a03a36326a53630a7816878d12c225cb907d4ec1 /gcc | |
parent | 00b21aa982e71575f2a403c94e8086eb2a6264d2 (diff) | |
download | gcc-f920ab029d9a742b5be4a52d5b9be19142c814ce.zip gcc-f920ab029d9a742b5be4a52d5b9be19142c814ce.tar.gz gcc-f920ab029d9a742b5be4a52d5b9be19142c814ce.tar.bz2 |
[Ada] Fix missing error on actual for In/Out parameter
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.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/sem_util.adb | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 7f56ab4..86bd296 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -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 |