From: Eric Botcazou Date: Wed, 6 Oct 2021 16:07:15 +0000 (+0200) Subject: [Ada] Export No_Exception_Propagation_Active for use by gigi X-Git-Tag: basepoints/gcc-13~4005 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ddbcda718c3f7a3ce68906932d4e19478cfe3db6;p=thirdparty%2Fgcc.git [Ada] Export No_Exception_Propagation_Active for use by gigi gcc/ada/ * fe.h (No_Exception_Propagation_Active): Declare. * restrict.ads (No_Exception_Propagation_Active): Add WARNING line. --- diff --git a/gcc/ada/fe.h b/gcc/ada/fe.h index 957f40b26a3a..67cc2181c7a4 100644 --- a/gcc/ada/fe.h +++ b/gcc/ada/fe.h @@ -260,6 +260,8 @@ extern Boolean Back_End_Exceptions (void); restrict__check_no_implicit_task_alloc #define No_Exception_Handlers_Set \ restrict__no_exception_handlers_set +#define No_Exception_Propagation_Active \ + restrict__no_exception_propagation_active extern void Check_Elaboration_Code_Allowed (Node_Id); extern void Check_Implicit_Dynamic_Code_Allowed (Node_Id); @@ -267,6 +269,7 @@ extern void Check_No_Implicit_Heap_Alloc (Node_Id); extern void Check_No_Implicit_Protected_Alloc (Node_Id); extern void Check_No_Implicit_Task_Alloc (Node_Id); extern Boolean No_Exception_Handlers_Set (void); +extern Boolean No_Exception_Propagation_Active (void); /* sem_aggr: */ diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index eec85c21283e..183973bbca92 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -402,6 +402,8 @@ package Restrict is -- Test to see if current restrictions settings specify that no -- exception propagation is activated. + -- WARNING: There is a matching C declaration of this subprogram in fe.h + function Process_Restriction_Synonyms (N : Node_Id) return Name_Id; -- Id is a node whose Chars field contains the name of a restriction. -- If it is one of synonyms that we allow for historical purposes (for