Context Navigation

source: src/Tests/Expect-r/GccExtensions.txt@ f6d7e0f

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 f6d7e0f 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: 23.1 KB

Line
1	nameExpr is s1
2	decl is s1: signed int
3	newExpr is Variable Expression: s1: signed int
4
5	alternatives before prune:
6	Cost ( 0, 0, 0 ): Variable Expression: s1: signed int
7	(types:
8	lvalue signed int
9	)
10	Environment:
11
12	there are 1 alternatives before elimination
13	there are 1 alternatives after elimination
14	alternatives before prune:
15	Cost ( 0, 0, 1 ): Cast of:
16	Variable Expression: s1: signed int
17
18	to:
19	nothing
20	(types:
21	)
22	Environment:
23
24	there are 1 alternatives before elimination
25	there are 1 alternatives after elimination
26	nameExpr is s1
27	decl is s1: signed int
28	newExpr is Variable Expression: s1: signed int
29
30	alternatives before prune:
31	Cost ( 0, 0, 0 ): Variable Expression: s1: signed int
32	(types:
33	lvalue signed int
34	)
35	Environment:
36
37	there are 1 alternatives before elimination
38	there are 1 alternatives after elimination
39	alternatives before prune:
40	Cost ( 0, 0, 1 ): Cast of:
41	Variable Expression: s1: signed int
42
43	to:
44	nothing
45	(types:
46	)
47	Environment:
48
49	there are 1 alternatives before elimination
50	there are 1 alternatives after elimination
51	nameExpr is ?=?
52	decl is ?=?: automatically generated inline function
53	with parameters
54	_dst: pointer to instance of struct s2
55	_src: instance of struct s2
56	returning
57	instance of struct s2
58	with body
59	CompoundStmt
60	Expression Statement:
61	Applying untyped:
62	Name: ?=?
63	...to:
64	Address of:
65	Member Expression, with field:
66	i: signed int
67	from aggregate:
68	Applying untyped:
69	Name: *?
70	...to:
71	Variable Expression: _dst: pointer to instance of struct s2
72	Member Expression, with field:
73	i: signed int
74	from aggregate:
75	Variable Expression: _src: instance of struct s2
76
77	Return Statement, returning: Variable Expression: _src: instance of struct s2
78
79
80
81	newExpr is Variable Expression: ?=?: inline function
82	with parameters
83	_dst: pointer to instance of struct s2
84	_src: instance of struct s2
85	returning
86	instance of struct s2
87
88
89	alternatives before prune:
90	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
91	with parameters
92	_dst: pointer to instance of struct s2
93	_src: instance of struct s2
94	returning
95	instance of struct s2
96
97	(types:
98	pointer to function
99	with parameters
100	_dst: pointer to instance of struct s2
101	_src: instance of struct s2
102	returning
103	instance of struct s2
104
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, 0 ): Member Expression, with field:
112	i: signed int
113	from aggregate:
114	Applying untyped:
115	Name: *?
116	...to:
117	Variable Expression: _dst: pointer to instance of struct s2
118	(types:
119	lvalue signed int
120	)
121	Environment:
122
123	there are 1 alternatives before elimination
124	there are 1 alternatives after elimination
125	alternatives before prune:
126	Cost ( 0, 0, 0 ): Address of:
127	Member Expression, with field:
128	i: signed int
129	from aggregate:
130	Applying untyped:
131	Name: *?
132	...to:
133	Variable Expression: _dst: pointer to instance of struct s2
134	(types:
135	pointer to signed int
136	)
137	Environment:
138
139	there are 1 alternatives before elimination
140	there are 1 alternatives after elimination
141	findSubExprs
142	Cost ( 0, 0, 0 ): Address of:
143	Member Expression, with field:
144	i: signed int
145	from aggregate:
146	Applying untyped:
147	Name: *?
148	...to:
149	Variable Expression: _dst: pointer to instance of struct s2
150	(types:
151	pointer to signed int
152	)
153	Environment:
154
155	alternatives before prune:
156	Cost ( 0, 0, 0 ): Member Expression, with field:
157	i: signed int
158	from aggregate:
159	Variable Expression: _src: instance of struct s2
160	(types:
161	lvalue signed int
162	)
163	Environment:
164
165	there are 1 alternatives before elimination
166	there are 1 alternatives after elimination
167	findSubExprs
168	Cost ( 0, 0, 0 ): Member Expression, with field:
169	i: signed int
170	from aggregate:
171	Variable Expression: _src: instance of struct s2
172	(types:
173	lvalue signed int
174	)
175	Environment:
176
177	working on alternative:
178	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
179	with parameters
180	_dst: pointer to instance of struct s2
181	_src: instance of struct s2
182	returning
183	instance of struct s2
184
185	(types:
186	pointer to function
187	with parameters
188	_dst: pointer to instance of struct s2
189	_src: instance of struct s2
190	returning
191	instance of struct s2
192
193	)
194	Environment:
195	formal type is pointer to instance of struct s2
196	actual type is pointer to signed int
197	alternatives before prune:
198	Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct s2
199	(types:
200	lvalue instance of struct s2
201	)
202	Environment:
203
204	there are 1 alternatives before elimination
205	there are 1 alternatives after elimination
206	alternatives before prune:
207	Cost ( 0, 0, 0 ): Cast of:
208	Variable Expression: _src: instance of struct s2
209
210	to:
211	instance of struct s2
212	(types:
213	instance of struct s2
214	)
215	Environment:
216
217	there are 1 alternatives before elimination
218	there are 1 alternatives after elimination
219	nameExpr is ?=?
220	decl is ?=?: automatically generated inline function
221	with parameters
222	_dst: pointer to instance of struct s2
223	_src: instance of struct s2
224	returning
225	instance of struct s2
226	with body
227	CompoundStmt
228	Expression Statement:
229	Applying untyped:
230	Name: ?=?
231	...to:
232	Address of:
233	Member Expression, with field:
234	i: signed int
235	from aggregate:
236	Applying untyped:
237	Name: *?
238	...to:
239	Variable Expression: _dst: pointer to instance of struct s2
240	Member Expression, with field:
241	i: signed int
242	from aggregate:
243	Variable Expression: _src: instance of struct s2
244
245	Return Statement, returning: Cast of:
246	Variable Expression: _src: instance of struct s2
247
248	to:
249	instance of struct s2
250	with environment:
251	Types:
252	Non-types:
253
254
255
256	newExpr is Variable Expression: ?=?: inline function
257	with parameters
258	_dst: pointer to instance of struct s2
259	_src: instance of struct s2
260	returning
261	instance of struct s2
262
263
264	decl is ?=?: automatically generated inline function
265	with parameters
266	_dst: pointer to instance of struct s3
267	_src: instance of struct s3
268	returning
269	instance of struct s3
270	with body
271	CompoundStmt
272	Expression Statement:
273	Applying untyped:
274	Name: ?=?
275	...to:
276	Address of:
277	Member Expression, with field:
278	i: signed int
279	from aggregate:
280	Applying untyped:
281	Name: *?
282	...to:
283	Variable Expression: _dst: pointer to instance of struct s3
284	Member Expression, with field:
285	i: signed int
286	from aggregate:
287	Variable Expression: _src: instance of struct s3
288
289	Return Statement, returning: Variable Expression: _src: instance of struct s3
290
291
292
293	newExpr is Variable Expression: ?=?: inline function
294	with parameters
295	_dst: pointer to instance of struct s3
296	_src: instance of struct s3
297	returning
298	instance of struct s3
299
300
301	alternatives before prune:
302	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
303	with parameters
304	_dst: pointer to instance of struct s2
305	_src: instance of struct s2
306	returning
307	instance of struct s2
308
309	(types:
310	pointer to function
311	with parameters
312	_dst: pointer to instance of struct s2
313	_src: instance of struct s2
314	returning
315	instance of struct s2
316
317	)
318	Environment:
319
320	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
321	with parameters
322	_dst: pointer to instance of struct s3
323	_src: instance of struct s3
324	returning
325	instance of struct s3
326
327	(types:
328	pointer to function
329	with parameters
330	_dst: pointer to instance of struct s3
331	_src: instance of struct s3
332	returning
333	instance of struct s3
334
335	)
336	Environment:
337
338	there are 2 alternatives before elimination
339	there are 2 alternatives after elimination
340	alternatives before prune:
341	Cost ( 0, 0, 0 ): Member Expression, with field:
342	i: signed int
343	from aggregate:
344	Applying untyped:
345	Name: *?
346	...to:
347	Variable Expression: _dst: pointer to instance of struct s3
348	(types:
349	lvalue signed int
350	)
351	Environment:
352
353	there are 1 alternatives before elimination
354	there are 1 alternatives after elimination
355	alternatives before prune:
356	Cost ( 0, 0, 0 ): Address of:
357	Member Expression, with field:
358	i: signed int
359	from aggregate:
360	Applying untyped:
361	Name: *?
362	...to:
363	Variable Expression: _dst: pointer to instance of struct s3
364	(types:
365	pointer to signed int
366	)
367	Environment:
368
369	there are 1 alternatives before elimination
370	there are 1 alternatives after elimination
371	findSubExprs
372	Cost ( 0, 0, 0 ): Address of:
373	Member Expression, with field:
374	i: signed int
375	from aggregate:
376	Applying untyped:
377	Name: *?
378	...to:
379	Variable Expression: _dst: pointer to instance of struct s3
380	(types:
381	pointer to signed int
382	)
383	Environment:
384
385	alternatives before prune:
386	Cost ( 0, 0, 0 ): Member Expression, with field:
387	i: signed int
388	from aggregate:
389	Variable Expression: _src: instance of struct s3
390	(types:
391	lvalue signed int
392	)
393	Environment:
394
395	there are 1 alternatives before elimination
396	there are 1 alternatives after elimination
397	findSubExprs
398	Cost ( 0, 0, 0 ): Member Expression, with field:
399	i: signed int
400	from aggregate:
401	Variable Expression: _src: instance of struct s3
402	(types:
403	lvalue signed int
404	)
405	Environment:
406
407	working on alternative:
408	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
409	with parameters
410	_dst: pointer to instance of struct s3
411	_src: instance of struct s3
412	returning
413	instance of struct s3
414
415	(types:
416	pointer to function
417	with parameters
418	_dst: pointer to instance of struct s3
419	_src: instance of struct s3
420	returning
421	instance of struct s3
422
423	)
424	Environment:
425	formal type is pointer to instance of struct s3
426	actual type is pointer to signed int
427	working on alternative:
428	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
429	with parameters
430	_dst: pointer to instance of struct s2
431	_src: instance of struct s2
432	returning
433	instance of struct s2
434
435	(types:
436	pointer to function
437	with parameters
438	_dst: pointer to instance of struct s2
439	_src: instance of struct s2
440	returning
441	instance of struct s2
442
443	)
444	Environment:
445	formal type is pointer to instance of struct s2
446	actual type is pointer to signed int
447	alternatives before prune:
448	Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct s3
449	(types:
450	lvalue instance of struct s3
451	)
452	Environment:
453
454	there are 1 alternatives before elimination
455	there are 1 alternatives after elimination
456	alternatives before prune:
457	Cost ( 0, 0, 0 ): Cast of:
458	Variable Expression: _src: instance of struct s3
459
460	to:
461	instance of struct s3
462	(types:
463	instance of struct s3
464	)
465	Environment:
466
467	there are 1 alternatives before elimination
468	there are 1 alternatives after elimination
469	nameExpr is ?=?
470	decl is ?=?: automatically generated inline function
471	with parameters
472	_dst: pointer to instance of struct s2
473	_src: instance of struct s2
474	returning
475	instance of struct s2
476	with body
477	CompoundStmt
478	Expression Statement:
479	Applying untyped:
480	Name: ?=?
481	...to:
482	Address of:
483	Member Expression, with field:
484	i: signed int
485	from aggregate:
486	Applying untyped:
487	Name: *?
488	...to:
489	Variable Expression: _dst: pointer to instance of struct s2
490	Member Expression, with field:
491	i: signed int
492	from aggregate:
493	Variable Expression: _src: instance of struct s2
494
495	Return Statement, returning: Cast of:
496	Variable Expression: _src: instance of struct s2
497
498	to:
499	instance of struct s2
500	with environment:
501	Types:
502	Non-types:
503
504
505
506	newExpr is Variable Expression: ?=?: inline function
507	with parameters
508	_dst: pointer to instance of struct s2
509	_src: instance of struct s2
510	returning
511	instance of struct s2
512
513
514	decl is ?=?: automatically generated inline function
515	with parameters
516	_dst: pointer to instance of struct s3
517	_src: instance of struct s3
518	returning
519	instance of struct s3
520	with body
521	CompoundStmt
522	Expression Statement:
523	Applying untyped:
524	Name: ?=?
525	...to:
526	Address of:
527	Member Expression, with field:
528	i: signed int
529	from aggregate:
530	Applying untyped:
531	Name: *?
532	...to:
533	Variable Expression: _dst: pointer to instance of struct s3
534	Member Expression, with field:
535	i: signed int
536	from aggregate:
537	Variable Expression: _src: instance of struct s3
538
539	Return Statement, returning: Cast of:
540	Variable Expression: _src: instance of struct s3
541
542	to:
543	instance of struct s3
544	with environment:
545	Types:
546	Non-types:
547
548
549
550	newExpr is Variable Expression: ?=?: inline function
551	with parameters
552	_dst: pointer to instance of struct s3
553	_src: instance of struct s3
554	returning
555	instance of struct s3
556
557
558	decl is ?=?: automatically generated inline function
559	with parameters
560	_dst: pointer to instance of struct s4
561	_src: instance of struct s4
562	returning
563	instance of struct s4
564	with body
565	CompoundStmt
566	Expression Statement:
567	Applying untyped:
568	Name: ?=?
569	...to:
570	Address of:
571	Member Expression, with field:
572	i: signed int
573	from aggregate:
574	Applying untyped:
575	Name: *?
576	...to:
577	Variable Expression: _dst: pointer to instance of struct s4
578	Member Expression, with field:
579	i: signed int
580	from aggregate:
581	Variable Expression: _src: instance of struct s4
582
583	Return Statement, returning: Variable Expression: _src: instance of struct s4
584
585
586
587	newExpr is Variable Expression: ?=?: inline function
588	with parameters
589	_dst: pointer to instance of struct s4
590	_src: instance of struct s4
591	returning
592	instance of struct s4
593
594
595	alternatives before prune:
596	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
597	with parameters
598	_dst: pointer to instance of struct s2
599	_src: instance of struct s2
600	returning
601	instance of struct s2
602
603	(types:
604	pointer to function
605	with parameters
606	_dst: pointer to instance of struct s2
607	_src: instance of struct s2
608	returning
609	instance of struct s2
610
611	)
612	Environment:
613
614	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
615	with parameters
616	_dst: pointer to instance of struct s3
617	_src: instance of struct s3
618	returning
619	instance of struct s3
620
621	(types:
622	pointer to function
623	with parameters
624	_dst: pointer to instance of struct s3
625	_src: instance of struct s3
626	returning
627	instance of struct s3
628
629	)
630	Environment:
631
632	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
633	with parameters
634	_dst: pointer to instance of struct s4
635	_src: instance of struct s4
636	returning
637	instance of struct s4
638
639	(types:
640	pointer to function
641	with parameters
642	_dst: pointer to instance of struct s4
643	_src: instance of struct s4
644	returning
645	instance of struct s4
646
647	)
648	Environment:
649
650	there are 3 alternatives before elimination
651	there are 3 alternatives after elimination
652	alternatives before prune:
653	Cost ( 0, 0, 0 ): Member Expression, with field:
654	i: signed int
655	from aggregate:
656	Applying untyped:
657	Name: *?
658	...to:
659	Variable Expression: _dst: pointer to instance of struct s4
660	(types:
661	lvalue signed int
662	)
663	Environment:
664
665	there are 1 alternatives before elimination
666	there are 1 alternatives after elimination
667	alternatives before prune:
668	Cost ( 0, 0, 0 ): Address of:
669	Member Expression, with field:
670	i: signed int
671	from aggregate:
672	Applying untyped:
673	Name: *?
674	...to:
675	Variable Expression: _dst: pointer to instance of struct s4
676	(types:
677	pointer to signed int
678	)
679	Environment:
680
681	there are 1 alternatives before elimination
682	there are 1 alternatives after elimination
683	findSubExprs
684	Cost ( 0, 0, 0 ): Address of:
685	Member Expression, with field:
686	i: signed int
687	from aggregate:
688	Applying untyped:
689	Name: *?
690	...to:
691	Variable Expression: _dst: pointer to instance of struct s4
692	(types:
693	pointer to signed int
694	)
695	Environment:
696
697	alternatives before prune:
698	Cost ( 0, 0, 0 ): Member Expression, with field:
699	i: signed int
700	from aggregate:
701	Variable Expression: _src: instance of struct s4
702	(types:
703	lvalue signed int
704	)
705	Environment:
706
707	there are 1 alternatives before elimination
708	there are 1 alternatives after elimination
709	findSubExprs
710	Cost ( 0, 0, 0 ): Member Expression, with field:
711	i: signed int
712	from aggregate:
713	Variable Expression: _src: instance of struct s4
714	(types:
715	lvalue signed int
716	)
717	Environment:
718
719	working on alternative:
720	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
721	with parameters
722	_dst: pointer to instance of struct s4
723	_src: instance of struct s4
724	returning
725	instance of struct s4
726
727	(types:
728	pointer to function
729	with parameters
730	_dst: pointer to instance of struct s4
731	_src: instance of struct s4
732	returning
733	instance of struct s4
734
735	)
736	Environment:
737	formal type is pointer to instance of struct s4
738	actual type is pointer to signed int
739	working on alternative:
740	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
741	with parameters
742	_dst: pointer to instance of struct s3
743	_src: instance of struct s3
744	returning
745	instance of struct s3
746
747	(types:
748	pointer to function
749	with parameters
750	_dst: pointer to instance of struct s3
751	_src: instance of struct s3
752	returning
753	instance of struct s3
754
755	)
756	Environment:
757	formal type is pointer to instance of struct s3
758	actual type is pointer to signed int
759	working on alternative:
760	Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline function
761	with parameters
762	_dst: pointer to instance of struct s2
763	_src: instance of struct s2
764	returning
765	instance of struct s2
766
767	(types:
768	pointer to function
769	with parameters
770	_dst: pointer to instance of struct s2
771	_src: instance of struct s2
772	returning
773	instance of struct s2
774
775	)
776	Environment:
777	formal type is pointer to instance of struct s2
778	actual type is pointer to signed int
779	alternatives before prune:
780	Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct s4
781	(types:
782	lvalue instance of struct s4
783	)
784	Environment:
785
786	there are 1 alternatives before elimination
787	there are 1 alternatives after elimination
788	alternatives before prune:
789	Cost ( 0, 0, 0 ): Cast of:
790	Variable Expression: _src: instance of struct s4
791
792	to:
793	instance of struct s4
794	(types:
795	instance of struct s4
796	)
797	Environment:
798
799	there are 1 alternatives before elimination
800	there are 1 alternatives after elimination
801	alternatives before prune:
802	Cost ( 0, 0, 0 ): constant expression 10 signed int (types:
803	signed int
804	)
805	Environment:
806
807	there are 1 alternatives before elimination
808	there are 1 alternatives after elimination
809	alternatives before prune:
810	Cost ( 0, 0, 2 ): Cast of:
811	constant expression 10 signed int
812	to:
813	long unsigned int
814	(types:
815	long unsigned int
816	)
817	Environment:
818
819	there are 1 alternatives before elimination
820	there are 1 alternatives after elimination
821	alternatives before prune:
822	Cost ( 0, 0, 0 ): constant expression 10 signed int (types:
823	signed int
824	)
825	Environment:
826
827	there are 1 alternatives before elimination
828	there are 1 alternatives after elimination
829	alternatives before prune:
830	Cost ( 0, 0, 2 ): Cast of:
831	constant expression 10 signed int
832	to:
833	long unsigned int
834	(types:
835	long unsigned int
836	)
837	Environment:
838
839	there are 1 alternatives before elimination
840	there are 1 alternatives after elimination
841	alternatives before prune:
842	Cost ( 0, 0, 0 ): constant expression 10 signed int (types:
843	signed int
844	)
845	Environment:
846
847	there are 1 alternatives before elimination
848	there are 1 alternatives after elimination
849	alternatives before prune:
850	Cost ( 0, 0, 2 ): Cast of:
851	constant expression 10 signed int
852	to:
853	long unsigned int
854	(types:
855	long unsigned int
856	)
857	Environment:
858
859	there are 1 alternatives before elimination
860	there are 1 alternatives after elimination
861	Error: No reasonable alternatives for expression Applying untyped:
862	Name: ?=?
863	...to:
864	Address of:
865	Member Expression, with field:
866	i: signed int
867	from aggregate:
868	Applying untyped:
869	Name: *?
870	...to:
871	Variable Expression: _dst: pointer to instance of struct s2
872	Member Expression, with field:
873	i: signed int
874	from aggregate:
875	Variable Expression: _src: instance of struct s2
876
877	Error: No reasonable alternatives for expression Applying untyped:
878	Name: ?=?
879	...to:
880	Address of:
881	Member Expression, with field:
882	i: signed int
883	from aggregate:
884	Applying untyped:
885	Name: *?
886	...to:
887	Variable Expression: _dst: pointer to instance of struct s3
888	Member Expression, with field:
889	i: signed int
890	from aggregate:
891	Variable Expression: _src: instance of struct s3
892
893	Error: No reasonable alternatives for expression Applying untyped:
894	Name: ?=?
895	...to:
896	Address of:
897	Member Expression, with field:
898	i: signed int
899	from aggregate:
900	Applying untyped:
901	Name: *?
902	...to:
903	Variable Expression: _dst: pointer to instance of struct s4
904	Member Expression, with field:
905	i: signed int
906	from aggregate:
907	Variable Expression: _src: instance of struct s4
908

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

Download in other formats: