[Ada] Export Is_Expression_Function predicate for use in gigi
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 27 Jan 2022 14:12:27 +0000 (15:12 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 10 May 2022 08:19:30 +0000 (08:19 +0000)
gcc/ada/

* fe.h (Is_Expression_Function): Declare.
* sem_util.ads (Is_Expression_Function): Add warning line.

gcc/ada/fe.h
gcc/ada/sem_util.ads

index 33be99e..4bdc023 100644 (file)
@@ -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);
 
index 78fc347..caa28eb 100644 (file)
@@ -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