Context Navigation

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
1	alternatives before prune:
2	Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
3	signed int
4	)
5	Environment:
6
7	there are 1 alternatives before elimination
8	there are 1 alternatives after elimination
9	alternatives before prune:
10	Cost ( 0, 0, 0 ): Cast of:
11	constant expression 3 signed int
12	to:
13	signed int
14	(types:
15	signed int
16	)
17	Environment:
18
19	there are 1 alternatives before elimination
20	there are 1 alternatives after elimination
21	nameExpr is 0
22	alternatives before prune:
23	Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
24	signed int
25	)
26	Environment:
27
28	there are 1 alternatives before elimination
29	there are 1 alternatives after elimination
30	alternatives before prune:
31	Cost ( 0, 0, 0 ): Cast of:
32	constant expression 3 signed int
33	to:
34	signed int
35	(types:
36	signed int
37	)
38	Environment:
39
40	there are 1 alternatives before elimination
41	there are 1 alternatives after elimination
42	nameExpr is f1
43	decl is f1: function
44	with parameters
45	i: signed int with initializer
46	Simple Initializer: Cast of:
47	constant 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
62	newExpr is Variable Expression: f1: function
63	with parameters
64	i: signed int with initializer
65	Simple Initializer: Cast of:
66	constant 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
80	alternatives before prune:
81	Cost ( 0, 0, 0 ): Variable Expression: f1: function
82	with parameters
83	i: signed int with initializer
84	Simple Initializer: Cast of:
85	constant 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:
103	constant 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	)
117	Environment:
118
119	there are 1 alternatives before elimination
120	there are 1 alternatives after elimination
121	working 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:
126	constant 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:
144	constant 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:
159	nameExpr is f1
160	decl is f1: function
161	with parameters
162	i: signed int with initializer
163	Simple Initializer: Cast of:
164	constant 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
179	newExpr is Variable Expression: f1: function
180	with parameters
181	i: signed int with initializer
182	Simple Initializer: Cast of:
183	constant 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
197	alternatives before prune:
198	Cost ( 0, 0, 0 ): Variable Expression: f1: function
199	with parameters
200	i: signed int with initializer
201	Simple Initializer: Cast of:
202	constant 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:
220	constant 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	)
234	Environment:
235
236	there are 1 alternatives before elimination
237	there are 1 alternatives after elimination
238	alternatives before prune:
239	Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
240	signed int
241	)
242	Environment:
243
244	there are 1 alternatives before elimination
245	there are 1 alternatives after elimination
246	findSubExprs
247	Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
248	signed int
249	)
250	Environment:
251
252	working 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:
257	constant 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:
275	constant 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:
290	formal type is signed int
291	actual type is signed int
292	nameExpr is f1
293	decl is f1: function
294	with parameters
295	i: signed int with initializer
296	Simple Initializer: Cast of:
297	constant 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
312	newExpr is Variable Expression: f1: function
313	with parameters
314	i: signed int with initializer
315	Simple Initializer: Cast of:
316	constant 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
330	alternatives before prune:
331	Cost ( 0, 0, 0 ): Variable Expression: f1: function
332	with parameters
333	i: signed int with initializer
334	Simple Initializer: Cast of:
335	constant 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:
353	constant 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	)
367	Environment:
368
369	there are 1 alternatives before elimination
370	there are 1 alternatives after elimination
371	alternatives before prune:
372	Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
373	signed int
374	)
375	Environment:
376
377	there are 1 alternatives before elimination
378	there are 1 alternatives after elimination
379	findSubExprs
380	Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
381	signed int
382	)
383	Environment:
384
385	working 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:
390	constant 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:
408	constant 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:
423	formal type is signed int
424	actual type is signed int
425	nameExpr is f1
426	decl is f1: function
427	with parameters
428	i: signed int with initializer
429	Simple Initializer: Cast of:
430	constant 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
445	newExpr is Variable Expression: f1: function
446	with parameters
447	i: signed int with initializer
448	Simple Initializer: Cast of:
449	constant 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
463	alternatives before prune:
464	Cost ( 0, 0, 0 ): Variable Expression: f1: function
465	with parameters
466	i: signed int with initializer
467	Simple Initializer: Cast of:
468	constant 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:
486	constant 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	)
500	Environment:
501
502	there are 1 alternatives before elimination
503	there are 1 alternatives after elimination
504	alternatives before prune:
505	Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
506	signed int
507	)
508	Environment:
509
510	there are 1 alternatives before elimination
511	there are 1 alternatives after elimination
512	findSubExprs
513	Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
514	signed int
515	)
516	Environment:
517
518	nameExpr is 0
519	nameExpr is f1
520	decl is f1: function
521	with parameters
522	i: signed int with initializer
523	Simple Initializer: Cast of:
524	constant 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
539	newExpr is Variable Expression: f1: function
540	with parameters
541	i: signed int with initializer
542	Simple Initializer: Cast of:
543	constant 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
557	alternatives before prune:
558	Cost ( 0, 0, 0 ): Variable Expression: f1: function
559	with parameters
560	i: signed int with initializer
561	Simple Initializer: Cast of:
562	constant 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:
580	constant 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	)
594	Environment:
595
596	there are 1 alternatives before elimination
597	there are 1 alternatives after elimination
598	alternatives before prune:
599	Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
600	signed int
601	)
602	Environment:
603
604	there are 1 alternatives before elimination
605	there are 1 alternatives after elimination
606	findSubExprs
607	Cost ( 0, 0, 0 ): constant expression 3 signed int (types:
608	signed int
609	)
610	Environment:
611
612	nameExpr is 0
613	nameExpr is f1
614	decl is f1: function
615	with parameters
616	i: signed int with initializer
617	Simple Initializer: Cast of:
618	constant 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
633	newExpr is Variable Expression: f1: function
634	with parameters
635	i: signed int with initializer
636	Simple Initializer: Cast of:
637	constant 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
651	alternatives before prune:
652	Cost ( 0, 0, 0 ): Variable Expression: f1: function
653	with parameters
654	i: signed int with initializer
655	Simple Initializer: Cast of:
656	constant 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:
674	constant 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	)
688	Environment:
689
690	there are 1 alternatives before elimination
691	there are 1 alternatives after elimination
692	nameExpr is 0
693	nameExpr is f1
694	decl is f1: function
695	with parameters
696	i: signed int with initializer
697	Simple Initializer: Cast of:
698	constant 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
713	newExpr is Variable Expression: f1: function
714	with parameters
715	i: signed int with initializer
716	Simple Initializer: Cast of:
717	constant 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
731	alternatives before prune:
732	Cost ( 0, 0, 0 ): Variable Expression: f1: function
733	with parameters
734	i: signed int with initializer
735	Simple Initializer: Cast of:
736	constant 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:
754	constant 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	)
768	Environment:
769
770	there are 1 alternatives before elimination
771	there are 1 alternatives after elimination
772	alternatives before prune:
773	Cost ( 0, 0, 0 ): constant expression 3 signed int with designator: Name: i
774	(types:
775	signed int
776	)
777	Environment:
778
779	there are 1 alternatives before elimination
780	there are 1 alternatives after elimination
781	findSubExprs
782	Cost ( 0, 0, 0 ): constant expression 3 signed int with designator: Name: i
783	(types:
784	signed int
785	)
786	Environment:
787
788	nameExpr is 0
789	nameExpr is f1
790	decl is f1: function
791	with parameters
792	i: signed int with initializer
793	Simple Initializer: Cast of:
794	constant 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
809	newExpr is Variable Expression: f1: function
810	with parameters
811	i: signed int with initializer
812	Simple Initializer: Cast of:
813	constant 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
827	alternatives before prune:
828	Cost ( 0, 0, 0 ): Variable Expression: f1: function
829	with parameters
830	i: signed int with initializer
831	Simple Initializer: Cast of:
832	constant 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:
850	constant 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	)
864	Environment:
865
866	there are 1 alternatives before elimination
867	there are 1 alternatives after elimination
868	nameExpr is 0
869	nameExpr is f1
870	decl is f1: function
871	with parameters
872	i: signed int with initializer
873	Simple Initializer: Cast of:
874	constant 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
889	newExpr is Variable Expression: f1: function
890	with parameters
891	i: signed int with initializer
892	Simple Initializer: Cast of:
893	constant 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
907	alternatives before prune:
908	Cost ( 0, 0, 0 ): Variable Expression: f1: function
909	with parameters
910	i: signed int with initializer
911	Simple Initializer: Cast of:
912	constant 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:
930	constant 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	)
944	Environment:
945
946	there are 1 alternatives before elimination
947	there are 1 alternatives after elimination
948	nameExpr is f2
949	decl is f2: function
950	with parameters
951	i: signed int with initializer
952	Simple Initializer: Cast of:
953	constant 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
967	newExpr is Variable Expression: f2: function
968	with parameters
969	i: signed int with initializer
970	Simple Initializer: Cast of:
971	constant 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
984	alternatives before prune:
985	Cost ( 0, 0, 0 ): Variable Expression: f2: function
986	with parameters
987	i: signed int with initializer
988	Simple Initializer: Cast of:
989	constant 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:
1006	constant 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	)
1019	Environment:
1020
1021	there are 1 alternatives before elimination
1022	there are 1 alternatives after elimination
1023	working 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:
1028	constant 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:
1045	constant 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:
1059	Error: No reasonable alternatives for expression Name: 0
1060
1061	Error: No reasonable alternatives for expression Applying untyped:
1062	Name: f1
1063	...to:
1064
1065	Error: No reasonable alternatives for expression Applying untyped:
1066	Name: f1
1067	...to:
1068	constant expression 3 signed int
1069	Error: No reasonable alternatives for expression Applying untyped:
1070	Name: f1
1071	...to:
1072	constant expression 3 signed int
1073	Error: No reasonable alternatives for expression Name: 0
1074
1075	Error: No reasonable alternatives for expression Name: 0
1076	with designator: Name: j
1077
1078	Error: No reasonable alternatives for expression Name: 0
1079	with designator: Name: j
1080
1081	Error: No reasonable alternatives for expression Name: 0
1082	with designator: Name: j
1083
1084	Error: No reasonable alternatives for expression Name: 0
1085	with designator: Name: j
1086
1087	Error: No reasonable alternatives for expression Applying untyped:
1088	Name: f2
1089	...to:
1090	with designator: Tuple:
1091	Name: j
1092
1093	Name: i
1094
1095

Note: See TracBrowser for help on using the repository browser.

Download in other formats: