aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/test_prio.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gnat.dg/test_prio.adb')
-rw-r--r--gcc/testsuite/gnat.dg/test_prio.adb20
1 files changed, 20 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 0000000..85e5cdd
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/test_prio.adb
@@ -0,0 +1,20 @@
+-- { do-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;