1 files changed, 14 insertions, 0 deletions
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 000000000..4bccd255d
--- /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;