diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/c8/c854003.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/c8/c854003.a | 64 |
1 files changed, 0 insertions, 64 deletions
diff --git a/gcc/testsuite/ada/acats/tests/c8/c854003.a b/gcc/testsuite/ada/acats/tests/c8/c854003.a deleted file mode 100644 index 9ab2364a92c..00000000000 --- a/gcc/testsuite/ada/acats/tests/c8/c854003.a +++ /dev/null @@ -1,64 +0,0 @@ --- 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; - |