* gnat.dg/interface5.ad[sb]: New test.

From-SVN: r135995

gcc/testsuite/ChangeLog

 2008-05-27  Arnaud Charlet  <charlet@adacore.com>
 
 	* gnat.dg/sync1.ad[sb]: New test.
+	* gnat.dg/interface5.ad[sb]: New test.
 
 2008-05-27  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 

gcc/testsuite/gnat.dg/interface5.adb

+--  { dg-do compile }
+package body interface5 is
+   function F (Object : Child) return access Child is
+   begin
+      return null;
+   end F;
+end interface5;

gcc/testsuite/gnat.dg/interface5.ads

+package interface5 is
+   type B is tagged null record;
+   
+   type I is interface;
+   function F (Object : I) return access I is abstract;
+   
+   type Child is new B and I with null record;
+   function F (Object : Child) return access Child;
+end interface5;