]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Add C binding for Is_Extended_Access_Type
authorMarc Poulhiès <poulhies@adacore.com>
Fri, 5 Sep 2025 13:36:05 +0000 (15:36 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 19 Sep 2025 09:26:10 +0000 (11:26 +0200)
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
gcc/ada/sem_util.ads

index 0b80a56cf19555423cecad5d8465facb98cc735f..5cc038a4e41a903b604ba447918de547157951a9 100644 (file)
@@ -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);
index 88a1841cb38920851856308f13b491249d98790b..8d6cf54fa6c6f13ea0a05c2500aab61ce33959d9 100644 (file)
@@ -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.