source: src/Tests/Expect-v/Subrange.txt@ 7ff30d07

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 with_gc
Last change on this file since 7ff30d07 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: 9.6 KB
Line 
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
31?=?: automatically generated function
32 with parameters
33 _dst: pointer to instance of type subrange (not function type)
34 _src: instance of type subrange (not function type)
35 returning
36 instance of type subrange (not function type)
37 with body
38 CompoundStmt
39 Return Statement, returning: Applying untyped:
40 Name: ?=?
41...to:
42 Cast of:
43 Variable Expression: _dst: pointer to instance of type subrange (not function type)
44
45 to:
46 pointer to instance of type base_t (not function type)
47 Cast of:
48 Variable Expression: _src: instance of type subrange (not function type)
49
50 to:
51 instance of type base_t (not function type)
52
53
54
55day_of_month: instance of type subrange (not function type)
56 with parameters
57 unsigned int
58 Name: 1
59
60 constant expression 31 signed int
61
62lcase: instance of type subrange (not function type)
63 with parameters
64 char
65 constant expression 'a' char
66 constant expression 'z' char
67
68foo: instance of type subrange (not function type)
69 with parameters
70 signed int
71 Name: 0
72
73 Applying untyped:
74 Name: ?&?
75 ...to:
76 Applying untyped:
77 Name: rand
78 ...to:
79constant expression 0xF signed int
80
81lbound: forall
82 T: type
83 with assertions
84 ?=?: pointer to function
85 with parameters
86 pointer to instance of type T (not function type)
87 instance of type T (not function type)
88 returning
89 instance of type T (not function type)
90
91
92 function
93 with parameters
94 v: instance of type subrange (not function type)
95 with parameters
96 instance of type T (not function type)
97 Name: low
98
99 Name: high
100
101
102 returning
103 instance of type T (not function type)
104 with body
105 CompoundStmt
106 Return Statement, returning: Name: low
107
108
109
110hbound: forall
111 T: type
112 with assertions
113 ?=?: pointer to function
114 with parameters
115 pointer to instance of type T (not function type)
116 instance of type T (not function type)
117 returning
118 instance of type T (not function type)
119
120
121 function
122 with parameters
123 v: instance of type subrange (not function type)
124 with parameters
125 instance of type T (not function type)
126 Name: low
127
128 Name: high
129
130
131 returning
132 instance of type T (not function type)
133 with body
134 CompoundStmt
135 Return Statement, returning: Name: high
136
137
138
139lday: unsigned int with initializer
140 Simple Initializer: Applying untyped:
141 Name: lbound
142 ...to:
143 Name: day_of_month
144
145?=?: inline forall
146 T: type
147 with assertions
148 ?=?: pointer to function
149 with parameters
150 pointer to instance of type T (not function type)
151 instance of type T (not function type)
152 returning
153 instance of type T (not function type)
154
155 ?<?: pointer to function
156 with parameters
157 instance of type T (not function type)
158 instance of type T (not function type)
159 returning
160 signed int
161
162 ?<=?: pointer to function
163 with parameters
164 instance of type T (not function type)
165 instance of type T (not function type)
166 returning
167 signed int
168
169
170 function
171 with parameters
172 target: pointer to instance of type subrange (not function type)
173 with parameters
174 instance of type T (not function type)
175 Name: low
176
177 Name: high
178
179
180 source: instance of type T (not function type)
181 returning
182 instance of type subrange (not function type)
183 with parameters
184 instance of type T (not function type)
185 Name: low
186
187 Name: high
188
189
190 with body
191 CompoundStmt
192 If on condition:
193 Cast of:
194 Applying untyped:
195 Name: ?!=?
196 ...to:
197 Short-circuited operation (and) on: Cast of:
198 Applying untyped:
199 Name: ?!=?
200 ...to:
201 Applying untyped:
202 Name: ?<=?
203 ...to:
204 Name: low
205 Name: source
206 Name: 0
207
208to:
209 signed int
210 and Cast of:
211 Applying untyped:
212 Name: ?!=?
213 ...to:
214 Applying untyped:
215 Name: ?<=?
216 ...to:
217 Name: source
218 Name: high
219 Name: 0
220
221to:
222 signed int
223
224 Name: 0
225
226 to:
227 signed int
228 .... and branches:
229 Expression Statement:
230 Applying untyped:
231 Name: ?=?
232 ...to:
233 Address of:
234 Applying untyped:
235 Name: *?
236 ...to:
237 Cast of:
238 Name: target
239
240 to:
241 pointer to instance of type T (not function type)
242 Name: source
243 Expression Statement:
244 Applying untyped:
245 Name: abort
246 ...to:
247
248 Return Statement, returning: Name: target
249
250
251
252?=?: inline forall
253 T: type
254 with assertions
255 ?=?: pointer to function
256 with parameters
257 pointer to instance of type T (not function type)
258 instance of type T (not function type)
259 returning
260 instance of type T (not function type)
261
262 ?<?: pointer to function
263 with parameters
264 instance of type T (not function type)
265 instance of type T (not function type)
266 returning
267 signed int
268
269 ?<=?: pointer to function
270 with parameters
271 instance of type T (not function type)
272 instance of type T (not function type)
273 returning
274 signed int
275
276
277 function
278 with parameters
279 target: pointer to instance of type subrange (not function type)
280 with parameters
281 instance of type T (not function type)
282 Name: t_low
283
284 Name: t_high
285
286
287 source: instance of type subrange (not function type)
288 with parameters
289 instance of type T (not function type)
290 Name: s_low
291
292 Name: s_high
293
294
295 returning
296 instance of type subrange (not function type)
297 with parameters
298 instance of type T (not function type)
299 Name: t_low
300
301 Name: t_high
302
303
304 with body
305 CompoundStmt
306 If on condition:
307 Cast of:
308 Applying untyped:
309 Name: ?!=?
310 ...to:
311 Short-circuited operation (and) on: Cast of:
312 Applying untyped:
313 Name: ?!=?
314 ...to:
315 Short-circuited operation (or) on: Cast of:
316 Applying untyped:
317 Name: ?!=?
318 ...to:
319 Applying untyped:
320 Name: ?<=?
321 ...to:
322 Name: t_low
323 Name: s_low
324 Name: 0
325
326to:
327 signed int
328 and Cast of:
329 Applying untyped:
330 Name: ?!=?
331 ...to:
332 Applying untyped:
333 Name: ?<=?
334 ...to:
335 Name: t_low
336 Name: source
337 Name: 0
338
339to:
340 signed int
341
342 Name: 0
343
344to:
345 signed int
346 and Cast of:
347 Applying untyped:
348 Name: ?!=?
349 ...to:
350 Short-circuited operation (or) on: Cast of:
351 Applying untyped:
352 Name: ?!=?
353 ...to:
354 Applying untyped:
355 Name: ?<=?
356 ...to:
357 Name: s_high
358 Name: t_high
359 Name: 0
360
361to:
362 signed int
363 and Cast of:
364 Applying untyped:
365 Name: ?!=?
366 ...to:
367 Applying untyped:
368 Name: ?<=?
369 ...to:
370 Name: source
371 Name: t_high
372 Name: 0
373
374to:
375 signed int
376
377 Name: 0
378
379to:
380 signed int
381
382 Name: 0
383
384 to:
385 signed int
386 .... and branches:
387 Expression Statement:
388 Applying untyped:
389 Name: ?=?
390 ...to:
391 Address of:
392 Applying untyped:
393 Name: *?
394 ...to:
395 Cast of:
396 Name: target
397
398 to:
399 pointer to instance of type T (not function type)
400 Name: source
401 Expression Statement:
402 Applying untyped:
403 Name: abort
404 ...to:
405
406 Return Statement, returning: Name: target
407
408
409
Note: See TracBrowser for help on using the repository browser.