https://gcc.gnu.org/g:7c6e533f0548ea278f21be99efdcb6d0e4042813

commit r16-3974-g7c6e533f0548ea278f21be99efdcb6d0e4042813
Author: Marc Poulhiès <poulh...@adacore.com>
Date:   Fri Sep 5 15:36:05 2025 +0200

    ada: Add C binding for Is_Extended_Access_Type
    
    gcc/ada/ChangeLog:
    
            * fe.h (Is_Extended_Access_Type): Add C bindings.
            * sem_util.ads (Is_Extended_Access_Type): Add comment that any
            change to the function must take care of the C binding.

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

diff --git a/gcc/ada/fe.h b/gcc/ada/fe.h
index 0b80a56cf195..5cc038a4e41a 100644
--- a/gcc/ada/fe.h
+++ b/gcc/ada/fe.h
@@ -315,6 +315,7 @@ extern Boolean Is_Null_Range                (Node_Id, 
Node_Id);
 #define First_Actual                   sem_util__first_actual
 #define Has_Storage_Model_Type_Aspect  
sem_util__storage_model_support__has_storage_model_type_aspect
 #define Has_Designated_Storage_Model_Aspect 
sem_util__storage_model_support__has_designated_storage_model_aspect
+#define Is_Extended_Access_Type sem_util__is_extended_access_type
 #define Is_Expression_Function         sem_util__is_expression_function
 #define Is_Variable_Size_Record        sem_util__is_variable_size_record
 #define Needs_Secondary_Stack          sem_util__needs_secondary_stack
@@ -327,6 +328,7 @@ extern Entity_Id Defining_Entity            (Node_Id);
 extern Node_Id First_Actual                    (Node_Id);
 extern Boolean Has_Storage_Model_Type_Aspect   (Entity_Id);
 extern Boolean Has_Designated_Storage_Model_Aspect (Entity_Id);
+extern Boolean Is_Extended_Access_Type (Entity_Id);
 extern Boolean Is_Expression_Function          (Entity_Id);
 extern Boolean Is_Variable_Size_Record                 (Entity_Id);
 extern Boolean Needs_Secondary_Stack           (Entity_Id);
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 88a1841cb389..8d6cf54fa6c6 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -1506,6 +1506,8 @@ package Sem_Util is
    --  for which the Extended_Access aspect has been specified, either
    --  explicitly or by inheritance.
 
+   --  WARNING: There is a matching C declaration of this subprogram in fe.h
+
    function Is_Function_With_Side_Effects (Subp : Entity_Id) return Boolean;
    --  Return True if Subp is a function with side effects, ie. it has a
    --  (direct or inherited) pragma Side_Effects with static value True.

Reply via email to