source: src/Tests/Expect-r/Scope.txt @ 68cd1ce

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 68cd1ce 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: 102.7 KB
Line 
1nameExpr is ?=?
2decl is ?=?: automatically generated inline static function
3  with parameters
4    _dst: pointer to instance of struct __anonymous0
5    _src: instance of struct __anonymous0
6  returning
7    instance of struct __anonymous0
8  with body
9    CompoundStmt
10              Expression Statement:
11          Applying untyped:
12              Name: ?=?
13          ...to:
14              Address of:
15                Member Expression, with field:
16                  a: signed int
17                from aggregate:
18                  Applying untyped:
19                      Name: *?
20                  ...to:
21                      Variable Expression: _dst: pointer to instance of struct __anonymous0
22              Member Expression, with field:
23                a: signed int
24              from aggregate:
25                Variable Expression: _src: instance of struct __anonymous0
26
27              Expression Statement:
28          Applying untyped:
29              Name: ?=?
30          ...to:
31              Address of:
32                Member Expression, with field:
33                  b: double
34                from aggregate:
35                  Applying untyped:
36                      Name: *?
37                  ...to:
38                      Variable Expression: _dst: pointer to instance of struct __anonymous0
39              Member Expression, with field:
40                b: double
41              from aggregate:
42                Variable Expression: _src: instance of struct __anonymous0
43
44              Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0
45
46
47
48newExpr is Variable Expression: ?=?: inline static function
49    with parameters
50      _dst: pointer to instance of struct __anonymous0
51      _src: instance of struct __anonymous0
52    returning
53      instance of struct __anonymous0
54
55
56alternatives before prune:
57Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
58    with parameters
59      _dst: pointer to instance of struct __anonymous0
60      _src: instance of struct __anonymous0
61    returning
62      instance of struct __anonymous0
63
64(types:
65    pointer to function
66        with parameters
67          _dst: pointer to instance of struct __anonymous0
68          _src: instance of struct __anonymous0
69        returning
70          instance of struct __anonymous0
71
72)
73Environment:
74
75there are 1 alternatives before elimination
76there are 1 alternatives after elimination
77alternatives before prune:
78Cost ( 0, 0, 0 ): Member Expression, with field:
79  a: signed int
80from aggregate:
81  Applying untyped:
82      Name: *?
83  ...to:
84      Variable Expression: _dst: pointer to instance of struct __anonymous0
85(types:
86    lvalue signed int
87)
88Environment:
89
90there are 1 alternatives before elimination
91there are 1 alternatives after elimination
92alternatives before prune:
93Cost ( 0, 0, 0 ): Address of:
94  Member Expression, with field:
95    a: signed int
96  from aggregate:
97    Applying untyped:
98        Name: *?
99    ...to:
100        Variable Expression: _dst: pointer to instance of struct __anonymous0
101(types:
102    pointer to signed int
103)
104Environment:
105
106there are 1 alternatives before elimination
107there are 1 alternatives after elimination
108findSubExprs
109Cost ( 0, 0, 0 ): Address of:
110  Member Expression, with field:
111    a: signed int
112  from aggregate:
113    Applying untyped:
114        Name: *?
115    ...to:
116        Variable Expression: _dst: pointer to instance of struct __anonymous0
117(types:
118    pointer to signed int
119)
120Environment:
121
122alternatives before prune:
123Cost ( 0, 0, 0 ): Member Expression, with field:
124  a: signed int
125from aggregate:
126  Variable Expression: _src: instance of struct __anonymous0
127(types:
128    lvalue signed int
129)
130Environment:
131
132there are 1 alternatives before elimination
133there are 1 alternatives after elimination
134findSubExprs
135Cost ( 0, 0, 0 ): Member Expression, with field:
136  a: signed int
137from aggregate:
138  Variable Expression: _src: instance of struct __anonymous0
139(types:
140    lvalue signed int
141)
142Environment:
143
144working on alternative:
145        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
146            with parameters
147              _dst: pointer to instance of struct __anonymous0
148              _src: instance of struct __anonymous0
149            returning
150              instance of struct __anonymous0
151
152(types:
153            pointer to function
154                with parameters
155                  _dst: pointer to instance of struct __anonymous0
156                  _src: instance of struct __anonymous0
157                returning
158                  instance of struct __anonymous0
159
160)
161        Environment:
162formal type is pointer to instance of struct __anonymous0
163actual type is pointer to signed int
164nameExpr is ?=?
165decl is ?=?: automatically generated inline static function
166  with parameters
167    _dst: pointer to instance of struct __anonymous0
168    _src: instance of struct __anonymous0
169  returning
170    instance of struct __anonymous0
171  with body
172    CompoundStmt
173              Expression Statement:
174          Applying untyped:
175              Name: ?=?
176          ...to:
177              Address of:
178                Member Expression, with field:
179                  a: signed int
180                from aggregate:
181                  Applying untyped:
182                      Name: *?
183                  ...to:
184                      Variable Expression: _dst: pointer to instance of struct __anonymous0
185              Member Expression, with field:
186                a: signed int
187              from aggregate:
188                Variable Expression: _src: instance of struct __anonymous0
189
190              Expression Statement:
191          Applying untyped:
192              Name: ?=?
193          ...to:
194              Address of:
195                Member Expression, with field:
196                  b: double
197                from aggregate:
198                  Applying untyped:
199                      Name: *?
200                  ...to:
201                      Variable Expression: _dst: pointer to instance of struct __anonymous0
202              Member Expression, with field:
203                b: double
204              from aggregate:
205                Variable Expression: _src: instance of struct __anonymous0
206
207              Return Statement, returning: Variable Expression: _src: instance of struct __anonymous0
208
209
210
211newExpr is Variable Expression: ?=?: inline static function
212    with parameters
213      _dst: pointer to instance of struct __anonymous0
214      _src: instance of struct __anonymous0
215    returning
216      instance of struct __anonymous0
217
218
219alternatives before prune:
220Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
221    with parameters
222      _dst: pointer to instance of struct __anonymous0
223      _src: instance of struct __anonymous0
224    returning
225      instance of struct __anonymous0
226
227(types:
228    pointer to function
229        with parameters
230          _dst: pointer to instance of struct __anonymous0
231          _src: instance of struct __anonymous0
232        returning
233          instance of struct __anonymous0
234
235)
236Environment:
237
238there are 1 alternatives before elimination
239there are 1 alternatives after elimination
240alternatives before prune:
241Cost ( 0, 0, 0 ): Member Expression, with field:
242  b: double
243from aggregate:
244  Applying untyped:
245      Name: *?
246  ...to:
247      Variable Expression: _dst: pointer to instance of struct __anonymous0
248(types:
249    lvalue double
250)
251Environment:
252
253there are 1 alternatives before elimination
254there are 1 alternatives after elimination
255alternatives before prune:
256Cost ( 0, 0, 0 ): Address of:
257  Member Expression, with field:
258    b: double
259  from aggregate:
260    Applying untyped:
261        Name: *?
262    ...to:
263        Variable Expression: _dst: pointer to instance of struct __anonymous0
264(types:
265    pointer to double
266)
267Environment:
268
269there are 1 alternatives before elimination
270there are 1 alternatives after elimination
271findSubExprs
272Cost ( 0, 0, 0 ): Address of:
273  Member Expression, with field:
274    b: double
275  from aggregate:
276    Applying untyped:
277        Name: *?
278    ...to:
279        Variable Expression: _dst: pointer to instance of struct __anonymous0
280(types:
281    pointer to double
282)
283Environment:
284
285alternatives before prune:
286Cost ( 0, 0, 0 ): Member Expression, with field:
287  b: double
288from aggregate:
289  Variable Expression: _src: instance of struct __anonymous0
290(types:
291    lvalue double
292)
293Environment:
294
295there are 1 alternatives before elimination
296there are 1 alternatives after elimination
297findSubExprs
298Cost ( 0, 0, 0 ): Member Expression, with field:
299  b: double
300from aggregate:
301  Variable Expression: _src: instance of struct __anonymous0
302(types:
303    lvalue double
304)
305Environment:
306
307working on alternative:
308        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
309            with parameters
310              _dst: pointer to instance of struct __anonymous0
311              _src: instance of struct __anonymous0
312            returning
313              instance of struct __anonymous0
314
315(types:
316            pointer to function
317                with parameters
318                  _dst: pointer to instance of struct __anonymous0
319                  _src: instance of struct __anonymous0
320                returning
321                  instance of struct __anonymous0
322
323)
324        Environment:
325formal type is pointer to instance of struct __anonymous0
326actual type is pointer to double
327alternatives before prune:
328Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct __anonymous0
329(types:
330    lvalue instance of struct __anonymous0
331)
332Environment:
333
334there are 1 alternatives before elimination
335there are 1 alternatives after elimination
336alternatives before prune:
337Cost ( 0, 0, 0 ): Cast of:
338  Variable Expression: _src: instance of struct __anonymous0
339
340to:
341  instance of struct __anonymous0
342(types:
343    instance of struct __anonymous0
344)
345Environment:
346
347there are 1 alternatives before elimination
348there are 1 alternatives after elimination
349nameExpr is ?=?
350decl is ?=?: automatically generated inline static function
351  with parameters
352    _dst: pointer to instance of struct __anonymous0
353    _src: instance of struct __anonymous0
354  returning
355    instance of struct __anonymous0
356  with body
357    CompoundStmt
358              Expression Statement:
359          Applying untyped:
360              Name: ?=?
361          ...to:
362              Address of:
363                Member Expression, with field:
364                  a: signed int
365                from aggregate:
366                  Applying untyped:
367                      Name: *?
368                  ...to:
369                      Variable Expression: _dst: pointer to instance of struct __anonymous0
370              Member Expression, with field:
371                a: signed int
372              from aggregate:
373                Variable Expression: _src: instance of struct __anonymous0
374
375              Expression Statement:
376          Applying untyped:
377              Name: ?=?
378          ...to:
379              Address of:
380                Member Expression, with field:
381                  b: double
382                from aggregate:
383                  Applying untyped:
384                      Name: *?
385                  ...to:
386                      Variable Expression: _dst: pointer to instance of struct __anonymous0
387              Member Expression, with field:
388                b: double
389              from aggregate:
390                Variable Expression: _src: instance of struct __anonymous0
391
392              Return Statement, returning: Cast of:
393  Variable Expression: _src: instance of struct __anonymous0
394
395to:
396  instance of struct __anonymous0
397with environment:
398  Types:
399  Non-types:
400
401
402
403newExpr is Variable Expression: ?=?: inline static function
404    with parameters
405      _dst: pointer to instance of struct __anonymous0
406      _src: instance of struct __anonymous0
407    returning
408      instance of struct __anonymous0
409
410
411decl is ?=?: automatically generated function
412  with parameters
413    _dst: pointer to instance of type u (not function type)
414    _src: instance of type u (not function type)
415  returning
416    instance of type u (not function type)
417  with body
418    CompoundStmt
419              Return Statement, returning: Applying untyped:
420    Name: ?=?
421...to:
422    Cast of:
423      Variable Expression: _dst: pointer to instance of type u (not function type)
424
425    to:
426      pointer to instance of struct __anonymous0
427    Cast of:
428      Variable Expression: _src: instance of type u (not function type)
429
430    to:
431      instance of struct __anonymous0
432
433
434
435newExpr is Variable Expression: ?=?: function
436    with parameters
437      _dst: pointer to instance of type u (not function type)
438      _src: instance of type u (not function type)
439    returning
440      instance of type u (not function type)
441
442
443alternatives before prune:
444Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
445    with parameters
446      _dst: pointer to instance of struct __anonymous0
447      _src: instance of struct __anonymous0
448    returning
449      instance of struct __anonymous0
450
451(types:
452    pointer to function
453        with parameters
454          _dst: pointer to instance of struct __anonymous0
455          _src: instance of struct __anonymous0
456        returning
457          instance of struct __anonymous0
458
459)
460Environment:
461
462Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
463    with parameters
464      _dst: pointer to instance of type u (not function type)
465      _src: instance of type u (not function type)
466    returning
467      instance of type u (not function type)
468
469(types:
470    pointer to function
471        with parameters
472          _dst: pointer to instance of type u (not function type)
473          _src: instance of type u (not function type)
474        returning
475          instance of type u (not function type)
476
477)
478Environment:
479
480there are 2 alternatives before elimination
481there are 2 alternatives after elimination
482alternatives before prune:
483Cost ( 0, 0, 0 ): Variable Expression: _dst: pointer to instance of type u (not function type)
484(types:
485    lvalue pointer to instance of type u (not function type)
486)
487Environment:
488
489there are 1 alternatives before elimination
490there are 1 alternatives after elimination
491nameExpr is y
492decl is y: double
493newExpr is Variable Expression: y: double
494
495alternatives before prune:
496Cost ( 0, 0, 0 ): Variable Expression: y: double
497(types:
498    lvalue double
499)
500Environment:
501
502there are 1 alternatives before elimination
503there are 1 alternatives after elimination
504nameExpr is ?=?
505decl is ?=?: automatically generated inline static function
506  with parameters
507    _dst: pointer to instance of struct __anonymous0
508    _src: instance of struct __anonymous0
509  returning
510    instance of struct __anonymous0
511  with body
512    CompoundStmt
513              Expression Statement:
514          Applying untyped:
515              Name: ?=?
516          ...to:
517              Address of:
518                Member Expression, with field:
519                  a: signed int
520                from aggregate:
521                  Applying untyped:
522                      Name: *?
523                  ...to:
524                      Variable Expression: _dst: pointer to instance of struct __anonymous0
525              Member Expression, with field:
526                a: signed int
527              from aggregate:
528                Variable Expression: _src: instance of struct __anonymous0
529
530              Expression Statement:
531          Applying untyped:
532              Name: ?=?
533          ...to:
534              Address of:
535                Member Expression, with field:
536                  b: double
537                from aggregate:
538                  Applying untyped:
539                      Name: *?
540                  ...to:
541                      Variable Expression: _dst: pointer to instance of struct __anonymous0
542              Member Expression, with field:
543                b: double
544              from aggregate:
545                Variable Expression: _src: instance of struct __anonymous0
546
547              Return Statement, returning: Cast of:
548  Variable Expression: _src: instance of struct __anonymous0
549
550to:
551  instance of struct __anonymous0
552with environment:
553  Types:
554  Non-types:
555
556
557
558newExpr is Variable Expression: ?=?: inline static function
559    with parameters
560      _dst: pointer to instance of struct __anonymous0
561      _src: instance of struct __anonymous0
562    returning
563      instance of struct __anonymous0
564
565
566decl is ?=?: automatically generated function
567  with parameters
568    _dst: pointer to instance of type u (not function type)
569    _src: instance of type u (not function type)
570  returning
571    instance of type u (not function type)
572  with body
573    CompoundStmt
574              Return Statement, returning: Applying untyped:
575    Name: ?=?
576...to:
577    Cast of:
578      Variable Expression: _dst: pointer to instance of type u (not function type)
579
580    to:
581      pointer to instance of struct __anonymous0
582    Cast of:
583      Variable Expression: _src: instance of type u (not function type)
584
585    to:
586      instance of struct __anonymous0
587
588
589
590newExpr is Variable Expression: ?=?: function
591    with parameters
592      _dst: pointer to instance of type u (not function type)
593      _src: instance of type u (not function type)
594    returning
595      instance of type u (not function type)
596
597
598decl is ?=?: automatically generated function
599  with parameters
600    _dst: pointer to instance of type x (not function type)
601    _src: instance of type x (not function type)
602  returning
603    instance of type x (not function type)
604
605newExpr is Variable Expression: ?=?: function
606    with parameters
607      _dst: pointer to instance of type x (not function type)
608      _src: instance of type x (not function type)
609    returning
610      instance of type x (not function type)
611
612
613alternatives before prune:
614Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
615    with parameters
616      _dst: pointer to instance of struct __anonymous0
617      _src: instance of struct __anonymous0
618    returning
619      instance of struct __anonymous0
620
621(types:
622    pointer to function
623        with parameters
624          _dst: pointer to instance of struct __anonymous0
625          _src: instance of struct __anonymous0
626        returning
627          instance of struct __anonymous0
628
629)
630Environment:
631
632Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
633    with parameters
634      _dst: pointer to instance of type u (not function type)
635      _src: instance of type u (not function type)
636    returning
637      instance of type u (not function type)
638
639(types:
640    pointer to function
641        with parameters
642          _dst: pointer to instance of type u (not function type)
643          _src: instance of type u (not function type)
644        returning
645          instance of type u (not function type)
646
647)
648Environment:
649
650Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
651    with parameters
652      _dst: pointer to instance of type x (not function type)
653      _src: instance of type x (not function type)
654    returning
655      instance of type x (not function type)
656
657(types:
658    pointer to function
659        with parameters
660          _dst: pointer to instance of type x (not function type)
661          _src: instance of type x (not function type)
662        returning
663          instance of type x (not function type)
664
665)
666Environment:
667
668there are 3 alternatives before elimination
669there are 3 alternatives after elimination
670nameExpr is u
671nameExpr is t
672decl is t: function
673  with parameters
674    instance of type u (not function type)
675  returning
676    instance of type x (not function type)
677
678newExpr is Variable Expression: t: function
679    with parameters
680      instance of type u (not function type)
681    returning
682      instance of type x (not function type)
683
684
685alternatives before prune:
686Cost ( 0, 0, 0 ): Variable Expression: t: function
687    with parameters
688      instance of type u (not function type)
689    returning
690      instance of type x (not function type)
691
692(types:
693    pointer to function
694        with parameters
695          instance of type u (not function type)
696        returning
697          instance of type x (not function type)
698
699)
700Environment:
701
702there are 1 alternatives before elimination
703there are 1 alternatives after elimination
704nameExpr is u
705nameExpr is ?=?
706decl is ?=?: automatically generated inline static function
707  with parameters
708    _dst: pointer to instance of struct __anonymous0
709    _src: instance of struct __anonymous0
710  returning
711    instance of struct __anonymous0
712  with body
713    CompoundStmt
714              Expression Statement:
715          Applying untyped:
716              Name: ?=?
717          ...to:
718              Address of:
719                Member Expression, with field:
720                  a: signed int
721                from aggregate:
722                  Applying untyped:
723                      Name: *?
724                  ...to:
725                      Variable Expression: _dst: pointer to instance of struct __anonymous0
726              Member Expression, with field:
727                a: signed int
728              from aggregate:
729                Variable Expression: _src: instance of struct __anonymous0
730
731              Expression Statement:
732          Applying untyped:
733              Name: ?=?
734          ...to:
735              Address of:
736                Member Expression, with field:
737                  b: double
738                from aggregate:
739                  Applying untyped:
740                      Name: *?
741                  ...to:
742                      Variable Expression: _dst: pointer to instance of struct __anonymous0
743              Member Expression, with field:
744                b: double
745              from aggregate:
746                Variable Expression: _src: instance of struct __anonymous0
747
748              Return Statement, returning: Cast of:
749  Variable Expression: _src: instance of struct __anonymous0
750
751to:
752  instance of struct __anonymous0
753with environment:
754  Types:
755  Non-types:
756
757
758
759newExpr is Variable Expression: ?=?: inline static function
760    with parameters
761      _dst: pointer to instance of struct __anonymous0
762      _src: instance of struct __anonymous0
763    returning
764      instance of struct __anonymous0
765
766
767decl is ?=?: automatically generated function
768  with parameters
769    _dst: pointer to instance of type u (not function type)
770    _src: instance of type u (not function type)
771  returning
772    instance of type u (not function type)
773  with body
774    CompoundStmt
775              Return Statement, returning: Applying untyped:
776    Name: ?=?
777...to:
778    Cast of:
779      Variable Expression: _dst: pointer to instance of type u (not function type)
780
781    to:
782      pointer to instance of struct __anonymous0
783    Cast of:
784      Variable Expression: _src: instance of type u (not function type)
785
786    to:
787      instance of struct __anonymous0
788
789
790
791newExpr is Variable Expression: ?=?: function
792    with parameters
793      _dst: pointer to instance of type u (not function type)
794      _src: instance of type u (not function type)
795    returning
796      instance of type u (not function type)
797
798
799decl is ?=?: automatically generated function
800  with parameters
801    _dst: pointer to instance of type x (not function type)
802    _src: instance of type x (not function type)
803  returning
804    instance of type x (not function type)
805
806newExpr is Variable Expression: ?=?: function
807    with parameters
808      _dst: pointer to instance of type x (not function type)
809      _src: instance of type x (not function type)
810    returning
811      instance of type x (not function type)
812
813
814alternatives before prune:
815Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
816    with parameters
817      _dst: pointer to instance of struct __anonymous0
818      _src: instance of struct __anonymous0
819    returning
820      instance of struct __anonymous0
821
822(types:
823    pointer to function
824        with parameters
825          _dst: pointer to instance of struct __anonymous0
826          _src: instance of struct __anonymous0
827        returning
828          instance of struct __anonymous0
829
830)
831Environment:
832
833Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
834    with parameters
835      _dst: pointer to instance of type u (not function type)
836      _src: instance of type u (not function type)
837    returning
838      instance of type u (not function type)
839
840(types:
841    pointer to function
842        with parameters
843          _dst: pointer to instance of type u (not function type)
844          _src: instance of type u (not function type)
845        returning
846          instance of type u (not function type)
847
848)
849Environment:
850
851Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
852    with parameters
853      _dst: pointer to instance of type x (not function type)
854      _src: instance of type x (not function type)
855    returning
856      instance of type x (not function type)
857
858(types:
859    pointer to function
860        with parameters
861          _dst: pointer to instance of type x (not function type)
862          _src: instance of type x (not function type)
863        returning
864          instance of type x (not function type)
865
866)
867Environment:
868
869there are 3 alternatives before elimination
870there are 3 alternatives after elimination
871nameExpr is z
872decl is z: double
873newExpr is Variable Expression: z: double
874
875alternatives before prune:
876Cost ( 0, 0, 0 ): Variable Expression: z: double
877(types:
878    lvalue double
879)
880Environment:
881
882there are 1 alternatives before elimination
883there are 1 alternatives after elimination
884alternatives before prune:
885Cost ( 0, 0, 0 ): Address of:
886  Variable Expression: z: double
887(types:
888    pointer to double
889)
890Environment:
891
892there are 1 alternatives before elimination
893there are 1 alternatives after elimination
894findSubExprs
895Cost ( 0, 0, 0 ): Address of:
896  Variable Expression: z: double
897(types:
898    pointer to double
899)
900Environment:
901
902nameExpr is t
903decl is t: function
904  with parameters
905    instance of type u (not function type)
906  returning
907    instance of type x (not function type)
908
909newExpr is Variable Expression: t: function
910    with parameters
911      instance of type u (not function type)
912    returning
913      instance of type x (not function type)
914
915
916alternatives before prune:
917Cost ( 0, 0, 0 ): Variable Expression: t: function
918    with parameters
919      instance of type u (not function type)
920    returning
921      instance of type x (not function type)
922
923(types:
924    pointer to function
925        with parameters
926          instance of type u (not function type)
927        returning
928          instance of type x (not function type)
929
930)
931Environment:
932
933there are 1 alternatives before elimination
934there are 1 alternatives after elimination
935nameExpr is u
936nameExpr is u
937decl is u: pointer to function
938  with parameters
939    instance of type t (not function type)
940  returning
941    instance of type t (not function type)
942
943newExpr is Variable Expression: u: pointer to function
944    with parameters
945      instance of type t (not function type)
946    returning
947      instance of type t (not function type)
948
949
950alternatives before prune:
951Cost ( 0, 0, 0 ): Variable Expression: u: pointer to function
952    with parameters
953      instance of type t (not function type)
954    returning
955      instance of type t (not function type)
956
957(types:
958    lvalue pointer to function
959        with parameters
960          instance of type t (not function type)
961        returning
962          instance of type t (not function type)
963
964)
965Environment:
966
967there are 1 alternatives before elimination
968there are 1 alternatives after elimination
969nameExpr is the_t
970decl is the_t: instance of type t (not function type)
971newExpr is Variable Expression: the_t: instance of type t (not function type)
972
973alternatives before prune:
974Cost ( 0, 0, 0 ): Variable Expression: the_t: instance of type t (not function type)
975(types:
976    lvalue instance of type t (not function type)
977)
978Environment:
979
980there are 1 alternatives before elimination
981there are 1 alternatives after elimination
982findSubExprs
983Cost ( 0, 0, 0 ): Variable Expression: the_t: instance of type t (not function type)
984(types:
985    lvalue instance of type t (not function type)
986)
987Environment:
988
989working on alternative:
990        Cost ( 0, 0, 0 ):         Variable Expression: u: pointer to function
991            with parameters
992              instance of type t (not function type)
993            returning
994              instance of type t (not function type)
995
996(types:
997            lvalue pointer to function
998                with parameters
999                  instance of type t (not function type)
1000                returning
1001                  instance of type t (not function type)
1002
1003)
1004        Environment:
1005formal type is instance of type t (not function type)
1006actual type is lvalue instance of type t (not function type)
1007need assertions:
1008============= original indexer
1009===idTable===
1010===typeTable===
1011===structTable===
1012===enumTable===
1013===unionTable===
1014===contextTable===
1015============= new indexer
1016===idTable===
1017===typeTable===
1018===structTable===
1019===enumTable===
1020===unionTable===
1021===contextTable===
1022actual expression:
1023        Variable Expression: the_t: instance of type t (not function type)
1024--- results are
1025        lvalue instance of type t (not function type)
1026
1027converting lvalue instance of type t (not function type)
1028 to instance of type t (not function type)
1029cost is( 0, 0, 0 )
1030Case +++++++++++++
1031formals are:
1032        instance of type t (not function type)
1033actuals are:
1034                  Variable Expression: the_t: instance of type t (not function type)
1035
1036bindings are:
1037cost of conversion is:( 0, 0, 0 )
1038alternatives before prune:
1039Cost ( 0, 0, 0 ): Application of
1040  Variable Expression: u: pointer to function
1041      with parameters
1042        instance of type t (not function type)
1043      returning
1044        instance of type t (not function type)
1045
1046to arguments
1047      Variable Expression: the_t: instance of type t (not function type)
1048
1049(types:
1050    instance of type t (not function type)
1051)
1052Environment:
1053
1054there are 1 alternatives before elimination
1055there are 1 alternatives after elimination
1056alternatives before prune:
1057Cost ( 0, 0, 0 ): Cast of:
1058  Application of
1059    Variable Expression: u: pointer to function
1060        with parameters
1061          instance of type t (not function type)
1062        returning
1063          instance of type t (not function type)
1064
1065  to arguments
1066          Variable Expression: the_t: instance of type t (not function type)
1067
1068
1069to:
1070  instance of type t (not function type)
1071(types:
1072    instance of type t (not function type)
1073)
1074Environment:
1075
1076there are 1 alternatives before elimination
1077there are 1 alternatives after elimination
1078nameExpr is ?=?
1079decl is ?=?: automatically generated inline static function
1080  with parameters
1081    _dst: pointer to instance of struct __anonymous0
1082    _src: instance of struct __anonymous0
1083  returning
1084    instance of struct __anonymous0
1085  with body
1086    CompoundStmt
1087              Expression Statement:
1088          Applying untyped:
1089              Name: ?=?
1090          ...to:
1091              Address of:
1092                Member Expression, with field:
1093                  a: signed int
1094                from aggregate:
1095                  Applying untyped:
1096                      Name: *?
1097                  ...to:
1098                      Variable Expression: _dst: pointer to instance of struct __anonymous0
1099              Member Expression, with field:
1100                a: signed int
1101              from aggregate:
1102                Variable Expression: _src: instance of struct __anonymous0
1103
1104              Expression Statement:
1105          Applying untyped:
1106              Name: ?=?
1107          ...to:
1108              Address of:
1109                Member Expression, with field:
1110                  b: double
1111                from aggregate:
1112                  Applying untyped:
1113                      Name: *?
1114                  ...to:
1115                      Variable Expression: _dst: pointer to instance of struct __anonymous0
1116              Member Expression, with field:
1117                b: double
1118              from aggregate:
1119                Variable Expression: _src: instance of struct __anonymous0
1120
1121              Return Statement, returning: Cast of:
1122  Variable Expression: _src: instance of struct __anonymous0
1123
1124to:
1125  instance of struct __anonymous0
1126with environment:
1127  Types:
1128  Non-types:
1129
1130
1131
1132newExpr is Variable Expression: ?=?: inline static function
1133    with parameters
1134      _dst: pointer to instance of struct __anonymous0
1135      _src: instance of struct __anonymous0
1136    returning
1137      instance of struct __anonymous0
1138
1139
1140decl is ?=?: automatically generated function
1141  with parameters
1142    _dst: pointer to instance of type u (not function type)
1143    _src: instance of type u (not function type)
1144  returning
1145    instance of type u (not function type)
1146  with body
1147    CompoundStmt
1148              Return Statement, returning: Applying untyped:
1149    Name: ?=?
1150...to:
1151    Cast of:
1152      Variable Expression: _dst: pointer to instance of type u (not function type)
1153
1154    to:
1155      pointer to instance of struct __anonymous0
1156    Cast of:
1157      Variable Expression: _src: instance of type u (not function type)
1158
1159    to:
1160      instance of struct __anonymous0
1161
1162
1163
1164newExpr is Variable Expression: ?=?: function
1165    with parameters
1166      _dst: pointer to instance of type u (not function type)
1167      _src: instance of type u (not function type)
1168    returning
1169      instance of type u (not function type)
1170
1171
1172decl is ?=?: automatically generated function
1173  with parameters
1174    _dst: pointer to instance of type x (not function type)
1175    _src: instance of type x (not function type)
1176  returning
1177    instance of type x (not function type)
1178
1179newExpr is Variable Expression: ?=?: function
1180    with parameters
1181      _dst: pointer to instance of type x (not function type)
1182      _src: instance of type x (not function type)
1183    returning
1184      instance of type x (not function type)
1185
1186
1187decl is ?=?: pointer to function
1188  with parameters
1189    pointer to instance of type t (not function type)
1190    instance of type t (not function type)
1191  returning
1192    instance of type t (not function type)
1193
1194newExpr is Variable Expression: ?=?: pointer to function
1195    with parameters
1196      pointer to instance of type t (not function type)
1197      instance of type t (not function type)
1198    returning
1199      instance of type t (not function type)
1200
1201
1202alternatives before prune:
1203Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
1204    with parameters
1205      _dst: pointer to instance of struct __anonymous0
1206      _src: instance of struct __anonymous0
1207    returning
1208      instance of struct __anonymous0
1209
1210(types:
1211    pointer to function
1212        with parameters
1213          _dst: pointer to instance of struct __anonymous0
1214          _src: instance of struct __anonymous0
1215        returning
1216          instance of struct __anonymous0
1217
1218)
1219Environment:
1220
1221Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
1222    with parameters
1223      _dst: pointer to instance of type u (not function type)
1224      _src: instance of type u (not function type)
1225    returning
1226      instance of type u (not function type)
1227
1228(types:
1229    pointer to function
1230        with parameters
1231          _dst: pointer to instance of type u (not function type)
1232          _src: instance of type u (not function type)
1233        returning
1234          instance of type u (not function type)
1235
1236)
1237Environment:
1238
1239Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
1240    with parameters
1241      _dst: pointer to instance of type x (not function type)
1242      _src: instance of type x (not function type)
1243    returning
1244      instance of type x (not function type)
1245
1246(types:
1247    pointer to function
1248        with parameters
1249          _dst: pointer to instance of type x (not function type)
1250          _src: instance of type x (not function type)
1251        returning
1252          instance of type x (not function type)
1253
1254)
1255Environment:
1256
1257Cost ( 0, 0, 0 ): Variable Expression: ?=?: pointer to function
1258    with parameters
1259      pointer to instance of type t (not function type)
1260      instance of type t (not function type)
1261    returning
1262      instance of type t (not function type)
1263
1264(types:
1265    lvalue pointer to function
1266        with parameters
1267          pointer to instance of type t (not function type)
1268          instance of type t (not function type)
1269        returning
1270          instance of type t (not function type)
1271
1272)
1273Environment:
1274
1275there are 4 alternatives before elimination
1276there are 4 alternatives after elimination
1277nameExpr is y
1278decl is y: instance of type t (not function type) with initializer
1279Simple Initializer:   Cast of:
1280    Application of
1281      Variable Expression: u: pointer to function
1282          with parameters
1283            instance of type t (not function type)
1284          returning
1285            instance of type t (not function type)
1286
1287    to arguments
1288              Variable Expression: the_t: instance of type t (not function type)
1289
1290
1291  to:
1292    instance of type t (not function type)
1293  with environment:
1294    Types:
1295    Non-types:
1296
1297newExpr is Variable Expression: y: instance of type t (not function type)
1298
1299decl is y: double
1300newExpr is Variable Expression: y: double
1301
1302alternatives before prune:
1303Cost ( 0, 0, 0 ): Variable Expression: y: instance of type t (not function type)
1304(types:
1305    lvalue instance of type t (not function type)
1306)
1307Environment:
1308
1309Cost ( 0, 0, 0 ): Variable Expression: y: double
1310(types:
1311    lvalue double
1312)
1313Environment:
1314
1315there are 2 alternatives before elimination
1316there are 2 alternatives after elimination
1317alternatives before prune:
1318Cost ( 0, 0, 0 ): Address of:
1319  Variable Expression: y: double
1320(types:
1321    pointer to double
1322)
1323Environment:
1324
1325Cost ( 0, 0, 0 ): Address of:
1326  Variable Expression: y: instance of type t (not function type)
1327(types:
1328    pointer to instance of type t (not function type)
1329)
1330Environment:
1331
1332there are 2 alternatives before elimination
1333there are 2 alternatives after elimination
1334findSubExprs
1335Cost ( 0, 0, 0 ): Address of:
1336  Variable Expression: y: double
1337(types:
1338    pointer to double
1339)
1340Environment:
1341
1342Cost ( 0, 0, 0 ): Address of:
1343  Variable Expression: y: instance of type t (not function type)
1344(types:
1345    pointer to instance of type t (not function type)
1346)
1347Environment:
1348
1349nameExpr is u
1350decl is u: pointer to function
1351  with parameters
1352    instance of type t (not function type)
1353  returning
1354    instance of type t (not function type)
1355
1356newExpr is Variable Expression: u: pointer to function
1357    with parameters
1358      instance of type t (not function type)
1359    returning
1360      instance of type t (not function type)
1361
1362
1363alternatives before prune:
1364Cost ( 0, 0, 0 ): Variable Expression: u: pointer to function
1365    with parameters
1366      instance of type t (not function type)
1367    returning
1368      instance of type t (not function type)
1369
1370(types:
1371    lvalue pointer to function
1372        with parameters
1373          instance of type t (not function type)
1374        returning
1375          instance of type t (not function type)
1376
1377)
1378Environment:
1379
1380there are 1 alternatives before elimination
1381there are 1 alternatives after elimination
1382nameExpr is the_t
1383decl is the_t: instance of type t (not function type)
1384newExpr is Variable Expression: the_t: instance of type t (not function type)
1385
1386alternatives before prune:
1387Cost ( 0, 0, 0 ): Variable Expression: the_t: instance of type t (not function type)
1388(types:
1389    lvalue instance of type t (not function type)
1390)
1391Environment:
1392
1393there are 1 alternatives before elimination
1394there are 1 alternatives after elimination
1395findSubExprs
1396Cost ( 0, 0, 0 ): Variable Expression: the_t: instance of type t (not function type)
1397(types:
1398    lvalue instance of type t (not function type)
1399)
1400Environment:
1401
1402working on alternative:
1403        Cost ( 0, 0, 0 ):         Variable Expression: u: pointer to function
1404            with parameters
1405              instance of type t (not function type)
1406            returning
1407              instance of type t (not function type)
1408
1409(types:
1410            lvalue pointer to function
1411                with parameters
1412                  instance of type t (not function type)
1413                returning
1414                  instance of type t (not function type)
1415
1416)
1417        Environment:
1418formal type is instance of type t (not function type)
1419actual type is lvalue instance of type t (not function type)
1420need assertions:
1421============= original indexer
1422===idTable===
1423===typeTable===
1424===structTable===
1425===enumTable===
1426===unionTable===
1427===contextTable===
1428============= new indexer
1429===idTable===
1430===typeTable===
1431===structTable===
1432===enumTable===
1433===unionTable===
1434===contextTable===
1435actual expression:
1436        Variable Expression: the_t: instance of type t (not function type)
1437--- results are
1438        lvalue instance of type t (not function type)
1439
1440converting lvalue instance of type t (not function type)
1441 to instance of type t (not function type)
1442cost is( 0, 0, 0 )
1443Case +++++++++++++
1444formals are:
1445        instance of type t (not function type)
1446actuals are:
1447                  Variable Expression: the_t: instance of type t (not function type)
1448
1449bindings are:
1450cost of conversion is:( 0, 0, 0 )
1451alternatives before prune:
1452Cost ( 0, 0, 0 ): Application of
1453  Variable Expression: u: pointer to function
1454      with parameters
1455        instance of type t (not function type)
1456      returning
1457        instance of type t (not function type)
1458
1459to arguments
1460      Variable Expression: the_t: instance of type t (not function type)
1461
1462(types:
1463    instance of type t (not function type)
1464)
1465Environment:
1466
1467there are 1 alternatives before elimination
1468there are 1 alternatives after elimination
1469findSubExprs
1470Cost ( 0, 0, 0 ): Application of
1471  Variable Expression: u: pointer to function
1472      with parameters
1473        instance of type t (not function type)
1474      returning
1475        instance of type t (not function type)
1476
1477to arguments
1478      Variable Expression: the_t: instance of type t (not function type)
1479
1480(types:
1481    instance of type t (not function type)
1482)
1483Environment:
1484
1485working on alternative:
1486        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
1487            with parameters
1488              _dst: pointer to instance of type x (not function type)
1489              _src: instance of type x (not function type)
1490            returning
1491              instance of type x (not function type)
1492
1493(types:
1494            pointer to function
1495                with parameters
1496                  _dst: pointer to instance of type x (not function type)
1497                  _src: instance of type x (not function type)
1498                returning
1499                  instance of type x (not function type)
1500
1501)
1502        Environment:
1503formal type is pointer to instance of type x (not function type)
1504actual type is pointer to double
1505formal type is pointer to instance of type x (not function type)
1506actual type is pointer to instance of type t (not function type)
1507working on alternative:
1508        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
1509            with parameters
1510              _dst: pointer to instance of type u (not function type)
1511              _src: instance of type u (not function type)
1512            returning
1513              instance of type u (not function type)
1514
1515(types:
1516            pointer to function
1517                with parameters
1518                  _dst: pointer to instance of type u (not function type)
1519                  _src: instance of type u (not function type)
1520                returning
1521                  instance of type u (not function type)
1522
1523)
1524        Environment:
1525formal type is pointer to instance of type u (not function type)
1526actual type is pointer to double
1527formal type is pointer to instance of type u (not function type)
1528actual type is pointer to instance of type t (not function type)
1529working on alternative:
1530        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
1531            with parameters
1532              _dst: pointer to instance of struct __anonymous0
1533              _src: instance of struct __anonymous0
1534            returning
1535              instance of struct __anonymous0
1536
1537(types:
1538            pointer to function
1539                with parameters
1540                  _dst: pointer to instance of struct __anonymous0
1541                  _src: instance of struct __anonymous0
1542                returning
1543                  instance of struct __anonymous0
1544
1545)
1546        Environment:
1547formal type is pointer to instance of struct __anonymous0
1548actual type is pointer to double
1549formal type is pointer to instance of struct __anonymous0
1550actual type is pointer to instance of type t (not function type)
1551working on alternative:
1552        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: pointer to function
1553            with parameters
1554              pointer to instance of type t (not function type)
1555              instance of type t (not function type)
1556            returning
1557              instance of type t (not function type)
1558
1559(types:
1560            lvalue pointer to function
1561                with parameters
1562                  pointer to instance of type t (not function type)
1563                  instance of type t (not function type)
1564                returning
1565                  instance of type t (not function type)
1566
1567)
1568        Environment:
1569formal type is pointer to instance of type t (not function type)
1570actual type is pointer to double
1571formal type is pointer to instance of type t (not function type)
1572actual type is pointer to instance of type t (not function type)
1573formal type is instance of type t (not function type)
1574actual type is instance of type t (not function type)
1575need assertions:
1576============= original indexer
1577===idTable===
1578===typeTable===
1579===structTable===
1580===enumTable===
1581===unionTable===
1582===contextTable===
1583============= new indexer
1584===idTable===
1585===typeTable===
1586===structTable===
1587===enumTable===
1588===unionTable===
1589===contextTable===
1590actual expression:
1591        Address of:
1592          Variable Expression: y: instance of type t (not function type)
1593--- results are
1594        pointer to instance of type t (not function type)
1595
1596converting pointer to instance of type t (not function type)
1597 to pointer to instance of type t (not function type)
1598cost is( 0, 0, 0 )
1599actual expression:
1600        Application of
1601          Variable Expression: u: pointer to function
1602              with parameters
1603                instance of type t (not function type)
1604              returning
1605                instance of type t (not function type)
1606
1607        to arguments
1608                      Variable Expression: the_t: instance of type t (not function type)
1609
1610--- results are
1611        instance of type t (not function type)
1612
1613converting instance of type t (not function type)
1614 to instance of type t (not function type)
1615cost is( 0, 0, 0 )
1616Case +++++++++++++
1617formals are:
1618        pointer to instance of type t (not function type)
1619        instance of type t (not function type)
1620actuals are:
1621                  Address of:
1622            Variable Expression: y: instance of type t (not function type)
1623
1624                  Application of
1625            Variable Expression: u: pointer to function
1626                with parameters
1627                  instance of type t (not function type)
1628                returning
1629                  instance of type t (not function type)
1630
1631          to arguments
1632                          Variable Expression: the_t: instance of type t (not function type)
1633
1634
1635bindings are:
1636cost of conversion is:( 0, 0, 0 )
1637alternatives before prune:
1638Cost ( 0, 0, 0 ): Application of
1639  Variable Expression: ?=?: pointer to function
1640      with parameters
1641        pointer to instance of type t (not function type)
1642        instance of type t (not function type)
1643      returning
1644        instance of type t (not function type)
1645
1646to arguments
1647      Address of:
1648      Variable Expression: y: instance of type t (not function type)
1649
1650      Application of
1651      Variable Expression: u: pointer to function
1652          with parameters
1653            instance of type t (not function type)
1654          returning
1655            instance of type t (not function type)
1656
1657    to arguments
1658              Variable Expression: the_t: instance of type t (not function type)
1659
1660
1661(types:
1662    instance of type t (not function type)
1663)
1664Environment:
1665
1666there are 1 alternatives before elimination
1667there are 1 alternatives after elimination
1668alternatives before prune:
1669Cost ( 0, 0, 1 ): Cast of:
1670  Application of
1671    Variable Expression: ?=?: pointer to function
1672        with parameters
1673          pointer to instance of type t (not function type)
1674          instance of type t (not function type)
1675        returning
1676          instance of type t (not function type)
1677
1678  to arguments
1679          Address of:
1680        Variable Expression: y: instance of type t (not function type)
1681
1682          Application of
1683        Variable Expression: u: pointer to function
1684            with parameters
1685              instance of type t (not function type)
1686            returning
1687              instance of type t (not function type)
1688
1689      to arguments
1690                  Variable Expression: the_t: instance of type t (not function type)
1691
1692
1693
1694to:
1695  nothing
1696(types:
1697)
1698Environment:
1699
1700there are 1 alternatives before elimination
1701there are 1 alternatives after elimination
1702nameExpr is x
1703decl is x: char
1704newExpr is Variable Expression: x: char
1705
1706decl is x: signed int
1707newExpr is Variable Expression: x: signed int
1708
1709alternatives before prune:
1710Cost ( 0, 0, 0 ): Variable Expression: x: char
1711(types:
1712    lvalue char
1713)
1714Environment:
1715
1716Cost ( 0, 0, 0 ): Variable Expression: x: signed int
1717(types:
1718    lvalue signed int
1719)
1720Environment:
1721
1722there are 2 alternatives before elimination
1723there are 2 alternatives after elimination
1724alternatives before prune:
1725Cost ( 0, 0, 0 ): Cast of:
1726  Variable Expression: x: char
1727
1728to:
1729  char
1730(types:
1731    char
1732)
1733Environment:
1734
1735there are 1 alternatives before elimination
1736there are 1 alternatives after elimination
1737nameExpr is ?=?
1738decl is ?=?: automatically generated inline static function
1739  with parameters
1740    _dst: pointer to instance of struct __anonymous0
1741    _src: instance of struct __anonymous0
1742  returning
1743    instance of struct __anonymous0
1744  with body
1745    CompoundStmt
1746              Expression Statement:
1747          Applying untyped:
1748              Name: ?=?
1749          ...to:
1750              Address of:
1751                Member Expression, with field:
1752                  a: signed int
1753                from aggregate:
1754                  Applying untyped:
1755                      Name: *?
1756                  ...to:
1757                      Variable Expression: _dst: pointer to instance of struct __anonymous0
1758              Member Expression, with field:
1759                a: signed int
1760              from aggregate:
1761                Variable Expression: _src: instance of struct __anonymous0
1762
1763              Expression Statement:
1764          Applying untyped:
1765              Name: ?=?
1766          ...to:
1767              Address of:
1768                Member Expression, with field:
1769                  b: double
1770                from aggregate:
1771                  Applying untyped:
1772                      Name: *?
1773                  ...to:
1774                      Variable Expression: _dst: pointer to instance of struct __anonymous0
1775              Member Expression, with field:
1776                b: double
1777              from aggregate:
1778                Variable Expression: _src: instance of struct __anonymous0
1779
1780              Return Statement, returning: Cast of:
1781  Variable Expression: _src: instance of struct __anonymous0
1782
1783to:
1784  instance of struct __anonymous0
1785with environment:
1786  Types:
1787  Non-types:
1788
1789
1790
1791newExpr is Variable Expression: ?=?: inline static function
1792    with parameters
1793      _dst: pointer to instance of struct __anonymous0
1794      _src: instance of struct __anonymous0
1795    returning
1796      instance of struct __anonymous0
1797
1798
1799decl is ?=?: automatically generated function
1800  with parameters
1801    _dst: pointer to instance of type u (not function type)
1802    _src: instance of type u (not function type)
1803  returning
1804    instance of type u (not function type)
1805  with body
1806    CompoundStmt
1807              Return Statement, returning: Applying untyped:
1808    Name: ?=?
1809...to:
1810    Cast of:
1811      Variable Expression: _dst: pointer to instance of type u (not function type)
1812
1813    to:
1814      pointer to instance of struct __anonymous0
1815    Cast of:
1816      Variable Expression: _src: instance of type u (not function type)
1817
1818    to:
1819      instance of struct __anonymous0
1820
1821
1822
1823newExpr is Variable Expression: ?=?: function
1824    with parameters
1825      _dst: pointer to instance of type u (not function type)
1826      _src: instance of type u (not function type)
1827    returning
1828      instance of type u (not function type)
1829
1830
1831decl is ?=?: automatically generated function
1832  with parameters
1833    _dst: pointer to instance of type x (not function type)
1834    _src: instance of type x (not function type)
1835  returning
1836    instance of type x (not function type)
1837
1838newExpr is Variable Expression: ?=?: function
1839    with parameters
1840      _dst: pointer to instance of type x (not function type)
1841      _src: instance of type x (not function type)
1842    returning
1843      instance of type x (not function type)
1844
1845
1846alternatives before prune:
1847Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
1848    with parameters
1849      _dst: pointer to instance of struct __anonymous0
1850      _src: instance of struct __anonymous0
1851    returning
1852      instance of struct __anonymous0
1853
1854(types:
1855    pointer to function
1856        with parameters
1857          _dst: pointer to instance of struct __anonymous0
1858          _src: instance of struct __anonymous0
1859        returning
1860          instance of struct __anonymous0
1861
1862)
1863Environment:
1864
1865Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
1866    with parameters
1867      _dst: pointer to instance of type u (not function type)
1868      _src: instance of type u (not function type)
1869    returning
1870      instance of type u (not function type)
1871
1872(types:
1873    pointer to function
1874        with parameters
1875          _dst: pointer to instance of type u (not function type)
1876          _src: instance of type u (not function type)
1877        returning
1878          instance of type u (not function type)
1879
1880)
1881Environment:
1882
1883Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
1884    with parameters
1885      _dst: pointer to instance of type x (not function type)
1886      _src: instance of type x (not function type)
1887    returning
1888      instance of type x (not function type)
1889
1890(types:
1891    pointer to function
1892        with parameters
1893          _dst: pointer to instance of type x (not function type)
1894          _src: instance of type x (not function type)
1895        returning
1896          instance of type x (not function type)
1897
1898)
1899Environment:
1900
1901there are 3 alternatives before elimination
1902there are 3 alternatives after elimination
1903nameExpr is z
1904decl is z: char with initializer
1905Simple Initializer:   Cast of:
1906    Variable Expression: x: char
1907
1908  to:
1909    char
1910  with environment:
1911    Types:
1912    Non-types:
1913
1914newExpr is Variable Expression: z: char
1915
1916decl is z: double
1917newExpr is Variable Expression: z: double
1918
1919alternatives before prune:
1920Cost ( 0, 0, 0 ): Variable Expression: z: char
1921(types:
1922    lvalue char
1923)
1924Environment:
1925
1926Cost ( 0, 0, 0 ): Variable Expression: z: double
1927(types:
1928    lvalue double
1929)
1930Environment:
1931
1932there are 2 alternatives before elimination
1933there are 2 alternatives after elimination
1934alternatives before prune:
1935Cost ( 0, 0, 0 ): Address of:
1936  Variable Expression: z: double
1937(types:
1938    pointer to double
1939)
1940Environment:
1941
1942Cost ( 0, 0, 0 ): Address of:
1943  Variable Expression: z: char
1944(types:
1945    pointer to char
1946)
1947Environment:
1948
1949there are 2 alternatives before elimination
1950there are 2 alternatives after elimination
1951findSubExprs
1952Cost ( 0, 0, 0 ): Address of:
1953  Variable Expression: z: double
1954(types:
1955    pointer to double
1956)
1957Environment:
1958
1959Cost ( 0, 0, 0 ): Address of:
1960  Variable Expression: z: char
1961(types:
1962    pointer to char
1963)
1964Environment:
1965
1966nameExpr is x
1967decl is x: char
1968newExpr is Variable Expression: x: char
1969
1970decl is x: signed int
1971newExpr is Variable Expression: x: signed int
1972
1973alternatives before prune:
1974Cost ( 0, 0, 0 ): Variable Expression: x: char
1975(types:
1976    lvalue char
1977)
1978Environment:
1979
1980Cost ( 0, 0, 0 ): Variable Expression: x: signed int
1981(types:
1982    lvalue signed int
1983)
1984Environment:
1985
1986there are 2 alternatives before elimination
1987there are 2 alternatives after elimination
1988findSubExprs
1989Cost ( 0, 0, 0 ): Variable Expression: x: signed int
1990(types:
1991    lvalue signed int
1992)
1993Environment:
1994
1995Cost ( 0, 0, 0 ): Variable Expression: x: char
1996(types:
1997    lvalue char
1998)
1999Environment:
2000
2001working on alternative:
2002        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
2003            with parameters
2004              _dst: pointer to instance of type x (not function type)
2005              _src: instance of type x (not function type)
2006            returning
2007              instance of type x (not function type)
2008
2009(types:
2010            pointer to function
2011                with parameters
2012                  _dst: pointer to instance of type x (not function type)
2013                  _src: instance of type x (not function type)
2014                returning
2015                  instance of type x (not function type)
2016
2017)
2018        Environment:
2019formal type is pointer to instance of type x (not function type)
2020actual type is pointer to double
2021formal type is pointer to instance of type x (not function type)
2022actual type is pointer to char
2023formal type is pointer to instance of type x (not function type)
2024actual type is pointer to double
2025formal type is pointer to instance of type x (not function type)
2026actual type is pointer to char
2027working on alternative:
2028        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
2029            with parameters
2030              _dst: pointer to instance of type u (not function type)
2031              _src: instance of type u (not function type)
2032            returning
2033              instance of type u (not function type)
2034
2035(types:
2036            pointer to function
2037                with parameters
2038                  _dst: pointer to instance of type u (not function type)
2039                  _src: instance of type u (not function type)
2040                returning
2041                  instance of type u (not function type)
2042
2043)
2044        Environment:
2045formal type is pointer to instance of type u (not function type)
2046actual type is pointer to double
2047formal type is pointer to instance of type u (not function type)
2048actual type is pointer to char
2049formal type is pointer to instance of type u (not function type)
2050actual type is pointer to double
2051formal type is pointer to instance of type u (not function type)
2052actual type is pointer to char
2053working on alternative:
2054        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
2055            with parameters
2056              _dst: pointer to instance of struct __anonymous0
2057              _src: instance of struct __anonymous0
2058            returning
2059              instance of struct __anonymous0
2060
2061(types:
2062            pointer to function
2063                with parameters
2064                  _dst: pointer to instance of struct __anonymous0
2065                  _src: instance of struct __anonymous0
2066                returning
2067                  instance of struct __anonymous0
2068
2069)
2070        Environment:
2071formal type is pointer to instance of struct __anonymous0
2072actual type is pointer to double
2073formal type is pointer to instance of struct __anonymous0
2074actual type is pointer to char
2075formal type is pointer to instance of struct __anonymous0
2076actual type is pointer to double
2077formal type is pointer to instance of struct __anonymous0
2078actual type is pointer to char
2079nameExpr is y
2080decl is y: char
2081newExpr is Variable Expression: y: char
2082
2083decl is y: double
2084newExpr is Variable Expression: y: double
2085
2086decl is y: signed int
2087newExpr is Variable Expression: y: signed int
2088
2089alternatives before prune:
2090Cost ( 0, 0, 0 ): Variable Expression: y: char
2091(types:
2092    lvalue char
2093)
2094Environment:
2095
2096Cost ( 0, 0, 0 ): Variable Expression: y: double
2097(types:
2098    lvalue double
2099)
2100Environment:
2101
2102Cost ( 0, 0, 0 ): Variable Expression: y: signed int
2103(types:
2104    lvalue signed int
2105)
2106Environment:
2107
2108there are 3 alternatives before elimination
2109there are 3 alternatives after elimination
2110alternatives before prune:
2111Cost ( 0, 0, 0 ): Cast of:
2112  Variable Expression: y: char
2113
2114to:
2115  char
2116(types:
2117    char
2118)
2119Environment:
2120
2121there are 1 alternatives before elimination
2122there are 1 alternatives after elimination
2123nameExpr is ?=?
2124decl is ?=?: automatically generated inline static function
2125  with parameters
2126    _dst: pointer to instance of struct __anonymous0
2127    _src: instance of struct __anonymous0
2128  returning
2129    instance of struct __anonymous0
2130  with body
2131    CompoundStmt
2132              Expression Statement:
2133          Applying untyped:
2134              Name: ?=?
2135          ...to:
2136              Address of:
2137                Member Expression, with field:
2138                  a: signed int
2139                from aggregate:
2140                  Applying untyped:
2141                      Name: *?
2142                  ...to:
2143                      Variable Expression: _dst: pointer to instance of struct __anonymous0
2144              Member Expression, with field:
2145                a: signed int
2146              from aggregate:
2147                Variable Expression: _src: instance of struct __anonymous0
2148
2149              Expression Statement:
2150          Applying untyped:
2151              Name: ?=?
2152          ...to:
2153              Address of:
2154                Member Expression, with field:
2155                  b: double
2156                from aggregate:
2157                  Applying untyped:
2158                      Name: *?
2159                  ...to:
2160                      Variable Expression: _dst: pointer to instance of struct __anonymous0
2161              Member Expression, with field:
2162                b: double
2163              from aggregate:
2164                Variable Expression: _src: instance of struct __anonymous0
2165
2166              Return Statement, returning: Cast of:
2167  Variable Expression: _src: instance of struct __anonymous0
2168
2169to:
2170  instance of struct __anonymous0
2171with environment:
2172  Types:
2173  Non-types:
2174
2175
2176
2177newExpr is Variable Expression: ?=?: inline static function
2178    with parameters
2179      _dst: pointer to instance of struct __anonymous0
2180      _src: instance of struct __anonymous0
2181    returning
2182      instance of struct __anonymous0
2183
2184
2185decl is ?=?: automatically generated function
2186  with parameters
2187    _dst: pointer to instance of type u (not function type)
2188    _src: instance of type u (not function type)
2189  returning
2190    instance of type u (not function type)
2191  with body
2192    CompoundStmt
2193              Return Statement, returning: Applying untyped:
2194    Name: ?=?
2195...to:
2196    Cast of:
2197      Variable Expression: _dst: pointer to instance of type u (not function type)
2198
2199    to:
2200      pointer to instance of struct __anonymous0
2201    Cast of:
2202      Variable Expression: _src: instance of type u (not function type)
2203
2204    to:
2205      instance of struct __anonymous0
2206
2207
2208
2209newExpr is Variable Expression: ?=?: function
2210    with parameters
2211      _dst: pointer to instance of type u (not function type)
2212      _src: instance of type u (not function type)
2213    returning
2214      instance of type u (not function type)
2215
2216
2217decl is ?=?: automatically generated function
2218  with parameters
2219    _dst: pointer to instance of type x (not function type)
2220    _src: instance of type x (not function type)
2221  returning
2222    instance of type x (not function type)
2223
2224newExpr is Variable Expression: ?=?: function
2225    with parameters
2226      _dst: pointer to instance of type x (not function type)
2227      _src: instance of type x (not function type)
2228    returning
2229      instance of type x (not function type)
2230
2231
2232alternatives before prune:
2233Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
2234    with parameters
2235      _dst: pointer to instance of struct __anonymous0
2236      _src: instance of struct __anonymous0
2237    returning
2238      instance of struct __anonymous0
2239
2240(types:
2241    pointer to function
2242        with parameters
2243          _dst: pointer to instance of struct __anonymous0
2244          _src: instance of struct __anonymous0
2245        returning
2246          instance of struct __anonymous0
2247
2248)
2249Environment:
2250
2251Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
2252    with parameters
2253      _dst: pointer to instance of type u (not function type)
2254      _src: instance of type u (not function type)
2255    returning
2256      instance of type u (not function type)
2257
2258(types:
2259    pointer to function
2260        with parameters
2261          _dst: pointer to instance of type u (not function type)
2262          _src: instance of type u (not function type)
2263        returning
2264          instance of type u (not function type)
2265
2266)
2267Environment:
2268
2269Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
2270    with parameters
2271      _dst: pointer to instance of type x (not function type)
2272      _src: instance of type x (not function type)
2273    returning
2274      instance of type x (not function type)
2275
2276(types:
2277    pointer to function
2278        with parameters
2279          _dst: pointer to instance of type x (not function type)
2280          _src: instance of type x (not function type)
2281        returning
2282          instance of type x (not function type)
2283
2284)
2285Environment:
2286
2287there are 3 alternatives before elimination
2288there are 3 alternatives after elimination
2289nameExpr is x
2290decl is x: char
2291newExpr is Variable Expression: x: char
2292
2293decl is x: signed int
2294newExpr is Variable Expression: x: signed int
2295
2296alternatives before prune:
2297Cost ( 0, 0, 0 ): Variable Expression: x: char
2298(types:
2299    lvalue char
2300)
2301Environment:
2302
2303Cost ( 0, 0, 0 ): Variable Expression: x: signed int
2304(types:
2305    lvalue signed int
2306)
2307Environment:
2308
2309there are 2 alternatives before elimination
2310there are 2 alternatives after elimination
2311alternatives before prune:
2312Cost ( 0, 0, 0 ): Address of:
2313  Variable Expression: x: signed int
2314(types:
2315    pointer to signed int
2316)
2317Environment:
2318
2319Cost ( 0, 0, 0 ): Address of:
2320  Variable Expression: x: char
2321(types:
2322    pointer to char
2323)
2324Environment:
2325
2326there are 2 alternatives before elimination
2327there are 2 alternatives after elimination
2328findSubExprs
2329Cost ( 0, 0, 0 ): Address of:
2330  Variable Expression: x: signed int
2331(types:
2332    pointer to signed int
2333)
2334Environment:
2335
2336Cost ( 0, 0, 0 ): Address of:
2337  Variable Expression: x: char
2338(types:
2339    pointer to char
2340)
2341Environment:
2342
2343nameExpr is y
2344decl is y: char
2345newExpr is Variable Expression: y: char
2346
2347decl is y: double
2348newExpr is Variable Expression: y: double
2349
2350decl is y: signed int
2351newExpr is Variable Expression: y: signed int
2352
2353alternatives before prune:
2354Cost ( 0, 0, 0 ): Variable Expression: y: char
2355(types:
2356    lvalue char
2357)
2358Environment:
2359
2360Cost ( 0, 0, 0 ): Variable Expression: y: double
2361(types:
2362    lvalue double
2363)
2364Environment:
2365
2366Cost ( 0, 0, 0 ): Variable Expression: y: signed int
2367(types:
2368    lvalue signed int
2369)
2370Environment:
2371
2372there are 3 alternatives before elimination
2373there are 3 alternatives after elimination
2374findSubExprs
2375Cost ( 0, 0, 0 ): Variable Expression: y: signed int
2376(types:
2377    lvalue signed int
2378)
2379Environment:
2380
2381Cost ( 0, 0, 0 ): Variable Expression: y: double
2382(types:
2383    lvalue double
2384)
2385Environment:
2386
2387Cost ( 0, 0, 0 ): Variable Expression: y: char
2388(types:
2389    lvalue char
2390)
2391Environment:
2392
2393working on alternative:
2394        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
2395            with parameters
2396              _dst: pointer to instance of type x (not function type)
2397              _src: instance of type x (not function type)
2398            returning
2399              instance of type x (not function type)
2400
2401(types:
2402            pointer to function
2403                with parameters
2404                  _dst: pointer to instance of type x (not function type)
2405                  _src: instance of type x (not function type)
2406                returning
2407                  instance of type x (not function type)
2408
2409)
2410        Environment:
2411formal type is pointer to instance of type x (not function type)
2412actual type is pointer to signed int
2413formal type is pointer to instance of type x (not function type)
2414actual type is pointer to char
2415formal type is pointer to instance of type x (not function type)
2416actual type is pointer to signed int
2417formal type is pointer to instance of type x (not function type)
2418actual type is pointer to char
2419formal type is pointer to instance of type x (not function type)
2420actual type is pointer to signed int
2421formal type is pointer to instance of type x (not function type)
2422actual type is pointer to char
2423working on alternative:
2424        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
2425            with parameters
2426              _dst: pointer to instance of type u (not function type)
2427              _src: instance of type u (not function type)
2428            returning
2429              instance of type u (not function type)
2430
2431(types:
2432            pointer to function
2433                with parameters
2434                  _dst: pointer to instance of type u (not function type)
2435                  _src: instance of type u (not function type)
2436                returning
2437                  instance of type u (not function type)
2438
2439)
2440        Environment:
2441formal type is pointer to instance of type u (not function type)
2442actual type is pointer to signed int
2443formal type is pointer to instance of type u (not function type)
2444actual type is pointer to char
2445formal type is pointer to instance of type u (not function type)
2446actual type is pointer to signed int
2447formal type is pointer to instance of type u (not function type)
2448actual type is pointer to char
2449formal type is pointer to instance of type u (not function type)
2450actual type is pointer to signed int
2451formal type is pointer to instance of type u (not function type)
2452actual type is pointer to char
2453working on alternative:
2454        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
2455            with parameters
2456              _dst: pointer to instance of struct __anonymous0
2457              _src: instance of struct __anonymous0
2458            returning
2459              instance of struct __anonymous0
2460
2461(types:
2462            pointer to function
2463                with parameters
2464                  _dst: pointer to instance of struct __anonymous0
2465                  _src: instance of struct __anonymous0
2466                returning
2467                  instance of struct __anonymous0
2468
2469)
2470        Environment:
2471formal type is pointer to instance of struct __anonymous0
2472actual type is pointer to signed int
2473formal type is pointer to instance of struct __anonymous0
2474actual type is pointer to char
2475formal type is pointer to instance of struct __anonymous0
2476actual type is pointer to signed int
2477formal type is pointer to instance of struct __anonymous0
2478actual type is pointer to char
2479formal type is pointer to instance of struct __anonymous0
2480actual type is pointer to signed int
2481formal type is pointer to instance of struct __anonymous0
2482actual type is pointer to char
2483nameExpr is y
2484decl is y: char
2485newExpr is Variable Expression: y: char
2486
2487decl is y: double
2488newExpr is Variable Expression: y: double
2489
2490decl is y: signed int
2491newExpr is Variable Expression: y: signed int
2492
2493alternatives before prune:
2494Cost ( 0, 0, 0 ): Variable Expression: y: char
2495(types:
2496    lvalue char
2497)
2498Environment:
2499
2500Cost ( 0, 0, 0 ): Variable Expression: y: double
2501(types:
2502    lvalue double
2503)
2504Environment:
2505
2506Cost ( 0, 0, 0 ): Variable Expression: y: signed int
2507(types:
2508    lvalue signed int
2509)
2510Environment:
2511
2512there are 3 alternatives before elimination
2513there are 3 alternatives after elimination
2514alternatives before prune:
2515Cost ( 0, 0, 0 ): Cast of:
2516  Variable Expression: y: char
2517
2518to:
2519  char
2520(types:
2521    char
2522)
2523Environment:
2524
2525there are 1 alternatives before elimination
2526there are 1 alternatives after elimination
2527nameExpr is ?=?
2528decl is ?=?: automatically generated inline static function
2529  with parameters
2530    _dst: pointer to instance of struct __anonymous0
2531    _src: instance of struct __anonymous0
2532  returning
2533    instance of struct __anonymous0
2534  with body
2535    CompoundStmt
2536              Expression Statement:
2537          Applying untyped:
2538              Name: ?=?
2539          ...to:
2540              Address of:
2541                Member Expression, with field:
2542                  a: signed int
2543                from aggregate:
2544                  Applying untyped:
2545                      Name: *?
2546                  ...to:
2547                      Variable Expression: _dst: pointer to instance of struct __anonymous0
2548              Member Expression, with field:
2549                a: signed int
2550              from aggregate:
2551                Variable Expression: _src: instance of struct __anonymous0
2552
2553              Expression Statement:
2554          Applying untyped:
2555              Name: ?=?
2556          ...to:
2557              Address of:
2558                Member Expression, with field:
2559                  b: double
2560                from aggregate:
2561                  Applying untyped:
2562                      Name: *?
2563                  ...to:
2564                      Variable Expression: _dst: pointer to instance of struct __anonymous0
2565              Member Expression, with field:
2566                b: double
2567              from aggregate:
2568                Variable Expression: _src: instance of struct __anonymous0
2569
2570              Return Statement, returning: Cast of:
2571  Variable Expression: _src: instance of struct __anonymous0
2572
2573to:
2574  instance of struct __anonymous0
2575with environment:
2576  Types:
2577  Non-types:
2578
2579
2580
2581newExpr is Variable Expression: ?=?: inline static function
2582    with parameters
2583      _dst: pointer to instance of struct __anonymous0
2584      _src: instance of struct __anonymous0
2585    returning
2586      instance of struct __anonymous0
2587
2588
2589decl is ?=?: automatically generated function
2590  with parameters
2591    _dst: pointer to instance of type u (not function type)
2592    _src: instance of type u (not function type)
2593  returning
2594    instance of type u (not function type)
2595  with body
2596    CompoundStmt
2597              Return Statement, returning: Applying untyped:
2598    Name: ?=?
2599...to:
2600    Cast of:
2601      Variable Expression: _dst: pointer to instance of type u (not function type)
2602
2603    to:
2604      pointer to instance of struct __anonymous0
2605    Cast of:
2606      Variable Expression: _src: instance of type u (not function type)
2607
2608    to:
2609      instance of struct __anonymous0
2610
2611
2612
2613newExpr is Variable Expression: ?=?: function
2614    with parameters
2615      _dst: pointer to instance of type u (not function type)
2616      _src: instance of type u (not function type)
2617    returning
2618      instance of type u (not function type)
2619
2620
2621decl is ?=?: automatically generated function
2622  with parameters
2623    _dst: pointer to instance of type x (not function type)
2624    _src: instance of type x (not function type)
2625  returning
2626    instance of type x (not function type)
2627
2628newExpr is Variable Expression: ?=?: function
2629    with parameters
2630      _dst: pointer to instance of type x (not function type)
2631      _src: instance of type x (not function type)
2632    returning
2633      instance of type x (not function type)
2634
2635
2636alternatives before prune:
2637Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
2638    with parameters
2639      _dst: pointer to instance of struct __anonymous0
2640      _src: instance of struct __anonymous0
2641    returning
2642      instance of struct __anonymous0
2643
2644(types:
2645    pointer to function
2646        with parameters
2647          _dst: pointer to instance of struct __anonymous0
2648          _src: instance of struct __anonymous0
2649        returning
2650          instance of struct __anonymous0
2651
2652)
2653Environment:
2654
2655Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
2656    with parameters
2657      _dst: pointer to instance of type u (not function type)
2658      _src: instance of type u (not function type)
2659    returning
2660      instance of type u (not function type)
2661
2662(types:
2663    pointer to function
2664        with parameters
2665          _dst: pointer to instance of type u (not function type)
2666          _src: instance of type u (not function type)
2667        returning
2668          instance of type u (not function type)
2669
2670)
2671Environment:
2672
2673Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
2674    with parameters
2675      _dst: pointer to instance of type x (not function type)
2676      _src: instance of type x (not function type)
2677    returning
2678      instance of type x (not function type)
2679
2680(types:
2681    pointer to function
2682        with parameters
2683          _dst: pointer to instance of type x (not function type)
2684          _src: instance of type x (not function type)
2685        returning
2686          instance of type x (not function type)
2687
2688)
2689Environment:
2690
2691there are 3 alternatives before elimination
2692there are 3 alternatives after elimination
2693nameExpr is q
2694decl is q: forall
2695    t: type
2696      with assertions
2697        ?=?: pointer to function
2698            with parameters
2699              pointer to instance of type t (not function type)
2700              instance of type t (not function type)
2701            returning
2702              instance of type t (not function type)
2703
2704        u: pointer to function
2705            with parameters
2706              instance of type t (not function type)
2707            returning
2708              instance of type t (not function type)
2709
2710
2711  function
2712  with parameters
2713    the_t: instance of type t (not function type)
2714  returning
2715    double
2716  with body
2717    CompoundStmt
2718      Declaration of y: instance of type t (not function type) with initializer
2719        Simple Initializer:           Cast of:
2720            Application of
2721              Variable Expression: u: pointer to function
2722                  with parameters
2723                    instance of type t (not function type)
2724                  returning
2725                    instance of type t (not function type)
2726
2727            to arguments
2728                              Variable Expression: the_t: instance of type t (not function type)
2729
2730
2731          to:
2732            instance of type t (not function type)
2733          with environment:
2734            Types:
2735            Non-types:
2736
2737              Expression Statement:
2738          Application of
2739            Variable Expression: ?=?: pointer to function
2740                with parameters
2741                  pointer to instance of type t (not function type)
2742                  instance of type t (not function type)
2743                returning
2744                  instance of type t (not function type)
2745
2746          to arguments
2747                          Address of:
2748                Variable Expression: y: instance of type t (not function type)
2749
2750                          Application of
2751                Variable Expression: u: pointer to function
2752                    with parameters
2753                      instance of type t (not function type)
2754                    returning
2755                      instance of type t (not function type)
2756
2757              to arguments
2758                                  Variable Expression: the_t: instance of type t (not function type)
2759
2760
2761          with environment:
2762            Types:
2763            Non-types:
2764
2765
2766newExpr is Variable Expression: q: forall
2767      t: type
2768        with assertions
2769          ?=?: pointer to function
2770              with parameters
2771                pointer to instance of type t (not function type)
2772                instance of type t (not function type)
2773              returning
2774                instance of type t (not function type)
2775
2776          u: pointer to function
2777              with parameters
2778                instance of type t (not function type)
2779              returning
2780                instance of type t (not function type)
2781
2782
2783    function
2784    with parameters
2785      the_t: instance of type t (not function type)
2786    returning
2787      double
2788
2789
2790decl is q: char with initializer
2791Simple Initializer:   Cast of:
2792    Variable Expression: y: char
2793
2794  to:
2795    char
2796  with environment:
2797    Types:
2798    Non-types:
2799
2800newExpr is Variable Expression: q: char
2801
2802decl is q: double
2803newExpr is Variable Expression: q: double
2804
2805alternatives before prune:
2806Cost ( 0, 0, 0 ): Variable Expression: q: forall
2807      t: type
2808        with assertions
2809          ?=?: pointer to function
2810              with parameters
2811                pointer to instance of type t (not function type)
2812                instance of type t (not function type)
2813              returning
2814                instance of type t (not function type)
2815
2816          u: pointer to function
2817              with parameters
2818                instance of type t (not function type)
2819              returning
2820                instance of type t (not function type)
2821
2822
2823    function
2824    with parameters
2825      the_t: instance of type t (not function type)
2826    returning
2827      double
2828
2829(types:
2830    forall
2831          _0_t: type
2832            with assertions
2833              ?=?: pointer to function
2834                  with parameters
2835                    pointer to instance of type _0_t (not function type)
2836                    instance of type _0_t (not function type)
2837                  returning
2838                    instance of type _0_t (not function type)
2839
2840              u: pointer to function
2841                  with parameters
2842                    instance of type _0_t (not function type)
2843                  returning
2844                    instance of type _0_t (not function type)
2845
2846
2847        lvalue function
2848        with parameters
2849          the_t: instance of type _0_t (not function type)
2850        returning
2851          double
2852
2853)
2854Environment:
2855
2856Cost ( 0, 0, 0 ): Variable Expression: q: char
2857(types:
2858    lvalue char
2859)
2860Environment:
2861
2862Cost ( 0, 0, 0 ): Variable Expression: q: double
2863(types:
2864    lvalue double
2865)
2866Environment:
2867
2868there are 3 alternatives before elimination
2869there are 3 alternatives after elimination
2870alternatives before prune:
2871Cost ( 0, 0, 0 ): Address of:
2872  Variable Expression: q: double
2873(types:
2874    pointer to double
2875)
2876Environment:
2877
2878Cost ( 0, 0, 0 ): Address of:
2879  Variable Expression: q: char
2880(types:
2881    pointer to char
2882)
2883Environment:
2884
2885Cost ( 0, 0, 0 ): Address of:
2886  Variable Expression: q: forall
2887        t: type
2888          with assertions
2889            ?=?: pointer to function
2890                with parameters
2891                  pointer to instance of type t (not function type)
2892                  instance of type t (not function type)
2893                returning
2894                  instance of type t (not function type)
2895
2896            u: pointer to function
2897                with parameters
2898                  instance of type t (not function type)
2899                returning
2900                  instance of type t (not function type)
2901
2902
2903      function
2904      with parameters
2905        the_t: instance of type t (not function type)
2906      returning
2907        double
2908
2909(types:
2910    pointer to forall
2911          _0_t: type
2912            with assertions
2913              ?=?: pointer to function
2914                  with parameters
2915                    pointer to instance of type _0_t (not function type)
2916                    instance of type _0_t (not function type)
2917                  returning
2918                    instance of type _0_t (not function type)
2919
2920              u: pointer to function
2921                  with parameters
2922                    instance of type _0_t (not function type)
2923                  returning
2924                    instance of type _0_t (not function type)
2925
2926
2927        function
2928        with parameters
2929          the_t: instance of type _0_t (not function type)
2930        returning
2931          double
2932
2933)
2934Environment:
2935
2936there are 3 alternatives before elimination
2937there are 3 alternatives after elimination
2938findSubExprs
2939Cost ( 0, 0, 0 ): Address of:
2940  Variable Expression: q: double
2941(types:
2942    pointer to double
2943)
2944Environment:
2945
2946Cost ( 0, 0, 0 ): Address of:
2947  Variable Expression: q: char
2948(types:
2949    pointer to char
2950)
2951Environment:
2952
2953Cost ( 0, 0, 0 ): Address of:
2954  Variable Expression: q: forall
2955        t: type
2956          with assertions
2957            ?=?: pointer to function
2958                with parameters
2959                  pointer to instance of type t (not function type)
2960                  instance of type t (not function type)
2961                returning
2962                  instance of type t (not function type)
2963
2964            u: pointer to function
2965                with parameters
2966                  instance of type t (not function type)
2967                returning
2968                  instance of type t (not function type)
2969
2970
2971      function
2972      with parameters
2973        the_t: instance of type t (not function type)
2974      returning
2975        double
2976
2977(types:
2978    pointer to forall
2979          _0_t: type
2980            with assertions
2981              ?=?: pointer to function
2982                  with parameters
2983                    pointer to instance of type _0_t (not function type)
2984                    instance of type _0_t (not function type)
2985                  returning
2986                    instance of type _0_t (not function type)
2987
2988              u: pointer to function
2989                  with parameters
2990                    instance of type _0_t (not function type)
2991                  returning
2992                    instance of type _0_t (not function type)
2993
2994
2995        function
2996        with parameters
2997          the_t: instance of type _0_t (not function type)
2998        returning
2999          double
3000
3001)
3002Environment:
3003
3004nameExpr is y
3005decl is y: char
3006newExpr is Variable Expression: y: char
3007
3008decl is y: double
3009newExpr is Variable Expression: y: double
3010
3011decl is y: signed int
3012newExpr is Variable Expression: y: signed int
3013
3014alternatives before prune:
3015Cost ( 0, 0, 0 ): Variable Expression: y: char
3016(types:
3017    lvalue char
3018)
3019Environment:
3020
3021Cost ( 0, 0, 0 ): Variable Expression: y: double
3022(types:
3023    lvalue double
3024)
3025Environment:
3026
3027Cost ( 0, 0, 0 ): Variable Expression: y: signed int
3028(types:
3029    lvalue signed int
3030)
3031Environment:
3032
3033there are 3 alternatives before elimination
3034there are 3 alternatives after elimination
3035findSubExprs
3036Cost ( 0, 0, 0 ): Variable Expression: y: signed int
3037(types:
3038    lvalue signed int
3039)
3040Environment:
3041
3042Cost ( 0, 0, 0 ): Variable Expression: y: double
3043(types:
3044    lvalue double
3045)
3046Environment:
3047
3048Cost ( 0, 0, 0 ): Variable Expression: y: char
3049(types:
3050    lvalue char
3051)
3052Environment:
3053
3054working on alternative:
3055        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
3056            with parameters
3057              _dst: pointer to instance of type x (not function type)
3058              _src: instance of type x (not function type)
3059            returning
3060              instance of type x (not function type)
3061
3062(types:
3063            pointer to function
3064                with parameters
3065                  _dst: pointer to instance of type x (not function type)
3066                  _src: instance of type x (not function type)
3067                returning
3068                  instance of type x (not function type)
3069
3070)
3071        Environment:
3072formal type is pointer to instance of type x (not function type)
3073actual type is pointer to double
3074formal type is pointer to instance of type x (not function type)
3075actual type is pointer to char
3076formal type is pointer to instance of type x (not function type)
3077actual type is pointer to forall
3078    _0_t: type
3079      with assertions
3080        ?=?: pointer to function
3081            with parameters
3082              pointer to instance of type _0_t (not function type)
3083              instance of type _0_t (not function type)
3084            returning
3085              instance of type _0_t (not function type)
3086
3087        u: pointer to function
3088            with parameters
3089              instance of type _0_t (not function type)
3090            returning
3091              instance of type _0_t (not function type)
3092
3093
3094  function
3095  with parameters
3096    the_t: instance of type _0_t (not function type)
3097  returning
3098    double
3099
3100formal type is pointer to instance of type x (not function type)
3101actual type is pointer to double
3102formal type is pointer to instance of type x (not function type)
3103actual type is pointer to char
3104formal type is pointer to instance of type x (not function type)
3105actual type is pointer to forall
3106    _0_t: type
3107      with assertions
3108        ?=?: pointer to function
3109            with parameters
3110              pointer to instance of type _0_t (not function type)
3111              instance of type _0_t (not function type)
3112            returning
3113              instance of type _0_t (not function type)
3114
3115        u: pointer to function
3116            with parameters
3117              instance of type _0_t (not function type)
3118            returning
3119              instance of type _0_t (not function type)
3120
3121
3122  function
3123  with parameters
3124    the_t: instance of type _0_t (not function type)
3125  returning
3126    double
3127
3128formal type is pointer to instance of type x (not function type)
3129actual type is pointer to double
3130formal type is pointer to instance of type x (not function type)
3131actual type is pointer to char
3132formal type is pointer to instance of type x (not function type)
3133actual type is pointer to forall
3134    _0_t: type
3135      with assertions
3136        ?=?: pointer to function
3137            with parameters
3138              pointer to instance of type _0_t (not function type)
3139              instance of type _0_t (not function type)
3140            returning
3141              instance of type _0_t (not function type)
3142
3143        u: pointer to function
3144            with parameters
3145              instance of type _0_t (not function type)
3146            returning
3147              instance of type _0_t (not function type)
3148
3149
3150  function
3151  with parameters
3152    the_t: instance of type _0_t (not function type)
3153  returning
3154    double
3155
3156working on alternative:
3157        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
3158            with parameters
3159              _dst: pointer to instance of type u (not function type)
3160              _src: instance of type u (not function type)
3161            returning
3162              instance of type u (not function type)
3163
3164(types:
3165            pointer to function
3166                with parameters
3167                  _dst: pointer to instance of type u (not function type)
3168                  _src: instance of type u (not function type)
3169                returning
3170                  instance of type u (not function type)
3171
3172)
3173        Environment:
3174formal type is pointer to instance of type u (not function type)
3175actual type is pointer to double
3176formal type is pointer to instance of type u (not function type)
3177actual type is pointer to char
3178formal type is pointer to instance of type u (not function type)
3179actual type is pointer to forall
3180    _0_t: type
3181      with assertions
3182        ?=?: pointer to function
3183            with parameters
3184              pointer to instance of type _0_t (not function type)
3185              instance of type _0_t (not function type)
3186            returning
3187              instance of type _0_t (not function type)
3188
3189        u: pointer to function
3190            with parameters
3191              instance of type _0_t (not function type)
3192            returning
3193              instance of type _0_t (not function type)
3194
3195
3196  function
3197  with parameters
3198    the_t: instance of type _0_t (not function type)
3199  returning
3200    double
3201
3202formal type is pointer to instance of type u (not function type)
3203actual type is pointer to double
3204formal type is pointer to instance of type u (not function type)
3205actual type is pointer to char
3206formal type is pointer to instance of type u (not function type)
3207actual type is pointer to forall
3208    _0_t: type
3209      with assertions
3210        ?=?: pointer to function
3211            with parameters
3212              pointer to instance of type _0_t (not function type)
3213              instance of type _0_t (not function type)
3214            returning
3215              instance of type _0_t (not function type)
3216
3217        u: pointer to function
3218            with parameters
3219              instance of type _0_t (not function type)
3220            returning
3221              instance of type _0_t (not function type)
3222
3223
3224  function
3225  with parameters
3226    the_t: instance of type _0_t (not function type)
3227  returning
3228    double
3229
3230formal type is pointer to instance of type u (not function type)
3231actual type is pointer to double
3232formal type is pointer to instance of type u (not function type)
3233actual type is pointer to char
3234formal type is pointer to instance of type u (not function type)
3235actual type is pointer to forall
3236    _0_t: type
3237      with assertions
3238        ?=?: pointer to function
3239            with parameters
3240              pointer to instance of type _0_t (not function type)
3241              instance of type _0_t (not function type)
3242            returning
3243              instance of type _0_t (not function type)
3244
3245        u: pointer to function
3246            with parameters
3247              instance of type _0_t (not function type)
3248            returning
3249              instance of type _0_t (not function type)
3250
3251
3252  function
3253  with parameters
3254    the_t: instance of type _0_t (not function type)
3255  returning
3256    double
3257
3258working on alternative:
3259        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
3260            with parameters
3261              _dst: pointer to instance of struct __anonymous0
3262              _src: instance of struct __anonymous0
3263            returning
3264              instance of struct __anonymous0
3265
3266(types:
3267            pointer to function
3268                with parameters
3269                  _dst: pointer to instance of struct __anonymous0
3270                  _src: instance of struct __anonymous0
3271                returning
3272                  instance of struct __anonymous0
3273
3274)
3275        Environment:
3276formal type is pointer to instance of struct __anonymous0
3277actual type is pointer to double
3278formal type is pointer to instance of struct __anonymous0
3279actual type is pointer to char
3280formal type is pointer to instance of struct __anonymous0
3281actual type is pointer to forall
3282    _0_t: type
3283      with assertions
3284        ?=?: pointer to function
3285            with parameters
3286              pointer to instance of type _0_t (not function type)
3287              instance of type _0_t (not function type)
3288            returning
3289              instance of type _0_t (not function type)
3290
3291        u: pointer to function
3292            with parameters
3293              instance of type _0_t (not function type)
3294            returning
3295              instance of type _0_t (not function type)
3296
3297
3298  function
3299  with parameters
3300    the_t: instance of type _0_t (not function type)
3301  returning
3302    double
3303
3304formal type is pointer to instance of struct __anonymous0
3305actual type is pointer to double
3306formal type is pointer to instance of struct __anonymous0
3307actual type is pointer to char
3308formal type is pointer to instance of struct __anonymous0
3309actual type is pointer to forall
3310    _0_t: type
3311      with assertions
3312        ?=?: pointer to function
3313            with parameters
3314              pointer to instance of type _0_t (not function type)
3315              instance of type _0_t (not function type)
3316            returning
3317              instance of type _0_t (not function type)
3318
3319        u: pointer to function
3320            with parameters
3321              instance of type _0_t (not function type)
3322            returning
3323              instance of type _0_t (not function type)
3324
3325
3326  function
3327  with parameters
3328    the_t: instance of type _0_t (not function type)
3329  returning
3330    double
3331
3332formal type is pointer to instance of struct __anonymous0
3333actual type is pointer to double
3334formal type is pointer to instance of struct __anonymous0
3335actual type is pointer to char
3336formal type is pointer to instance of struct __anonymous0
3337actual type is pointer to forall
3338    _0_t: type
3339      with assertions
3340        ?=?: pointer to function
3341            with parameters
3342              pointer to instance of type _0_t (not function type)
3343              instance of type _0_t (not function type)
3344            returning
3345              instance of type _0_t (not function type)
3346
3347        u: pointer to function
3348            with parameters
3349              instance of type _0_t (not function type)
3350            returning
3351              instance of type _0_t (not function type)
3352
3353
3354  function
3355  with parameters
3356    the_t: instance of type _0_t (not function type)
3357  returning
3358    double
3359
3360nameExpr is some_func
3361nameExpr is i
3362decl is i: signed int
3363newExpr is Variable Expression: i: signed int
3364
3365alternatives before prune:
3366Cost ( 0, 0, 0 ): Variable Expression: i: signed int
3367(types:
3368    lvalue signed int
3369)
3370Environment:
3371
3372there are 1 alternatives before elimination
3373there are 1 alternatives after elimination
3374nameExpr is q
3375decl is q: forall
3376    t: type
3377      with assertions
3378        ?=?: pointer to function
3379            with parameters
3380              pointer to instance of type t (not function type)
3381              instance of type t (not function type)
3382            returning
3383              instance of type t (not function type)
3384
3385        u: pointer to function
3386            with parameters
3387              instance of type t (not function type)
3388            returning
3389              instance of type t (not function type)
3390
3391
3392  function
3393  with parameters
3394    the_t: instance of type t (not function type)
3395  returning
3396    double
3397  with body
3398    CompoundStmt
3399      Declaration of y: instance of type t (not function type) with initializer
3400        Simple Initializer:           Cast of:
3401            Application of
3402              Variable Expression: u: pointer to function
3403                  with parameters
3404                    instance of type t (not function type)
3405                  returning
3406                    instance of type t (not function type)
3407
3408            to arguments
3409                              Variable Expression: the_t: instance of type t (not function type)
3410
3411
3412          to:
3413            instance of type t (not function type)
3414          with environment:
3415            Types:
3416            Non-types:
3417
3418              Expression Statement:
3419          Application of
3420            Variable Expression: ?=?: pointer to function
3421                with parameters
3422                  pointer to instance of type t (not function type)
3423                  instance of type t (not function type)
3424                returning
3425                  instance of type t (not function type)
3426
3427          to arguments
3428                          Address of:
3429                Variable Expression: y: instance of type t (not function type)
3430
3431                          Application of
3432                Variable Expression: u: pointer to function
3433                    with parameters
3434                      instance of type t (not function type)
3435                    returning
3436                      instance of type t (not function type)
3437
3438              to arguments
3439                                  Variable Expression: the_t: instance of type t (not function type)
3440
3441
3442          with environment:
3443            Types:
3444            Non-types:
3445
3446
3447newExpr is Variable Expression: q: forall
3448      t: type
3449        with assertions
3450          ?=?: pointer to function
3451              with parameters
3452                pointer to instance of type t (not function type)
3453                instance of type t (not function type)
3454              returning
3455                instance of type t (not function type)
3456
3457          u: pointer to function
3458              with parameters
3459                instance of type t (not function type)
3460              returning
3461                instance of type t (not function type)
3462
3463
3464    function
3465    with parameters
3466      the_t: instance of type t (not function type)
3467    returning
3468      double
3469
3470
3471decl is q: function
3472    accepting unspecified arguments
3473  returning
3474    double
3475  with parameter names
3476    i
3477  with parameter declarations
3478    i: signed int
3479  with body
3480    CompoundStmt
3481              Switch on condition: Variable Expression: i: signed int
3482with environment:
3483  Types:
3484  Non-types:
3485
3486            Case Name: 0
3487
3488                Return Statement, returning: Name: q
3489
3490            Default
3491                Return Statement, returning: Name: i
3492
3493
3494
3495newExpr is Variable Expression: q: function
3496      accepting unspecified arguments
3497    returning
3498      double
3499
3500
3501decl is q: char with initializer
3502Simple Initializer:   Cast of:
3503    Variable Expression: y: char
3504
3505  to:
3506    char
3507  with environment:
3508    Types:
3509    Non-types:
3510
3511newExpr is Variable Expression: q: char
3512
3513decl is q: double
3514newExpr is Variable Expression: q: double
3515
3516alternatives before prune:
3517Cost ( 0, 0, 0 ): Variable Expression: q: forall
3518      t: type
3519        with assertions
3520          ?=?: pointer to function
3521              with parameters
3522                pointer to instance of type t (not function type)
3523                instance of type t (not function type)
3524              returning
3525                instance of type t (not function type)
3526
3527          u: pointer to function
3528              with parameters
3529                instance of type t (not function type)
3530              returning
3531                instance of type t (not function type)
3532
3533
3534    function
3535    with parameters
3536      the_t: instance of type t (not function type)
3537    returning
3538      double
3539
3540(types:
3541    pointer to forall
3542          _0_t: type
3543            with assertions
3544              ?=?: pointer to function
3545                  with parameters
3546                    pointer to instance of type _0_t (not function type)
3547                    instance of type _0_t (not function type)
3548                  returning
3549                    instance of type _0_t (not function type)
3550
3551              u: pointer to function
3552                  with parameters
3553                    instance of type _0_t (not function type)
3554                  returning
3555                    instance of type _0_t (not function type)
3556
3557
3558        function
3559        with parameters
3560          the_t: instance of type _0_t (not function type)
3561        returning
3562          double
3563
3564)
3565Environment:
3566
3567Cost ( 0, 0, 0 ): Variable Expression: q: function
3568      accepting unspecified arguments
3569    returning
3570      double
3571
3572(types:
3573    pointer to function
3574          accepting unspecified arguments
3575        returning
3576          double
3577
3578)
3579Environment:
3580
3581Cost ( 0, 0, 0 ): Variable Expression: q: char
3582(types:
3583    lvalue char
3584)
3585Environment:
3586
3587Cost ( 0, 0, 0 ): Variable Expression: q: double
3588(types:
3589    lvalue double
3590)
3591Environment:
3592
3593there are 4 alternatives before elimination
3594there are 4 alternatives after elimination
3595alternatives before prune:
3596Cost ( 0, 0, 0 ): Cast of:
3597  Variable Expression: q: double
3598
3599to:
3600  double
3601(types:
3602    double
3603)
3604Environment:
3605
3606there are 1 alternatives before elimination
3607there are 1 alternatives after elimination
3608nameExpr is i
3609decl is i: signed int
3610newExpr is Variable Expression: i: signed int
3611
3612alternatives before prune:
3613Cost ( 0, 0, 0 ): Variable Expression: i: signed int
3614(types:
3615    lvalue signed int
3616)
3617Environment:
3618
3619there are 1 alternatives before elimination
3620there are 1 alternatives after elimination
3621alternatives before prune:
3622Cost ( 0, 0, 6 ): Cast of:
3623  Variable Expression: i: signed int
3624
3625to:
3626  double
3627(types:
3628    double
3629)
3630Environment:
3631
3632there are 1 alternatives before elimination
3633there are 1 alternatives after elimination
3634Error: No reasonable alternatives for expression Applying untyped:
3635    Name: ?=?
3636...to:
3637    Address of:
3638      Member Expression, with field:
3639        a: signed int
3640      from aggregate:
3641        Applying untyped:
3642            Name: *?
3643        ...to:
3644            Variable Expression: _dst: pointer to instance of struct __anonymous0
3645    Member Expression, with field:
3646      a: signed int
3647    from aggregate:
3648      Variable Expression: _src: instance of struct __anonymous0
3649
3650Error: No reasonable alternatives for expression Applying untyped:
3651    Name: ?=?
3652...to:
3653    Address of:
3654      Member Expression, with field:
3655        b: double
3656      from aggregate:
3657        Applying untyped:
3658            Name: *?
3659        ...to:
3660            Variable Expression: _dst: pointer to instance of struct __anonymous0
3661    Member Expression, with field:
3662      b: double
3663    from aggregate:
3664      Variable Expression: _src: instance of struct __anonymous0
3665
3666Error: No reasonable alternatives for expression Cast of:
3667  Variable Expression: _dst: pointer to instance of type u (not function type)
3668
3669to:
3670  pointer to instance of struct __anonymous0
3671
3672Error: No reasonable alternatives for expression Cast of:
3673  Name: y
3674
3675to:
3676  instance of type u (not function type)
3677
3678Error: No reasonable alternatives for expression Name: u
3679
3680Error: No reasonable alternatives for expression Name: u
3681
3682Error: No reasonable alternatives for expression Name: u
3683
3684Error: No reasonable alternatives for expression Applying untyped:
3685    Name: ?=?
3686...to:
3687    Address of:
3688      Name: z
3689    Name: x
3690
3691Error: No reasonable alternatives for expression Applying untyped:
3692    Name: ?=?
3693...to:
3694    Address of:
3695      Name: x
3696    Name: y
3697
3698Error: No reasonable alternatives for expression Applying untyped:
3699    Name: ?=?
3700...to:
3701    Address of:
3702      Name: q
3703    Name: y
3704
3705Error: No reasonable alternatives for expression Name: some_func
3706
Note: See TracBrowser for help on using the repository browser.