Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/ada/acats/tests/cc/cc3012a.ada @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 -- CC3012A.ADA
2
3 -- Grant of Unlimited Rights
4 --
5 -- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
6 -- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
7 -- unlimited rights in the software and documentation contained herein.
8 -- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
9 -- this public release, the Government intends to confer upon all
10 -- recipients unlimited rights equal to those held by the Government.
11 -- These rights include rights to use, duplicate, release or disclose the
12 -- released technical data and computer software in whole or in part, in
13 -- any manner and for any purpose whatsoever, and to have or permit others
14 -- 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 -- CHECK THAT GENERIC INSTANCES MAY BE OVERLOADED.
26
27 -- CHECK THAT THEY MAY OVERLOAD PREVIOUSLY DECLARED SUBPROGRAMS AND
28 -- ENUMERATION LITERALS.
29
30 -- DAT 9/16/81
31 -- SPS 10/19/82
32 -- SPS 2/8/83
33 -- PWN 11/30/94 REMOVED PART OF TEST INVALID FOR ADA 9X.
34
35
36 WITH REPORT; USE REPORT;
37
38 PROCEDURE CC3012A IS
39 BEGIN
40 TEST ("CC3012A", "CHECK THAT GENERIC INSTANCES MAY OVERLOAD " &
41 "OTHER IDENTIFIERS");
42
43 DECLARE
44 GENERIC
45 TYPE T IS ( <> );
46 V : IN T;
47 PROCEDURE GP (X : IN OUT T);
48
49 GENERIC
50 TYPE T IS ( <> );
51 FUNCTION LESS (X, Y : T) RETURN BOOLEAN;
52
53 GENERIC
54 TYPE T IS ( <> );
55 FUNCTION PLUS (X, Y : T) RETURN T;
56
57 GENERIC
58 TYPE T IS PRIVATE;
59 Z : T;
60 FUNCTION F1 RETURN T;
61
62 TYPE DC IS NEW CHARACTER RANGE IDENT_CHAR ('A') .. 'Z';
63 TYPE DI IS NEW INTEGER;
64 TYPE ENUM IS (E1, E2, E3, E4);
65
66 VC : CHARACTER := 'A';
67 VI : INTEGER := 5;
68 VB : BOOLEAN := TRUE;
69 VE : ENUM := E2;
70
71 TYPE DENUM IS NEW ENUM RANGE E2 .. ENUM'LAST;
72
73 VDE : DENUM := E4;
74 VDC : DC := 'A';
75 VDI : DI := 7;
76
77 PROCEDURE GP (X : IN OUT T) IS
78 BEGIN
79 X := V;
80 END GP;
81
82 FUNCTION LESS (X, Y : T) RETURN BOOLEAN IS
83 BEGIN
84 RETURN FALSE;
85 END LESS;
86
87 FUNCTION PLUS (X, Y : T) RETURN T IS
88 BEGIN
89 RETURN T'FIRST;
90 END PLUS;
91
92 FUNCTION F1 RETURN T IS
93 BEGIN
94 RETURN Z;
95 END F1;
96
97 FUNCTION E5 RETURN INTEGER IS
98 BEGIN
99 RETURN 1;
100 END E5;
101
102 PACKAGE PKG IS
103
104 PROCEDURE P IS NEW GP (CHARACTER, 'Q');
105 PROCEDURE P IS NEW GP (INTEGER, -14);
106 PROCEDURE P IS NEW GP (BOOLEAN, FALSE);
107 PROCEDURE P IS NEW GP (ENUM, E4);
108 PROCEDURE P IS NEW GP (DC, 'W');
109 PROCEDURE P IS NEW GP (DI, -33);
110 PROCEDURE P IS NEW GP (DENUM, E2);
111
112 FUNCTION "<" IS NEW LESS (CHARACTER);
113 FUNCTION "<" IS NEW LESS (INTEGER);
114 FUNCTION "<" IS NEW LESS (BOOLEAN);
115 FUNCTION "<" IS NEW LESS (ENUM);
116 FUNCTION "<" IS NEW LESS (DC);
117 FUNCTION "<" IS NEW LESS (DI);
118 -- NOT FOR DENUM.
119
120 FUNCTION "+" IS NEW PLUS (CHARACTER);
121 FUNCTION "+" IS NEW PLUS (INTEGER);
122 FUNCTION "+" IS NEW PLUS (BOOLEAN);
123 FUNCTION "+" IS NEW PLUS (ENUM);
124 FUNCTION "+" IS NEW PLUS (DC);
125 -- NOT FOR DI.
126 FUNCTION "+" IS NEW PLUS (DENUM);
127
128 FUNCTION E2 IS NEW F1 (BOOLEAN, FALSE);
129 FUNCTION E5 IS NEW F1 (DC, 'M');
130
131 END PKG;
132
133 PACKAGE BODY PKG IS
134 BEGIN
135 P (VC);
136 P (VI);
137 P (VB);
138 P (VE);
139 P (X => VDE);
140 P (X => VDC);
141 P (X => VDI);
142
143 IF VC /= 'Q' THEN
144 FAILED ("OVERLOADED PROCEDURE - 1");
145 END IF;
146
147 IF VI /= -14 THEN
148 FAILED ("OVERLOADED PROCEDURE - 2");
149 END IF;
150
151 IF VB /= FALSE THEN
152 FAILED ("OVERLOADED PROCEDURE - 3");
153 END IF;
154
155 IF VE /= E4 THEN
156 FAILED ("OVERLOADED PROCEDURE - 4");
157 END IF;
158
159 IF VDE /= E2 THEN
160 FAILED ("OVERLOADED PROCEDURE - 5");
161 END IF;
162
163 IF VDC /= 'W' THEN
164 FAILED ("OVERLOADED PROCEDURE - 6");
165 END IF;
166
167 IF VDI /= -33 THEN
168 FAILED ("OVERLOADED PROCEDURE - 7");
169 END IF;
170
171 IF VC < ASCII.DEL THEN
172 FAILED ("OVERLOADED LESS THAN - 1");
173 END IF;
174
175 IF VI < 1E3 THEN
176 FAILED ("OVERLOADED LESS THAN - 2");
177 END IF;
178
179 IF FALSE < TRUE THEN
180 FAILED ("OVERLOADED LESS THAN - 3");
181 END IF;
182
183 IF E1 < VE THEN
184 FAILED ("OVERLOADED LESS THAN - 4");
185 END IF;
186
187 IF VDC < 'Z' THEN
188 FAILED ("OVERLOADED LESS THAN - 5");
189 END IF;
190
191 IF VDI < 0 THEN
192 FAILED ("OVERLOADED LESS THAN - 6");
193 END IF;
194
195
196 IF -14 + 5 /= -9 THEN
197 FAILED ("OVERLOADED PLUS - 2");
198 END IF;
199
200 IF VI + 5 /= INTEGER'FIRST THEN
201 FAILED ("OVERLOADED PLUS - 3");
202 END IF;
203
204 IF VB + TRUE /= FALSE THEN
205 FAILED ("OVERLOADED PLUS - 4");
206 END IF;
207
208 IF VE + E2 /= E1 THEN
209 FAILED ("OVERLOADED PLUS - 5");
210 END IF;
211
212 IF DENUM'(E3) + E2 /= E2 THEN
213 FAILED ("OVERLOADED PLUS - 6");
214 END IF;
215
216 IF VDC + 'B' /= 'A' THEN
217 FAILED ("OVERLOADED PLUS - 7");
218 END IF;
219
220 IF VDI + 14 /= -19 THEN -- -33 + 14
221 FAILED ("OVERLOADED PLUS - 8");
222 END IF;
223
224 VI := E5;
225 VDC := E5;
226 VE := E2;
227 VB := E2;
228 IF VI /= 1 OR
229 VDC /= 'M' OR
230 VE /= ENUM'VAL(IDENT_INT(1)) OR
231 VB /= FALSE THEN
232 FAILED ("OVERLOADING OF ENUMERATION LITERALS " &
233 "AND PREDEFINED SUBPROGRAMS");
234 END IF;
235 END PKG;
236 BEGIN
237 DECLARE
238 USE PKG;
239 BEGIN
240 IF NOT (VI + 5 < 11) THEN
241 FAILED ("INCORRECT VISIBILITY OF GENERIC OVERLOADING");
242 END IF;
243 END;
244 END;
245
246 RESULT;
247 END CC3012A;