source: src/Tests/Expect-r/NamedParmArg.txt @ ae4c85a

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since ae4c85a was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 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.