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

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 814970176cd3f2837ffb60e977e7e6b07cd70050..1bfa4d20e05ce69810ba99e22cf282e234f18cc9 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+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.

diff --git a/gcc/testsuite/gnat.dg/specs/iface_eq_test-child.ads b/gcc/testsuite/gnat.dg/specs/iface_eq_test-child.ads
new file mode 100644 (file)
index 0000000..028bb1b
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/iface_eq_test-child.ads
@@ -0,0 +1,9 @@
+--  { 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;      

diff --git a/gcc/testsuite/gnat.dg/specs/iface_eq_test.ads b/gcc/testsuite/gnat.dg/specs/iface_eq_test.ads
new file mode 100644 (file)
index 0000000..36f9031
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/iface_eq_test.ads
@@ -0,0 +1,6 @@
+--  { dg-do compile }
+generic         
+package Iface_Eq_Test is
+   type Iface is limited interface;
+   function "=" (L, R : access Iface) return Boolean is abstract;
+end;               

diff --git a/gcc/testsuite/gnat.dg/specs/self_class.ads b/gcc/testsuite/gnat.dg/specs/self_class.ads
new file mode 100644 (file)
index 0000000..56c7ab4
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/self_class.ads
@@ -0,0 +1,9 @@
+--  { 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;