[gcc r12-4308] [Ada] Export No_Exception_Propagation_Active for use by gigi

[gcc r12-4308] [Ada] Export No_Exception_Propagation_Active for use by gigi

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:ddbcda718c3f7a3ce68906932d4e19478cfe3db6

commit r12-4308-gddbcda718c3f7a3ce68906932d4e19478cfe3db6
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Wed Oct 6 18:07:15 2021 +0200

    [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:
---
 gcc/ada/fe.h         | 3 +++
 gcc/ada/restrict.ads | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/gcc/ada/fe.h b/gcc/ada/fe.h
index 957f40b26a3..67cc2181c7a 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 eec85c21283..183973bbca9 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