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

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
RevLine 
[b1d6dd5]1nameExpr is s1
2decl is s1: signed int
3newExpr is Variable Expression: s1: signed int
4
5alternatives before prune:
6Cost ( 0, 0, 0 ): Variable Expression: s1: signed int
7(types:
8 lvalue signed int
9)
10Environment:
11
12there are 1 alternatives before elimination
13there are 1 alternatives after elimination
14alternatives before prune:
15Cost ( 0, 0, 1 ): Cast of:
16 Variable Expression: s1: signed int
17
18to:
19 nothing
20(types:
21)
22Environment:
23
24there are 1 alternatives before elimination
25there are 1 alternatives after elimination
26nameExpr is s1
27decl is s1: signed int
28newExpr is Variable Expression: s1: signed int
29
30alternatives before prune:
31Cost ( 0, 0, 0 ): Variable Expression: s1: signed int
32(types:
33 lvalue signed int
34)
35Environment:
36
37there are 1 alternatives before elimination
38there are 1 alternatives after elimination
39alternatives before prune:
40Cost ( 0, 0, 1 ): Cast of:
41 Variable Expression: s1: signed int
42
43to:
44 nothing
45(types:
46)
47Environment:
48
49there are 1 alternatives before elimination
50there are 1 alternatives after elimination
51nameExpr is ?=?
52decl 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
81newExpr 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
89alternatives before prune:
90Cost ( 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)
106Environment:
107
108there are 1 alternatives before elimination
109there are 1 alternatives after elimination
110alternatives before prune:
111Cost ( 0, 0, 0 ): Member Expression, with field:
112 i: signed int
113from 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)
121Environment:
122
123there are 1 alternatives before elimination
124there are 1 alternatives after elimination
125alternatives before prune:
126Cost ( 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)
137Environment:
138
139there are 1 alternatives before elimination
140there are 1 alternatives after elimination
141findSubExprs
142Cost ( 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)
153Environment:
154
155alternatives before prune:
156Cost ( 0, 0, 0 ): Member Expression, with field:
157 i: signed int
158from aggregate:
159 Variable Expression: _src: instance of struct s2
160(types:
161 lvalue signed int
162)
163Environment:
164
165there are 1 alternatives before elimination
166there are 1 alternatives after elimination
167findSubExprs
168Cost ( 0, 0, 0 ): Member Expression, with field:
169 i: signed int
170from aggregate:
171 Variable Expression: _src: instance of struct s2
172(types:
173 lvalue signed int
174)
175Environment:
176
177working 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:
195formal type is pointer to instance of struct s2
196actual type is pointer to signed int
197alternatives before prune:
198Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct s2
199(types:
200 lvalue instance of struct s2
201)
202Environment:
203
204there are 1 alternatives before elimination
205there are 1 alternatives after elimination
206alternatives before prune:
207Cost ( 0, 0, 0 ): Cast of:
208 Variable Expression: _src: instance of struct s2
209
210to:
211 instance of struct s2
212(types:
213 instance of struct s2
214)
215Environment:
216
217there are 1 alternatives before elimination
218there are 1 alternatives after elimination
219nameExpr is ?=?
220decl 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
248to:
249 instance of struct s2
250with environment:
251 Types:
252 Non-types:
253
254
255
256newExpr 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
264decl 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
293newExpr 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
301alternatives before prune:
302Cost ( 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)
318Environment:
319
320Cost ( 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)
336Environment:
337
338there are 2 alternatives before elimination
339there are 2 alternatives after elimination
340alternatives before prune:
341Cost ( 0, 0, 0 ): Member Expression, with field:
342 i: signed int
343from 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)
351Environment:
352
353there are 1 alternatives before elimination
354there are 1 alternatives after elimination
355alternatives before prune:
356Cost ( 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)
367Environment:
368
369there are 1 alternatives before elimination
370there are 1 alternatives after elimination
371findSubExprs
372Cost ( 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)
383Environment:
384
385alternatives before prune:
386Cost ( 0, 0, 0 ): Member Expression, with field:
387 i: signed int
388from aggregate:
389 Variable Expression: _src: instance of struct s3
390(types:
391 lvalue signed int
392)
393Environment:
394
395there are 1 alternatives before elimination
396there are 1 alternatives after elimination
397findSubExprs
398Cost ( 0, 0, 0 ): Member Expression, with field:
399 i: signed int
400from aggregate:
401 Variable Expression: _src: instance of struct s3
402(types:
403 lvalue signed int
404)
405Environment:
406
407working 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:
425formal type is pointer to instance of struct s3
426actual type is pointer to signed int
427working 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:
445formal type is pointer to instance of struct s2
446actual type is pointer to signed int
447alternatives before prune:
448Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct s3
449(types:
450 lvalue instance of struct s3
451)
452Environment:
453
454there are 1 alternatives before elimination
455there are 1 alternatives after elimination
456alternatives before prune:
457Cost ( 0, 0, 0 ): Cast of:
458 Variable Expression: _src: instance of struct s3
459
460to:
461 instance of struct s3
462(types:
463 instance of struct s3
464)
465Environment:
466
467there are 1 alternatives before elimination
468there are 1 alternatives after elimination
469nameExpr is ?=?
470decl 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
498to:
499 instance of struct s2
500with environment:
501 Types:
502 Non-types:
503
504
505
506newExpr 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
514decl 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
542to:
543 instance of struct s3
544with environment:
545 Types:
546 Non-types:
547
548
549
550newExpr 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
558decl 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
587newExpr 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
595alternatives before prune:
596Cost ( 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)
612Environment:
613
614Cost ( 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)
630Environment:
631
632Cost ( 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)
648Environment:
649
650there are 3 alternatives before elimination
651there are 3 alternatives after elimination
652alternatives before prune:
653Cost ( 0, 0, 0 ): Member Expression, with field:
654 i: signed int
655from 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)
663Environment:
664
665there are 1 alternatives before elimination
666there are 1 alternatives after elimination
667alternatives before prune:
668Cost ( 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)
679Environment:
680
681there are 1 alternatives before elimination
682there are 1 alternatives after elimination
683findSubExprs
684Cost ( 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)
695Environment:
696
697alternatives before prune:
698Cost ( 0, 0, 0 ): Member Expression, with field:
699 i: signed int
700from aggregate:
701 Variable Expression: _src: instance of struct s4
702(types:
703 lvalue signed int
704)
705Environment:
706
707there are 1 alternatives before elimination
708there are 1 alternatives after elimination
709findSubExprs
710Cost ( 0, 0, 0 ): Member Expression, with field:
711 i: signed int
712from aggregate:
713 Variable Expression: _src: instance of struct s4
714(types:
715 lvalue signed int
716)
717Environment:
718
719working 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:
737formal type is pointer to instance of struct s4
738actual type is pointer to signed int
739working 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:
757formal type is pointer to instance of struct s3
758actual type is pointer to signed int
759working 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:
777formal type is pointer to instance of struct s2
778actual type is pointer to signed int
779alternatives before prune:
780Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct s4
781(types:
782 lvalue instance of struct s4
783)
784Environment:
785
786there are 1 alternatives before elimination
787there are 1 alternatives after elimination
788alternatives before prune:
789Cost ( 0, 0, 0 ): Cast of:
790 Variable Expression: _src: instance of struct s4
791
792to:
793 instance of struct s4
794(types:
795 instance of struct s4
796)
797Environment:
798
799there are 1 alternatives before elimination
800there are 1 alternatives after elimination
801alternatives before prune:
802Cost ( 0, 0, 0 ): constant expression 10 signed int (types:
803 signed int
804)
805Environment:
806
807there are 1 alternatives before elimination
808there are 1 alternatives after elimination
809alternatives before prune:
810Cost ( 0, 0, 2 ): Cast of:
811constant expression 10 signed int
812to:
813 long unsigned int
814(types:
815 long unsigned int
816)
817Environment:
818
819there are 1 alternatives before elimination
820there are 1 alternatives after elimination
821alternatives before prune:
822Cost ( 0, 0, 0 ): constant expression 10 signed int (types:
823 signed int
824)
825Environment:
826
827there are 1 alternatives before elimination
828there are 1 alternatives after elimination
829alternatives before prune:
830Cost ( 0, 0, 2 ): Cast of:
831constant expression 10 signed int
832to:
833 long unsigned int
834(types:
835 long unsigned int
836)
837Environment:
838
839there are 1 alternatives before elimination
840there are 1 alternatives after elimination
841alternatives before prune:
842Cost ( 0, 0, 0 ): constant expression 10 signed int (types:
843 signed int
844)
845Environment:
846
847there are 1 alternatives before elimination
848there are 1 alternatives after elimination
849alternatives before prune:
850Cost ( 0, 0, 2 ): Cast of:
851constant expression 10 signed int
852to:
853 long unsigned int
854(types:
855 long unsigned int
856)
857Environment:
858
859there are 1 alternatives before elimination
860there are 1 alternatives after elimination
861Error: 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
877Error: 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
893Error: 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.