source: src/Tests/Expect-r/Cast.txt @ b617e4b

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since b617e4b 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: 41.0 KB
Line 
1nameExpr is f
2decl is f: function
3    accepting unspecified arguments
4  returning
5    nothing
6  with body
7    CompoundStmt
8      Declaration of f: char
9      Declaration of f: double
10              Expression Statement:
11          Cast of:
12            Name: f
13
14          to:
15            signed int
16
17      Declaration of f: short signed int
18              Expression Statement:
19          Cast of:
20            Name: f
21
22          to:
23            signed int
24
25              Expression Statement:
26          Cast of:
27            Name: f
28
29          to:
30            pointer to function
31                  accepting unspecified arguments
32                returning
33                  nothing
34
35
36              Expression Statement:
37          Cast of:
38            Tuple:
39                              Name: f
40
41                              Name: f
42
43                              Name: f
44
45
46          to:
47            long signed int
48            long double
49            pointer to function
50                  accepting unspecified arguments
51                returning
52                  nothing
53
54
55
56newExpr is Variable Expression: f: function
57      accepting unspecified arguments
58    returning
59      nothing
60
61
62decl is f: char
63newExpr is Variable Expression: f: char
64
65decl is f: double
66newExpr is Variable Expression: f: double
67
68alternatives before prune:
69Cost ( 0, 0, 0 ): Variable Expression: f: function
70      accepting unspecified arguments
71    returning
72      nothing
73
74(types:
75    pointer to function
76          accepting unspecified arguments
77        returning
78          nothing
79
80)
81Environment:
82
83Cost ( 0, 0, 0 ): Variable Expression: f: char
84(types:
85    lvalue char
86)
87Environment:
88
89Cost ( 0, 0, 0 ): Variable Expression: f: double
90(types:
91    lvalue double
92)
93Environment:
94
95there are 3 alternatives before elimination
96there are 3 alternatives after elimination
97alternatives before prune:
98Cost ( 0, 0, 4 ): Cast of:
99  Variable Expression: f: char
100
101to:
102  signed int
103(types:
104    signed int
105)
106Environment:
107
108there are 1 alternatives before elimination
109there are 1 alternatives after elimination
110alternatives before prune:
111Cost ( 0, 0, 1 ): Cast of:
112  Cast of:
113    Variable Expression: f: char
114
115  to:
116    signed int
117
118to:
119  nothing
120(types:
121)
122Environment:
123
124there are 1 alternatives before elimination
125there are 1 alternatives after elimination
126nameExpr is f
127decl is f: function
128    accepting unspecified arguments
129  returning
130    nothing
131  with body
132    CompoundStmt
133      Declaration of f: char
134      Declaration of f: double
135              Expression Statement:
136          Cast of:
137            Variable Expression: f: char
138
139          to:
140            signed int
141          with environment:
142            Types:
143            Non-types:
144
145      Declaration of f: short signed int
146              Expression Statement:
147          Cast of:
148            Name: f
149
150          to:
151            signed int
152
153              Expression Statement:
154          Cast of:
155            Name: f
156
157          to:
158            pointer to function
159                  accepting unspecified arguments
160                returning
161                  nothing
162
163
164              Expression Statement:
165          Cast of:
166            Tuple:
167                              Name: f
168
169                              Name: f
170
171                              Name: f
172
173
174          to:
175            long signed int
176            long double
177            pointer to function
178                  accepting unspecified arguments
179                returning
180                  nothing
181
182
183
184newExpr is Variable Expression: f: function
185      accepting unspecified arguments
186    returning
187      nothing
188
189
190decl is f: char
191newExpr is Variable Expression: f: char
192
193decl is f: double
194newExpr is Variable Expression: f: double
195
196decl is f: short signed int
197newExpr is Variable Expression: f: short signed int
198
199alternatives before prune:
200Cost ( 0, 0, 0 ): Variable Expression: f: function
201      accepting unspecified arguments
202    returning
203      nothing
204
205(types:
206    pointer to function
207          accepting unspecified arguments
208        returning
209          nothing
210
211)
212Environment:
213
214Cost ( 0, 0, 0 ): Variable Expression: f: char
215(types:
216    lvalue char
217)
218Environment:
219
220Cost ( 0, 0, 0 ): Variable Expression: f: double
221(types:
222    lvalue double
223)
224Environment:
225
226Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
227(types:
228    lvalue short signed int
229)
230Environment:
231
232there are 4 alternatives before elimination
233there are 4 alternatives after elimination
234alternatives before prune:
235Cost ( 0, 0, 2 ): Cast of:
236  Variable Expression: f: short signed int
237
238to:
239  signed int
240(types:
241    signed int
242)
243Environment:
244
245there are 1 alternatives before elimination
246there are 1 alternatives after elimination
247alternatives before prune:
248Cost ( 0, 0, 1 ): Cast of:
249  Cast of:
250    Variable Expression: f: short signed int
251
252  to:
253    signed int
254
255to:
256  nothing
257(types:
258)
259Environment:
260
261there are 1 alternatives before elimination
262there are 1 alternatives after elimination
263nameExpr is f
264decl is f: function
265    accepting unspecified arguments
266  returning
267    nothing
268  with body
269    CompoundStmt
270      Declaration of f: char
271      Declaration of f: double
272              Expression Statement:
273          Cast of:
274            Variable Expression: f: char
275
276          to:
277            signed int
278          with environment:
279            Types:
280            Non-types:
281
282      Declaration of f: short signed int
283              Expression Statement:
284          Cast of:
285            Variable Expression: f: short signed int
286
287          to:
288            signed int
289          with environment:
290            Types:
291            Non-types:
292
293              Expression Statement:
294          Cast of:
295            Name: f
296
297          to:
298            pointer to function
299                  accepting unspecified arguments
300                returning
301                  nothing
302
303
304              Expression Statement:
305          Cast of:
306            Tuple:
307                              Name: f
308
309                              Name: f
310
311                              Name: f
312
313
314          to:
315            long signed int
316            long double
317            pointer to function
318                  accepting unspecified arguments
319                returning
320                  nothing
321
322
323
324newExpr is Variable Expression: f: function
325      accepting unspecified arguments
326    returning
327      nothing
328
329
330decl is f: char
331newExpr is Variable Expression: f: char
332
333decl is f: double
334newExpr is Variable Expression: f: double
335
336decl is f: short signed int
337newExpr is Variable Expression: f: short signed int
338
339alternatives before prune:
340Cost ( 0, 0, 0 ): Variable Expression: f: function
341      accepting unspecified arguments
342    returning
343      nothing
344
345(types:
346    pointer to function
347          accepting unspecified arguments
348        returning
349          nothing
350
351)
352Environment:
353
354Cost ( 0, 0, 0 ): Variable Expression: f: char
355(types:
356    lvalue char
357)
358Environment:
359
360Cost ( 0, 0, 0 ): Variable Expression: f: double
361(types:
362    lvalue double
363)
364Environment:
365
366Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
367(types:
368    lvalue short signed int
369)
370Environment:
371
372there are 4 alternatives before elimination
373there are 4 alternatives after elimination
374alternatives before prune:
375Cost ( 0, 0, 0 ): Cast of:
376  Variable Expression: f: function
377        accepting unspecified arguments
378      returning
379        nothing
380
381
382to:
383  pointer to function
384        accepting unspecified arguments
385      returning
386        nothing
387
388(types:
389    pointer to function
390          accepting unspecified arguments
391        returning
392          nothing
393
394)
395Environment:
396
397there are 1 alternatives before elimination
398there are 1 alternatives after elimination
399alternatives before prune:
400Cost ( 0, 0, 1 ): Cast of:
401  Cast of:
402    Variable Expression: f: function
403          accepting unspecified arguments
404        returning
405          nothing
406
407
408  to:
409    pointer to function
410          accepting unspecified arguments
411        returning
412          nothing
413
414
415to:
416  nothing
417(types:
418)
419Environment:
420
421there are 1 alternatives before elimination
422there are 1 alternatives after elimination
423nameExpr is f
424decl is f: function
425    accepting unspecified arguments
426  returning
427    nothing
428  with body
429    CompoundStmt
430      Declaration of f: char
431      Declaration of f: double
432              Expression Statement:
433          Cast of:
434            Variable Expression: f: char
435
436          to:
437            signed int
438          with environment:
439            Types:
440            Non-types:
441
442      Declaration of f: short signed int
443              Expression Statement:
444          Cast of:
445            Variable Expression: f: short signed int
446
447          to:
448            signed int
449          with environment:
450            Types:
451            Non-types:
452
453              Expression Statement:
454          Cast of:
455            Variable Expression: f: function
456                  accepting unspecified arguments
457                returning
458                  nothing
459
460
461          to:
462            pointer to function
463                  accepting unspecified arguments
464                returning
465                  nothing
466
467          with environment:
468            Types:
469            Non-types:
470
471              Expression Statement:
472          Cast of:
473            Tuple:
474                              Name: f
475
476                              Name: f
477
478                              Name: f
479
480
481          to:
482            long signed int
483            long double
484            pointer to function
485                  accepting unspecified arguments
486                returning
487                  nothing
488
489
490
491newExpr is Variable Expression: f: function
492      accepting unspecified arguments
493    returning
494      nothing
495
496
497decl is f: char
498newExpr is Variable Expression: f: char
499
500decl is f: double
501newExpr is Variable Expression: f: double
502
503decl is f: short signed int
504newExpr is Variable Expression: f: short signed int
505
506alternatives before prune:
507Cost ( 0, 0, 0 ): Variable Expression: f: function
508      accepting unspecified arguments
509    returning
510      nothing
511
512(types:
513    pointer to function
514          accepting unspecified arguments
515        returning
516          nothing
517
518)
519Environment:
520
521Cost ( 0, 0, 0 ): Variable Expression: f: char
522(types:
523    lvalue char
524)
525Environment:
526
527Cost ( 0, 0, 0 ): Variable Expression: f: double
528(types:
529    lvalue double
530)
531Environment:
532
533Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
534(types:
535    lvalue short signed int
536)
537Environment:
538
539there are 4 alternatives before elimination
540there are 4 alternatives after elimination
541findSubExprs
542Cost ( 0, 0, 0 ): Variable Expression: f: function
543      accepting unspecified arguments
544    returning
545      nothing
546
547(types:
548    pointer to function
549          accepting unspecified arguments
550        returning
551          nothing
552
553)
554Environment:
555
556Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
557(types:
558    lvalue short signed int
559)
560Environment:
561
562Cost ( 0, 0, 0 ): Variable Expression: f: double
563(types:
564    lvalue double
565)
566Environment:
567
568Cost ( 0, 0, 0 ): Variable Expression: f: char
569(types:
570    lvalue char
571)
572Environment:
573
574nameExpr is f
575decl is f: function
576    accepting unspecified arguments
577  returning
578    nothing
579  with body
580    CompoundStmt
581      Declaration of f: char
582      Declaration of f: double
583              Expression Statement:
584          Cast of:
585            Variable Expression: f: char
586
587          to:
588            signed int
589          with environment:
590            Types:
591            Non-types:
592
593      Declaration of f: short signed int
594              Expression Statement:
595          Cast of:
596            Variable Expression: f: short signed int
597
598          to:
599            signed int
600          with environment:
601            Types:
602            Non-types:
603
604              Expression Statement:
605          Cast of:
606            Variable Expression: f: function
607                  accepting unspecified arguments
608                returning
609                  nothing
610
611
612          to:
613            pointer to function
614                  accepting unspecified arguments
615                returning
616                  nothing
617
618          with environment:
619            Types:
620            Non-types:
621
622              Expression Statement:
623          Cast of:
624            Tuple:
625                              Name: f
626
627                              Name: f
628
629                              Name: f
630
631
632          to:
633            long signed int
634            long double
635            pointer to function
636                  accepting unspecified arguments
637                returning
638                  nothing
639
640
641
642newExpr is Variable Expression: f: function
643      accepting unspecified arguments
644    returning
645      nothing
646
647
648decl is f: char
649newExpr is Variable Expression: f: char
650
651decl is f: double
652newExpr is Variable Expression: f: double
653
654decl is f: short signed int
655newExpr is Variable Expression: f: short signed int
656
657alternatives before prune:
658Cost ( 0, 0, 0 ): Variable Expression: f: function
659      accepting unspecified arguments
660    returning
661      nothing
662
663(types:
664    pointer to function
665          accepting unspecified arguments
666        returning
667          nothing
668
669)
670Environment:
671
672Cost ( 0, 0, 0 ): Variable Expression: f: char
673(types:
674    lvalue char
675)
676Environment:
677
678Cost ( 0, 0, 0 ): Variable Expression: f: double
679(types:
680    lvalue double
681)
682Environment:
683
684Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
685(types:
686    lvalue short signed int
687)
688Environment:
689
690there are 4 alternatives before elimination
691there are 4 alternatives after elimination
692findSubExprs
693Cost ( 0, 0, 0 ): Variable Expression: f: function
694      accepting unspecified arguments
695    returning
696      nothing
697
698(types:
699    pointer to function
700          accepting unspecified arguments
701        returning
702          nothing
703
704)
705Environment:
706
707Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
708(types:
709    lvalue short signed int
710)
711Environment:
712
713Cost ( 0, 0, 0 ): Variable Expression: f: double
714(types:
715    lvalue double
716)
717Environment:
718
719Cost ( 0, 0, 0 ): Variable Expression: f: char
720(types:
721    lvalue char
722)
723Environment:
724
725nameExpr is f
726decl is f: function
727    accepting unspecified arguments
728  returning
729    nothing
730  with body
731    CompoundStmt
732      Declaration of f: char
733      Declaration of f: double
734              Expression Statement:
735          Cast of:
736            Variable Expression: f: char
737
738          to:
739            signed int
740          with environment:
741            Types:
742            Non-types:
743
744      Declaration of f: short signed int
745              Expression Statement:
746          Cast of:
747            Variable Expression: f: short signed int
748
749          to:
750            signed int
751          with environment:
752            Types:
753            Non-types:
754
755              Expression Statement:
756          Cast of:
757            Variable Expression: f: function
758                  accepting unspecified arguments
759                returning
760                  nothing
761
762
763          to:
764            pointer to function
765                  accepting unspecified arguments
766                returning
767                  nothing
768
769          with environment:
770            Types:
771            Non-types:
772
773              Expression Statement:
774          Cast of:
775            Tuple:
776                              Name: f
777
778                              Name: f
779
780                              Name: f
781
782
783          to:
784            long signed int
785            long double
786            pointer to function
787                  accepting unspecified arguments
788                returning
789                  nothing
790
791
792
793newExpr is Variable Expression: f: function
794      accepting unspecified arguments
795    returning
796      nothing
797
798
799decl is f: char
800newExpr is Variable Expression: f: char
801
802decl is f: double
803newExpr is Variable Expression: f: double
804
805decl is f: short signed int
806newExpr is Variable Expression: f: short signed int
807
808alternatives before prune:
809Cost ( 0, 0, 0 ): Variable Expression: f: function
810      accepting unspecified arguments
811    returning
812      nothing
813
814(types:
815    pointer to function
816          accepting unspecified arguments
817        returning
818          nothing
819
820)
821Environment:
822
823Cost ( 0, 0, 0 ): Variable Expression: f: char
824(types:
825    lvalue char
826)
827Environment:
828
829Cost ( 0, 0, 0 ): Variable Expression: f: double
830(types:
831    lvalue double
832)
833Environment:
834
835Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
836(types:
837    lvalue short signed int
838)
839Environment:
840
841there are 4 alternatives before elimination
842there are 4 alternatives after elimination
843findSubExprs
844Cost ( 0, 0, 0 ): Variable Expression: f: function
845      accepting unspecified arguments
846    returning
847      nothing
848
849(types:
850    pointer to function
851          accepting unspecified arguments
852        returning
853          nothing
854
855)
856Environment:
857
858Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
859(types:
860    lvalue short signed int
861)
862Environment:
863
864Cost ( 0, 0, 0 ): Variable Expression: f: double
865(types:
866    lvalue double
867)
868Environment:
869
870Cost ( 0, 0, 0 ): Variable Expression: f: char
871(types:
872    lvalue char
873)
874Environment:
875
876alternatives before prune:
877Cost ( 0, 0, 0 ): Tuple:
878      Variable Expression: f: function
879          accepting unspecified arguments
880        returning
881          nothing
882
883
884      Variable Expression: f: function
885          accepting unspecified arguments
886        returning
887          nothing
888
889
890      Variable Expression: f: function
891          accepting unspecified arguments
892        returning
893          nothing
894
895
896(types:
897    pointer to function
898          accepting unspecified arguments
899        returning
900          nothing
901
902    pointer to function
903          accepting unspecified arguments
904        returning
905          nothing
906
907    pointer to function
908          accepting unspecified arguments
909        returning
910          nothing
911
912)
913Environment:
914
915Cost ( 0, 0, 0 ): Tuple:
916      Variable Expression: f: short signed int
917
918      Variable Expression: f: function
919          accepting unspecified arguments
920        returning
921          nothing
922
923
924      Variable Expression: f: function
925          accepting unspecified arguments
926        returning
927          nothing
928
929
930(types:
931    lvalue short signed int
932    pointer to function
933          accepting unspecified arguments
934        returning
935          nothing
936
937    pointer to function
938          accepting unspecified arguments
939        returning
940          nothing
941
942)
943Environment:
944
945Cost ( 0, 0, 0 ): Tuple:
946      Variable Expression: f: double
947
948      Variable Expression: f: function
949          accepting unspecified arguments
950        returning
951          nothing
952
953
954      Variable Expression: f: function
955          accepting unspecified arguments
956        returning
957          nothing
958
959
960(types:
961    lvalue double
962    pointer to function
963          accepting unspecified arguments
964        returning
965          nothing
966
967    pointer to function
968          accepting unspecified arguments
969        returning
970          nothing
971
972)
973Environment:
974
975Cost ( 0, 0, 0 ): Tuple:
976      Variable Expression: f: char
977
978      Variable Expression: f: function
979          accepting unspecified arguments
980        returning
981          nothing
982
983
984      Variable Expression: f: function
985          accepting unspecified arguments
986        returning
987          nothing
988
989
990(types:
991    lvalue char
992    pointer to function
993          accepting unspecified arguments
994        returning
995          nothing
996
997    pointer to function
998          accepting unspecified arguments
999        returning
1000          nothing
1001
1002)
1003Environment:
1004
1005Cost ( 0, 0, 0 ): Tuple:
1006      Variable Expression: f: function
1007          accepting unspecified arguments
1008        returning
1009          nothing
1010
1011
1012      Variable Expression: f: short signed int
1013
1014      Variable Expression: f: function
1015          accepting unspecified arguments
1016        returning
1017          nothing
1018
1019
1020(types:
1021    pointer to function
1022          accepting unspecified arguments
1023        returning
1024          nothing
1025
1026    lvalue short signed int
1027    pointer to function
1028          accepting unspecified arguments
1029        returning
1030          nothing
1031
1032)
1033Environment:
1034
1035Cost ( 0, 0, 0 ): Tuple:
1036      Variable Expression: f: short signed int
1037
1038      Variable Expression: f: short signed int
1039
1040      Variable Expression: f: function
1041          accepting unspecified arguments
1042        returning
1043          nothing
1044
1045
1046(types:
1047    lvalue short signed int
1048    lvalue short signed int
1049    pointer to function
1050          accepting unspecified arguments
1051        returning
1052          nothing
1053
1054)
1055Environment:
1056
1057Cost ( 0, 0, 0 ): Tuple:
1058      Variable Expression: f: double
1059
1060      Variable Expression: f: short signed int
1061
1062      Variable Expression: f: function
1063          accepting unspecified arguments
1064        returning
1065          nothing
1066
1067
1068(types:
1069    lvalue double
1070    lvalue short signed int
1071    pointer to function
1072          accepting unspecified arguments
1073        returning
1074          nothing
1075
1076)
1077Environment:
1078
1079Cost ( 0, 0, 0 ): Tuple:
1080      Variable Expression: f: char
1081
1082      Variable Expression: f: short signed int
1083
1084      Variable Expression: f: function
1085          accepting unspecified arguments
1086        returning
1087          nothing
1088
1089
1090(types:
1091    lvalue char
1092    lvalue short signed int
1093    pointer to function
1094          accepting unspecified arguments
1095        returning
1096          nothing
1097
1098)
1099Environment:
1100
1101Cost ( 0, 0, 0 ): Tuple:
1102      Variable Expression: f: function
1103          accepting unspecified arguments
1104        returning
1105          nothing
1106
1107
1108      Variable Expression: f: double
1109
1110      Variable Expression: f: function
1111          accepting unspecified arguments
1112        returning
1113          nothing
1114
1115
1116(types:
1117    pointer to function
1118          accepting unspecified arguments
1119        returning
1120          nothing
1121
1122    lvalue double
1123    pointer to function
1124          accepting unspecified arguments
1125        returning
1126          nothing
1127
1128)
1129Environment:
1130
1131Cost ( 0, 0, 0 ): Tuple:
1132      Variable Expression: f: short signed int
1133
1134      Variable Expression: f: double
1135
1136      Variable Expression: f: function
1137          accepting unspecified arguments
1138        returning
1139          nothing
1140
1141
1142(types:
1143    lvalue short signed int
1144    lvalue double
1145    pointer to function
1146          accepting unspecified arguments
1147        returning
1148          nothing
1149
1150)
1151Environment:
1152
1153Cost ( 0, 0, 0 ): Tuple:
1154      Variable Expression: f: double
1155
1156      Variable Expression: f: double
1157
1158      Variable Expression: f: function
1159          accepting unspecified arguments
1160        returning
1161          nothing
1162
1163
1164(types:
1165    lvalue double
1166    lvalue double
1167    pointer to function
1168          accepting unspecified arguments
1169        returning
1170          nothing
1171
1172)
1173Environment:
1174
1175Cost ( 0, 0, 0 ): Tuple:
1176      Variable Expression: f: char
1177
1178      Variable Expression: f: double
1179
1180      Variable Expression: f: function
1181          accepting unspecified arguments
1182        returning
1183          nothing
1184
1185
1186(types:
1187    lvalue char
1188    lvalue double
1189    pointer to function
1190          accepting unspecified arguments
1191        returning
1192          nothing
1193
1194)
1195Environment:
1196
1197Cost ( 0, 0, 0 ): Tuple:
1198      Variable Expression: f: function
1199          accepting unspecified arguments
1200        returning
1201          nothing
1202
1203
1204      Variable Expression: f: char
1205
1206      Variable Expression: f: function
1207          accepting unspecified arguments
1208        returning
1209          nothing
1210
1211
1212(types:
1213    pointer to function
1214          accepting unspecified arguments
1215        returning
1216          nothing
1217
1218    lvalue char
1219    pointer to function
1220          accepting unspecified arguments
1221        returning
1222          nothing
1223
1224)
1225Environment:
1226
1227Cost ( 0, 0, 0 ): Tuple:
1228      Variable Expression: f: short signed int
1229
1230      Variable Expression: f: char
1231
1232      Variable Expression: f: function
1233          accepting unspecified arguments
1234        returning
1235          nothing
1236
1237
1238(types:
1239    lvalue short signed int
1240    lvalue char
1241    pointer to function
1242          accepting unspecified arguments
1243        returning
1244          nothing
1245
1246)
1247Environment:
1248
1249Cost ( 0, 0, 0 ): Tuple:
1250      Variable Expression: f: double
1251
1252      Variable Expression: f: char
1253
1254      Variable Expression: f: function
1255          accepting unspecified arguments
1256        returning
1257          nothing
1258
1259
1260(types:
1261    lvalue double
1262    lvalue char
1263    pointer to function
1264          accepting unspecified arguments
1265        returning
1266          nothing
1267
1268)
1269Environment:
1270
1271Cost ( 0, 0, 0 ): Tuple:
1272      Variable Expression: f: char
1273
1274      Variable Expression: f: char
1275
1276      Variable Expression: f: function
1277          accepting unspecified arguments
1278        returning
1279          nothing
1280
1281
1282(types:
1283    lvalue char
1284    lvalue char
1285    pointer to function
1286          accepting unspecified arguments
1287        returning
1288          nothing
1289
1290)
1291Environment:
1292
1293Cost ( 0, 0, 0 ): Tuple:
1294      Variable Expression: f: function
1295          accepting unspecified arguments
1296        returning
1297          nothing
1298
1299
1300      Variable Expression: f: function
1301          accepting unspecified arguments
1302        returning
1303          nothing
1304
1305
1306      Variable Expression: f: short signed int
1307
1308(types:
1309    pointer to function
1310          accepting unspecified arguments
1311        returning
1312          nothing
1313
1314    pointer to function
1315          accepting unspecified arguments
1316        returning
1317          nothing
1318
1319    lvalue short signed int
1320)
1321Environment:
1322
1323Cost ( 0, 0, 0 ): Tuple:
1324      Variable Expression: f: short signed int
1325
1326      Variable Expression: f: function
1327          accepting unspecified arguments
1328        returning
1329          nothing
1330
1331
1332      Variable Expression: f: short signed int
1333
1334(types:
1335    lvalue short signed int
1336    pointer to function
1337          accepting unspecified arguments
1338        returning
1339          nothing
1340
1341    lvalue short signed int
1342)
1343Environment:
1344
1345Cost ( 0, 0, 0 ): Tuple:
1346      Variable Expression: f: double
1347
1348      Variable Expression: f: function
1349          accepting unspecified arguments
1350        returning
1351          nothing
1352
1353
1354      Variable Expression: f: short signed int
1355
1356(types:
1357    lvalue double
1358    pointer to function
1359          accepting unspecified arguments
1360        returning
1361          nothing
1362
1363    lvalue short signed int
1364)
1365Environment:
1366
1367Cost ( 0, 0, 0 ): Tuple:
1368      Variable Expression: f: char
1369
1370      Variable Expression: f: function
1371          accepting unspecified arguments
1372        returning
1373          nothing
1374
1375
1376      Variable Expression: f: short signed int
1377
1378(types:
1379    lvalue char
1380    pointer to function
1381          accepting unspecified arguments
1382        returning
1383          nothing
1384
1385    lvalue short signed int
1386)
1387Environment:
1388
1389Cost ( 0, 0, 0 ): Tuple:
1390      Variable Expression: f: function
1391          accepting unspecified arguments
1392        returning
1393          nothing
1394
1395
1396      Variable Expression: f: short signed int
1397
1398      Variable Expression: f: short signed int
1399
1400(types:
1401    pointer to function
1402          accepting unspecified arguments
1403        returning
1404          nothing
1405
1406    lvalue short signed int
1407    lvalue short signed int
1408)
1409Environment:
1410
1411Cost ( 0, 0, 0 ): Tuple:
1412      Variable Expression: f: short signed int
1413
1414      Variable Expression: f: short signed int
1415
1416      Variable Expression: f: short signed int
1417
1418(types:
1419    lvalue short signed int
1420    lvalue short signed int
1421    lvalue short signed int
1422)
1423Environment:
1424
1425Cost ( 0, 0, 0 ): Tuple:
1426      Variable Expression: f: double
1427
1428      Variable Expression: f: short signed int
1429
1430      Variable Expression: f: short signed int
1431
1432(types:
1433    lvalue double
1434    lvalue short signed int
1435    lvalue short signed int
1436)
1437Environment:
1438
1439Cost ( 0, 0, 0 ): Tuple:
1440      Variable Expression: f: char
1441
1442      Variable Expression: f: short signed int
1443
1444      Variable Expression: f: short signed int
1445
1446(types:
1447    lvalue char
1448    lvalue short signed int
1449    lvalue short signed int
1450)
1451Environment:
1452
1453Cost ( 0, 0, 0 ): Tuple:
1454      Variable Expression: f: function
1455          accepting unspecified arguments
1456        returning
1457          nothing
1458
1459
1460      Variable Expression: f: double
1461
1462      Variable Expression: f: short signed int
1463
1464(types:
1465    pointer to function
1466          accepting unspecified arguments
1467        returning
1468          nothing
1469
1470    lvalue double
1471    lvalue short signed int
1472)
1473Environment:
1474
1475Cost ( 0, 0, 0 ): Tuple:
1476      Variable Expression: f: short signed int
1477
1478      Variable Expression: f: double
1479
1480      Variable Expression: f: short signed int
1481
1482(types:
1483    lvalue short signed int
1484    lvalue double
1485    lvalue short signed int
1486)
1487Environment:
1488
1489Cost ( 0, 0, 0 ): Tuple:
1490      Variable Expression: f: double
1491
1492      Variable Expression: f: double
1493
1494      Variable Expression: f: short signed int
1495
1496(types:
1497    lvalue double
1498    lvalue double
1499    lvalue short signed int
1500)
1501Environment:
1502
1503Cost ( 0, 0, 0 ): Tuple:
1504      Variable Expression: f: char
1505
1506      Variable Expression: f: double
1507
1508      Variable Expression: f: short signed int
1509
1510(types:
1511    lvalue char
1512    lvalue double
1513    lvalue short signed int
1514)
1515Environment:
1516
1517Cost ( 0, 0, 0 ): Tuple:
1518      Variable Expression: f: function
1519          accepting unspecified arguments
1520        returning
1521          nothing
1522
1523
1524      Variable Expression: f: char
1525
1526      Variable Expression: f: short signed int
1527
1528(types:
1529    pointer to function
1530          accepting unspecified arguments
1531        returning
1532          nothing
1533
1534    lvalue char
1535    lvalue short signed int
1536)
1537Environment:
1538
1539Cost ( 0, 0, 0 ): Tuple:
1540      Variable Expression: f: short signed int
1541
1542      Variable Expression: f: char
1543
1544      Variable Expression: f: short signed int
1545
1546(types:
1547    lvalue short signed int
1548    lvalue char
1549    lvalue short signed int
1550)
1551Environment:
1552
1553Cost ( 0, 0, 0 ): Tuple:
1554      Variable Expression: f: double
1555
1556      Variable Expression: f: char
1557
1558      Variable Expression: f: short signed int
1559
1560(types:
1561    lvalue double
1562    lvalue char
1563    lvalue short signed int
1564)
1565Environment:
1566
1567Cost ( 0, 0, 0 ): Tuple:
1568      Variable Expression: f: char
1569
1570      Variable Expression: f: char
1571
1572      Variable Expression: f: short signed int
1573
1574(types:
1575    lvalue char
1576    lvalue char
1577    lvalue short signed int
1578)
1579Environment:
1580
1581Cost ( 0, 0, 0 ): Tuple:
1582      Variable Expression: f: function
1583          accepting unspecified arguments
1584        returning
1585          nothing
1586
1587
1588      Variable Expression: f: function
1589          accepting unspecified arguments
1590        returning
1591          nothing
1592
1593
1594      Variable Expression: f: double
1595
1596(types:
1597    pointer to function
1598          accepting unspecified arguments
1599        returning
1600          nothing
1601
1602    pointer to function
1603          accepting unspecified arguments
1604        returning
1605          nothing
1606
1607    lvalue double
1608)
1609Environment:
1610
1611Cost ( 0, 0, 0 ): Tuple:
1612      Variable Expression: f: short signed int
1613
1614      Variable Expression: f: function
1615          accepting unspecified arguments
1616        returning
1617          nothing
1618
1619
1620      Variable Expression: f: double
1621
1622(types:
1623    lvalue short signed int
1624    pointer to function
1625          accepting unspecified arguments
1626        returning
1627          nothing
1628
1629    lvalue double
1630)
1631Environment:
1632
1633Cost ( 0, 0, 0 ): Tuple:
1634      Variable Expression: f: double
1635
1636      Variable Expression: f: function
1637          accepting unspecified arguments
1638        returning
1639          nothing
1640
1641
1642      Variable Expression: f: double
1643
1644(types:
1645    lvalue double
1646    pointer to function
1647          accepting unspecified arguments
1648        returning
1649          nothing
1650
1651    lvalue double
1652)
1653Environment:
1654
1655Cost ( 0, 0, 0 ): Tuple:
1656      Variable Expression: f: char
1657
1658      Variable Expression: f: function
1659          accepting unspecified arguments
1660        returning
1661          nothing
1662
1663
1664      Variable Expression: f: double
1665
1666(types:
1667    lvalue char
1668    pointer to function
1669          accepting unspecified arguments
1670        returning
1671          nothing
1672
1673    lvalue double
1674)
1675Environment:
1676
1677Cost ( 0, 0, 0 ): Tuple:
1678      Variable Expression: f: function
1679          accepting unspecified arguments
1680        returning
1681          nothing
1682
1683
1684      Variable Expression: f: short signed int
1685
1686      Variable Expression: f: double
1687
1688(types:
1689    pointer to function
1690          accepting unspecified arguments
1691        returning
1692          nothing
1693
1694    lvalue short signed int
1695    lvalue double
1696)
1697Environment:
1698
1699Cost ( 0, 0, 0 ): Tuple:
1700      Variable Expression: f: short signed int
1701
1702      Variable Expression: f: short signed int
1703
1704      Variable Expression: f: double
1705
1706(types:
1707    lvalue short signed int
1708    lvalue short signed int
1709    lvalue double
1710)
1711Environment:
1712
1713Cost ( 0, 0, 0 ): Tuple:
1714      Variable Expression: f: double
1715
1716      Variable Expression: f: short signed int
1717
1718      Variable Expression: f: double
1719
1720(types:
1721    lvalue double
1722    lvalue short signed int
1723    lvalue double
1724)
1725Environment:
1726
1727Cost ( 0, 0, 0 ): Tuple:
1728      Variable Expression: f: char
1729
1730      Variable Expression: f: short signed int
1731
1732      Variable Expression: f: double
1733
1734(types:
1735    lvalue char
1736    lvalue short signed int
1737    lvalue double
1738)
1739Environment:
1740
1741Cost ( 0, 0, 0 ): Tuple:
1742      Variable Expression: f: function
1743          accepting unspecified arguments
1744        returning
1745          nothing
1746
1747
1748      Variable Expression: f: double
1749
1750      Variable Expression: f: double
1751
1752(types:
1753    pointer to function
1754          accepting unspecified arguments
1755        returning
1756          nothing
1757
1758    lvalue double
1759    lvalue double
1760)
1761Environment:
1762
1763Cost ( 0, 0, 0 ): Tuple:
1764      Variable Expression: f: short signed int
1765
1766      Variable Expression: f: double
1767
1768      Variable Expression: f: double
1769
1770(types:
1771    lvalue short signed int
1772    lvalue double
1773    lvalue double
1774)
1775Environment:
1776
1777Cost ( 0, 0, 0 ): Tuple:
1778      Variable Expression: f: double
1779
1780      Variable Expression: f: double
1781
1782      Variable Expression: f: double
1783
1784(types:
1785    lvalue double
1786    lvalue double
1787    lvalue double
1788)
1789Environment:
1790
1791Cost ( 0, 0, 0 ): Tuple:
1792      Variable Expression: f: char
1793
1794      Variable Expression: f: double
1795
1796      Variable Expression: f: double
1797
1798(types:
1799    lvalue char
1800    lvalue double
1801    lvalue double
1802)
1803Environment:
1804
1805Cost ( 0, 0, 0 ): Tuple:
1806      Variable Expression: f: function
1807          accepting unspecified arguments
1808        returning
1809          nothing
1810
1811
1812      Variable Expression: f: char
1813
1814      Variable Expression: f: double
1815
1816(types:
1817    pointer to function
1818          accepting unspecified arguments
1819        returning
1820          nothing
1821
1822    lvalue char
1823    lvalue double
1824)
1825Environment:
1826
1827Cost ( 0, 0, 0 ): Tuple:
1828      Variable Expression: f: short signed int
1829
1830      Variable Expression: f: char
1831
1832      Variable Expression: f: double
1833
1834(types:
1835    lvalue short signed int
1836    lvalue char
1837    lvalue double
1838)
1839Environment:
1840
1841Cost ( 0, 0, 0 ): Tuple:
1842      Variable Expression: f: double
1843
1844      Variable Expression: f: char
1845
1846      Variable Expression: f: double
1847
1848(types:
1849    lvalue double
1850    lvalue char
1851    lvalue double
1852)
1853Environment:
1854
1855Cost ( 0, 0, 0 ): Tuple:
1856      Variable Expression: f: char
1857
1858      Variable Expression: f: char
1859
1860      Variable Expression: f: double
1861
1862(types:
1863    lvalue char
1864    lvalue char
1865    lvalue double
1866)
1867Environment:
1868
1869Cost ( 0, 0, 0 ): Tuple:
1870      Variable Expression: f: function
1871          accepting unspecified arguments
1872        returning
1873          nothing
1874
1875
1876      Variable Expression: f: function
1877          accepting unspecified arguments
1878        returning
1879          nothing
1880
1881
1882      Variable Expression: f: char
1883
1884(types:
1885    pointer to function
1886          accepting unspecified arguments
1887        returning
1888          nothing
1889
1890    pointer to function
1891          accepting unspecified arguments
1892        returning
1893          nothing
1894
1895    lvalue char
1896)
1897Environment:
1898
1899Cost ( 0, 0, 0 ): Tuple:
1900      Variable Expression: f: short signed int
1901
1902      Variable Expression: f: function
1903          accepting unspecified arguments
1904        returning
1905          nothing
1906
1907
1908      Variable Expression: f: char
1909
1910(types:
1911    lvalue short signed int
1912    pointer to function
1913          accepting unspecified arguments
1914        returning
1915          nothing
1916
1917    lvalue char
1918)
1919Environment:
1920
1921Cost ( 0, 0, 0 ): Tuple:
1922      Variable Expression: f: double
1923
1924      Variable Expression: f: function
1925          accepting unspecified arguments
1926        returning
1927          nothing
1928
1929
1930      Variable Expression: f: char
1931
1932(types:
1933    lvalue double
1934    pointer to function
1935          accepting unspecified arguments
1936        returning
1937          nothing
1938
1939    lvalue char
1940)
1941Environment:
1942
1943Cost ( 0, 0, 0 ): Tuple:
1944      Variable Expression: f: char
1945
1946      Variable Expression: f: function
1947          accepting unspecified arguments
1948        returning
1949          nothing
1950
1951
1952      Variable Expression: f: char
1953
1954(types:
1955    lvalue char
1956    pointer to function
1957          accepting unspecified arguments
1958        returning
1959          nothing
1960
1961    lvalue char
1962)
1963Environment:
1964
1965Cost ( 0, 0, 0 ): Tuple:
1966      Variable Expression: f: function
1967          accepting unspecified arguments
1968        returning
1969          nothing
1970
1971
1972      Variable Expression: f: short signed int
1973
1974      Variable Expression: f: char
1975
1976(types:
1977    pointer to function
1978          accepting unspecified arguments
1979        returning
1980          nothing
1981
1982    lvalue short signed int
1983    lvalue char
1984)
1985Environment:
1986
1987Cost ( 0, 0, 0 ): Tuple:
1988      Variable Expression: f: short signed int
1989
1990      Variable Expression: f: short signed int
1991
1992      Variable Expression: f: char
1993
1994(types:
1995    lvalue short signed int
1996    lvalue short signed int
1997    lvalue char
1998)
1999Environment:
2000
2001Cost ( 0, 0, 0 ): Tuple:
2002      Variable Expression: f: double
2003
2004      Variable Expression: f: short signed int
2005
2006      Variable Expression: f: char
2007
2008(types:
2009    lvalue double
2010    lvalue short signed int
2011    lvalue char
2012)
2013Environment:
2014
2015Cost ( 0, 0, 0 ): Tuple:
2016      Variable Expression: f: char
2017
2018      Variable Expression: f: short signed int
2019
2020      Variable Expression: f: char
2021
2022(types:
2023    lvalue char
2024    lvalue short signed int
2025    lvalue char
2026)
2027Environment:
2028
2029Cost ( 0, 0, 0 ): Tuple:
2030      Variable Expression: f: function
2031          accepting unspecified arguments
2032        returning
2033          nothing
2034
2035
2036      Variable Expression: f: double
2037
2038      Variable Expression: f: char
2039
2040(types:
2041    pointer to function
2042          accepting unspecified arguments
2043        returning
2044          nothing
2045
2046    lvalue double
2047    lvalue char
2048)
2049Environment:
2050
2051Cost ( 0, 0, 0 ): Tuple:
2052      Variable Expression: f: short signed int
2053
2054      Variable Expression: f: double
2055
2056      Variable Expression: f: char
2057
2058(types:
2059    lvalue short signed int
2060    lvalue double
2061    lvalue char
2062)
2063Environment:
2064
2065Cost ( 0, 0, 0 ): Tuple:
2066      Variable Expression: f: double
2067
2068      Variable Expression: f: double
2069
2070      Variable Expression: f: char
2071
2072(types:
2073    lvalue double
2074    lvalue double
2075    lvalue char
2076)
2077Environment:
2078
2079Cost ( 0, 0, 0 ): Tuple:
2080      Variable Expression: f: char
2081
2082      Variable Expression: f: double
2083
2084      Variable Expression: f: char
2085
2086(types:
2087    lvalue char
2088    lvalue double
2089    lvalue char
2090)
2091Environment:
2092
2093Cost ( 0, 0, 0 ): Tuple:
2094      Variable Expression: f: function
2095          accepting unspecified arguments
2096        returning
2097          nothing
2098
2099
2100      Variable Expression: f: char
2101
2102      Variable Expression: f: char
2103
2104(types:
2105    pointer to function
2106          accepting unspecified arguments
2107        returning
2108          nothing
2109
2110    lvalue char
2111    lvalue char
2112)
2113Environment:
2114
2115Cost ( 0, 0, 0 ): Tuple:
2116      Variable Expression: f: short signed int
2117
2118      Variable Expression: f: char
2119
2120      Variable Expression: f: char
2121
2122(types:
2123    lvalue short signed int
2124    lvalue char
2125    lvalue char
2126)
2127Environment:
2128
2129Cost ( 0, 0, 0 ): Tuple:
2130      Variable Expression: f: double
2131
2132      Variable Expression: f: char
2133
2134      Variable Expression: f: char
2135
2136(types:
2137    lvalue double
2138    lvalue char
2139    lvalue char
2140)
2141Environment:
2142
2143Cost ( 0, 0, 0 ): Tuple:
2144      Variable Expression: f: char
2145
2146      Variable Expression: f: char
2147
2148      Variable Expression: f: char
2149
2150(types:
2151    lvalue char
2152    lvalue char
2153    lvalue char
2154)
2155Environment:
2156
2157there are 64 alternatives before elimination
2158there are 64 alternatives after elimination
2159alternatives before prune:
2160Cost ( 0, 0, 4 ): Cast of:
2161  Tuple:
2162          Variable Expression: f: short signed int
2163
2164          Variable Expression: f: double
2165
2166          Variable Expression: f: function
2167            accepting unspecified arguments
2168          returning
2169            nothing
2170
2171
2172
2173to:
2174  long signed int
2175  long double
2176  pointer to function
2177        accepting unspecified arguments
2178      returning
2179        nothing
2180
2181(types:
2182    long signed int
2183    long double
2184    pointer to function
2185          accepting unspecified arguments
2186        returning
2187          nothing
2188
2189)
2190Environment:
2191
2192there are 1 alternatives before elimination
2193there are 1 alternatives after elimination
2194alternatives before prune:
2195Cost ( 0, 0, 3 ): Cast of:
2196  Cast of:
2197    Tuple:
2198              Variable Expression: f: short signed int
2199
2200              Variable Expression: f: double
2201
2202              Variable Expression: f: function
2203              accepting unspecified arguments
2204            returning
2205              nothing
2206
2207
2208
2209  to:
2210    long signed int
2211    long double
2212    pointer to function
2213          accepting unspecified arguments
2214        returning
2215          nothing
2216
2217
2218to:
2219  nothing
2220(types:
2221)
2222Environment:
2223
2224there are 1 alternatives before elimination
2225there are 1 alternatives after elimination
2226char __f__c;
2227void __f__F__(){
2228    char __f__c;
2229    double __f__d;
2230    ((int )__f__c);
2231    short __f__s;
2232    ((int )__f__s);
2233    ((void (*)())__f__F__);
2234    ((long int ));
2235}
Note: See TracBrowser for help on using the repository browser.