old-autovect-branch/gcc/testsuite/ada/acats/tests/c8/c854003.a

   1 -- C854003.A
   2 --
   3 --                             Grant of Unlimited Rights
   4 --
   5 --     The Ada Conformity Assessment Authority (ACAA) holds unlimited
   6 --     rights in the software and documentation contained herein. Unlimited
   7 --     rights are the same as those granted by the U.S. Government for older
   8 --     parts of the Ada Conformity Assessment Test Suite, and are defined
   9 --     in DFAR 252.227-7013(a)(19). By making this public release, the ACAA
  10 --     intends to confer upon all recipients unlimited rights equal to those
  11 --     held by the ACAA. These rights include rights to use, duplicate,
  12 --     release or disclose the released technical data and computer software
  13 --     in whole or in part, in any manner and for any purpose whatsoever, and
  14 --     to have or permit others to do so.
  15 --
  16 --                                    DISCLAIMER
  17 --
  18 --     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
  19 --     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
  20 --     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
  21 --     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
  22 --     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
  23 --     PARTICULAR PURPOSE OF SAID MATERIAL.
  24 --*
  25 --
  26 -- OBJECTIVE:
  27 --    Check that a renaming-as-body used before the subprogram is frozen only
  28 --    requires mode conformance.  (Defect Report 8652/0028, as reflected in
  29 --    Technical Corrigendum 1, RM95 8.5.4(5/1)).
  30 --
  31 -- CHANGE HISTORY:
  32 --    29 JAN 2001   PHL   Initial version.
  33 --     5 DEC 2001   RLB   Reformatted for ACATS.
  34 --
  35 --!
  36 with Report;
  37 use Report;
  38 procedure C854003 is
  39
  40     package P is
  41         type T is private;
  42         C1 : constant T;
  43         C2 : constant T;
  44     private
  45         type T is new Integer'Base;
  46         C1 : constant T := T (Ident_Int (1));
  47         C2 : constant T := T (Ident_Int (1));
  48     end P;
  49
  50     function Equals (X, Y : P.T) return Boolean;
  51     function Equals (X, Y : P.T) return Boolean renames P."=";
  52
  53 begin
  54     Test ("C854003",
  55           "Check that a renaming-as-body used before the subprogram " &
  56              "is frozen only requires mode conformance");
  57
  58     if not Equals (P.C1, P.C2) then
  59         Failed ("Equality returned an unexpected result");
  60     end if;
  61
  62     Result;
  63 end C854003;
  64