aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/ada/acats/tests/cc/cc51008.a
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cc/cc51008.a')
-rw-r--r--gcc/testsuite/ada/acats/tests/cc/cc51008.a124
1 files changed, 0 insertions, 124 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cc/cc51008.a b/gcc/testsuite/ada/acats/tests/cc/cc51008.a
deleted file mode 100644
index b95ae6cf04d..00000000000
--- a/gcc/testsuite/ada/acats/tests/cc/cc51008.a
+++ /dev/null
@@ -1,124 +0,0 @@
--- CC51008.A
---
--- Grant of Unlimited Rights
---
--- The Ada Conformity Assessment Authority (ACAA) holds unlimited
--- rights in the software and documentation contained herein. Unlimited
--- rights are the same as those granted by the U.S. Government for older
--- parts of the Ada Conformity Assessment Test Suite, and are defined
--- in DFAR 252.227-7013(a)(19). By making this public release, the ACAA
--- intends to confer upon all recipients unlimited rights equal to those
--- held by the ACAA. These rights include rights to use, duplicate,
--- release or disclose the released technical data and computer software
--- in whole or in part, in any manner and for any purpose whatsoever, and
--- to have or permit others to do so.
---
--- DISCLAIMER
---
--- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
--- DISCLOSED ARE AS IS. THE ACAA MAKES NO EXPRESS OR IMPLIED
--- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
--- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
--- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
--- PARTICULAR PURPOSE OF SAID MATERIAL.
---*
---
--- OBJECTIVE:
--- Check that operations are inherited for a formal derived type whose
--- ancestor is also a formal type as described in the corrigendum.
--- (Defect Report 8652/0038, as reflected in Technical Corrigendum 1,
--- RM95 12.5.1(21/1)).
---
--- CHANGE HISTORY:
--- 29 Jan 2001 PHL Initial version.
--- 30 Apr 2002 RLB Readied for release.
---
---!
-package CC51008_0 is
-
- type R0 is
- record
- C : Float;
- end record;
-
- procedure S (X : R0);
-
-end CC51008_0;
-
-with Report;
-use Report;
-package body CC51008_0 is
- procedure S (X : R0) is
- begin
- Comment ("CC51008_0.S called");
- end S;
-end CC51008_0;
-
-with CC51008_0;
-generic
- type F1 is new CC51008_0.R0;
- type F2 is new F1;
-package CC51008_1 is
- procedure G (O1 : F1; O2 : F2);
-end CC51008_1;
-
-package body CC51008_1 is
- procedure G (O1 : F1; O2 : F2) is
- begin
- S (O1);
- S (O2);
- end G;
-end CC51008_1;
-
-with CC51008_0;
-package CC51008_2 is
- type R2 is new CC51008_0.R0;
- procedure S (X : out R2);
-end CC51008_2;
-
-with Report;
-use Report;
-package body CC51008_2 is
- procedure S (X : out R2) is
- begin
- Failed ("CC51008_2.S called");
- end S;
-end CC51008_2;
-
-with CC51008_2;
-package CC51008_3 is
- type R3 is new CC51008_2.R2;
- procedure S (X : R3);
-end CC51008_3;
-
-with Report;
-use Report;
-package body CC51008_3 is
- procedure S (X : R3) is
- begin
- Failed ("CC51008_3.S called");
- end S;
-end CC51008_3;
-
-with CC51008_1;
-with CC51008_2;
-with CC51008_3;
-with Report;
-use Report;
-procedure CC51008 is
-
- package Inst is new CC51008_1 (CC51008_2.R2,
- CC51008_3.R3);
-
- X2 : constant CC51008_2.R2 := (C => 2.0);
- X3 : constant CC51008_3.R3 := (C => 3.0);
-
-begin
- Test ("CC51008",
- "Check that operations are inherited for a formal derived " &
- "type whose ancestor is also a formal type as described in " &
- "RM95 12.5.1(21/1)");
- Inst.G (X2, X3);
- Result;
-end CC51008;
-