summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr_test.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gnat.dg/discr_test.adb')
-rw-r--r--gcc/testsuite/gnat.dg/discr_test.adb31
1 files changed, 31 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/discr_test.adb b/gcc/testsuite/gnat.dg/discr_test.adb
new file mode 100644
index 000000000..1a6a4d21d
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/discr_test.adb
@@ -0,0 +1,31 @@
+-- { dg-do compile }
+
+procedure Discr_Test is
+ procedure P is begin null; end P;
+
+ task type Tsk1 is
+ entry rvT;
+ end Tsk1;
+
+ task body Tsk1 is
+ begin
+ accept rvT;
+ end Tsk1;
+
+ task type Tsk2 (pS : not null access procedure) is
+ entry rvT;
+ end Tsk2;
+
+ task body Tsk2 is
+ tskT : Tsk1;
+ begin
+ accept rvT do
+ requeue tskT.rvT;
+ end rvT;
+ pS.all;
+ end;
+
+ Obj : Tsk2 (P'access);
+begin
+ Obj.rvT;
+end;