From: Arnaud Charlet <charlet@adacore.com>
Date: Thu, 31 Jul 2008 12:49:43 +0000 (+0000)
Subject: * gnat.dg/specs/sync_iface_test.ads: New test.
X-Git-Tag: releases/gcc-4.4.0~3565
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=37ff8abac09eb81c2ab5092399f830bc4cd65766;p=thirdparty%2Fgcc.git

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

From-SVN: r138402
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5df9a43be363..f819f289f28d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2008-07-31  Arnaud Charlet  <charlet@adacore.com>
+
+	* gnat.dg/specs/sync_iface_test.ads: New test.
+
 2008-07-31  H.J. Lu  <hongjiu.lu@intel.com>
 
 	* 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 000000000000..4bccd255d7a2
--- /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;