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

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c3/] [c380001.a] - Blame information for rev 294

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 294 jeremybenn
-- C380001.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 ACAA 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 checks are made properly when a per-object expression contains
28
--    an attribute whose prefix denotes the current instance of the type.
29
--    (Defect Report 8652/0002, as reflected in Technical Corrigendum 1,
30
--    RM95 3.8(18/1)).
31
--
32
-- CHANGE HISTORY:
33
--     9 FEB 2001   PHL   Initial version.
34
--    29 JUN 2002   RLB   Readied for release.
35
--
36
--!
37
with Ada.Exceptions;
38
use Ada.Exceptions;
39
with Report;
40
use Report;
41
procedure C380001 is
42
 
43
    type Negative is range Integer'First .. -1;
44
 
45
    type R1 is
46
        record
47
            C : Negative := Negative (Ident_Int (R1'Size));
48
        end record;
49
 
50
 
51
    type R2;
52
 
53
    type R3 (D1 : access R2; D2 : Natural) is limited null record;
54
 
55
    type R2 is limited
56
        record
57
            C : R3 (R2'Access, Ident_Int (-1));
58
        end record;
59
 
60
begin
61
    Test ("C380001", "Check that checks are made properly when a " &
62
                        "per-object expression contains an attribute whose " &
63
                        "prefix denotes the current instance of the type");
64
    begin
65
        declare
66
            X : R1;
67
        begin
68
            Failed
69
               ("No exception raised when evaluating a per-object expression " &
70
                "containing an attribute - 1");
71
        end;
72
    exception
73
        when Constraint_Error =>
74
            null;
75
        when E: others =>
76
            Failed ("Exception " & Exception_Name (E) &
77
                    " raised - " & Exception_Information (E) & " - 1");
78
    end;
79
 
80
    declare
81
        type A is access R1;
82
        X : A;
83
    begin
84
        X := new R1;
85
        Failed ("No exception raised when evaluating a per-object expression " &
86
                "containing an attribute - 2");
87
    exception
88
        when Constraint_Error =>
89
            null;
90
        when E: others =>
91
            Failed ("Exception " & Exception_Name (E) &
92
                    " raised - " & Exception_Information (E) & " - 2");
93
    end;
94
 
95
    begin
96
        declare
97
            X : R2;
98
        begin
99
            Failed
100
               ("No exception raised when elaborating a per-object constraint " &
101
                "containing an attribute - 3");
102
        end;
103
    exception
104
        when Constraint_Error =>
105
            null;
106
        when E: others =>
107
            Failed ("Exception " & Exception_Name (E) &
108
                    " raised - " & Exception_Information (E) & " - 3");
109
    end;
110
 
111
    declare
112
        type A is access R2;
113
        X : A;
114
    begin
115
        X := new R2;
116
        Failed
117
           ("No exception raised when evaluating a per-object constraint " &
118
            "containing an attribute - 4");
119
    exception
120
        when Constraint_Error =>
121
            null;
122
        when E: others =>
123
            Failed ("Exception " & Exception_Name (E) &
124
                    " raised - " & Exception_Information (E) & " - 4");
125
    end;
126
 
127
    Result;
128
end C380001;

powered by: WebSVN 2.1.0

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