From 37ff8abac09eb81c2ab5092399f830bc4cd65766 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 31 Jul 2008 12:49:43 +0000 Subject: [PATCH] * gnat.dg/specs/sync_iface_test.ads: New test. From-SVN: r138402 --- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gnat.dg/specs/sync_iface_test.ads | 14 ++++++++++++++ 2 files changed, 18 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/specs/sync_iface_test.ads diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5df9a43be36..f819f289f28 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-07-31 Arnaud Charlet + + * gnat.dg/specs/sync_iface_test.ads: New test. + 2008-07-31 H.J. Lu * gcc.dg/torture/stackalign/pr16660-1.c: Include "check.h". diff --git a/gcc/testsuite/gnat.dg/specs/sync_iface_test.ads b/gcc/testsuite/gnat.dg/specs/sync_iface_test.ads new file mode 100644 index 00000000000..4bccd255d7a --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/sync_iface_test.ads @@ -0,0 +1,14 @@ +-- { dg-do compile } +-- { dg-options "-gnatc" } + +package Sync_Iface_Test is + type Iface is limited interface; + procedure Do_Test + (Container : in out Iface; + Process : access procedure (E : Natural)) is abstract; + + protected type Buffer is new Iface with + overriding procedure Do_Test + (Process : access procedure (E : Natural)); + end; +end; -- 2.30.2