1 files changed, 64 insertions, 0 deletions
diff --git a/gcc/testsuite/ada/acats/tests/c8/c854003.a b/gcc/testsuite/ada/acats/tests/c8/c854003.a
new file mode 100644
index 000000000..9ab2364a9
--- /dev/null
+++ b/gcc/testsuite/ada/acats/tests/c8/c854003.a
@@ -0,0 +1,64 @@
+-- C854003.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 GOVERNMENT 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 a renaming-as-body used before the subprogram is frozen only
+--    requires mode conformance.  (Defect Report 8652/0028, as reflected in
+--    Technical Corrigendum 1, RM95 8.5.4(5/1)).
+--
+-- CHANGE HISTORY:
+--    29 JAN 2001   PHL   Initial version.
+--     5 DEC 2001   RLB   Reformatted for ACATS.
+--
+--!
+with Report;
+use Report;
+procedure C854003 is
+
+    package P is
+        type T is private;
+        C1 : constant T;
+        C2 : constant T;
+    private
+        type T is new Integer'Base;
+        C1 : constant T := T (Ident_Int (1));
+        C2 : constant T := T (Ident_Int (1));
+    end P;
+
+    function Equals (X, Y : P.T) return Boolean;
+    function Equals (X, Y : P.T) return Boolean renames P."=";
+
+begin
+    Test ("C854003",
+          "Check that a renaming-as-body used before the subprogram " &
+             "is frozen only requires mode conformance");
+
+    if not Equals (P.C1, P.C2) then
+        Failed ("Equality returned an unexpected result");
+    end if;
+
+    Result;
+end C854003;
+