[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 957f40b..67cc218 100644 (file)
--- 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 (file)
--- 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