* gnat.dg/specs/task1.ads: New test.

From-SVN: r233932

gcc/testsuite/ChangeLog

+2016-03-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/specs/task1.ads: New test.
+
 2016-03-03  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 
 	* lib/gcc-gdb-test.exp (gdb-test): Make log message match command.

gcc/testsuite/gnat.dg/specs/task1.ads

+-- { 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;