mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-12-19 09:05:17 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

[Ada] Export No_Exception_Propagation_Active for use by gigi

Browse Source 
gcc/ada/

	* fe.h (No_Exception_Propagation_Active): Declare.
	* restrict.ads (No_Exception_Propagation_Active): Add WARNING line.
This commit is contained in:
Eric Botcazou 2021-10-06 18:07:15 +02:00 committed by Pierre-Marie de Rodat
parent b89465c941
commit ddbcda718c
2 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gcc/ada/fe.h
View File

@ -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: */

2
gcc/ada/restrict.ads
View File

@ -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