aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2022-01-14 22:36:13 +0100
committerPierre-Marie de Rodat <derodat@adacore.com>2022-05-09 09:27:36 +0000
commitf920ab029d9a742b5be4a52d5b9be19142c814ce (patch)
treea03a36326a53630a7816878d12c225cb907d4ec1 /gcc
parent00b21aa982e71575f2a403c94e8086eb2a6264d2 (diff)
downloadgcc-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.adb4
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