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