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

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 784deab 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: 23.1 KB
Line 
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.