OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-old/] [gcc-4.2.2/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c8/] [c854003.a] - Blame information for rev 816

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 149 jeremybenn
-- 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
 

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.