diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2016-03-03 09:56:30 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2016-03-03 09:56:30 +0000 |
| commit | b7b9e1a958e8238a3176e276cfeadf4f14a9afff (patch) | |
| tree | 232626f5ff06c18b22c690d0339fdb8bfb53142a /gcc/testsuite/gnat.dg/specs | |
| parent | cb83ba54b516b1475119d669fd40ad2fda64f6df (diff) | |
| download | gcc-b7b9e1a958e8238a3176e276cfeadf4f14a9afff.zip gcc-b7b9e1a958e8238a3176e276cfeadf4f14a9afff.tar.gz gcc-b7b9e1a958e8238a3176e276cfeadf4f14a9afff.tar.bz2 | |
* gnat.dg/specs/task1.ads: New test.
From-SVN: r233932
Diffstat (limited to 'gcc/testsuite/gnat.dg/specs')
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/task1.ads | 16 |
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; |