1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/test_prio.adb b/gcc/testsuite/gnat.dg/test_prio.adb
new file mode 100644
index 000000000..30d07a81e
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/test_prio.adb
@@ -0,0 +1,21 @@
+-- { dg-do run }
+-- { dg-options "-gnatws" }
+
+pragma Locking_Policy (Ceiling_Locking);
+with test_prio_p;use test_prio_p;
+with text_io; use text_io;
+procedure Test_Prio is
+   task Tsk is
+      pragma Priority (10);
+   end Tsk;
+   task body Tsk is
+   begin   
+      Sema2.Seize;
+      Sema1.Seize;
+      Put_Line ("error");
+   exception
+      when Program_Error => null;  -- OK
+   end;    
+begin   
+   null;   
+end;