From 449be9fa987de1ba8200d541ad73ce56fd8f127e Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 28 May 2008 12:38:31 +0000 Subject: [PATCH] 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 | 6 ++++++ gcc/testsuite/gnat.dg/specs/iface_eq_test-child.ads | 9 +++++++++ gcc/testsuite/gnat.dg/specs/iface_eq_test.ads | 6 ++++++ gcc/testsuite/gnat.dg/specs/self_class.ads | 9 +++++++++ 4 files changed, 30 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/specs/iface_eq_test-child.ads create mode 100644 gcc/testsuite/gnat.dg/specs/iface_eq_test.ads create mode 100644 gcc/testsuite/gnat.dg/specs/self_class.ads diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 814970176cd..1bfa4d20e05 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2008-05-28 Arnaud Charlet + + * 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 * 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 index 00000000000..028bb1be053 --- /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 index 00000000000..36f9031ada4 --- /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 index 00000000000..56c7ab4760c --- /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; -- 2.30.2