source: src/Tests/Expect-v/Forall.txt@ 9cdce58

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 9cdce58 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: 19.7 KB
Line 
1?=?: function
2 with parameters
3 pointer to signed int
4 signed int
5 returning
6 signed int
7
8?=?: function
9 with parameters
10 pointer to float
11 float
12 returning
13 float
14
15?=?: function
16 with parameters
17 pointer to pointer to signed int
18 pointer to signed int
19 returning
20 pointer to signed int
21
22?=?: function
23 with parameters
24 pointer to pointer to float
25 pointer to float
26 returning
27 pointer to float
28
29?=?: function
30 with parameters
31 pointer to char
32 char
33 returning
34 char
35
36?=?: function
37 with parameters
38 pointer to pointer to function
39 returning
40 nothing
41
42 pointer to function
43 returning
44 nothing
45
46 returning
47 pointer to function
48 returning
49 nothing
50
51
52g1: function
53 accepting unspecified arguments
54 returning
55 nothing
56 with body
57 CompoundStmt
58 Declaration of f: forall
59 T: type
60 with assertions
61 ?=?: pointer to function
62 with parameters
63 pointer to instance of type T (not function type)
64 instance of type T (not function type)
65 returning
66 instance of type T (not function type)
67
68
69 function
70 with parameters
71 instance of type T (not function type)
72 returning
73 instance of type T (not function type)
74
75 Declaration of f: function
76 with parameters
77 signed int
78 returning
79 nothing
80
81 Declaration of h: function
82 with parameters
83 p: pointer to function
84 returning
85 nothing
86
87 returning
88 nothing
89
90 Declaration of x: signed int
91 Declaration of y: pointer to function
92 returning
93 nothing
94
95 Declaration of z: char
96 Declaration of w: float
97 Expression Statement:
98 Applying untyped:
99 Name: f
100 ...to:
101 Name: x
102
103 Expression Statement:
104 Applying untyped:
105 Name: f
106 ...to:
107 Name: y
108
109 Expression Statement:
110 Applying untyped:
111 Name: f
112 ...to:
113 Name: z
114
115 Expression Statement:
116 Applying untyped:
117 Name: f
118 ...to:
119 Name: w
120
121 Expression Statement:
122 Applying untyped:
123 Name: h
124 ...to:
125 Applying untyped:
126 Name: f
127 ...to:
128 Name: y
129
130
131g2: function
132 accepting unspecified arguments
133 returning
134 nothing
135 with body
136 CompoundStmt
137 Declaration of f: forall
138 T: type
139 with assertions
140 ?=?: pointer to function
141 with parameters
142 pointer to instance of type T (not function type)
143 instance of type T (not function type)
144 returning
145 instance of type T (not function type)
146
147
148 function
149 with parameters
150 instance of type T (not function type)
151 instance of type T (not function type)
152 returning
153 nothing
154
155 Declaration of f: forall
156 T: type
157 with assertions
158 ?=?: pointer to function
159 with parameters
160 pointer to instance of type T (not function type)
161 instance of type T (not function type)
162 returning
163 instance of type T (not function type)
164
165
166 U: type
167 with assertions
168 ?=?: pointer to function
169 with parameters
170 pointer to instance of type U (not function type)
171 instance of type U (not function type)
172 returning
173 instance of type U (not function type)
174
175
176 function
177 with parameters
178 instance of type T (not function type)
179 instance of type U (not function type)
180 returning
181 nothing
182
183 Declaration of x: signed int
184 Declaration of y: float
185 Declaration of z: pointer to signed int
186 Declaration of w: pointer to float
187 Expression Statement:
188 Applying untyped:
189 Name: f
190 ...to:
191 Name: x
192 Name: y
193
194 Expression Statement:
195 Applying untyped:
196 Name: f
197 ...to:
198 Name: z
199 Name: w
200
201 Expression Statement:
202 Applying untyped:
203 Name: f
204 ...to:
205 Name: x
206 Name: z
207
208
209swap: forall
210 T: type
211 with assertions
212 ?=?: pointer to function
213 with parameters
214 pointer to instance of type T (not function type)
215 instance of type T (not function type)
216 returning
217 instance of type T (not function type)
218
219
220 function
221 with parameters
222 left: instance of type T (not function type)
223 right: instance of type T (not function type)
224 returning
225 nothing
226 with body
227 CompoundStmt
228 Declaration of temp: instance of type T (not function type) with initializer
229 Simple Initializer: Name: left
230
231 Expression Statement:
232 Applying untyped:
233 Name: ?=?
234 ...to:
235 Address of:
236 Name: temp
237 Name: left
238
239 Expression Statement:
240 Applying untyped:
241 Name: ?=?
242 ...to:
243 Address of:
244 Name: left
245 Name: right
246
247 Expression Statement:
248 Applying untyped:
249 Name: ?=?
250 ...to:
251 Address of:
252 Name: right
253 Name: temp
254
255
256context sumable
257 with parameters
258 T: type
259
260 with members
261 0: const instance of type T (not function type)
262 ?+?: function
263 with parameters
264 instance of type T (not function type)
265 instance of type T (not function type)
266 returning
267 instance of type T (not function type)
268
269 ?++: function
270 with parameters
271 instance of type T (not function type)
272 returning
273 instance of type T (not function type)
274
275 ?+=?: function
276 with parameters
277 instance of type T (not function type)
278 instance of type T (not function type)
279 returning
280 instance of type T (not function type)
281
282
283T1: type
284 with assertions
285 0: const instance of type T1 (not function type)
286 ?+?: function
287 with parameters
288 instance of type T1 (not function type)
289 instance of type T1 (not function type)
290 returning
291 instance of type T1 (not function type)
292
293 ?++: function
294 with parameters
295 instance of type T1 (not function type)
296 returning
297 instance of type T1 (not function type)
298
299 ?+=?: function
300 with parameters
301 instance of type T1 (not function type)
302 instance of type T1 (not function type)
303 returning
304 instance of type T1 (not function type)
305
306
307?=?: automatically generated function
308 with parameters
309 _dst: pointer to instance of type T1 (not function type)
310 _src: instance of type T1 (not function type)
311 returning
312 instance of type T1 (not function type)
313
314T2: type
315 with parameters
316 P1: type
317 P2: type
318
319?=?: automatically generated function
320 with parameters
321 _dst: pointer to instance of type T2 (not function type)
322 _src: instance of type T2 (not function type)
323 returning
324 instance of type T2 (not function type)
325
326T3: type
327 with assertions
328 instance of context sumable
329 with parameters
330 instance of type T3 (not function type)
331
332
333?=?: automatically generated function
334 with parameters
335 _dst: pointer to instance of type T3 (not function type)
336 _src: instance of type T3 (not function type)
337 returning
338 instance of type T3 (not function type)
339
340struct __anonymous0
341 with members
342 i: instance of type P1 (not function type)
343 j: instance of type P2 (not function type)
344
345?=?: automatically generated inline static function
346 with parameters
347 _dst: pointer to instance of struct __anonymous0
348 _src: instance of struct __anonymous0
349 returning
350 instance of struct __anonymous0
351 with body
352 CompoundStmt
353 Expression Statement:
354 Applying untyped:
355 Name: ?=?
356 ...to:
357 Address of:
358 Member Expression, with field:
359 i: instance of type P1 (not function type)
360 from aggregate:
361 Applying untyped:
362 Name: *?
363 ...to:
364 Variable Expression: _dst: pointer to instance of struct __anonymous0
365 Member Expression, with field:
366 i: instance of type P1 (not function type)
367 from aggregate:
368 Variable Expression: _src: instance of struct __anonymous0
369
370 Expression Statement:
371 Applying untyped:
372 Name: ?=?
373 ...to:
374 Address of:
375 Member Expression, with field:
376 j: instance of type P2 (not function type)
377 from aggregate:
378 Applying untyped:
379 Name: *?
380 ...to:
381 Variable Expression: _dst: pointer to instance of struct __anonymous0
382 Member Expression, with field:
383 j: instance of type P2 (not function type)
384 from aggregate:
385 Variable Expression: _src: instance of struct __anonymous0
386
387 Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0
388
389
390
391T2: type for instance of struct __anonymous0
392 with parameters
393 P1: type
394 P2: type
395
396 with assertions
397 instance of context sumable
398 with parameters
399 instance of type T2 (not function type)
400 with parameters
401 instance of type P1 (not function type)
402 instance of type P2 (not function type)
403
404
405
406?=?: automatically generated function
407 with parameters
408 _dst: pointer to instance of type T2 (not function type)
409 _src: instance of type T2 (not function type)
410 returning
411 instance of type T2 (not function type)
412 with body
413 CompoundStmt
414 Return Statement, returning: Applying untyped:
415 Name: ?=?
416...to:
417 Cast of:
418 Variable Expression: _dst: pointer to instance of type T2 (not function type)
419
420 to:
421 pointer to instance of struct __anonymous0
422 Cast of:
423 Variable Expression: _src: instance of type T2 (not function type)
424
425 to:
426 instance of struct __anonymous0
427
428
429
430w1: instance of type T2 (not function type)
431 with parameters
432 signed int
433 signed int
434
435g2: instance of type T2 (not function type)
436 with parameters
437 signed int
438 signed int
439
440w3: type for instance of type T2 (not function type)
441 with parameters
442 signed int
443 signed int
444
445?=?: automatically generated function
446 with parameters
447 _dst: pointer to instance of type w3 (not function type)
448 _src: instance of type w3 (not function type)
449 returning
450 instance of type w3 (not function type)
451 with body
452 CompoundStmt
453 Return Statement, returning: Applying untyped:
454 Name: ?=?
455...to:
456 Cast of:
457 Variable Expression: _dst: pointer to instance of type w3 (not function type)
458
459 to:
460 pointer to instance of type T2 (not function type)
461 with parameters
462 signed int
463 signed int
464
465 Cast of:
466 Variable Expression: _src: instance of type w3 (not function type)
467
468 to:
469 instance of type T2 (not function type)
470 with parameters
471 signed int
472 signed int
473
474
475
476
477g3: instance of type w3 (not function type)
478sum: forall
479 T: type
480 with assertions
481 ?=?: pointer to function
482 with parameters
483 pointer to instance of type T (not function type)
484 instance of type T (not function type)
485 returning
486 instance of type T (not function type)
487
488 0: const instance of type T (not function type)
489 ?+?: pointer to function
490 with parameters
491 instance of type T (not function type)
492 instance of type T (not function type)
493 returning
494 instance of type T (not function type)
495
496 ?++: pointer to function
497 with parameters
498 instance of type T (not function type)
499 returning
500 instance of type T (not function type)
501
502 ?+=?: pointer to function
503 with parameters
504 instance of type T (not function type)
505 instance of type T (not function type)
506 returning
507 instance of type T (not function type)
508
509
510 function
511 with parameters
512 n: signed int
513 a: pointer to instance of type T (not function type)
514 returning
515 instance of type T (not function type)
516 with body
517 CompoundStmt
518 Declaration of total: instance of type T (not function type) with initializer
519 Simple Initializer: Name: 0
520
521 Expression Statement:
522 Applying untyped:
523 Name: ?=?
524 ...to:
525 Address of:
526 Name: total
527 Name: 0
528
529 Declaration of i: signed int
530 Labels: {}
531 For Statement
532 initialization:
533 Expression Statement:
534 Applying untyped:
535 Name: ?=?
536 ...to:
537 Address of:
538 Name: i
539 Name: 0
540
541 condition:
542 Cast of:
543 Applying untyped:
544 Name: ?!=?
545 ...to:
546 Applying untyped:
547 Name: ?<?
548 ...to:
549 Name: i
550 Name: n
551 Name: 0
552
553 to:
554 signed int
555
556 increment:
557 Applying untyped:
558 Name: ?+=?
559 ...to:
560 Address of:
561 Name: i
562 Name: 1
563
564 statement block:
565 Expression Statement:
566 Applying untyped:
567 Name: ?=?
568 ...to:
569 Address of:
570 Name: total
571 Applying untyped:
572 Name: ?+?
573 ...to:
574 Name: total
575 Applying untyped:
576 Name: ?[?]
577 ...to:
578 Name: a
579 Name: i
580
581
582 Return Statement, returning: Name: total
583
584
585
586twice: forall
587 T: type
588 with assertions
589 ?=?: pointer to function
590 with parameters
591 pointer to instance of type T (not function type)
592 instance of type T (not function type)
593 returning
594 instance of type T (not function type)
595
596 0: const instance of type T (not function type)
597 ?+?: pointer to function
598 with parameters
599 instance of type T (not function type)
600 instance of type T (not function type)
601 returning
602 instance of type T (not function type)
603
604 ?++: pointer to function
605 with parameters
606 instance of type T (not function type)
607 returning
608 instance of type T (not function type)
609
610 ?+=?: pointer to function
611 with parameters
612 instance of type T (not function type)
613 instance of type T (not function type)
614 returning
615 instance of type T (not function type)
616
617
618 function
619 with parameters
620 t: instance of type T (not function type)
621 returning
622 instance of type T (not function type)
623 with body
624 CompoundStmt
625 Return Statement, returning: Applying untyped:
626 Name: ?+?
627...to:
628 Name: t
629 Name: t
630
631
632
633min: forall
634 T: type
635 with assertions
636 ?=?: pointer to function
637 with parameters
638 pointer to instance of type T (not function type)
639 instance of type T (not function type)
640 returning
641 instance of type T (not function type)
642
643 0: const instance of type T (not function type)
644 ?!=?: pointer to function
645 with parameters
646 instance of type T (not function type)
647 instance of type T (not function type)
648 returning
649 signed int
650
651 ?<?: pointer to function
652 with parameters
653 instance of type T (not function type)
654 instance of type T (not function type)
655 returning
656 signed int
657
658
659 function
660 with parameters
661 t1: instance of type T (not function type)
662 t2: instance of type T (not function type)
663 returning
664 instance of type T (not function type)
665 with body
666 CompoundStmt
667 Return Statement, returning: Conditional expression on:
668 Cast of:
669 Applying untyped:
670 Name: ?!=?
671 ...to:
672 Applying untyped:
673 Name: ?<?
674 ...to:
675 Name: t1
676 Name: t2
677 Name: 0
678
679 to:
680 signed int
681First alternative:
682 Name: t1
683Second alternative:
684 Name: t2
685
686
687
688
689main: C function
690 accepting unspecified arguments
691 returning
692 signed int
693 with body
694 CompoundStmt
695 Declaration of x: signed int with initializer
696 Simple Initializer: Name: 1
697
698 Declaration of y: signed int with initializer
699 Simple Initializer: constant expression 2 signed int
700 Declaration of a: array of signed int with dimension of constant expression 10 signed int
701 Declaration of f: float
702 Expression Statement:
703 Applying untyped:
704 Name: swap
705 ...to:
706 Name: x
707 Name: y
708
709 Expression Statement:
710 Applying untyped:
711 Name: twice
712 ...to:
713 Name: x
714
715 Expression Statement:
716 Applying untyped:
717 Name: ?=?
718 ...to:
719 Address of:
720 Name: f
721 Applying untyped:
722 Name: min
723 ...to:
724constant expression 4.0 double constant expression 3.0 double
725 Expression Statement:
726 Applying untyped:
727 Name: sum
728 ...to:
729constant expression 10 signed int Name: a
730
731
Note: See TracBrowser for help on using the repository browser.