From: ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 3 Mar 2016 09:56:30 +0000 (+0000)
Subject: 	* gnat.dg/specs/task1.ads: New test.
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=f756dfa32cebc871484def7d25ea9ceb1caa088a;p=thirdparty%2Fgcc.git

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


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@233932 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 159491177232..93919a086813 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+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.
diff --git a/gcc/testsuite/gnat.dg/specs/task1.ads b/gcc/testsuite/gnat.dg/specs/task1.ads
new file mode 100644
index 000000000000..c108d298faae
--- /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;