From: Marc Poulhiès <poulhies@adacore.com>
Date: Fri, 5 Sep 2025 13:36:05 +0000 (+0200)
Subject: ada: Add C binding for Is_Extended_Access_Type
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=7c6e533f0548ea278f21be99efdcb6d0e4042813;p=thirdparty%2Fgcc.git

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 --git a/gcc/ada/fe.h b/gcc/ada/fe.h
index 0b80a56cf19..5cc038a4e41 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 88a1841cb38..8d6cf54fa6c 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.