1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/no_exc_prop.ads b/gcc/testsuite/gnat.dg/no_exc_prop.ads
new file mode 100644
index 000000000..ef3caa3d2
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/no_exc_prop.ads
@@ -0,0 +1,9 @@
+pragma Restrictions (No_Exception_Propagation);
+package no_exc_prop is
+   protected Simple_Barrier is
+      entry Wait;
+      procedure Signal;
+   private
+         Signaled : Boolean := False;
+   end Simple_Barrier;
+end no_exc_prop;