From 7c6e533f0548ea278f21be99efdcb6d0e4042813 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Marc=20Poulhi=C3=A8s?= Date: Fri, 5 Sep 2025 15:36:05 +0200 Subject: [PATCH] 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. --- 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 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. -- 2.47.3