From: Eric Botcazou <ebotcazou@adacore.com>
Date: Thu, 27 Jan 2022 14:12:27 +0000 (+0100)
Subject: [Ada] Export Is_Expression_Function predicate for use in gigi
X-Git-Tag: basepoints/gcc-14~6954
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=37083a8d9c68b88b84c8c0d32f4d7b170d6dc6ef;p=thirdparty%2Fgcc.git

[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 --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