[gcc r13-253] [Ada] Export Is_Expression_Function predicate for use in gigi

[Pierre-Marie de Rodat <pmderodat@gcc.gnu.org>]

https://gcc.gnu.org/g:37083a8d9c68b88b84c8c0d32f4d7b170d6dc6ef

commit r13-253-g37083a8d9c68b88b84c8c0d32f4d7b170d6dc6ef
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Thu Jan 27 15:12:27 2022 +0100

    [Ada] Export Is_Expression_Function predicate for use in gigi
    
    gcc/ada/
    
            * fe.h (Is_Expression_Function): Declare.
            * sem_util.ads (Is_Expression_Function): Add warning line.

Diff:
---
 gcc/ada/fe.h         | 4 +++-
 gcc/ada/sem_util.ads | 2 ++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/fe.h b/gcc/ada/fe.h
index 33be99e3f10..4bdc023b9e5 100644
--- a/gcc/ada/fe.h
+++ b/gcc/ada/fe.h
@@ -305,13 +305,15 @@ extern Boolean Compile_Time_Known_Value	(Node_Id);
 
 #define Defining_Entity			sem_util__defining_entity
 #define First_Actual			sem_util__first_actual
+#define Is_Expression_Function		sem_util__is_expression_function
 #define Is_Variable_Size_Record 	sem_util__is_variable_size_record
 #define Next_Actual			sem_util__next_actual
 #define Requires_Transient_Scope	sem_util__requires_transient_scope
 
 extern Entity_Id Defining_Entity	(Node_Id);
 extern Node_Id First_Actual		(Node_Id);
-extern Boolean Is_Variable_Size_Record 	(Entity_Id Id);
+extern Boolean Is_Expression_Function	(Entity_Id);
+extern Boolean Is_Variable_Size_Record 	(Entity_Id);
 extern Node_Id Next_Actual		(Node_Id);
 extern Boolean Requires_Transient_Scope	(Entity_Id);
 
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 78fc347464e..caa28eb6015 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -2073,6 +2073,8 @@ package Sem_Util is
    function Is_Expression_Function (Subp : Entity_Id) return Boolean;
    --  Determine whether subprogram [body] Subp denotes an expression function
 
+   --  WARNING: There is a matching C declaration of this subprogram in fe.h
+
    function Is_Expression_Function_Or_Completion
      (Subp : Entity_Id) return Boolean;
    --  Determine whether subprogram [body] Subp denotes an expression function