source: src/Tests/Expect-a/Subrange.txt@ bc1ab61

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc
Last change on this file since bc1ab61 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs
  • Property mode set to 100644
File size: 8.2 KB
RevLine 
[b1d6dd5]1context ordered
2 with parameters
3 T: type
4
5 with members
6 ?<?: function
7 with parameters
8 instance of type T (not function type)
9 instance of type T (not function type)
10 returning
11 signed int
12
13 ?<=?: function
14 with parameters
15 instance of type T (not function type)
16 instance of type T (not function type)
17 returning
18 signed int
19
20
21subrange: type for instance of type base_t (not function type)
22 with parameters
23 base_t: type
24 with assertions
25 instance of context ordered
26 with parameters
27 instance of type base_t (not function type)
28
29
30
31day_of_month: instance of type subrange (not function type)
32 with parameters
33 unsigned int
34 Name: 1
35
36 constant expression 31 signed int
37
38lcase: instance of type subrange (not function type)
39 with parameters
40 char
41 constant expression 'a' char
42 constant expression 'z' char
43
44foo: instance of type subrange (not function type)
45 with parameters
46 signed int
47 Name: 0
48
49 Applying untyped:
50 Name: ?&?
51 ...to:
52 Applying untyped:
53 Name: rand
54 ...to:
55constant expression 0xF signed int
56
57lbound: forall
58 T: type
59 with assertions
60 ?=?: function
61 with parameters
62 pointer to instance of type T (not function type)
63 instance of type T (not function type)
64 returning
65 instance of type T (not function type)
66
67
68 function
69 with parameters
70 v: instance of type subrange (not function type)
71 with parameters
72 instance of type T (not function type)
73 Name: low
74
75 Name: high
76
77
78 returning
79 instance of type T (not function type)
80 with body
81 CompoundStmt
82 Return Statement, returning: Name: low
83
84
85
86hbound: forall
87 T: type
88 with assertions
89 ?=?: function
90 with parameters
91 pointer to instance of type T (not function type)
92 instance of type T (not function type)
93 returning
94 instance of type T (not function type)
95
96
97 function
98 with parameters
99 v: instance of type subrange (not function type)
100 with parameters
101 instance of type T (not function type)
102 Name: low
103
104 Name: high
105
106
107 returning
108 instance of type T (not function type)
109 with body
110 CompoundStmt
111 Return Statement, returning: Name: high
112
113
114
115lday: unsigned int with initializer
116 Simple Initializer: Applying untyped:
117 Name: lbound
118 ...to:
119 Name: day_of_month
120
121?=?: inline forall
122 T: type
123 with assertions
124 ?=?: function
125 with parameters
126 pointer to instance of type T (not function type)
127 instance of type T (not function type)
128 returning
129 instance of type T (not function type)
130
131 instance of context ordered
132 with parameters
133 instance of type T (not function type)
134
135
136 function
137 with parameters
138 target: pointer to instance of type subrange (not function type)
139 with parameters
140 instance of type T (not function type)
141 Name: low
142
143 Name: high
144
145
146 source: instance of type T (not function type)
147 returning
148 instance of type subrange (not function type)
149 with parameters
150 instance of type T (not function type)
151 Name: low
152
153 Name: high
154
155
156 with body
157 CompoundStmt
158 If on condition:
159 Cast of:
160 Applying untyped:
161 Name: ?!=?
162 ...to:
163 Short-circuited operation (and) on: Cast of:
164 Applying untyped:
165 Name: ?!=?
166 ...to:
167 Applying untyped:
168 Name: ?<=?
169 ...to:
170 Name: low
171 Name: source
172 Name: 0
173
174to:
175 signed int
176 and Cast of:
177 Applying untyped:
178 Name: ?!=?
179 ...to:
180 Applying untyped:
181 Name: ?<=?
182 ...to:
183 Name: source
184 Name: high
185 Name: 0
186
187to:
188 signed int
189
190 Name: 0
191
192 to:
193 signed int
194 .... and branches:
195 Expression Statement:
196 Applying untyped:
197 Name: ?=?
198 ...to:
199 Address of:
200 Applying untyped:
201 Name: *?
202 ...to:
203 Cast of:
204 Name: target
205
206 to:
207 pointer to instance of type T (not function type)
208 Name: source
209 Expression Statement:
210 Applying untyped:
211 Name: abort
212 ...to:
213
214 Return Statement, returning: Name: target
215
216
217
218?=?: inline forall
219 T: type
220 with assertions
221 ?=?: function
222 with parameters
223 pointer to instance of type T (not function type)
224 instance of type T (not function type)
225 returning
226 instance of type T (not function type)
227
228 instance of context ordered
229 with parameters
230 instance of type T (not function type)
231
232
233 function
234 with parameters
235 target: pointer to instance of type subrange (not function type)
236 with parameters
237 instance of type T (not function type)
238 Name: t_low
239
240 Name: t_high
241
242
243 source: instance of type subrange (not function type)
244 with parameters
245 instance of type T (not function type)
246 Name: s_low
247
248 Name: s_high
249
250
251 returning
252 instance of type subrange (not function type)
253 with parameters
254 instance of type T (not function type)
255 Name: t_low
256
257 Name: t_high
258
259
260 with body
261 CompoundStmt
262 If on condition:
263 Cast of:
264 Applying untyped:
265 Name: ?!=?
266 ...to:
267 Short-circuited operation (and) on: Cast of:
268 Applying untyped:
269 Name: ?!=?
270 ...to:
271 Short-circuited operation (or) on: Cast of:
272 Applying untyped:
273 Name: ?!=?
274 ...to:
275 Applying untyped:
276 Name: ?<=?
277 ...to:
278 Name: t_low
279 Name: s_low
280 Name: 0
281
282to:
283 signed int
284 and Cast of:
285 Applying untyped:
286 Name: ?!=?
287 ...to:
288 Applying untyped:
289 Name: ?<=?
290 ...to:
291 Name: t_low
292 Name: source
293 Name: 0
294
295to:
296 signed int
297
298 Name: 0
299
300to:
301 signed int
302 and Cast of:
303 Applying untyped:
304 Name: ?!=?
305 ...to:
306 Short-circuited operation (or) on: Cast of:
307 Applying untyped:
308 Name: ?!=?
309 ...to:
310 Applying untyped:
311 Name: ?<=?
312 ...to:
313 Name: s_high
314 Name: t_high
315 Name: 0
316
317to:
318 signed int
319 and Cast of:
320 Applying untyped:
321 Name: ?!=?
322 ...to:
323 Applying untyped:
324 Name: ?<=?
325 ...to:
326 Name: source
327 Name: t_high
328 Name: 0
329
330to:
331 signed int
332
333 Name: 0
334
335to:
336 signed int
337
338 Name: 0
339
340 to:
341 signed int
342 .... and branches:
343 Expression Statement:
344 Applying untyped:
345 Name: ?=?
346 ...to:
347 Address of:
348 Applying untyped:
349 Name: *?
350 ...to:
351 Cast of:
352 Name: target
353
354 to:
355 pointer to instance of type T (not function type)
356 Name: source
357 Expression Statement:
358 Applying untyped:
359 Name: abort
360 ...to:
361
362 Return Statement, returning: Name: target
363
364
365
Note: See TracBrowser for help on using the repository browser.