source: src/Tests/Expect-r/Statement.txt@ 4c82a3c

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 4c82a3c 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: 23.5 KB
Line 
1nameExpr is ?=?
2decl is ?=?: automatically generated inline function
3 with parameters
4 _dst: pointer to instance of struct __anonymous0
5 _src: instance of struct __anonymous0
6 returning
7 instance of struct __anonymous0
8 with body
9 CompoundStmt
10 Expression Statement:
11 Applying untyped:
12 Name: ?=?
13 ...to:
14 Address of:
15 Member Expression, with field:
16 b: signed int
17 from aggregate:
18 Applying untyped:
19 Name: *?
20 ...to:
21 Variable Expression: _dst: pointer to instance of struct __anonymous0
22 Member Expression, with field:
23 b: signed int
24 from aggregate:
25 Variable Expression: _src: instance of struct __anonymous0
26
27 Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0
28
29
30
31newExpr is Variable Expression: ?=?: inline function
32 with parameters
33 _dst: pointer to instance of struct __anonymous0
34 _src: instance of struct __anonymous0
35 returning
36 instance of struct __anonymous0
37
38
39decl is ?=?: function
40 with parameters
41 pointer to signed int
42 signed int
43 returning
44 signed int
45
46newExpr is Variable Expression: ?=?: function
47 with parameters
48 pointer to signed int
49 signed int
50 returning
51 signed int
52
53
54alternatives before prune:
55Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
56 with parameters
57 _dst: pointer to instance of struct __anonymous0
58 _src: instance of struct __anonymous0
59 returning
60 instance of struct __anonymous0
61
62(types:
63 pointer to function
64 with parameters
65 _dst: pointer to instance of struct __anonymous0
66 _src: instance of struct __anonymous0
67 returning
68 instance of struct __anonymous0
69
70)
71Environment:
72
73Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
74 with parameters
75 pointer to signed int
76 signed int
77 returning
78 signed int
79
80(types:
81 pointer to function
82 with parameters
83 pointer to signed int
84 signed int
85 returning
86 signed int
87
88)
89Environment:
90
91there are 2 alternatives before elimination
92there are 2 alternatives after elimination
93alternatives before prune:
94Cost ( 0, 0, 0 ): Member Expression, with field:
95 b: signed int
96from aggregate:
97 Applying untyped:
98 Name: *?
99 ...to:
100 Variable Expression: _dst: pointer to instance of struct __anonymous0
101(types:
102 lvalue signed int
103)
104Environment:
105
106there are 1 alternatives before elimination
107there are 1 alternatives after elimination
108alternatives before prune:
109Cost ( 0, 0, 0 ): Address of:
110 Member Expression, with field:
111 b: signed int
112 from aggregate:
113 Applying untyped:
114 Name: *?
115 ...to:
116 Variable Expression: _dst: pointer to instance of struct __anonymous0
117(types:
118 pointer to signed int
119)
120Environment:
121
122there are 1 alternatives before elimination
123there are 1 alternatives after elimination
124findSubExprs
125Cost ( 0, 0, 0 ): Address of:
126 Member Expression, with field:
127 b: signed int
128 from aggregate:
129 Applying untyped:
130 Name: *?
131 ...to:
132 Variable Expression: _dst: pointer to instance of struct __anonymous0
133(types:
134 pointer to signed int
135)
136Environment:
137
138alternatives before prune:
139Cost ( 0, 0, 0 ): Member Expression, with field:
140 b: signed int
141from aggregate:
142 Variable Expression: _src: instance of struct __anonymous0
143(types:
144 lvalue signed int
145)
146Environment:
147
148there are 1 alternatives before elimination
149there are 1 alternatives after elimination
150findSubExprs
151Cost ( 0, 0, 0 ): Member Expression, with field:
152 b: signed int
153from aggregate:
154 Variable Expression: _src: instance of struct __anonymous0
155(types:
156 lvalue signed int
157)
158Environment:
159
160working on alternative:
161 Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
162 with parameters
163 pointer to signed int
164 signed int
165 returning
166 signed int
167
168(types:
169 pointer to function
170 with parameters
171 pointer to signed int
172 signed int
173 returning
174 signed int
175
176)
177 Environment:
178formal type is pointer to signed int
179actual type is pointer to signed int
180formal type is signed int
181actual type is lvalue signed int
182need assertions:
183============= original indexer
184===idTable===
185===typeTable===
186===structTable===
187===enumTable===
188===unionTable===
189===contextTable===
190============= new indexer
191===idTable===
192===typeTable===
193===structTable===
194===enumTable===
195===unionTable===
196===contextTable===
197working on alternative:
198 Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
199 with parameters
200 _dst: pointer to instance of struct __anonymous0
201 _src: instance of struct __anonymous0
202 returning
203 instance of struct __anonymous0
204
205(types:
206 pointer to function
207 with parameters
208 _dst: pointer to instance of struct __anonymous0
209 _src: instance of struct __anonymous0
210 returning
211 instance of struct __anonymous0
212
213)
214 Environment:
215formal type is pointer to instance of struct __anonymous0
216actual type is pointer to signed int
217actual expression:
218 Address of:
219 Member Expression, with field:
220 b: signed int
221 from aggregate:
222 Applying untyped:
223 Name: *?
224 ...to:
225 Variable Expression: _dst: pointer to instance of struct __anonymous0
226--- results are
227 pointer to signed int
228
229converting pointer to signed int
230 to pointer to signed int
231cost is( 0, 0, 0 )
232actual expression:
233 Member Expression, with field:
234 b: signed int
235 from aggregate:
236 Variable Expression: _src: instance of struct __anonymous0
237--- results are
238 lvalue signed int
239
240converting lvalue signed int
241 to signed int
242cost is( 0, 0, 0 )
243Case +++++++++++++
244formals are:
245 pointer to signed int
246 signed int
247actuals are:
248 Address of:
249 Member Expression, with field:
250 b: signed int
251 from aggregate:
252 Applying untyped:
253 Name: *?
254 ...to:
255 Variable Expression: _dst: pointer to instance of struct __anonymous0
256
257 Member Expression, with field:
258 b: signed int
259 from aggregate:
260 Variable Expression: _src: instance of struct __anonymous0
261
262bindings are:
263cost of conversion is:( 0, 0, 0 )
264alternatives before prune:
265Cost ( 0, 0, 0 ): Application of
266 Variable Expression: ?=?: function
267 with parameters
268 pointer to signed int
269 signed int
270 returning
271 signed int
272
273to arguments
274 Address of:
275 Member Expression, with field:
276 b: signed int
277 from aggregate:
278 Applying untyped:
279 Name: *?
280 ...to:
281 Variable Expression: _dst: pointer to instance of struct __anonymous0
282
283 Member Expression, with field:
284 b: signed int
285 from aggregate:
286 Variable Expression: _src: instance of struct __anonymous0
287
288(types:
289 signed int
290)
291Environment:
292
293there are 1 alternatives before elimination
294there are 1 alternatives after elimination
295alternatives before prune:
296Cost ( 0, 0, 1 ): Cast of:
297 Application of
298 Variable Expression: ?=?: function
299 with parameters
300 pointer to signed int
301 signed int
302 returning
303 signed int
304
305 to arguments
306 Address of:
307 Member Expression, with field:
308 b: signed int
309 from aggregate:
310 Applying untyped:
311 Name: *?
312 ...to:
313 Variable Expression: _dst: pointer to instance of struct __anonymous0
314
315 Member Expression, with field:
316 b: signed int
317 from aggregate:
318 Variable Expression: _src: instance of struct __anonymous0
319
320
321to:
322 nothing
323(types:
324)
325Environment:
326
327there are 1 alternatives before elimination
328there are 1 alternatives after elimination
329alternatives before prune:
330Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct __anonymous0
331(types:
332 lvalue instance of struct __anonymous0
333)
334Environment:
335
336there are 1 alternatives before elimination
337there are 1 alternatives after elimination
338alternatives before prune:
339Cost ( 0, 0, 0 ): Cast of:
340 Variable Expression: _src: instance of struct __anonymous0
341
342to:
343 instance of struct __anonymous0
344(types:
345 instance of struct __anonymous0
346)
347Environment:
348
349there are 1 alternatives before elimination
350there are 1 alternatives after elimination
351nameExpr is ?!=?
352decl is ?!=?: function
353 with parameters
354 signed int
355 signed int
356 returning
357 signed int
358
359newExpr is Variable Expression: ?!=?: function
360 with parameters
361 signed int
362 signed int
363 returning
364 signed int
365
366
367alternatives before prune:
368Cost ( 0, 0, 0 ): Variable Expression: ?!=?: function
369 with parameters
370 signed int
371 signed int
372 returning
373 signed int
374
375(types:
376 pointer to function
377 with parameters
378 signed int
379 signed int
380 returning
381 signed int
382
383)
384Environment:
385
386there are 1 alternatives before elimination
387there are 1 alternatives after elimination
388nameExpr is a
389decl is a: instance of struct __anonymous0
390newExpr is Variable Expression: a: instance of struct __anonymous0
391
392decl is a: signed int
393newExpr is Variable Expression: a: signed int
394
395alternatives before prune:
396Cost ( 0, 0, 0 ): Variable Expression: a: instance of struct __anonymous0
397(types:
398 lvalue instance of struct __anonymous0
399)
400Environment:
401
402Cost ( 0, 0, 0 ): Variable Expression: a: signed int
403(types:
404 lvalue signed int
405)
406Environment:
407
408there are 2 alternatives before elimination
409there are 2 alternatives after elimination
410findSubExprs
411Cost ( 0, 0, 0 ): Variable Expression: a: signed int
412(types:
413 lvalue signed int
414)
415Environment:
416
417Cost ( 0, 0, 0 ): Variable Expression: a: instance of struct __anonymous0
418(types:
419 lvalue instance of struct __anonymous0
420)
421Environment:
422
423nameExpr is 0
424decl is 0: signed int
425newExpr is Variable Expression: 0: signed int
426
427alternatives before prune:
428Cost ( 0, 0, 0 ): Variable Expression: 0: signed int
429(types:
430 lvalue signed int
431)
432Environment:
433
434there are 1 alternatives before elimination
435there are 1 alternatives after elimination
436findSubExprs
437Cost ( 0, 0, 0 ): Variable Expression: 0: signed int
438(types:
439 lvalue signed int
440)
441Environment:
442
443working on alternative:
444 Cost ( 0, 0, 0 ): Variable Expression: ?!=?: function
445 with parameters
446 signed int
447 signed int
448 returning
449 signed int
450
451(types:
452 pointer to function
453 with parameters
454 signed int
455 signed int
456 returning
457 signed int
458
459)
460 Environment:
461formal type is signed int
462actual type is lvalue signed int
463formal type is signed int
464actual type is lvalue signed int
465need assertions:
466============= original indexer
467===idTable===
468===typeTable===
469===structTable===
470__anonymous0
471===enumTable===
472===unionTable===
473===contextTable===
474============= new indexer
475===idTable===
476===typeTable===
477===structTable===
478__anonymous0
479===enumTable===
480===unionTable===
481===contextTable===
482formal type is signed int
483actual type is lvalue instance of struct __anonymous0
484actual expression:
485 Variable Expression: a: signed int
486--- results are
487 lvalue signed int
488
489converting lvalue signed int
490 to signed int
491cost is( 0, 0, 0 )
492actual expression:
493 Variable Expression: 0: signed int
494--- results are
495 lvalue signed int
496
497converting lvalue signed int
498 to signed int
499cost is( 0, 0, 0 )
500Case +++++++++++++
501formals are:
502 signed int
503 signed int
504actuals are:
505 Variable Expression: a: signed int
506
507 Variable Expression: 0: signed int
508
509bindings are:
510cost of conversion is:( 0, 0, 0 )
511alternatives before prune:
512Cost ( 0, 0, 0 ): Application of
513 Variable Expression: ?!=?: function
514 with parameters
515 signed int
516 signed int
517 returning
518 signed int
519
520to arguments
521 Variable Expression: a: signed int
522
523 Variable Expression: 0: signed int
524
525(types:
526 signed int
527)
528Environment:
529
530there are 1 alternatives before elimination
531there are 1 alternatives after elimination
532alternatives before prune:
533Cost ( 0, 0, 0 ): Cast of:
534 Application of
535 Variable Expression: ?!=?: function
536 with parameters
537 signed int
538 signed int
539 returning
540 signed int
541
542 to arguments
543 Variable Expression: a: signed int
544
545 Variable Expression: 0: signed int
546
547
548to:
549 signed int
550(types:
551 signed int
552)
553Environment:
554
555there are 1 alternatives before elimination
556there are 1 alternatives after elimination
557nameExpr is ?!=?
558decl is ?!=?: function
559 with parameters
560 signed int
561 signed int
562 returning
563 signed int
564
565newExpr is Variable Expression: ?!=?: function
566 with parameters
567 signed int
568 signed int
569 returning
570 signed int
571
572
573alternatives before prune:
574Cost ( 0, 0, 0 ): Variable Expression: ?!=?: function
575 with parameters
576 signed int
577 signed int
578 returning
579 signed int
580
581(types:
582 pointer to function
583 with parameters
584 signed int
585 signed int
586 returning
587 signed int
588
589)
590Environment:
591
592there are 1 alternatives before elimination
593there are 1 alternatives after elimination
594nameExpr is a
595decl is a: instance of struct __anonymous0
596newExpr is Variable Expression: a: instance of struct __anonymous0
597
598decl is a: signed int
599newExpr is Variable Expression: a: signed int
600
601alternatives before prune:
602Cost ( 0, 0, 0 ): Variable Expression: a: instance of struct __anonymous0
603(types:
604 lvalue instance of struct __anonymous0
605)
606Environment:
607
608Cost ( 0, 0, 0 ): Variable Expression: a: signed int
609(types:
610 lvalue signed int
611)
612Environment:
613
614there are 2 alternatives before elimination
615there are 2 alternatives after elimination
616findSubExprs
617Cost ( 0, 0, 0 ): Variable Expression: a: signed int
618(types:
619 lvalue signed int
620)
621Environment:
622
623Cost ( 0, 0, 0 ): Variable Expression: a: instance of struct __anonymous0
624(types:
625 lvalue instance of struct __anonymous0
626)
627Environment:
628
629nameExpr is 0
630decl is 0: signed int
631newExpr is Variable Expression: 0: signed int
632
633alternatives before prune:
634Cost ( 0, 0, 0 ): Variable Expression: 0: signed int
635(types:
636 lvalue signed int
637)
638Environment:
639
640there are 1 alternatives before elimination
641there are 1 alternatives after elimination
642findSubExprs
643Cost ( 0, 0, 0 ): Variable Expression: 0: signed int
644(types:
645 lvalue signed int
646)
647Environment:
648
649working on alternative:
650 Cost ( 0, 0, 0 ): Variable Expression: ?!=?: function
651 with parameters
652 signed int
653 signed int
654 returning
655 signed int
656
657(types:
658 pointer to function
659 with parameters
660 signed int
661 signed int
662 returning
663 signed int
664
665)
666 Environment:
667formal type is signed int
668actual type is lvalue signed int
669formal type is signed int
670actual type is lvalue signed int
671need assertions:
672============= original indexer
673===idTable===
674===typeTable===
675===structTable===
676===enumTable===
677===unionTable===
678===contextTable===
679============= new indexer
680===idTable===
681===typeTable===
682===structTable===
683===enumTable===
684===unionTable===
685===contextTable===
686formal type is signed int
687actual type is lvalue instance of struct __anonymous0
688actual expression:
689 Variable Expression: a: signed int
690--- results are
691 lvalue signed int
692
693converting lvalue signed int
694 to signed int
695cost is( 0, 0, 0 )
696actual expression:
697 Variable Expression: 0: signed int
698--- results are
699 lvalue signed int
700
701converting lvalue signed int
702 to signed int
703cost is( 0, 0, 0 )
704Case +++++++++++++
705formals are:
706 signed int
707 signed int
708actuals are:
709 Variable Expression: a: signed int
710
711 Variable Expression: 0: signed int
712
713bindings are:
714cost of conversion is:( 0, 0, 0 )
715alternatives before prune:
716Cost ( 0, 0, 0 ): Application of
717 Variable Expression: ?!=?: function
718 with parameters
719 signed int
720 signed int
721 returning
722 signed int
723
724to arguments
725 Variable Expression: a: signed int
726
727 Variable Expression: 0: signed int
728
729(types:
730 signed int
731)
732Environment:
733
734there are 1 alternatives before elimination
735there are 1 alternatives after elimination
736alternatives before prune:
737Cost ( 0, 0, 0 ): Cast of:
738 Application of
739 Variable Expression: ?!=?: function
740 with parameters
741 signed int
742 signed int
743 returning
744 signed int
745
746 to arguments
747 Variable Expression: a: signed int
748
749 Variable Expression: 0: signed int
750
751
752to:
753 signed int
754(types:
755 signed int
756)
757Environment:
758
759there are 1 alternatives before elimination
760there are 1 alternatives after elimination
761nameExpr is b
762decl is b: pointer to signed int
763newExpr is Variable Expression: b: pointer to signed int
764
765alternatives before prune:
766Cost ( 0, 0, 0 ): Variable Expression: b: pointer to signed int
767(types:
768 lvalue pointer to signed int
769)
770Environment:
771
772there are 1 alternatives before elimination
773there are 1 alternatives after elimination
774alternatives before prune:
775Cost ( 0, 0, 1 ): Cast of:
776 Variable Expression: b: pointer to signed int
777
778to:
779 nothing
780(types:
781)
782Environment:
783
784there are 1 alternatives before elimination
785there are 1 alternatives after elimination
786nameExpr is ?!=?
787decl is ?!=?: function
788 with parameters
789 signed int
790 signed int
791 returning
792 signed int
793
794newExpr is Variable Expression: ?!=?: function
795 with parameters
796 signed int
797 signed int
798 returning
799 signed int
800
801
802alternatives before prune:
803Cost ( 0, 0, 0 ): Variable Expression: ?!=?: function
804 with parameters
805 signed int
806 signed int
807 returning
808 signed int
809
810(types:
811 pointer to function
812 with parameters
813 signed int
814 signed int
815 returning
816 signed int
817
818)
819Environment:
820
821there are 1 alternatives before elimination
822there are 1 alternatives after elimination
823nameExpr is a
824decl is a: instance of struct __anonymous0
825newExpr is Variable Expression: a: instance of struct __anonymous0
826
827decl is a: signed int
828newExpr is Variable Expression: a: signed int
829
830alternatives before prune:
831Cost ( 0, 0, 0 ): Variable Expression: a: instance of struct __anonymous0
832(types:
833 lvalue instance of struct __anonymous0
834)
835Environment:
836
837Cost ( 0, 0, 0 ): Variable Expression: a: signed int
838(types:
839 lvalue signed int
840)
841Environment:
842
843there are 2 alternatives before elimination
844there are 2 alternatives after elimination
845findSubExprs
846Cost ( 0, 0, 0 ): Variable Expression: a: signed int
847(types:
848 lvalue signed int
849)
850Environment:
851
852Cost ( 0, 0, 0 ): Variable Expression: a: instance of struct __anonymous0
853(types:
854 lvalue instance of struct __anonymous0
855)
856Environment:
857
858nameExpr is 0
859decl is 0: signed int
860newExpr is Variable Expression: 0: signed int
861
862alternatives before prune:
863Cost ( 0, 0, 0 ): Variable Expression: 0: signed int
864(types:
865 lvalue signed int
866)
867Environment:
868
869there are 1 alternatives before elimination
870there are 1 alternatives after elimination
871findSubExprs
872Cost ( 0, 0, 0 ): Variable Expression: 0: signed int
873(types:
874 lvalue signed int
875)
876Environment:
877
878working on alternative:
879 Cost ( 0, 0, 0 ): Variable Expression: ?!=?: function
880 with parameters
881 signed int
882 signed int
883 returning
884 signed int
885
886(types:
887 pointer to function
888 with parameters
889 signed int
890 signed int
891 returning
892 signed int
893
894)
895 Environment:
896formal type is signed int
897actual type is lvalue signed int
898formal type is signed int
899actual type is lvalue signed int
900need assertions:
901============= original indexer
902===idTable===
903===typeTable===
904===structTable===
905===enumTable===
906===unionTable===
907===contextTable===
908============= new indexer
909===idTable===
910===typeTable===
911===structTable===
912===enumTable===
913===unionTable===
914===contextTable===
915formal type is signed int
916actual type is lvalue instance of struct __anonymous0
917actual expression:
918 Variable Expression: a: signed int
919--- results are
920 lvalue signed int
921
922converting lvalue signed int
923 to signed int
924cost is( 0, 0, 0 )
925actual expression:
926 Variable Expression: 0: signed int
927--- results are
928 lvalue signed int
929
930converting lvalue signed int
931 to signed int
932cost is( 0, 0, 0 )
933Case +++++++++++++
934formals are:
935 signed int
936 signed int
937actuals are:
938 Variable Expression: a: signed int
939
940 Variable Expression: 0: signed int
941
942bindings are:
943cost of conversion is:( 0, 0, 0 )
944alternatives before prune:
945Cost ( 0, 0, 0 ): Application of
946 Variable Expression: ?!=?: function
947 with parameters
948 signed int
949 signed int
950 returning
951 signed int
952
953to arguments
954 Variable Expression: a: signed int
955
956 Variable Expression: 0: signed int
957
958(types:
959 signed int
960)
961Environment:
962
963there are 1 alternatives before elimination
964there are 1 alternatives after elimination
965alternatives before prune:
966Cost ( 0, 0, 0 ): Cast of:
967 Application of
968 Variable Expression: ?!=?: function
969 with parameters
970 signed int
971 signed int
972 returning
973 signed int
974
975 to arguments
976 Variable Expression: a: signed int
977
978 Variable Expression: 0: signed int
979
980
981to:
982 signed int
983(types:
984 signed int
985)
986Environment:
987
988there are 1 alternatives before elimination
989there are 1 alternatives after elimination
990nameExpr is b
991decl is b: pointer to signed int
992newExpr is Variable Expression: b: pointer to signed int
993
994alternatives before prune:
995Cost ( 0, 0, 0 ): Variable Expression: b: pointer to signed int
996(types:
997 lvalue pointer to signed int
998)
999Environment:
1000
1001there are 1 alternatives before elimination
1002there are 1 alternatives after elimination
1003alternatives before prune:
1004Cost ( 0, 0, 1 ): Cast of:
1005 Variable Expression: b: pointer to signed int
1006
1007to:
1008 nothing
1009(types:
1010)
1011Environment:
1012
1013there are 1 alternatives before elimination
1014there are 1 alternatives after elimination
1015int ___operator_assign__Fi_Pii_(int *, int );
1016int ___operator_notequal__Fi_ii_(int , int );
1017int ___constant_zero__i;
1018void __f__F__(){
1019 int __a__i;
1020 struct __anonymous0
1021 {
1022 int __b__i;
1023 };
1024 inline struct __anonymous0 ___operator_assign__F13s__anonymous0_P13s__anonymous013s__anonymous0_(struct __anonymous0 *___dst__P13s__anonymous0, struct __anonymous0 ___src__13s__anonymous0){
1025 ___operator_assign__Fi_Pii_((&(*___dst__P13s__anonymous0).__b__i), ___src__13s__anonymous0.__b__i);
1026 return ___src__13s__anonymous0;
1027 }
1028 struct __anonymous0 __a__13s__anonymous0;
1029 if (((int )___operator_notequal__Fi_ii_(__a__i, ___constant_zero__i))) {
1030 while (((int )___operator_notequal__Fi_ii_(__a__i, ___constant_zero__i))) {
1031 int *__b__Pi;
1032 for (__b__Pi;((int )___operator_notequal__Fi_ii_(__a__i, ___constant_zero__i));__b__Pi) {
1033 }
1034
1035 }
1036
1037 }
1038
1039}
Note: See TracBrowser for help on using the repository browser.