Context Navigation

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

Visit:

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 string with_gc

Last change on this file since bc1ab61 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: 41.0 KB

Line
1	nameExpr is f
2	decl 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
56	newExpr is Variable Expression: f: function
57	accepting unspecified arguments
58	returning
59	nothing
60
61
62	decl is f: char
63	newExpr is Variable Expression: f: char
64
65	decl is f: double
66	newExpr is Variable Expression: f: double
67
68	alternatives before prune:
69	Cost ( 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	)
81	Environment:
82
83	Cost ( 0, 0, 0 ): Variable Expression: f: char
84	(types:
85	lvalue char
86	)
87	Environment:
88
89	Cost ( 0, 0, 0 ): Variable Expression: f: double
90	(types:
91	lvalue double
92	)
93	Environment:
94
95	there are 3 alternatives before elimination
96	there are 3 alternatives after elimination
97	alternatives before prune:
98	Cost ( 0, 0, 4 ): Cast of:
99	Variable Expression: f: char
100
101	to:
102	signed int
103	(types:
104	signed int
105	)
106	Environment:
107
108	there are 1 alternatives before elimination
109	there are 1 alternatives after elimination
110	alternatives before prune:
111	Cost ( 0, 0, 1 ): Cast of:
112	Cast of:
113	Variable Expression: f: char
114
115	to:
116	signed int
117
118	to:
119	nothing
120	(types:
121	)
122	Environment:
123
124	there are 1 alternatives before elimination
125	there are 1 alternatives after elimination
126	nameExpr is f
127	decl 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
184	newExpr is Variable Expression: f: function
185	accepting unspecified arguments
186	returning
187	nothing
188
189
190	decl is f: char
191	newExpr is Variable Expression: f: char
192
193	decl is f: double
194	newExpr is Variable Expression: f: double
195
196	decl is f: short signed int
197	newExpr is Variable Expression: f: short signed int
198
199	alternatives before prune:
200	Cost ( 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	)
212	Environment:
213
214	Cost ( 0, 0, 0 ): Variable Expression: f: char
215	(types:
216	lvalue char
217	)
218	Environment:
219
220	Cost ( 0, 0, 0 ): Variable Expression: f: double
221	(types:
222	lvalue double
223	)
224	Environment:
225
226	Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
227	(types:
228	lvalue short signed int
229	)
230	Environment:
231
232	there are 4 alternatives before elimination
233	there are 4 alternatives after elimination
234	alternatives before prune:
235	Cost ( 0, 0, 2 ): Cast of:
236	Variable Expression: f: short signed int
237
238	to:
239	signed int
240	(types:
241	signed int
242	)
243	Environment:
244
245	there are 1 alternatives before elimination
246	there are 1 alternatives after elimination
247	alternatives before prune:
248	Cost ( 0, 0, 1 ): Cast of:
249	Cast of:
250	Variable Expression: f: short signed int
251
252	to:
253	signed int
254
255	to:
256	nothing
257	(types:
258	)
259	Environment:
260
261	there are 1 alternatives before elimination
262	there are 1 alternatives after elimination
263	nameExpr is f
264	decl 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
324	newExpr is Variable Expression: f: function
325	accepting unspecified arguments
326	returning
327	nothing
328
329
330	decl is f: char
331	newExpr is Variable Expression: f: char
332
333	decl is f: double
334	newExpr is Variable Expression: f: double
335
336	decl is f: short signed int
337	newExpr is Variable Expression: f: short signed int
338
339	alternatives before prune:
340	Cost ( 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	)
352	Environment:
353
354	Cost ( 0, 0, 0 ): Variable Expression: f: char
355	(types:
356	lvalue char
357	)
358	Environment:
359
360	Cost ( 0, 0, 0 ): Variable Expression: f: double
361	(types:
362	lvalue double
363	)
364	Environment:
365
366	Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
367	(types:
368	lvalue short signed int
369	)
370	Environment:
371
372	there are 4 alternatives before elimination
373	there are 4 alternatives after elimination
374	alternatives before prune:
375	Cost ( 0, 0, 0 ): Cast of:
376	Variable Expression: f: function
377	accepting unspecified arguments
378	returning
379	nothing
380
381
382	to:
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	)
395	Environment:
396
397	there are 1 alternatives before elimination
398	there are 1 alternatives after elimination
399	alternatives before prune:
400	Cost ( 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
415	to:
416	nothing
417	(types:
418	)
419	Environment:
420
421	there are 1 alternatives before elimination
422	there are 1 alternatives after elimination
423	nameExpr is f
424	decl 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
491	newExpr is Variable Expression: f: function
492	accepting unspecified arguments
493	returning
494	nothing
495
496
497	decl is f: char
498	newExpr is Variable Expression: f: char
499
500	decl is f: double
501	newExpr is Variable Expression: f: double
502
503	decl is f: short signed int
504	newExpr is Variable Expression: f: short signed int
505
506	alternatives before prune:
507	Cost ( 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	)
519	Environment:
520
521	Cost ( 0, 0, 0 ): Variable Expression: f: char
522	(types:
523	lvalue char
524	)
525	Environment:
526
527	Cost ( 0, 0, 0 ): Variable Expression: f: double
528	(types:
529	lvalue double
530	)
531	Environment:
532
533	Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
534	(types:
535	lvalue short signed int
536	)
537	Environment:
538
539	there are 4 alternatives before elimination
540	there are 4 alternatives after elimination
541	findSubExprs
542	Cost ( 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	)
554	Environment:
555
556	Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
557	(types:
558	lvalue short signed int
559	)
560	Environment:
561
562	Cost ( 0, 0, 0 ): Variable Expression: f: double
563	(types:
564	lvalue double
565	)
566	Environment:
567
568	Cost ( 0, 0, 0 ): Variable Expression: f: char
569	(types:
570	lvalue char
571	)
572	Environment:
573
574	nameExpr is f
575	decl 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
642	newExpr is Variable Expression: f: function
643	accepting unspecified arguments
644	returning
645	nothing
646
647
648	decl is f: char
649	newExpr is Variable Expression: f: char
650
651	decl is f: double
652	newExpr is Variable Expression: f: double
653
654	decl is f: short signed int
655	newExpr is Variable Expression: f: short signed int
656
657	alternatives before prune:
658	Cost ( 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	)
670	Environment:
671
672	Cost ( 0, 0, 0 ): Variable Expression: f: char
673	(types:
674	lvalue char
675	)
676	Environment:
677
678	Cost ( 0, 0, 0 ): Variable Expression: f: double
679	(types:
680	lvalue double
681	)
682	Environment:
683
684	Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
685	(types:
686	lvalue short signed int
687	)
688	Environment:
689
690	there are 4 alternatives before elimination
691	there are 4 alternatives after elimination
692	findSubExprs
693	Cost ( 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	)
705	Environment:
706
707	Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
708	(types:
709	lvalue short signed int
710	)
711	Environment:
712
713	Cost ( 0, 0, 0 ): Variable Expression: f: double
714	(types:
715	lvalue double
716	)
717	Environment:
718
719	Cost ( 0, 0, 0 ): Variable Expression: f: char
720	(types:
721	lvalue char
722	)
723	Environment:
724
725	nameExpr is f
726	decl 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
793	newExpr is Variable Expression: f: function
794	accepting unspecified arguments
795	returning
796	nothing
797
798
799	decl is f: char
800	newExpr is Variable Expression: f: char
801
802	decl is f: double
803	newExpr is Variable Expression: f: double
804
805	decl is f: short signed int
806	newExpr is Variable Expression: f: short signed int
807
808	alternatives before prune:
809	Cost ( 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	)
821	Environment:
822
823	Cost ( 0, 0, 0 ): Variable Expression: f: char
824	(types:
825	lvalue char
826	)
827	Environment:
828
829	Cost ( 0, 0, 0 ): Variable Expression: f: double
830	(types:
831	lvalue double
832	)
833	Environment:
834
835	Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
836	(types:
837	lvalue short signed int
838	)
839	Environment:
840
841	there are 4 alternatives before elimination
842	there are 4 alternatives after elimination
843	findSubExprs
844	Cost ( 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	)
856	Environment:
857
858	Cost ( 0, 0, 0 ): Variable Expression: f: short signed int
859	(types:
860	lvalue short signed int
861	)
862	Environment:
863
864	Cost ( 0, 0, 0 ): Variable Expression: f: double
865	(types:
866	lvalue double
867	)
868	Environment:
869
870	Cost ( 0, 0, 0 ): Variable Expression: f: char
871	(types:
872	lvalue char
873	)
874	Environment:
875
876	alternatives before prune:
877	Cost ( 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	)
913	Environment:
914
915	Cost ( 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	)
943	Environment:
944
945	Cost ( 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	)
973	Environment:
974
975	Cost ( 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	)
1003	Environment:
1004
1005	Cost ( 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	)
1033	Environment:
1034
1035	Cost ( 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	)
1055	Environment:
1056
1057	Cost ( 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	)
1077	Environment:
1078
1079	Cost ( 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	)
1099	Environment:
1100
1101	Cost ( 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	)
1129	Environment:
1130
1131	Cost ( 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	)
1151	Environment:
1152
1153	Cost ( 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	)
1173	Environment:
1174
1175	Cost ( 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	)
1195	Environment:
1196
1197	Cost ( 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	)
1225	Environment:
1226
1227	Cost ( 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	)
1247	Environment:
1248
1249	Cost ( 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	)
1269	Environment:
1270
1271	Cost ( 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	)
1291	Environment:
1292
1293	Cost ( 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	)
1321	Environment:
1322
1323	Cost ( 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	)
1343	Environment:
1344
1345	Cost ( 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	)
1365	Environment:
1366
1367	Cost ( 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	)
1387	Environment:
1388
1389	Cost ( 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	)
1409	Environment:
1410
1411	Cost ( 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	)
1423	Environment:
1424
1425	Cost ( 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	)
1437	Environment:
1438
1439	Cost ( 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	)
1451	Environment:
1452
1453	Cost ( 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	)
1473	Environment:
1474
1475	Cost ( 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	)
1487	Environment:
1488
1489	Cost ( 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	)
1501	Environment:
1502
1503	Cost ( 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	)
1515	Environment:
1516
1517	Cost ( 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	)
1537	Environment:
1538
1539	Cost ( 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	)
1551	Environment:
1552
1553	Cost ( 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	)
1565	Environment:
1566
1567	Cost ( 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	)
1579	Environment:
1580
1581	Cost ( 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	)
1609	Environment:
1610
1611	Cost ( 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	)
1631	Environment:
1632
1633	Cost ( 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	)
1653	Environment:
1654
1655	Cost ( 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	)
1675	Environment:
1676
1677	Cost ( 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	)
1697	Environment:
1698
1699	Cost ( 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	)
1711	Environment:
1712
1713	Cost ( 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	)
1725	Environment:
1726
1727	Cost ( 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	)
1739	Environment:
1740
1741	Cost ( 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	)
1761	Environment:
1762
1763	Cost ( 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	)
1775	Environment:
1776
1777	Cost ( 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	)
1789	Environment:
1790
1791	Cost ( 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	)
1803	Environment:
1804
1805	Cost ( 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	)
1825	Environment:
1826
1827	Cost ( 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	)
1839	Environment:
1840
1841	Cost ( 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	)
1853	Environment:
1854
1855	Cost ( 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	)
1867	Environment:
1868
1869	Cost ( 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	)
1897	Environment:
1898
1899	Cost ( 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	)
1919	Environment:
1920
1921	Cost ( 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	)
1941	Environment:
1942
1943	Cost ( 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	)
1963	Environment:
1964
1965	Cost ( 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	)
1985	Environment:
1986
1987	Cost ( 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	)
1999	Environment:
2000
2001	Cost ( 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	)
2013	Environment:
2014
2015	Cost ( 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	)
2027	Environment:
2028
2029	Cost ( 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	)
2049	Environment:
2050
2051	Cost ( 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	)
2063	Environment:
2064
2065	Cost ( 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	)
2077	Environment:
2078
2079	Cost ( 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	)
2091	Environment:
2092
2093	Cost ( 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	)
2113	Environment:
2114
2115	Cost ( 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	)
2127	Environment:
2128
2129	Cost ( 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	)
2141	Environment:
2142
2143	Cost ( 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	)
2155	Environment:
2156
2157	there are 64 alternatives before elimination
2158	there are 64 alternatives after elimination
2159	alternatives before prune:
2160	Cost ( 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
2173	to:
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	)
2190	Environment:
2191
2192	there are 1 alternatives before elimination
2193	there are 1 alternatives after elimination
2194	alternatives before prune:
2195	Cost ( 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
2218	to:
2219	nothing
2220	(types:
2221	)
2222	Environment:
2223
2224	there are 1 alternatives before elimination
2225	there are 1 alternatives after elimination
2226	char __f__c;
2227	void __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.

Download in other formats: