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.