[gcc r14-1258] ada: Refine types for an accessibility-checking routine

[gcc r14-1258] ada: Refine types for an accessibility-checking routine

[Marc Poulhi?s]

https://gcc.gnu.org/g:da59893d855a2d10e9c94b57c9b2d4d91f05a140

commit r14-1258-gda59893d855a2d10e9c94b57c9b2d4d91f05a140
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Wed Feb 1 21:47:32 2023 +0100

    ada: Refine types for an accessibility-checking routine
    
    Code cleanup related to work on expression functions for GNATprove
    (which require accessibility checks even when they are not expanded
    and thus have no explicit return statements).
    
    gcc/ada/
    
            * accessibility.adb
            (Is_Formal_Of_Current_Function): This routine expects an entity
            reference and not the entity itself, so its parameter is a Node_Id
            and not an Entity_Id.

Diff:
---
 gcc/ada/accessibility.adb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/ada/accessibility.adb b/gcc/ada/accessibility.adb
index c65c26d8875..bc897d1ef18 100644
--- a/gcc/ada/accessibility.adb
+++ b/gcc/ada/accessibility.adb
@@ -1153,7 +1153,7 @@ package body Accessibility is
       --  Obtain the first selector or choice from a given association
 
       function Is_Formal_Of_Current_Function
-        (Assoc_Expr : Entity_Id) return Boolean;
+        (Assoc_Expr : Node_Id) return Boolean;
       --  Predicate to test if a given expression associated with a
       --  discriminant is a formal parameter to the function in which the
       --  return construct we checking applies to.
@@ -1180,7 +1180,7 @@ package body Accessibility is
       -----------------------------------
 
       function Is_Formal_Of_Current_Function
-        (Assoc_Expr : Entity_Id) return Boolean is
+        (Assoc_Expr : Node_Id) return Boolean is
       begin
          return Is_Entity_Name (Assoc_Expr)
                   and then Enclosing_Subprogram