From: Piotr Trojanek <trojanek@adacore.com>
Date: Tue, 2 Mar 2021 14:37:36 +0000 (+0100)
Subject: [Ada] Adapt Is_Actual_Parameter to also work for entry parameters
X-Git-Tag: basepoints/gcc-13~6799
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=7ef1d8e88bb7aa9fa148a63bec25b740b5d997c8;p=thirdparty%2Fgcc.git

[Ada] Adapt Is_Actual_Parameter to also work for entry parameters

gcc/ada/

	* sem_util.ads (Is_Actual_Parameter): Update comment.
	* sem_util.adb (Is_Actual_Parameter): Also detect entry parameters.
---

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index aa2449329cd3..74637ec3d6d2 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -15467,7 +15467,9 @@ package body Sem_Util is
          when N_Parameter_Association =>
             return N = Explicit_Actual_Parameter (Parent (N));
 
-         when N_Subprogram_Call =>
+         when N_Entry_Call_Statement
+            | N_Subprogram_Call
+         =>
             return Is_List_Member (N)
               and then
                 List_Containing (N) = Parameter_Associations (Parent (N));
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index a986ae655471..904821adfe6c 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -1726,7 +1726,7 @@ package Sem_Util is
    --  subprogram call.
 
    function Is_Actual_Parameter (N : Node_Id) return Boolean;
-   --  Determines if N is an actual parameter in a subprogram call
+   --  Determines if N is an actual parameter in a subprogram or entry call
 
    function Is_Actual_Tagged_Parameter (N : Node_Id) return Boolean;
    --  Determines if N is an actual parameter of a formal of tagged type in a