1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/sync_iface_test.ads b/gcc/testsuite/gnat.dg/sync_iface_test.ads
new file mode 100644
index 000000000..c172d7fa2
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/sync_iface_test.ads
@@ -0,0 +1,11 @@
+package Sync_Iface_Test is
+   type Iface is limited interface;
+   function First (Obj : Iface) return Natural is abstract;
+
+   protected type Buffer is new Iface with
+      procedure Dummy;
+   end;
+   overriding function First (Obj : Buffer) return Natural;
+
+   procedure Do_Test (Dummy : Natural; Item  : Buffer);
+end;