From: Arnaud Charlet <charlet@adacore.com>
Date: Thu, 31 Jul 2008 13:45:32 +0000 (+0000)
Subject: * gnat.dg/sync_iface_test.ad[s,b]: New test.
X-Git-Tag: releases/gcc-4.4.0~3558
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=978057627777b89b5b81d11fbca24a998212c199;p=thirdparty%2Fgcc.git

* gnat.dg/sync_iface_test.ad[s,b]: New test.

From-SVN: r138410
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f819f289f28d..5cc546704e84 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,7 @@
 2008-07-31  Arnaud Charlet  <charlet@adacore.com>
 
+	* gnat.dg/sync_iface_test.ad[s,b]: New test.
+
 	* gnat.dg/specs/sync_iface_test.ads: New test.
 
 2008-07-31  H.J. Lu  <hongjiu.lu@intel.com>
diff --git a/gcc/testsuite/gnat.dg/sync_iface_test.adb b/gcc/testsuite/gnat.dg/sync_iface_test.adb
new file mode 100644
index 000000000000..f431adfe243f
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/sync_iface_test.adb
@@ -0,0 +1,19 @@
+--  { dg-do compile }
+package body Sync_Iface_Test is
+   protected body Buffer is
+      procedure Dummy is begin null; end;
+   end;
+
+   function First (Obj : Buffer) return Natural is
+   begin
+     return 0;
+   end;
+
+   procedure Do_Test (Dummy : Natural; Item : Buffer)
+   is
+      Position1 : Natural := First (Item);
+      Position2 : Natural := Item.First;   --  Problem here
+   begin
+      null;
+   end;
+end;
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 000000000000..c172d7fa2b12
--- /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;