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