1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/task1.ads b/gcc/testsuite/gnat.dg/specs/task1.ads
new file mode 100644
index 0000000..c108d29
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/task1.ads
@@ -0,0 +1,16 @@
+-- { dg-do compile }
+-- { dg-options "-gnatct" }
+
+package Task1 is
+
+   type Cable_Task_1 (C : Boolean) is limited private;
+
+   type Cable_Rec is limited record
+      Tsk_1 : Cable_Task_1 (C => False);
+   end record;
+
+private
+   task type Cable_Task_1 (C : Boolean) is
+end Cable_Task_1;
+
+end Task1;