diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2021-10-06 18:07:15 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-11 13:38:12 +0000 |
| commit | ddbcda718c3f7a3ce68906932d4e19478cfe3db6 (patch) | |
| tree | f7ef6c85536925adba3092942b6c50c7950134fd | |
| parent | b89465c94165676ee278631b144781f1c739e680 (diff) | |
| download | gcc-ddbcda718c3f7a3ce68906932d4e19478cfe3db6.zip gcc-ddbcda718c3f7a3ce68906932d4e19478cfe3db6.tar.gz gcc-ddbcda718c3f7a3ce68906932d4e19478cfe3db6.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/fe.h | 3 | ||||
| -rw-r--r-- | gcc/ada/restrict.ads | 2 |
2 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/fe.h b/gcc/ada/fe.h index 957f40b..67cc218 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 eec85c2..183973b 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 |