iface_eq_test.ads, [...]: New test.

	* gnat.dg/specs/iface_eq_test.ads,
	gnat.dg/specs/iface_eq_test-child.ads: New test.
	* gnat.dg/specs/self_class.ads: New test.

From-SVN: r136073

gcc/testsuite/ChangeLog

+2008-05-28  Arnaud Charlet  <charlet@adacore.com>
+
+	* gnat.dg/specs/iface_eq_test.ads,
+	gnat.dg/specs/iface_eq_test-child.ads: New test.
+	* gnat.dg/specs/self_class.ads: New test.
+
 2008-05-27  Andy Hutchinson  <hutchinsonandy@aim.com>
 
 	* gcc.dg/tree-ssa/data-dep-1.c: Skip test for avr-*-* too much code.

gcc/testsuite/gnat.dg/specs/iface_eq_test-child.ads

+--  { dg-do compile }
+--  { dg-options "-gnatc" }
+generic                    
+package Iface_Eq_Test.Child is
+   protected type PO is new Iface with
+      procedure Dummy;
+   end;
+   overriding function "=" (L, R : access PO) return Boolean;
+end;      

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

+--  { dg-do compile }
+generic         
+package Iface_Eq_Test is
+   type Iface is limited interface;
+   function "=" (L, R : access Iface) return Boolean is abstract;
+end;               

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

+--  { dg-do compile }
+
+package Self_Class is
+   type P6 is private;
+private
+   type P6 is tagged record
+      Self : access P6'Class;
+   end record;
+end Self_Class;