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

From-SVN: r138402

gcc/testsuite/ChangeLog

+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".

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

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