source: src/Tests/Expect-r/Members.txt @ b1d6dd5

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 b1d6dd5 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: 224.8 KB
Line 
1nameExpr is ?=?
2decl is ?=?: forall
3    DT: incomplete type
4  function
5  with parameters
6    pointer to pointer to instance of type DT (not function type)
7    pointer to instance of type DT (not function type)
8  returning
9    pointer to instance of type DT (not function type)
10
11newExpr is Variable Expression: ?=?: forall
12      DT: incomplete type
13    function
14    with parameters
15      pointer to pointer to instance of type DT (not function type)
16      pointer to instance of type DT (not function type)
17    returning
18      pointer to instance of type DT (not function type)
19
20
21decl is ?=?: automatically generated inline static function
22  with parameters
23    _dst: pointer to instance of struct a_struct
24    _src: instance of struct a_struct
25  returning
26    instance of struct a_struct
27  with body
28    CompoundStmt
29              Expression Statement:
30          Applying untyped:
31              Name: ?=?
32          ...to:
33              Address of:
34                Member Expression, with field:
35                  a: signed int
36                from aggregate:
37                  Applying untyped:
38                      Name: *?
39                  ...to:
40                      Variable Expression: _dst: pointer to instance of struct a_struct
41              Member Expression, with field:
42                a: signed int
43              from aggregate:
44                Variable Expression: _src: instance of struct a_struct
45
46              Expression Statement:
47          Applying untyped:
48              Name: ?=?
49          ...to:
50              Address of:
51                Member Expression, with field:
52                  a: char
53                from aggregate:
54                  Applying untyped:
55                      Name: *?
56                  ...to:
57                      Variable Expression: _dst: pointer to instance of struct a_struct
58              Member Expression, with field:
59                a: char
60              from aggregate:
61                Variable Expression: _src: instance of struct a_struct
62
63              Expression Statement:
64          Applying untyped:
65              Name: ?=?
66          ...to:
67              Address of:
68                Member Expression, with field:
69                  a: float
70                from aggregate:
71                  Applying untyped:
72                      Name: *?
73                  ...to:
74                      Variable Expression: _dst: pointer to instance of struct a_struct
75              Member Expression, with field:
76                a: float
77              from aggregate:
78                Variable Expression: _src: instance of struct a_struct
79
80              Return Statement, returning: Variable Expression: _src: instance of struct a_struct
81
82
83
84newExpr is Variable Expression: ?=?: inline static function
85    with parameters
86      _dst: pointer to instance of struct a_struct
87      _src: instance of struct a_struct
88    returning
89      instance of struct a_struct
90
91
92decl is ?=?: function
93  with parameters
94    pointer to char
95    char
96  returning
97    char
98
99newExpr is Variable Expression: ?=?: function
100    with parameters
101      pointer to char
102      char
103    returning
104      char
105
106
107decl is ?=?: function
108  with parameters
109    pointer to float
110    float
111  returning
112    float
113
114newExpr is Variable Expression: ?=?: function
115    with parameters
116      pointer to float
117      float
118    returning
119      float
120
121
122decl is ?=?: function
123  with parameters
124    pointer to signed int
125    signed int
126  returning
127    signed int
128
129newExpr is Variable Expression: ?=?: function
130    with parameters
131      pointer to signed int
132      signed int
133    returning
134      signed int
135
136
137alternatives before prune:
138Cost ( 0, 0, 0 ): Variable Expression: ?=?: forall
139      DT: incomplete type
140    function
141    with parameters
142      pointer to pointer to instance of type DT (not function type)
143      pointer to instance of type DT (not function type)
144    returning
145      pointer to instance of type DT (not function type)
146
147(types:
148    pointer to forall
149          _0_DT: incomplete type
150        function
151        with parameters
152          pointer to pointer to instance of type _0_DT (not function type)
153          pointer to instance of type _0_DT (not function type)
154        returning
155          pointer to instance of type _0_DT (not function type)
156
157)
158Environment:
159
160Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
161    with parameters
162      _dst: pointer to instance of struct a_struct
163      _src: instance of struct a_struct
164    returning
165      instance of struct a_struct
166
167(types:
168    pointer to function
169        with parameters
170          _dst: pointer to instance of struct a_struct
171          _src: instance of struct a_struct
172        returning
173          instance of struct a_struct
174
175)
176Environment:
177
178Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
179    with parameters
180      pointer to char
181      char
182    returning
183      char
184
185(types:
186    pointer to function
187        with parameters
188          pointer to char
189          char
190        returning
191          char
192
193)
194Environment:
195
196Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
197    with parameters
198      pointer to float
199      float
200    returning
201      float
202
203(types:
204    pointer to function
205        with parameters
206          pointer to float
207          float
208        returning
209          float
210
211)
212Environment:
213
214Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
215    with parameters
216      pointer to signed int
217      signed int
218    returning
219      signed int
220
221(types:
222    pointer to function
223        with parameters
224          pointer to signed int
225          signed int
226        returning
227          signed int
228
229)
230Environment:
231
232there are 5 alternatives before elimination
233there are 5 alternatives after elimination
234alternatives before prune:
235Cost ( 0, 0, 0 ): Member Expression, with field:
236  a: signed int
237from aggregate:
238  Applying untyped:
239      Name: *?
240  ...to:
241      Variable Expression: _dst: pointer to instance of struct a_struct
242(types:
243    lvalue signed int
244)
245Environment:
246
247there are 1 alternatives before elimination
248there are 1 alternatives after elimination
249alternatives before prune:
250Cost ( 0, 0, 0 ): Address of:
251  Member Expression, with field:
252    a: signed int
253  from aggregate:
254    Applying untyped:
255        Name: *?
256    ...to:
257        Variable Expression: _dst: pointer to instance of struct a_struct
258(types:
259    pointer to signed int
260)
261Environment:
262
263there are 1 alternatives before elimination
264there are 1 alternatives after elimination
265findSubExprs
266Cost ( 0, 0, 0 ): Address of:
267  Member Expression, with field:
268    a: signed int
269  from aggregate:
270    Applying untyped:
271        Name: *?
272    ...to:
273        Variable Expression: _dst: pointer to instance of struct a_struct
274(types:
275    pointer to signed int
276)
277Environment:
278
279alternatives before prune:
280Cost ( 0, 0, 0 ): Member Expression, with field:
281  a: signed int
282from aggregate:
283  Variable Expression: _src: instance of struct a_struct
284(types:
285    lvalue signed int
286)
287Environment:
288
289there are 1 alternatives before elimination
290there are 1 alternatives after elimination
291findSubExprs
292Cost ( 0, 0, 0 ): Member Expression, with field:
293  a: signed int
294from aggregate:
295  Variable Expression: _src: instance of struct a_struct
296(types:
297    lvalue signed int
298)
299Environment:
300
301working on alternative:
302        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
303            with parameters
304              pointer to signed int
305              signed int
306            returning
307              signed int
308
309(types:
310            pointer to function
311                with parameters
312                  pointer to signed int
313                  signed int
314                returning
315                  signed int
316
317)
318        Environment:
319formal type is pointer to signed int
320actual type is pointer to signed int
321formal type is signed int
322actual type is lvalue signed int
323need assertions:
324============= original indexer
325===idTable===
326===typeTable===
327===structTable===
328===enumTable===
329===unionTable===
330===contextTable===
331============= new indexer
332===idTable===
333===typeTable===
334===structTable===
335===enumTable===
336===unionTable===
337===contextTable===
338working on alternative:
339        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
340            with parameters
341              pointer to float
342              float
343            returning
344              float
345
346(types:
347            pointer to function
348                with parameters
349                  pointer to float
350                  float
351                returning
352                  float
353
354)
355        Environment:
356formal type is pointer to float
357actual type is pointer to signed int
358working on alternative:
359        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
360            with parameters
361              pointer to char
362              char
363            returning
364              char
365
366(types:
367            pointer to function
368                with parameters
369                  pointer to char
370                  char
371                returning
372                  char
373
374)
375        Environment:
376formal type is pointer to char
377actual type is pointer to signed int
378working on alternative:
379        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
380            with parameters
381              _dst: pointer to instance of struct a_struct
382              _src: instance of struct a_struct
383            returning
384              instance of struct a_struct
385
386(types:
387            pointer to function
388                with parameters
389                  _dst: pointer to instance of struct a_struct
390                  _src: instance of struct a_struct
391                returning
392                  instance of struct a_struct
393
394)
395        Environment:
396formal type is pointer to instance of struct a_struct
397actual type is pointer to signed int
398working on alternative:
399        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: forall
400              DT: incomplete type
401            function
402            with parameters
403              pointer to pointer to instance of type DT (not function type)
404              pointer to instance of type DT (not function type)
405            returning
406              pointer to instance of type DT (not function type)
407
408(types:
409            pointer to forall
410                  _0_DT: incomplete type
411                function
412                with parameters
413                  pointer to pointer to instance of type _0_DT (not function type)
414                  pointer to instance of type _0_DT (not function type)
415                returning
416                  pointer to instance of type _0_DT (not function type)
417
418)
419        Environment:
420formal type is pointer to pointer to instance of type _0_DT (not function type)
421actual type is pointer to signed int
422actual expression:
423        Address of:
424          Member Expression, with field:
425            a: signed int
426          from aggregate:
427            Applying untyped:
428                Name: *?
429            ...to:
430                Variable Expression: _dst: pointer to instance of struct a_struct
431--- results are
432        pointer to signed int
433
434converting pointer to signed int
435 to pointer to signed int
436cost is( 0, 0, 0 )
437actual expression:
438        Member Expression, with field:
439          a: signed int
440        from aggregate:
441          Variable Expression: _src: instance of struct a_struct
442--- results are
443        lvalue signed int
444
445converting lvalue signed int
446 to signed int
447cost is( 0, 0, 0 )
448Case +++++++++++++
449formals are:
450        pointer to signed int
451        signed int
452actuals are:
453                  Address of:
454            Member Expression, with field:
455              a: signed int
456            from aggregate:
457              Applying untyped:
458                  Name: *?
459              ...to:
460                  Variable Expression: _dst: pointer to instance of struct a_struct
461
462                  Member Expression, with field:
463            a: signed int
464          from aggregate:
465            Variable Expression: _src: instance of struct a_struct
466
467bindings are:
468cost of conversion is:( 0, 0, 0 )
469alternatives before prune:
470Cost ( 0, 0, 0 ): Application of
471  Variable Expression: ?=?: function
472      with parameters
473        pointer to signed int
474        signed int
475      returning
476        signed int
477
478to arguments
479      Address of:
480      Member Expression, with field:
481        a: signed int
482      from aggregate:
483        Applying untyped:
484            Name: *?
485        ...to:
486            Variable Expression: _dst: pointer to instance of struct a_struct
487
488      Member Expression, with field:
489      a: signed int
490    from aggregate:
491      Variable Expression: _src: instance of struct a_struct
492
493(types:
494    signed int
495)
496Environment:
497
498there are 1 alternatives before elimination
499there are 1 alternatives after elimination
500alternatives before prune:
501Cost ( 0, 0, 1 ): Cast of:
502  Application of
503    Variable Expression: ?=?: function
504        with parameters
505          pointer to signed int
506          signed int
507        returning
508          signed int
509
510  to arguments
511          Address of:
512        Member Expression, with field:
513          a: signed int
514        from aggregate:
515          Applying untyped:
516              Name: *?
517          ...to:
518              Variable Expression: _dst: pointer to instance of struct a_struct
519
520          Member Expression, with field:
521        a: signed int
522      from aggregate:
523        Variable Expression: _src: instance of struct a_struct
524
525
526to:
527  nothing
528(types:
529)
530Environment:
531
532there are 1 alternatives before elimination
533there are 1 alternatives after elimination
534nameExpr is ?=?
535decl is ?=?: forall
536    DT: incomplete type
537  function
538  with parameters
539    pointer to pointer to instance of type DT (not function type)
540    pointer to instance of type DT (not function type)
541  returning
542    pointer to instance of type DT (not function type)
543
544newExpr is Variable Expression: ?=?: forall
545      DT: incomplete type
546    function
547    with parameters
548      pointer to pointer to instance of type DT (not function type)
549      pointer to instance of type DT (not function type)
550    returning
551      pointer to instance of type DT (not function type)
552
553
554decl is ?=?: automatically generated inline static function
555  with parameters
556    _dst: pointer to instance of struct a_struct
557    _src: instance of struct a_struct
558  returning
559    instance of struct a_struct
560  with body
561    CompoundStmt
562              Expression Statement:
563          Application of
564            Variable Expression: ?=?: function
565                with parameters
566                  pointer to signed int
567                  signed int
568                returning
569                  signed int
570
571          to arguments
572                          Address of:
573                Member Expression, with field:
574                  a: signed int
575                from aggregate:
576                  Applying untyped:
577                      Name: *?
578                  ...to:
579                      Variable Expression: _dst: pointer to instance of struct a_struct
580
581                          Member Expression, with field:
582                a: signed int
583              from aggregate:
584                Variable Expression: _src: instance of struct a_struct
585
586          with environment:
587            Types:
588            Non-types:
589
590              Expression Statement:
591          Applying untyped:
592              Name: ?=?
593          ...to:
594              Address of:
595                Member Expression, with field:
596                  a: char
597                from aggregate:
598                  Applying untyped:
599                      Name: *?
600                  ...to:
601                      Variable Expression: _dst: pointer to instance of struct a_struct
602              Member Expression, with field:
603                a: char
604              from aggregate:
605                Variable Expression: _src: instance of struct a_struct
606
607              Expression Statement:
608          Applying untyped:
609              Name: ?=?
610          ...to:
611              Address of:
612                Member Expression, with field:
613                  a: float
614                from aggregate:
615                  Applying untyped:
616                      Name: *?
617                  ...to:
618                      Variable Expression: _dst: pointer to instance of struct a_struct
619              Member Expression, with field:
620                a: float
621              from aggregate:
622                Variable Expression: _src: instance of struct a_struct
623
624              Return Statement, returning: Variable Expression: _src: instance of struct a_struct
625
626
627
628newExpr is Variable Expression: ?=?: inline static function
629    with parameters
630      _dst: pointer to instance of struct a_struct
631      _src: instance of struct a_struct
632    returning
633      instance of struct a_struct
634
635
636decl is ?=?: function
637  with parameters
638    pointer to char
639    char
640  returning
641    char
642
643newExpr is Variable Expression: ?=?: function
644    with parameters
645      pointer to char
646      char
647    returning
648      char
649
650
651decl is ?=?: function
652  with parameters
653    pointer to float
654    float
655  returning
656    float
657
658newExpr is Variable Expression: ?=?: function
659    with parameters
660      pointer to float
661      float
662    returning
663      float
664
665
666decl is ?=?: function
667  with parameters
668    pointer to signed int
669    signed int
670  returning
671    signed int
672
673newExpr is Variable Expression: ?=?: function
674    with parameters
675      pointer to signed int
676      signed int
677    returning
678      signed int
679
680
681alternatives before prune:
682Cost ( 0, 0, 0 ): Variable Expression: ?=?: forall
683      DT: incomplete type
684    function
685    with parameters
686      pointer to pointer to instance of type DT (not function type)
687      pointer to instance of type DT (not function type)
688    returning
689      pointer to instance of type DT (not function type)
690
691(types:
692    pointer to forall
693          _0_DT: incomplete type
694        function
695        with parameters
696          pointer to pointer to instance of type _0_DT (not function type)
697          pointer to instance of type _0_DT (not function type)
698        returning
699          pointer to instance of type _0_DT (not function type)
700
701)
702Environment:
703
704Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
705    with parameters
706      _dst: pointer to instance of struct a_struct
707      _src: instance of struct a_struct
708    returning
709      instance of struct a_struct
710
711(types:
712    pointer to function
713        with parameters
714          _dst: pointer to instance of struct a_struct
715          _src: instance of struct a_struct
716        returning
717          instance of struct a_struct
718
719)
720Environment:
721
722Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
723    with parameters
724      pointer to char
725      char
726    returning
727      char
728
729(types:
730    pointer to function
731        with parameters
732          pointer to char
733          char
734        returning
735          char
736
737)
738Environment:
739
740Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
741    with parameters
742      pointer to float
743      float
744    returning
745      float
746
747(types:
748    pointer to function
749        with parameters
750          pointer to float
751          float
752        returning
753          float
754
755)
756Environment:
757
758Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
759    with parameters
760      pointer to signed int
761      signed int
762    returning
763      signed int
764
765(types:
766    pointer to function
767        with parameters
768          pointer to signed int
769          signed int
770        returning
771          signed int
772
773)
774Environment:
775
776there are 5 alternatives before elimination
777there are 5 alternatives after elimination
778alternatives before prune:
779Cost ( 0, 0, 0 ): Member Expression, with field:
780  a: char
781from aggregate:
782  Applying untyped:
783      Name: *?
784  ...to:
785      Variable Expression: _dst: pointer to instance of struct a_struct
786(types:
787    lvalue char
788)
789Environment:
790
791there are 1 alternatives before elimination
792there are 1 alternatives after elimination
793alternatives before prune:
794Cost ( 0, 0, 0 ): Address of:
795  Member Expression, with field:
796    a: char
797  from aggregate:
798    Applying untyped:
799        Name: *?
800    ...to:
801        Variable Expression: _dst: pointer to instance of struct a_struct
802(types:
803    pointer to char
804)
805Environment:
806
807there are 1 alternatives before elimination
808there are 1 alternatives after elimination
809findSubExprs
810Cost ( 0, 0, 0 ): Address of:
811  Member Expression, with field:
812    a: char
813  from aggregate:
814    Applying untyped:
815        Name: *?
816    ...to:
817        Variable Expression: _dst: pointer to instance of struct a_struct
818(types:
819    pointer to char
820)
821Environment:
822
823alternatives before prune:
824Cost ( 0, 0, 0 ): Member Expression, with field:
825  a: char
826from aggregate:
827  Variable Expression: _src: instance of struct a_struct
828(types:
829    lvalue char
830)
831Environment:
832
833there are 1 alternatives before elimination
834there are 1 alternatives after elimination
835findSubExprs
836Cost ( 0, 0, 0 ): Member Expression, with field:
837  a: char
838from aggregate:
839  Variable Expression: _src: instance of struct a_struct
840(types:
841    lvalue char
842)
843Environment:
844
845working on alternative:
846        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
847            with parameters
848              pointer to signed int
849              signed int
850            returning
851              signed int
852
853(types:
854            pointer to function
855                with parameters
856                  pointer to signed int
857                  signed int
858                returning
859                  signed int
860
861)
862        Environment:
863formal type is pointer to signed int
864actual type is pointer to char
865working on alternative:
866        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
867            with parameters
868              pointer to float
869              float
870            returning
871              float
872
873(types:
874            pointer to function
875                with parameters
876                  pointer to float
877                  float
878                returning
879                  float
880
881)
882        Environment:
883formal type is pointer to float
884actual type is pointer to char
885working on alternative:
886        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
887            with parameters
888              pointer to char
889              char
890            returning
891              char
892
893(types:
894            pointer to function
895                with parameters
896                  pointer to char
897                  char
898                returning
899                  char
900
901)
902        Environment:
903formal type is pointer to char
904actual type is pointer to char
905formal type is char
906actual type is lvalue char
907need assertions:
908============= original indexer
909===idTable===
910===typeTable===
911===structTable===
912===enumTable===
913===unionTable===
914===contextTable===
915============= new indexer
916===idTable===
917===typeTable===
918===structTable===
919===enumTable===
920===unionTable===
921===contextTable===
922working on alternative:
923        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
924            with parameters
925              _dst: pointer to instance of struct a_struct
926              _src: instance of struct a_struct
927            returning
928              instance of struct a_struct
929
930(types:
931            pointer to function
932                with parameters
933                  _dst: pointer to instance of struct a_struct
934                  _src: instance of struct a_struct
935                returning
936                  instance of struct a_struct
937
938)
939        Environment:
940formal type is pointer to instance of struct a_struct
941actual type is pointer to char
942working on alternative:
943        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: forall
944              DT: incomplete type
945            function
946            with parameters
947              pointer to pointer to instance of type DT (not function type)
948              pointer to instance of type DT (not function type)
949            returning
950              pointer to instance of type DT (not function type)
951
952(types:
953            pointer to forall
954                  _0_DT: incomplete type
955                function
956                with parameters
957                  pointer to pointer to instance of type _0_DT (not function type)
958                  pointer to instance of type _0_DT (not function type)
959                returning
960                  pointer to instance of type _0_DT (not function type)
961
962)
963        Environment:
964formal type is pointer to pointer to instance of type _0_DT (not function type)
965actual type is pointer to char
966actual expression:
967        Address of:
968          Member Expression, with field:
969            a: char
970          from aggregate:
971            Applying untyped:
972                Name: *?
973            ...to:
974                Variable Expression: _dst: pointer to instance of struct a_struct
975--- results are
976        pointer to char
977
978converting pointer to char
979 to pointer to char
980cost is( 0, 0, 0 )
981actual expression:
982        Member Expression, with field:
983          a: char
984        from aggregate:
985          Variable Expression: _src: instance of struct a_struct
986--- results are
987        lvalue char
988
989converting lvalue char
990 to char
991cost is( 0, 0, 0 )
992Case +++++++++++++
993formals are:
994        pointer to char
995        char
996actuals are:
997                  Address of:
998            Member Expression, with field:
999              a: char
1000            from aggregate:
1001              Applying untyped:
1002                  Name: *?
1003              ...to:
1004                  Variable Expression: _dst: pointer to instance of struct a_struct
1005
1006                  Member Expression, with field:
1007            a: char
1008          from aggregate:
1009            Variable Expression: _src: instance of struct a_struct
1010
1011bindings are:
1012cost of conversion is:( 0, 0, 0 )
1013alternatives before prune:
1014Cost ( 0, 0, 0 ): Application of
1015  Variable Expression: ?=?: function
1016      with parameters
1017        pointer to char
1018        char
1019      returning
1020        char
1021
1022to arguments
1023      Address of:
1024      Member Expression, with field:
1025        a: char
1026      from aggregate:
1027        Applying untyped:
1028            Name: *?
1029        ...to:
1030            Variable Expression: _dst: pointer to instance of struct a_struct
1031
1032      Member Expression, with field:
1033      a: char
1034    from aggregate:
1035      Variable Expression: _src: instance of struct a_struct
1036
1037(types:
1038    char
1039)
1040Environment:
1041
1042there are 1 alternatives before elimination
1043there are 1 alternatives after elimination
1044alternatives before prune:
1045Cost ( 0, 0, 1 ): Cast of:
1046  Application of
1047    Variable Expression: ?=?: function
1048        with parameters
1049          pointer to char
1050          char
1051        returning
1052          char
1053
1054  to arguments
1055          Address of:
1056        Member Expression, with field:
1057          a: char
1058        from aggregate:
1059          Applying untyped:
1060              Name: *?
1061          ...to:
1062              Variable Expression: _dst: pointer to instance of struct a_struct
1063
1064          Member Expression, with field:
1065        a: char
1066      from aggregate:
1067        Variable Expression: _src: instance of struct a_struct
1068
1069
1070to:
1071  nothing
1072(types:
1073)
1074Environment:
1075
1076there are 1 alternatives before elimination
1077there are 1 alternatives after elimination
1078nameExpr is ?=?
1079decl is ?=?: forall
1080    DT: incomplete type
1081  function
1082  with parameters
1083    pointer to pointer to instance of type DT (not function type)
1084    pointer to instance of type DT (not function type)
1085  returning
1086    pointer to instance of type DT (not function type)
1087
1088newExpr is Variable Expression: ?=?: forall
1089      DT: incomplete type
1090    function
1091    with parameters
1092      pointer to pointer to instance of type DT (not function type)
1093      pointer to instance of type DT (not function type)
1094    returning
1095      pointer to instance of type DT (not function type)
1096
1097
1098decl is ?=?: automatically generated inline static function
1099  with parameters
1100    _dst: pointer to instance of struct a_struct
1101    _src: instance of struct a_struct
1102  returning
1103    instance of struct a_struct
1104  with body
1105    CompoundStmt
1106              Expression Statement:
1107          Application of
1108            Variable Expression: ?=?: function
1109                with parameters
1110                  pointer to signed int
1111                  signed int
1112                returning
1113                  signed int
1114
1115          to arguments
1116                          Address of:
1117                Member Expression, with field:
1118                  a: signed int
1119                from aggregate:
1120                  Applying untyped:
1121                      Name: *?
1122                  ...to:
1123                      Variable Expression: _dst: pointer to instance of struct a_struct
1124
1125                          Member Expression, with field:
1126                a: signed int
1127              from aggregate:
1128                Variable Expression: _src: instance of struct a_struct
1129
1130          with environment:
1131            Types:
1132            Non-types:
1133
1134              Expression Statement:
1135          Application of
1136            Variable Expression: ?=?: function
1137                with parameters
1138                  pointer to char
1139                  char
1140                returning
1141                  char
1142
1143          to arguments
1144                          Address of:
1145                Member Expression, with field:
1146                  a: char
1147                from aggregate:
1148                  Applying untyped:
1149                      Name: *?
1150                  ...to:
1151                      Variable Expression: _dst: pointer to instance of struct a_struct
1152
1153                          Member Expression, with field:
1154                a: char
1155              from aggregate:
1156                Variable Expression: _src: instance of struct a_struct
1157
1158          with environment:
1159            Types:
1160            Non-types:
1161
1162              Expression Statement:
1163          Applying untyped:
1164              Name: ?=?
1165          ...to:
1166              Address of:
1167                Member Expression, with field:
1168                  a: float
1169                from aggregate:
1170                  Applying untyped:
1171                      Name: *?
1172                  ...to:
1173                      Variable Expression: _dst: pointer to instance of struct a_struct
1174              Member Expression, with field:
1175                a: float
1176              from aggregate:
1177                Variable Expression: _src: instance of struct a_struct
1178
1179              Return Statement, returning: Variable Expression: _src: instance of struct a_struct
1180
1181
1182
1183newExpr is Variable Expression: ?=?: inline static function
1184    with parameters
1185      _dst: pointer to instance of struct a_struct
1186      _src: instance of struct a_struct
1187    returning
1188      instance of struct a_struct
1189
1190
1191decl is ?=?: function
1192  with parameters
1193    pointer to char
1194    char
1195  returning
1196    char
1197
1198newExpr is Variable Expression: ?=?: function
1199    with parameters
1200      pointer to char
1201      char
1202    returning
1203      char
1204
1205
1206decl is ?=?: function
1207  with parameters
1208    pointer to float
1209    float
1210  returning
1211    float
1212
1213newExpr is Variable Expression: ?=?: function
1214    with parameters
1215      pointer to float
1216      float
1217    returning
1218      float
1219
1220
1221decl is ?=?: function
1222  with parameters
1223    pointer to signed int
1224    signed int
1225  returning
1226    signed int
1227
1228newExpr is Variable Expression: ?=?: function
1229    with parameters
1230      pointer to signed int
1231      signed int
1232    returning
1233      signed int
1234
1235
1236alternatives before prune:
1237Cost ( 0, 0, 0 ): Variable Expression: ?=?: forall
1238      DT: incomplete type
1239    function
1240    with parameters
1241      pointer to pointer to instance of type DT (not function type)
1242      pointer to instance of type DT (not function type)
1243    returning
1244      pointer to instance of type DT (not function type)
1245
1246(types:
1247    pointer to forall
1248          _0_DT: incomplete type
1249        function
1250        with parameters
1251          pointer to pointer to instance of type _0_DT (not function type)
1252          pointer to instance of type _0_DT (not function type)
1253        returning
1254          pointer to instance of type _0_DT (not function type)
1255
1256)
1257Environment:
1258
1259Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
1260    with parameters
1261      _dst: pointer to instance of struct a_struct
1262      _src: instance of struct a_struct
1263    returning
1264      instance of struct a_struct
1265
1266(types:
1267    pointer to function
1268        with parameters
1269          _dst: pointer to instance of struct a_struct
1270          _src: instance of struct a_struct
1271        returning
1272          instance of struct a_struct
1273
1274)
1275Environment:
1276
1277Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
1278    with parameters
1279      pointer to char
1280      char
1281    returning
1282      char
1283
1284(types:
1285    pointer to function
1286        with parameters
1287          pointer to char
1288          char
1289        returning
1290          char
1291
1292)
1293Environment:
1294
1295Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
1296    with parameters
1297      pointer to float
1298      float
1299    returning
1300      float
1301
1302(types:
1303    pointer to function
1304        with parameters
1305          pointer to float
1306          float
1307        returning
1308          float
1309
1310)
1311Environment:
1312
1313Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
1314    with parameters
1315      pointer to signed int
1316      signed int
1317    returning
1318      signed int
1319
1320(types:
1321    pointer to function
1322        with parameters
1323          pointer to signed int
1324          signed int
1325        returning
1326          signed int
1327
1328)
1329Environment:
1330
1331there are 5 alternatives before elimination
1332there are 5 alternatives after elimination
1333alternatives before prune:
1334Cost ( 0, 0, 0 ): Member Expression, with field:
1335  a: float
1336from aggregate:
1337  Applying untyped:
1338      Name: *?
1339  ...to:
1340      Variable Expression: _dst: pointer to instance of struct a_struct
1341(types:
1342    lvalue float
1343)
1344Environment:
1345
1346there are 1 alternatives before elimination
1347there are 1 alternatives after elimination
1348alternatives before prune:
1349Cost ( 0, 0, 0 ): Address of:
1350  Member Expression, with field:
1351    a: float
1352  from aggregate:
1353    Applying untyped:
1354        Name: *?
1355    ...to:
1356        Variable Expression: _dst: pointer to instance of struct a_struct
1357(types:
1358    pointer to float
1359)
1360Environment:
1361
1362there are 1 alternatives before elimination
1363there are 1 alternatives after elimination
1364findSubExprs
1365Cost ( 0, 0, 0 ): Address of:
1366  Member Expression, with field:
1367    a: float
1368  from aggregate:
1369    Applying untyped:
1370        Name: *?
1371    ...to:
1372        Variable Expression: _dst: pointer to instance of struct a_struct
1373(types:
1374    pointer to float
1375)
1376Environment:
1377
1378alternatives before prune:
1379Cost ( 0, 0, 0 ): Member Expression, with field:
1380  a: float
1381from aggregate:
1382  Variable Expression: _src: instance of struct a_struct
1383(types:
1384    lvalue float
1385)
1386Environment:
1387
1388there are 1 alternatives before elimination
1389there are 1 alternatives after elimination
1390findSubExprs
1391Cost ( 0, 0, 0 ): Member Expression, with field:
1392  a: float
1393from aggregate:
1394  Variable Expression: _src: instance of struct a_struct
1395(types:
1396    lvalue float
1397)
1398Environment:
1399
1400working on alternative:
1401        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
1402            with parameters
1403              pointer to signed int
1404              signed int
1405            returning
1406              signed int
1407
1408(types:
1409            pointer to function
1410                with parameters
1411                  pointer to signed int
1412                  signed int
1413                returning
1414                  signed int
1415
1416)
1417        Environment:
1418formal type is pointer to signed int
1419actual type is pointer to float
1420working on alternative:
1421        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
1422            with parameters
1423              pointer to float
1424              float
1425            returning
1426              float
1427
1428(types:
1429            pointer to function
1430                with parameters
1431                  pointer to float
1432                  float
1433                returning
1434                  float
1435
1436)
1437        Environment:
1438formal type is pointer to float
1439actual type is pointer to float
1440formal type is float
1441actual type is lvalue float
1442need assertions:
1443============= original indexer
1444===idTable===
1445===typeTable===
1446===structTable===
1447===enumTable===
1448===unionTable===
1449===contextTable===
1450============= new indexer
1451===idTable===
1452===typeTable===
1453===structTable===
1454===enumTable===
1455===unionTable===
1456===contextTable===
1457working on alternative:
1458        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
1459            with parameters
1460              pointer to char
1461              char
1462            returning
1463              char
1464
1465(types:
1466            pointer to function
1467                with parameters
1468                  pointer to char
1469                  char
1470                returning
1471                  char
1472
1473)
1474        Environment:
1475formal type is pointer to char
1476actual type is pointer to float
1477working on alternative:
1478        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
1479            with parameters
1480              _dst: pointer to instance of struct a_struct
1481              _src: instance of struct a_struct
1482            returning
1483              instance of struct a_struct
1484
1485(types:
1486            pointer to function
1487                with parameters
1488                  _dst: pointer to instance of struct a_struct
1489                  _src: instance of struct a_struct
1490                returning
1491                  instance of struct a_struct
1492
1493)
1494        Environment:
1495formal type is pointer to instance of struct a_struct
1496actual type is pointer to float
1497working on alternative:
1498        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: forall
1499              DT: incomplete type
1500            function
1501            with parameters
1502              pointer to pointer to instance of type DT (not function type)
1503              pointer to instance of type DT (not function type)
1504            returning
1505              pointer to instance of type DT (not function type)
1506
1507(types:
1508            pointer to forall
1509                  _0_DT: incomplete type
1510                function
1511                with parameters
1512                  pointer to pointer to instance of type _0_DT (not function type)
1513                  pointer to instance of type _0_DT (not function type)
1514                returning
1515                  pointer to instance of type _0_DT (not function type)
1516
1517)
1518        Environment:
1519formal type is pointer to pointer to instance of type _0_DT (not function type)
1520actual type is pointer to float
1521actual expression:
1522        Address of:
1523          Member Expression, with field:
1524            a: float
1525          from aggregate:
1526            Applying untyped:
1527                Name: *?
1528            ...to:
1529                Variable Expression: _dst: pointer to instance of struct a_struct
1530--- results are
1531        pointer to float
1532
1533converting pointer to float
1534 to pointer to float
1535cost is( 0, 0, 0 )
1536actual expression:
1537        Member Expression, with field:
1538          a: float
1539        from aggregate:
1540          Variable Expression: _src: instance of struct a_struct
1541--- results are
1542        lvalue float
1543
1544converting lvalue float
1545 to float
1546cost is( 0, 0, 0 )
1547Case +++++++++++++
1548formals are:
1549        pointer to float
1550        float
1551actuals are:
1552                  Address of:
1553            Member Expression, with field:
1554              a: float
1555            from aggregate:
1556              Applying untyped:
1557                  Name: *?
1558              ...to:
1559                  Variable Expression: _dst: pointer to instance of struct a_struct
1560
1561                  Member Expression, with field:
1562            a: float
1563          from aggregate:
1564            Variable Expression: _src: instance of struct a_struct
1565
1566bindings are:
1567cost of conversion is:( 0, 0, 0 )
1568alternatives before prune:
1569Cost ( 0, 0, 0 ): Application of
1570  Variable Expression: ?=?: function
1571      with parameters
1572        pointer to float
1573        float
1574      returning
1575        float
1576
1577to arguments
1578      Address of:
1579      Member Expression, with field:
1580        a: float
1581      from aggregate:
1582        Applying untyped:
1583            Name: *?
1584        ...to:
1585            Variable Expression: _dst: pointer to instance of struct a_struct
1586
1587      Member Expression, with field:
1588      a: float
1589    from aggregate:
1590      Variable Expression: _src: instance of struct a_struct
1591
1592(types:
1593    float
1594)
1595Environment:
1596
1597there are 1 alternatives before elimination
1598there are 1 alternatives after elimination
1599alternatives before prune:
1600Cost ( 0, 0, 1 ): Cast of:
1601  Application of
1602    Variable Expression: ?=?: function
1603        with parameters
1604          pointer to float
1605          float
1606        returning
1607          float
1608
1609  to arguments
1610          Address of:
1611        Member Expression, with field:
1612          a: float
1613        from aggregate:
1614          Applying untyped:
1615              Name: *?
1616          ...to:
1617              Variable Expression: _dst: pointer to instance of struct a_struct
1618
1619          Member Expression, with field:
1620        a: float
1621      from aggregate:
1622        Variable Expression: _src: instance of struct a_struct
1623
1624
1625to:
1626  nothing
1627(types:
1628)
1629Environment:
1630
1631there are 1 alternatives before elimination
1632there are 1 alternatives after elimination
1633alternatives before prune:
1634Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct a_struct
1635(types:
1636    lvalue instance of struct a_struct
1637)
1638Environment:
1639
1640there are 1 alternatives before elimination
1641there are 1 alternatives after elimination
1642alternatives before prune:
1643Cost ( 0, 0, 0 ): Cast of:
1644  Variable Expression: _src: instance of struct a_struct
1645
1646to:
1647  instance of struct a_struct
1648(types:
1649    instance of struct a_struct
1650)
1651Environment:
1652
1653there are 1 alternatives before elimination
1654there are 1 alternatives after elimination
1655nameExpr is __builtin_memcpy
1656decl is __builtin_memcpy: function
1657    accepting unspecified arguments
1658  returning
1659    pointer to char
1660
1661newExpr is Variable Expression: __builtin_memcpy: function
1662      accepting unspecified arguments
1663    returning
1664      pointer to char
1665
1666
1667alternatives before prune:
1668Cost ( 0, 0, 0 ): Variable Expression: __builtin_memcpy: function
1669      accepting unspecified arguments
1670    returning
1671      pointer to char
1672
1673(types:
1674    pointer to function
1675          accepting unspecified arguments
1676        returning
1677          pointer to char
1678
1679)
1680Environment:
1681
1682there are 1 alternatives before elimination
1683there are 1 alternatives after elimination
1684alternatives before prune:
1685Cost ( 0, 0, 0 ): Variable Expression: _dst: pointer to instance of union b_struct
1686(types:
1687    lvalue pointer to instance of union b_struct
1688)
1689Environment:
1690
1691there are 1 alternatives before elimination
1692there are 1 alternatives after elimination
1693findSubExprs
1694Cost ( 0, 0, 0 ): Variable Expression: _dst: pointer to instance of union b_struct
1695(types:
1696    lvalue pointer to instance of union b_struct
1697)
1698Environment:
1699
1700alternatives before prune:
1701Cost ( 0, 0, 0 ): Variable Expression: _src: instance of union b_struct
1702(types:
1703    lvalue instance of union b_struct
1704)
1705Environment:
1706
1707there are 1 alternatives before elimination
1708there are 1 alternatives after elimination
1709alternatives before prune:
1710Cost ( 0, 0, 0 ): Address of:
1711  Variable Expression: _src: instance of union b_struct
1712(types:
1713    pointer to instance of union b_struct
1714)
1715Environment:
1716
1717there are 1 alternatives before elimination
1718there are 1 alternatives after elimination
1719findSubExprs
1720Cost ( 0, 0, 0 ): Address of:
1721  Variable Expression: _src: instance of union b_struct
1722(types:
1723    pointer to instance of union b_struct
1724)
1725Environment:
1726
1727alternatives before prune:
1728Cost ( 0, 0, 0 ): Sizeof Expression on: instance of union b_struct
1729(types:
1730    unsigned int
1731)
1732Environment:
1733
1734there are 1 alternatives before elimination
1735there are 1 alternatives after elimination
1736findSubExprs
1737Cost ( 0, 0, 0 ): Sizeof Expression on: instance of union b_struct
1738(types:
1739    unsigned int
1740)
1741Environment:
1742
1743working on alternative:
1744        Cost ( 0, 0, 0 ):         Variable Expression: __builtin_memcpy: function
1745              accepting unspecified arguments
1746            returning
1747              pointer to char
1748
1749(types:
1750            pointer to function
1751                  accepting unspecified arguments
1752                returning
1753                  pointer to char
1754
1755)
1756        Environment:
1757need assertions:
1758============= original indexer
1759===idTable===
1760===typeTable===
1761===structTable===
1762===enumTable===
1763===unionTable===
1764===contextTable===
1765============= new indexer
1766===idTable===
1767===typeTable===
1768===structTable===
1769===enumTable===
1770===unionTable===
1771===contextTable===
1772actual expression:
1773        Variable Expression: _dst: pointer to instance of union b_struct
1774--- results are
1775        lvalue pointer to instance of union b_struct
1776actual expression:
1777        Address of:
1778          Variable Expression: _src: instance of union b_struct
1779--- results are
1780        pointer to instance of union b_struct
1781actual expression:
1782        Sizeof Expression on: instance of union b_struct
1783--- results are
1784        unsigned int
1785Case +++++++++++++
1786formals are:
1787actuals are:
1788                  Variable Expression: _dst: pointer to instance of union b_struct
1789
1790                  Address of:
1791            Variable Expression: _src: instance of union b_struct
1792
1793                  Sizeof Expression on: instance of union b_struct
1794
1795bindings are:
1796cost of conversion is:( 3, 0, 0 )
1797alternatives before prune:
1798Cost ( 3, 0, 0 ): Application of
1799  Variable Expression: __builtin_memcpy: function
1800        accepting unspecified arguments
1801      returning
1802        pointer to char
1803
1804to arguments
1805      Variable Expression: _dst: pointer to instance of union b_struct
1806
1807      Address of:
1808      Variable Expression: _src: instance of union b_struct
1809
1810      Sizeof Expression on: instance of union b_struct
1811
1812(types:
1813    pointer to char
1814)
1815Environment:
1816
1817there are 1 alternatives before elimination
1818there are 1 alternatives after elimination
1819alternatives before prune:
1820Cost ( 0, 0, 1 ): Cast of:
1821  Application of
1822    Variable Expression: __builtin_memcpy: function
1823          accepting unspecified arguments
1824        returning
1825          pointer to char
1826
1827  to arguments
1828          Variable Expression: _dst: pointer to instance of union b_struct
1829
1830          Address of:
1831        Variable Expression: _src: instance of union b_struct
1832
1833          Sizeof Expression on: instance of union b_struct
1834
1835
1836to:
1837  nothing
1838(types:
1839)
1840Environment:
1841
1842there are 1 alternatives before elimination
1843there are 1 alternatives after elimination
1844alternatives before prune:
1845Cost ( 0, 0, 0 ): Variable Expression: _src: instance of union b_struct
1846(types:
1847    lvalue instance of union b_struct
1848)
1849Environment:
1850
1851there are 1 alternatives before elimination
1852there are 1 alternatives after elimination
1853alternatives before prune:
1854Cost ( 0, 0, 0 ): Cast of:
1855  Variable Expression: _src: instance of union b_struct
1856
1857to:
1858  instance of union b_struct
1859(types:
1860    instance of union b_struct
1861)
1862Environment:
1863
1864there are 1 alternatives before elimination
1865there are 1 alternatives after elimination
1866nameExpr is a
1867decl is a: function
1868  with parameters
1869    char
1870  returning
1871    nothing
1872
1873newExpr is Variable Expression: a: function
1874    with parameters
1875      char
1876    returning
1877      nothing
1878
1879
1880alternatives before prune:
1881Cost ( 0, 0, 0 ): Variable Expression: a: function
1882    with parameters
1883      char
1884    returning
1885      nothing
1886
1887(types:
1888    pointer to function
1889        with parameters
1890          char
1891        returning
1892          nothing
1893
1894)
1895Environment:
1896
1897there are 1 alternatives before elimination
1898there are 1 alternatives after elimination
1899nameExpr is the_struct
1900decl is the_struct: instance of struct a_struct
1901newExpr is Variable Expression: the_struct: instance of struct a_struct
1902
1903decl is the_struct: instance of union b_struct
1904newExpr is Variable Expression: the_struct: instance of union b_struct
1905
1906alternatives before prune:
1907Cost ( 0, 0, 0 ): Variable Expression: the_struct: instance of struct a_struct
1908(types:
1909    lvalue instance of struct a_struct
1910)
1911Environment:
1912
1913Cost ( 0, 0, 0 ): Variable Expression: the_struct: instance of union b_struct
1914(types:
1915    lvalue instance of union b_struct
1916)
1917Environment:
1918
1919there are 2 alternatives before elimination
1920there are 2 alternatives after elimination
1921alternatives before prune:
1922Cost ( 0, 0, 0 ): Member Expression, with field:
1923  a: pointer to signed int
1924from aggregate:
1925  Variable Expression: the_struct: instance of union b_struct
1926(types:
1927    lvalue pointer to signed int
1928)
1929Environment:
1930
1931Cost ( 0, 0, 0 ): Member Expression, with field:
1932  a: pointer to char
1933from aggregate:
1934  Variable Expression: the_struct: instance of union b_struct
1935(types:
1936    lvalue pointer to char
1937)
1938Environment:
1939
1940Cost ( 0, 0, 0 ): Member Expression, with field:
1941  a: pointer to float
1942from aggregate:
1943  Variable Expression: the_struct: instance of union b_struct
1944(types:
1945    lvalue pointer to float
1946)
1947Environment:
1948
1949Cost ( 0, 0, 0 ): Member Expression, with field:
1950  a: signed int
1951from aggregate:
1952  Variable Expression: the_struct: instance of struct a_struct
1953(types:
1954    lvalue signed int
1955)
1956Environment:
1957
1958Cost ( 0, 0, 0 ): Member Expression, with field:
1959  a: char
1960from aggregate:
1961  Variable Expression: the_struct: instance of struct a_struct
1962(types:
1963    lvalue char
1964)
1965Environment:
1966
1967Cost ( 0, 0, 0 ): Member Expression, with field:
1968  a: float
1969from aggregate:
1970  Variable Expression: the_struct: instance of struct a_struct
1971(types:
1972    lvalue float
1973)
1974Environment:
1975
1976there are 6 alternatives before elimination
1977there are 6 alternatives after elimination
1978findSubExprs
1979Cost ( 0, 0, 0 ): Member Expression, with field:
1980  a: signed int
1981from aggregate:
1982  Variable Expression: the_struct: instance of struct a_struct
1983(types:
1984    lvalue signed int
1985)
1986Environment:
1987
1988Cost ( 0, 0, 0 ): Member Expression, with field:
1989  a: float
1990from aggregate:
1991  Variable Expression: the_struct: instance of struct a_struct
1992(types:
1993    lvalue float
1994)
1995Environment:
1996
1997Cost ( 0, 0, 0 ): Member Expression, with field:
1998  a: char
1999from aggregate:
2000  Variable Expression: the_struct: instance of struct a_struct
2001(types:
2002    lvalue char
2003)
2004Environment:
2005
2006Cost ( 0, 0, 0 ): Member Expression, with field:
2007  a: pointer to signed int
2008from aggregate:
2009  Variable Expression: the_struct: instance of union b_struct
2010(types:
2011    lvalue pointer to signed int
2012)
2013Environment:
2014
2015Cost ( 0, 0, 0 ): Member Expression, with field:
2016  a: pointer to float
2017from aggregate:
2018  Variable Expression: the_struct: instance of union b_struct
2019(types:
2020    lvalue pointer to float
2021)
2022Environment:
2023
2024Cost ( 0, 0, 0 ): Member Expression, with field:
2025  a: pointer to char
2026from aggregate:
2027  Variable Expression: the_struct: instance of union b_struct
2028(types:
2029    lvalue pointer to char
2030)
2031Environment:
2032
2033working on alternative:
2034        Cost ( 0, 0, 0 ):         Variable Expression: a: function
2035            with parameters
2036              char
2037            returning
2038              nothing
2039
2040(types:
2041            pointer to function
2042                with parameters
2043                  char
2044                returning
2045                  nothing
2046
2047)
2048        Environment:
2049formal type is char
2050actual type is lvalue signed int
2051need assertions:
2052============= original indexer
2053===idTable===
2054===typeTable===
2055===structTable===
2056===enumTable===
2057===unionTable===
2058===contextTable===
2059============= new indexer
2060===idTable===
2061===typeTable===
2062===structTable===
2063===enumTable===
2064===unionTable===
2065===contextTable===
2066formal type is char
2067actual type is lvalue float
2068need assertions:
2069============= original indexer
2070===idTable===
2071===typeTable===
2072===structTable===
2073===enumTable===
2074===unionTable===
2075===contextTable===
2076============= new indexer
2077===idTable===
2078===typeTable===
2079===structTable===
2080===enumTable===
2081===unionTable===
2082===contextTable===
2083formal type is char
2084actual type is lvalue char
2085need assertions:
2086============= original indexer
2087===idTable===
2088===typeTable===
2089===structTable===
2090===enumTable===
2091===unionTable===
2092===contextTable===
2093============= new indexer
2094===idTable===
2095===typeTable===
2096===structTable===
2097===enumTable===
2098===unionTable===
2099===contextTable===
2100formal type is char
2101actual type is lvalue pointer to signed int
2102formal type is char
2103actual type is lvalue pointer to float
2104formal type is char
2105actual type is lvalue pointer to char
2106actual expression:
2107        Member Expression, with field:
2108          a: signed int
2109        from aggregate:
2110          Variable Expression: the_struct: instance of struct a_struct
2111--- results are
2112        lvalue signed int
2113
2114converting lvalue signed int
2115 to char
2116cost is( 1, 0, 0 )
2117Case +++++++++++++
2118formals are:
2119        char
2120actuals are:
2121                  Cast of:
2122            Member Expression, with field:
2123              a: signed int
2124            from aggregate:
2125              Variable Expression: the_struct: instance of struct a_struct
2126
2127          to:
2128            char
2129
2130bindings are:
2131cost of conversion is:( 1, 0, 0 )
2132actual expression:
2133        Member Expression, with field:
2134          a: float
2135        from aggregate:
2136          Variable Expression: the_struct: instance of struct a_struct
2137--- results are
2138        lvalue float
2139
2140converting lvalue float
2141 to char
2142cost is( 1, 0, 0 )
2143Case +++++++++++++
2144formals are:
2145        char
2146actuals are:
2147                  Cast of:
2148            Member Expression, with field:
2149              a: float
2150            from aggregate:
2151              Variable Expression: the_struct: instance of struct a_struct
2152
2153          to:
2154            char
2155
2156bindings are:
2157cost of conversion is:( 1, 0, 0 )
2158actual expression:
2159        Member Expression, with field:
2160          a: char
2161        from aggregate:
2162          Variable Expression: the_struct: instance of struct a_struct
2163--- results are
2164        lvalue char
2165
2166converting lvalue char
2167 to char
2168cost is( 0, 0, 0 )
2169Case +++++++++++++
2170formals are:
2171        char
2172actuals are:
2173                  Member Expression, with field:
2174            a: char
2175          from aggregate:
2176            Variable Expression: the_struct: instance of struct a_struct
2177
2178bindings are:
2179cost of conversion is:( 0, 0, 0 )
2180alternatives before prune:
2181Cost ( 1, 0, 0 ): Application of
2182  Variable Expression: a: function
2183      with parameters
2184        char
2185      returning
2186        nothing
2187
2188to arguments
2189      Cast of:
2190      Member Expression, with field:
2191        a: signed int
2192      from aggregate:
2193        Variable Expression: the_struct: instance of struct a_struct
2194
2195    to:
2196      char
2197
2198(types:
2199)
2200Environment:
2201
2202Cost ( 1, 0, 0 ): Application of
2203  Variable Expression: a: function
2204      with parameters
2205        char
2206      returning
2207        nothing
2208
2209to arguments
2210      Cast of:
2211      Member Expression, with field:
2212        a: float
2213      from aggregate:
2214        Variable Expression: the_struct: instance of struct a_struct
2215
2216    to:
2217      char
2218
2219(types:
2220)
2221Environment:
2222
2223Cost ( 0, 0, 0 ): Application of
2224  Variable Expression: a: function
2225      with parameters
2226        char
2227      returning
2228        nothing
2229
2230to arguments
2231      Member Expression, with field:
2232      a: char
2233    from aggregate:
2234      Variable Expression: the_struct: instance of struct a_struct
2235
2236(types:
2237)
2238Environment:
2239
2240marking ambiguous
2241cost ( 0, 0, 0 ) beats ( 1, 0, 0 )
2242there are 1 alternatives before elimination
2243there are 1 alternatives after elimination
2244alternatives before prune:
2245Cost ( 0, 0, 0 ): Cast of:
2246  Application of
2247    Variable Expression: a: function
2248        with parameters
2249          char
2250        returning
2251          nothing
2252
2253  to arguments
2254          Member Expression, with field:
2255        a: char
2256      from aggregate:
2257        Variable Expression: the_struct: instance of struct a_struct
2258
2259
2260to:
2261  nothing
2262(types:
2263)
2264Environment:
2265
2266there are 1 alternatives before elimination
2267there are 1 alternatives after elimination
2268nameExpr is b
2269decl is b: function
2270  with parameters
2271    signed int
2272  returning
2273    nothing
2274
2275newExpr is Variable Expression: b: function
2276    with parameters
2277      signed int
2278    returning
2279      nothing
2280
2281
2282alternatives before prune:
2283Cost ( 0, 0, 0 ): Variable Expression: b: function
2284    with parameters
2285      signed int
2286    returning
2287      nothing
2288
2289(types:
2290    pointer to function
2291        with parameters
2292          signed int
2293        returning
2294          nothing
2295
2296)
2297Environment:
2298
2299there are 1 alternatives before elimination
2300there are 1 alternatives after elimination
2301nameExpr is the_struct
2302decl is the_struct: instance of struct a_struct
2303newExpr is Variable Expression: the_struct: instance of struct a_struct
2304
2305decl is the_struct: instance of union b_struct
2306newExpr is Variable Expression: the_struct: instance of union b_struct
2307
2308alternatives before prune:
2309Cost ( 0, 0, 0 ): Variable Expression: the_struct: instance of struct a_struct
2310(types:
2311    lvalue instance of struct a_struct
2312)
2313Environment:
2314
2315Cost ( 0, 0, 0 ): Variable Expression: the_struct: instance of union b_struct
2316(types:
2317    lvalue instance of union b_struct
2318)
2319Environment:
2320
2321there are 2 alternatives before elimination
2322there are 2 alternatives after elimination
2323alternatives before prune:
2324Cost ( 0, 0, 0 ): Member Expression, with field:
2325  a: pointer to signed int
2326from aggregate:
2327  Variable Expression: the_struct: instance of union b_struct
2328(types:
2329    lvalue pointer to signed int
2330)
2331Environment:
2332
2333Cost ( 0, 0, 0 ): Member Expression, with field:
2334  a: pointer to char
2335from aggregate:
2336  Variable Expression: the_struct: instance of union b_struct
2337(types:
2338    lvalue pointer to char
2339)
2340Environment:
2341
2342Cost ( 0, 0, 0 ): Member Expression, with field:
2343  a: pointer to float
2344from aggregate:
2345  Variable Expression: the_struct: instance of union b_struct
2346(types:
2347    lvalue pointer to float
2348)
2349Environment:
2350
2351Cost ( 0, 0, 0 ): Member Expression, with field:
2352  a: signed int
2353from aggregate:
2354  Variable Expression: the_struct: instance of struct a_struct
2355(types:
2356    lvalue signed int
2357)
2358Environment:
2359
2360Cost ( 0, 0, 0 ): Member Expression, with field:
2361  a: char
2362from aggregate:
2363  Variable Expression: the_struct: instance of struct a_struct
2364(types:
2365    lvalue char
2366)
2367Environment:
2368
2369Cost ( 0, 0, 0 ): Member Expression, with field:
2370  a: float
2371from aggregate:
2372  Variable Expression: the_struct: instance of struct a_struct
2373(types:
2374    lvalue float
2375)
2376Environment:
2377
2378there are 6 alternatives before elimination
2379there are 6 alternatives after elimination
2380findSubExprs
2381Cost ( 0, 0, 0 ): Member Expression, with field:
2382  a: signed int
2383from aggregate:
2384  Variable Expression: the_struct: instance of struct a_struct
2385(types:
2386    lvalue signed int
2387)
2388Environment:
2389
2390Cost ( 0, 0, 0 ): Member Expression, with field:
2391  a: float
2392from aggregate:
2393  Variable Expression: the_struct: instance of struct a_struct
2394(types:
2395    lvalue float
2396)
2397Environment:
2398
2399Cost ( 0, 0, 0 ): Member Expression, with field:
2400  a: char
2401from aggregate:
2402  Variable Expression: the_struct: instance of struct a_struct
2403(types:
2404    lvalue char
2405)
2406Environment:
2407
2408Cost ( 0, 0, 0 ): Member Expression, with field:
2409  a: pointer to signed int
2410from aggregate:
2411  Variable Expression: the_struct: instance of union b_struct
2412(types:
2413    lvalue pointer to signed int
2414)
2415Environment:
2416
2417Cost ( 0, 0, 0 ): Member Expression, with field:
2418  a: pointer to float
2419from aggregate:
2420  Variable Expression: the_struct: instance of union b_struct
2421(types:
2422    lvalue pointer to float
2423)
2424Environment:
2425
2426Cost ( 0, 0, 0 ): Member Expression, with field:
2427  a: pointer to char
2428from aggregate:
2429  Variable Expression: the_struct: instance of union b_struct
2430(types:
2431    lvalue pointer to char
2432)
2433Environment:
2434
2435working on alternative:
2436        Cost ( 0, 0, 0 ):         Variable Expression: b: function
2437            with parameters
2438              signed int
2439            returning
2440              nothing
2441
2442(types:
2443            pointer to function
2444                with parameters
2445                  signed int
2446                returning
2447                  nothing
2448
2449)
2450        Environment:
2451formal type is signed int
2452actual type is lvalue signed int
2453need assertions:
2454============= original indexer
2455===idTable===
2456===typeTable===
2457===structTable===
2458===enumTable===
2459===unionTable===
2460===contextTable===
2461============= new indexer
2462===idTable===
2463===typeTable===
2464===structTable===
2465===enumTable===
2466===unionTable===
2467===contextTable===
2468formal type is signed int
2469actual type is lvalue float
2470need assertions:
2471============= original indexer
2472===idTable===
2473===typeTable===
2474===structTable===
2475===enumTable===
2476===unionTable===
2477===contextTable===
2478============= new indexer
2479===idTable===
2480===typeTable===
2481===structTable===
2482===enumTable===
2483===unionTable===
2484===contextTable===
2485formal type is signed int
2486actual type is lvalue char
2487need assertions:
2488============= original indexer
2489===idTable===
2490===typeTable===
2491===structTable===
2492===enumTable===
2493===unionTable===
2494===contextTable===
2495============= new indexer
2496===idTable===
2497===typeTable===
2498===structTable===
2499===enumTable===
2500===unionTable===
2501===contextTable===
2502formal type is signed int
2503actual type is lvalue pointer to signed int
2504formal type is signed int
2505actual type is lvalue pointer to float
2506formal type is signed int
2507actual type is lvalue pointer to char
2508actual expression:
2509        Member Expression, with field:
2510          a: signed int
2511        from aggregate:
2512          Variable Expression: the_struct: instance of struct a_struct
2513--- results are
2514        lvalue signed int
2515
2516converting lvalue signed int
2517 to signed int
2518cost is( 0, 0, 0 )
2519Case +++++++++++++
2520formals are:
2521        signed int
2522actuals are:
2523                  Member Expression, with field:
2524            a: signed int
2525          from aggregate:
2526            Variable Expression: the_struct: instance of struct a_struct
2527
2528bindings are:
2529cost of conversion is:( 0, 0, 0 )
2530actual expression:
2531        Member Expression, with field:
2532          a: float
2533        from aggregate:
2534          Variable Expression: the_struct: instance of struct a_struct
2535--- results are
2536        lvalue float
2537
2538converting lvalue float
2539 to signed int
2540cost is( 1, 0, 0 )
2541Case +++++++++++++
2542formals are:
2543        signed int
2544actuals are:
2545                  Cast of:
2546            Member Expression, with field:
2547              a: float
2548            from aggregate:
2549              Variable Expression: the_struct: instance of struct a_struct
2550
2551          to:
2552            signed int
2553
2554bindings are:
2555cost of conversion is:( 1, 0, 0 )
2556actual expression:
2557        Member Expression, with field:
2558          a: char
2559        from aggregate:
2560          Variable Expression: the_struct: instance of struct a_struct
2561--- results are
2562        lvalue char
2563
2564converting lvalue char
2565 to signed int
2566cost is( 0, 0, 4 )
2567Case +++++++++++++
2568formals are:
2569        signed int
2570actuals are:
2571                  Cast of:
2572            Member Expression, with field:
2573              a: char
2574            from aggregate:
2575              Variable Expression: the_struct: instance of struct a_struct
2576
2577          to:
2578            signed int
2579
2580bindings are:
2581cost of conversion is:( 0, 0, 4 )
2582alternatives before prune:
2583Cost ( 0, 0, 0 ): Application of
2584  Variable Expression: b: function
2585      with parameters
2586        signed int
2587      returning
2588        nothing
2589
2590to arguments
2591      Member Expression, with field:
2592      a: signed int
2593    from aggregate:
2594      Variable Expression: the_struct: instance of struct a_struct
2595
2596(types:
2597)
2598Environment:
2599
2600Cost ( 1, 0, 0 ): Application of
2601  Variable Expression: b: function
2602      with parameters
2603        signed int
2604      returning
2605        nothing
2606
2607to arguments
2608      Cast of:
2609      Member Expression, with field:
2610        a: float
2611      from aggregate:
2612        Variable Expression: the_struct: instance of struct a_struct
2613
2614    to:
2615      signed int
2616
2617(types:
2618)
2619Environment:
2620
2621Cost ( 0, 0, 4 ): Application of
2622  Variable Expression: b: function
2623      with parameters
2624        signed int
2625      returning
2626        nothing
2627
2628to arguments
2629      Cast of:
2630      Member Expression, with field:
2631        a: char
2632      from aggregate:
2633        Variable Expression: the_struct: instance of struct a_struct
2634
2635    to:
2636      signed int
2637
2638(types:
2639)
2640Environment:
2641
2642there are 1 alternatives before elimination
2643there are 1 alternatives after elimination
2644alternatives before prune:
2645Cost ( 0, 0, 0 ): Cast of:
2646  Application of
2647    Variable Expression: b: function
2648        with parameters
2649          signed int
2650        returning
2651          nothing
2652
2653  to arguments
2654          Member Expression, with field:
2655        a: signed int
2656      from aggregate:
2657        Variable Expression: the_struct: instance of struct a_struct
2658
2659
2660to:
2661  nothing
2662(types:
2663)
2664Environment:
2665
2666there are 1 alternatives before elimination
2667there are 1 alternatives after elimination
2668nameExpr is c
2669decl is c: function
2670  with parameters
2671    pointer to signed int
2672  returning
2673    nothing
2674
2675newExpr is Variable Expression: c: function
2676    with parameters
2677      pointer to signed int
2678    returning
2679      nothing
2680
2681
2682alternatives before prune:
2683Cost ( 0, 0, 0 ): Variable Expression: c: function
2684    with parameters
2685      pointer to signed int
2686    returning
2687      nothing
2688
2689(types:
2690    pointer to function
2691        with parameters
2692          pointer to signed int
2693        returning
2694          nothing
2695
2696)
2697Environment:
2698
2699there are 1 alternatives before elimination
2700there are 1 alternatives after elimination
2701nameExpr is the_struct
2702decl is the_struct: instance of struct a_struct
2703newExpr is Variable Expression: the_struct: instance of struct a_struct
2704
2705decl is the_struct: instance of union b_struct
2706newExpr is Variable Expression: the_struct: instance of union b_struct
2707
2708alternatives before prune:
2709Cost ( 0, 0, 0 ): Variable Expression: the_struct: instance of struct a_struct
2710(types:
2711    lvalue instance of struct a_struct
2712)
2713Environment:
2714
2715Cost ( 0, 0, 0 ): Variable Expression: the_struct: instance of union b_struct
2716(types:
2717    lvalue instance of union b_struct
2718)
2719Environment:
2720
2721there are 2 alternatives before elimination
2722there are 2 alternatives after elimination
2723alternatives before prune:
2724Cost ( 0, 0, 0 ): Member Expression, with field:
2725  a: pointer to signed int
2726from aggregate:
2727  Variable Expression: the_struct: instance of union b_struct
2728(types:
2729    lvalue pointer to signed int
2730)
2731Environment:
2732
2733Cost ( 0, 0, 0 ): Member Expression, with field:
2734  a: pointer to char
2735from aggregate:
2736  Variable Expression: the_struct: instance of union b_struct
2737(types:
2738    lvalue pointer to char
2739)
2740Environment:
2741
2742Cost ( 0, 0, 0 ): Member Expression, with field:
2743  a: pointer to float
2744from aggregate:
2745  Variable Expression: the_struct: instance of union b_struct
2746(types:
2747    lvalue pointer to float
2748)
2749Environment:
2750
2751Cost ( 0, 0, 0 ): Member Expression, with field:
2752  a: signed int
2753from aggregate:
2754  Variable Expression: the_struct: instance of struct a_struct
2755(types:
2756    lvalue signed int
2757)
2758Environment:
2759
2760Cost ( 0, 0, 0 ): Member Expression, with field:
2761  a: char
2762from aggregate:
2763  Variable Expression: the_struct: instance of struct a_struct
2764(types:
2765    lvalue char
2766)
2767Environment:
2768
2769Cost ( 0, 0, 0 ): Member Expression, with field:
2770  a: float
2771from aggregate:
2772  Variable Expression: the_struct: instance of struct a_struct
2773(types:
2774    lvalue float
2775)
2776Environment:
2777
2778there are 6 alternatives before elimination
2779there are 6 alternatives after elimination
2780findSubExprs
2781Cost ( 0, 0, 0 ): Member Expression, with field:
2782  a: signed int
2783from aggregate:
2784  Variable Expression: the_struct: instance of struct a_struct
2785(types:
2786    lvalue signed int
2787)
2788Environment:
2789
2790Cost ( 0, 0, 0 ): Member Expression, with field:
2791  a: float
2792from aggregate:
2793  Variable Expression: the_struct: instance of struct a_struct
2794(types:
2795    lvalue float
2796)
2797Environment:
2798
2799Cost ( 0, 0, 0 ): Member Expression, with field:
2800  a: char
2801from aggregate:
2802  Variable Expression: the_struct: instance of struct a_struct
2803(types:
2804    lvalue char
2805)
2806Environment:
2807
2808Cost ( 0, 0, 0 ): Member Expression, with field:
2809  a: pointer to signed int
2810from aggregate:
2811  Variable Expression: the_struct: instance of union b_struct
2812(types:
2813    lvalue pointer to signed int
2814)
2815Environment:
2816
2817Cost ( 0, 0, 0 ): Member Expression, with field:
2818  a: pointer to float
2819from aggregate:
2820  Variable Expression: the_struct: instance of union b_struct
2821(types:
2822    lvalue pointer to float
2823)
2824Environment:
2825
2826Cost ( 0, 0, 0 ): Member Expression, with field:
2827  a: pointer to char
2828from aggregate:
2829  Variable Expression: the_struct: instance of union b_struct
2830(types:
2831    lvalue pointer to char
2832)
2833Environment:
2834
2835working on alternative:
2836        Cost ( 0, 0, 0 ):         Variable Expression: c: function
2837            with parameters
2838              pointer to signed int
2839            returning
2840              nothing
2841
2842(types:
2843            pointer to function
2844                with parameters
2845                  pointer to signed int
2846                returning
2847                  nothing
2848
2849)
2850        Environment:
2851formal type is pointer to signed int
2852actual type is lvalue signed int
2853formal type is pointer to signed int
2854actual type is lvalue float
2855formal type is pointer to signed int
2856actual type is lvalue char
2857formal type is pointer to signed int
2858actual type is lvalue pointer to signed int
2859need assertions:
2860============= original indexer
2861===idTable===
2862===typeTable===
2863===structTable===
2864===enumTable===
2865===unionTable===
2866===contextTable===
2867============= new indexer
2868===idTable===
2869===typeTable===
2870===structTable===
2871===enumTable===
2872===unionTable===
2873===contextTable===
2874formal type is pointer to signed int
2875actual type is lvalue pointer to float
2876formal type is pointer to signed int
2877actual type is lvalue pointer to char
2878actual expression:
2879        Member Expression, with field:
2880          a: pointer to signed int
2881        from aggregate:
2882          Variable Expression: the_struct: instance of union b_struct
2883--- results are
2884        lvalue pointer to signed int
2885
2886converting lvalue pointer to signed int
2887 to pointer to signed int
2888cost is( 0, 0, 0 )
2889Case +++++++++++++
2890formals are:
2891        pointer to signed int
2892actuals are:
2893                  Member Expression, with field:
2894            a: pointer to signed int
2895          from aggregate:
2896            Variable Expression: the_struct: instance of union b_struct
2897
2898bindings are:
2899cost of conversion is:( 0, 0, 0 )
2900alternatives before prune:
2901Cost ( 0, 0, 0 ): Application of
2902  Variable Expression: c: function
2903      with parameters
2904        pointer to signed int
2905      returning
2906        nothing
2907
2908to arguments
2909      Member Expression, with field:
2910      a: pointer to signed int
2911    from aggregate:
2912      Variable Expression: the_struct: instance of union b_struct
2913
2914(types:
2915)
2916Environment:
2917
2918there are 1 alternatives before elimination
2919there are 1 alternatives after elimination
2920alternatives before prune:
2921Cost ( 0, 0, 0 ): Cast of:
2922  Application of
2923    Variable Expression: c: function
2924        with parameters
2925          pointer to signed int
2926        returning
2927          nothing
2928
2929  to arguments
2930          Member Expression, with field:
2931        a: pointer to signed int
2932      from aggregate:
2933        Variable Expression: the_struct: instance of union b_struct
2934
2935
2936to:
2937  nothing
2938(types:
2939)
2940Environment:
2941
2942there are 1 alternatives before elimination
2943there are 1 alternatives after elimination
2944nameExpr is d
2945decl is d: function
2946  with parameters
2947    pointer to float
2948  returning
2949    nothing
2950
2951newExpr is Variable Expression: d: function
2952    with parameters
2953      pointer to float
2954    returning
2955      nothing
2956
2957
2958alternatives before prune:
2959Cost ( 0, 0, 0 ): Variable Expression: d: function
2960    with parameters
2961      pointer to float
2962    returning
2963      nothing
2964
2965(types:
2966    pointer to function
2967        with parameters
2968          pointer to float
2969        returning
2970          nothing
2971
2972)
2973Environment:
2974
2975there are 1 alternatives before elimination
2976there are 1 alternatives after elimination
2977nameExpr is the_struct
2978decl is the_struct: instance of struct a_struct
2979newExpr is Variable Expression: the_struct: instance of struct a_struct
2980
2981decl is the_struct: instance of union b_struct
2982newExpr is Variable Expression: the_struct: instance of union b_struct
2983
2984alternatives before prune:
2985Cost ( 0, 0, 0 ): Variable Expression: the_struct: instance of struct a_struct
2986(types:
2987    lvalue instance of struct a_struct
2988)
2989Environment:
2990
2991Cost ( 0, 0, 0 ): Variable Expression: the_struct: instance of union b_struct
2992(types:
2993    lvalue instance of union b_struct
2994)
2995Environment:
2996
2997there are 2 alternatives before elimination
2998there are 2 alternatives after elimination
2999alternatives before prune:
3000Cost ( 0, 0, 0 ): Member Expression, with field:
3001  a: pointer to signed int
3002from aggregate:
3003  Variable Expression: the_struct: instance of union b_struct
3004(types:
3005    lvalue pointer to signed int
3006)
3007Environment:
3008
3009Cost ( 0, 0, 0 ): Member Expression, with field:
3010  a: pointer to char
3011from aggregate:
3012  Variable Expression: the_struct: instance of union b_struct
3013(types:
3014    lvalue pointer to char
3015)
3016Environment:
3017
3018Cost ( 0, 0, 0 ): Member Expression, with field:
3019  a: pointer to float
3020from aggregate:
3021  Variable Expression: the_struct: instance of union b_struct
3022(types:
3023    lvalue pointer to float
3024)
3025Environment:
3026
3027Cost ( 0, 0, 0 ): Member Expression, with field:
3028  a: signed int
3029from aggregate:
3030  Variable Expression: the_struct: instance of struct a_struct
3031(types:
3032    lvalue signed int
3033)
3034Environment:
3035
3036Cost ( 0, 0, 0 ): Member Expression, with field:
3037  a: char
3038from aggregate:
3039  Variable Expression: the_struct: instance of struct a_struct
3040(types:
3041    lvalue char
3042)
3043Environment:
3044
3045Cost ( 0, 0, 0 ): Member Expression, with field:
3046  a: float
3047from aggregate:
3048  Variable Expression: the_struct: instance of struct a_struct
3049(types:
3050    lvalue float
3051)
3052Environment:
3053
3054there are 6 alternatives before elimination
3055there are 6 alternatives after elimination
3056findSubExprs
3057Cost ( 0, 0, 0 ): Member Expression, with field:
3058  a: signed int
3059from aggregate:
3060  Variable Expression: the_struct: instance of struct a_struct
3061(types:
3062    lvalue signed int
3063)
3064Environment:
3065
3066Cost ( 0, 0, 0 ): Member Expression, with field:
3067  a: float
3068from aggregate:
3069  Variable Expression: the_struct: instance of struct a_struct
3070(types:
3071    lvalue float
3072)
3073Environment:
3074
3075Cost ( 0, 0, 0 ): Member Expression, with field:
3076  a: char
3077from aggregate:
3078  Variable Expression: the_struct: instance of struct a_struct
3079(types:
3080    lvalue char
3081)
3082Environment:
3083
3084Cost ( 0, 0, 0 ): Member Expression, with field:
3085  a: pointer to signed int
3086from aggregate:
3087  Variable Expression: the_struct: instance of union b_struct
3088(types:
3089    lvalue pointer to signed int
3090)
3091Environment:
3092
3093Cost ( 0, 0, 0 ): Member Expression, with field:
3094  a: pointer to float
3095from aggregate:
3096  Variable Expression: the_struct: instance of union b_struct
3097(types:
3098    lvalue pointer to float
3099)
3100Environment:
3101
3102Cost ( 0, 0, 0 ): Member Expression, with field:
3103  a: pointer to char
3104from aggregate:
3105  Variable Expression: the_struct: instance of union b_struct
3106(types:
3107    lvalue pointer to char
3108)
3109Environment:
3110
3111working on alternative:
3112        Cost ( 0, 0, 0 ):         Variable Expression: d: function
3113            with parameters
3114              pointer to float
3115            returning
3116              nothing
3117
3118(types:
3119            pointer to function
3120                with parameters
3121                  pointer to float
3122                returning
3123                  nothing
3124
3125)
3126        Environment:
3127formal type is pointer to float
3128actual type is lvalue signed int
3129formal type is pointer to float
3130actual type is lvalue float
3131formal type is pointer to float
3132actual type is lvalue char
3133formal type is pointer to float
3134actual type is lvalue pointer to signed int
3135formal type is pointer to float
3136actual type is lvalue pointer to float
3137need assertions:
3138============= original indexer
3139===idTable===
3140===typeTable===
3141===structTable===
3142===enumTable===
3143===unionTable===
3144===contextTable===
3145============= new indexer
3146===idTable===
3147===typeTable===
3148===structTable===
3149===enumTable===
3150===unionTable===
3151===contextTable===
3152formal type is pointer to float
3153actual type is lvalue pointer to char
3154actual expression:
3155        Member Expression, with field:
3156          a: pointer to float
3157        from aggregate:
3158          Variable Expression: the_struct: instance of union b_struct
3159--- results are
3160        lvalue pointer to float
3161
3162converting lvalue pointer to float
3163 to pointer to float
3164cost is( 0, 0, 0 )
3165Case +++++++++++++
3166formals are:
3167        pointer to float
3168actuals are:
3169                  Member Expression, with field:
3170            a: pointer to float
3171          from aggregate:
3172            Variable Expression: the_struct: instance of union b_struct
3173
3174bindings are:
3175cost of conversion is:( 0, 0, 0 )
3176alternatives before prune:
3177Cost ( 0, 0, 0 ): Application of
3178  Variable Expression: d: function
3179      with parameters
3180        pointer to float
3181      returning
3182        nothing
3183
3184to arguments
3185      Member Expression, with field:
3186      a: pointer to float
3187    from aggregate:
3188      Variable Expression: the_struct: instance of union b_struct
3189
3190(types:
3191)
3192Environment:
3193
3194there are 1 alternatives before elimination
3195there are 1 alternatives after elimination
3196alternatives before prune:
3197Cost ( 0, 0, 0 ): Cast of:
3198  Application of
3199    Variable Expression: d: function
3200        with parameters
3201          pointer to float
3202        returning
3203          nothing
3204
3205  to arguments
3206          Member Expression, with field:
3207        a: pointer to float
3208      from aggregate:
3209        Variable Expression: the_struct: instance of union b_struct
3210
3211
3212to:
3213  nothing
3214(types:
3215)
3216Environment:
3217
3218there are 1 alternatives before elimination
3219there are 1 alternatives after elimination
3220nameExpr is ?=?
3221decl is ?=?: forall
3222    DT: incomplete type
3223  function
3224  with parameters
3225    pointer to pointer to instance of type DT (not function type)
3226    pointer to instance of type DT (not function type)
3227  returning
3228    pointer to instance of type DT (not function type)
3229
3230newExpr is Variable Expression: ?=?: forall
3231      DT: incomplete type
3232    function
3233    with parameters
3234      pointer to pointer to instance of type DT (not function type)
3235      pointer to instance of type DT (not function type)
3236    returning
3237      pointer to instance of type DT (not function type)
3238
3239
3240decl is ?=?: automatically generated inline static function
3241  with parameters
3242    _dst: pointer to instance of struct a_struct
3243    _src: instance of struct a_struct
3244  returning
3245    instance of struct a_struct
3246  with body
3247    CompoundStmt
3248              Expression Statement:
3249          Application of
3250            Variable Expression: ?=?: function
3251                with parameters
3252                  pointer to signed int
3253                  signed int
3254                returning
3255                  signed int
3256
3257          to arguments
3258                          Address of:
3259                Member Expression, with field:
3260                  a: signed int
3261                from aggregate:
3262                  Applying untyped:
3263                      Name: *?
3264                  ...to:
3265                      Variable Expression: _dst: pointer to instance of struct a_struct
3266
3267                          Member Expression, with field:
3268                a: signed int
3269              from aggregate:
3270                Variable Expression: _src: instance of struct a_struct
3271
3272          with environment:
3273            Types:
3274            Non-types:
3275
3276              Expression Statement:
3277          Application of
3278            Variable Expression: ?=?: function
3279                with parameters
3280                  pointer to char
3281                  char
3282                returning
3283                  char
3284
3285          to arguments
3286                          Address of:
3287                Member Expression, with field:
3288                  a: char
3289                from aggregate:
3290                  Applying untyped:
3291                      Name: *?
3292                  ...to:
3293                      Variable Expression: _dst: pointer to instance of struct a_struct
3294
3295                          Member Expression, with field:
3296                a: char
3297              from aggregate:
3298                Variable Expression: _src: instance of struct a_struct
3299
3300          with environment:
3301            Types:
3302            Non-types:
3303
3304              Expression Statement:
3305          Application of
3306            Variable Expression: ?=?: function
3307                with parameters
3308                  pointer to float
3309                  float
3310                returning
3311                  float
3312
3313          to arguments
3314                          Address of:
3315                Member Expression, with field:
3316                  a: float
3317                from aggregate:
3318                  Applying untyped:
3319                      Name: *?
3320                  ...to:
3321                      Variable Expression: _dst: pointer to instance of struct a_struct
3322
3323                          Member Expression, with field:
3324                a: float
3325              from aggregate:
3326                Variable Expression: _src: instance of struct a_struct
3327
3328          with environment:
3329            Types:
3330            Non-types:
3331
3332              Return Statement, returning: Cast of:
3333  Variable Expression: _src: instance of struct a_struct
3334
3335to:
3336  instance of struct a_struct
3337with environment:
3338  Types:
3339  Non-types:
3340
3341
3342
3343newExpr is Variable Expression: ?=?: inline static function
3344    with parameters
3345      _dst: pointer to instance of struct a_struct
3346      _src: instance of struct a_struct
3347    returning
3348      instance of struct a_struct
3349
3350
3351decl is ?=?: automatically generated inline static function
3352  with parameters
3353    _dst: pointer to instance of struct c_struct
3354    _src: instance of struct c_struct
3355  returning
3356    instance of struct c_struct
3357  with body
3358    CompoundStmt
3359              Expression Statement:
3360          Applying untyped:
3361              Name: ?=?
3362          ...to:
3363              Address of:
3364                Member Expression, with field:
3365                  signed int
3366                from aggregate:
3367                  Applying untyped:
3368                      Name: *?
3369                  ...to:
3370                      Variable Expression: _dst: pointer to instance of struct c_struct
3371              Member Expression, with field:
3372                signed int
3373              from aggregate:
3374                Variable Expression: _src: instance of struct c_struct
3375
3376              Expression Statement:
3377          Applying untyped:
3378              Name: ?=?
3379          ...to:
3380              Address of:
3381                Member Expression, with field:
3382                  char
3383                from aggregate:
3384                  Applying untyped:
3385                      Name: *?
3386                  ...to:
3387                      Variable Expression: _dst: pointer to instance of struct c_struct
3388              Member Expression, with field:
3389                char
3390              from aggregate:
3391                Variable Expression: _src: instance of struct c_struct
3392
3393              Expression Statement:
3394          Applying untyped:
3395              Name: ?=?
3396          ...to:
3397              Address of:
3398                Member Expression, with field:
3399                  float
3400                from aggregate:
3401                  Applying untyped:
3402                      Name: *?
3403                  ...to:
3404                      Variable Expression: _dst: pointer to instance of struct c_struct
3405              Member Expression, with field:
3406                float
3407              from aggregate:
3408                Variable Expression: _src: instance of struct c_struct
3409
3410              Return Statement, returning: Variable Expression: _src: instance of struct c_struct
3411
3412
3413
3414newExpr is Variable Expression: ?=?: inline static function
3415    with parameters
3416      _dst: pointer to instance of struct c_struct
3417      _src: instance of struct c_struct
3418    returning
3419      instance of struct c_struct
3420
3421
3422decl is ?=?: automatically generated inline static function
3423  with parameters
3424    _dst: pointer to instance of union b_struct
3425    _src: instance of union b_struct
3426  returning
3427    instance of union b_struct
3428  with body
3429    CompoundStmt
3430              Expression Statement:
3431          Application of
3432            Variable Expression: __builtin_memcpy: function
3433                  accepting unspecified arguments
3434                returning
3435                  pointer to char
3436
3437          to arguments
3438                          Variable Expression: _dst: pointer to instance of union b_struct
3439
3440                          Address of:
3441                Variable Expression: _src: instance of union b_struct
3442
3443                          Sizeof Expression on: instance of union b_struct
3444
3445          with environment:
3446            Types:
3447            Non-types:
3448
3449              Return Statement, returning: Cast of:
3450  Variable Expression: _src: instance of union b_struct
3451
3452to:
3453  instance of union b_struct
3454with environment:
3455  Types:
3456  Non-types:
3457
3458
3459
3460newExpr is Variable Expression: ?=?: inline static function
3461    with parameters
3462      _dst: pointer to instance of union b_struct
3463      _src: instance of union b_struct
3464    returning
3465      instance of union b_struct
3466
3467
3468decl is ?=?: function
3469  with parameters
3470    pointer to char
3471    char
3472  returning
3473    char
3474
3475newExpr is Variable Expression: ?=?: function
3476    with parameters
3477      pointer to char
3478      char
3479    returning
3480      char
3481
3482
3483decl is ?=?: function
3484  with parameters
3485    pointer to float
3486    float
3487  returning
3488    float
3489
3490newExpr is Variable Expression: ?=?: function
3491    with parameters
3492      pointer to float
3493      float
3494    returning
3495      float
3496
3497
3498decl is ?=?: function
3499  with parameters
3500    pointer to signed int
3501    signed int
3502  returning
3503    signed int
3504
3505newExpr is Variable Expression: ?=?: function
3506    with parameters
3507      pointer to signed int
3508      signed int
3509    returning
3510      signed int
3511
3512
3513alternatives before prune:
3514Cost ( 0, 0, 0 ): Variable Expression: ?=?: forall
3515      DT: incomplete type
3516    function
3517    with parameters
3518      pointer to pointer to instance of type DT (not function type)
3519      pointer to instance of type DT (not function type)
3520    returning
3521      pointer to instance of type DT (not function type)
3522
3523(types:
3524    pointer to forall
3525          _0_DT: incomplete type
3526        function
3527        with parameters
3528          pointer to pointer to instance of type _0_DT (not function type)
3529          pointer to instance of type _0_DT (not function type)
3530        returning
3531          pointer to instance of type _0_DT (not function type)
3532
3533)
3534Environment:
3535
3536Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
3537    with parameters
3538      _dst: pointer to instance of struct a_struct
3539      _src: instance of struct a_struct
3540    returning
3541      instance of struct a_struct
3542
3543(types:
3544    pointer to function
3545        with parameters
3546          _dst: pointer to instance of struct a_struct
3547          _src: instance of struct a_struct
3548        returning
3549          instance of struct a_struct
3550
3551)
3552Environment:
3553
3554Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
3555    with parameters
3556      _dst: pointer to instance of struct c_struct
3557      _src: instance of struct c_struct
3558    returning
3559      instance of struct c_struct
3560
3561(types:
3562    pointer to function
3563        with parameters
3564          _dst: pointer to instance of struct c_struct
3565          _src: instance of struct c_struct
3566        returning
3567          instance of struct c_struct
3568
3569)
3570Environment:
3571
3572Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
3573    with parameters
3574      _dst: pointer to instance of union b_struct
3575      _src: instance of union b_struct
3576    returning
3577      instance of union b_struct
3578
3579(types:
3580    pointer to function
3581        with parameters
3582          _dst: pointer to instance of union b_struct
3583          _src: instance of union b_struct
3584        returning
3585          instance of union b_struct
3586
3587)
3588Environment:
3589
3590Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
3591    with parameters
3592      pointer to char
3593      char
3594    returning
3595      char
3596
3597(types:
3598    pointer to function
3599        with parameters
3600          pointer to char
3601          char
3602        returning
3603          char
3604
3605)
3606Environment:
3607
3608Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
3609    with parameters
3610      pointer to float
3611      float
3612    returning
3613      float
3614
3615(types:
3616    pointer to function
3617        with parameters
3618          pointer to float
3619          float
3620        returning
3621          float
3622
3623)
3624Environment:
3625
3626Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
3627    with parameters
3628      pointer to signed int
3629      signed int
3630    returning
3631      signed int
3632
3633(types:
3634    pointer to function
3635        with parameters
3636          pointer to signed int
3637          signed int
3638        returning
3639          signed int
3640
3641)
3642Environment:
3643
3644there are 7 alternatives before elimination
3645there are 7 alternatives after elimination
3646alternatives before prune:
3647Cost ( 0, 0, 0 ): Member Expression, with field:
3648  signed int
3649from aggregate:
3650  Applying untyped:
3651      Name: *?
3652  ...to:
3653      Variable Expression: _dst: pointer to instance of struct c_struct
3654(types:
3655    lvalue signed int
3656)
3657Environment:
3658
3659there are 1 alternatives before elimination
3660there are 1 alternatives after elimination
3661alternatives before prune:
3662Cost ( 0, 0, 0 ): Address of:
3663  Member Expression, with field:
3664    signed int
3665  from aggregate:
3666    Applying untyped:
3667        Name: *?
3668    ...to:
3669        Variable Expression: _dst: pointer to instance of struct c_struct
3670(types:
3671    pointer to signed int
3672)
3673Environment:
3674
3675there are 1 alternatives before elimination
3676there are 1 alternatives after elimination
3677findSubExprs
3678Cost ( 0, 0, 0 ): Address of:
3679  Member Expression, with field:
3680    signed int
3681  from aggregate:
3682    Applying untyped:
3683        Name: *?
3684    ...to:
3685        Variable Expression: _dst: pointer to instance of struct c_struct
3686(types:
3687    pointer to signed int
3688)
3689Environment:
3690
3691alternatives before prune:
3692Cost ( 0, 0, 0 ): Member Expression, with field:
3693  signed int
3694from aggregate:
3695  Variable Expression: _src: instance of struct c_struct
3696(types:
3697    lvalue signed int
3698)
3699Environment:
3700
3701there are 1 alternatives before elimination
3702there are 1 alternatives after elimination
3703findSubExprs
3704Cost ( 0, 0, 0 ): Member Expression, with field:
3705  signed int
3706from aggregate:
3707  Variable Expression: _src: instance of struct c_struct
3708(types:
3709    lvalue signed int
3710)
3711Environment:
3712
3713working on alternative:
3714        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
3715            with parameters
3716              pointer to signed int
3717              signed int
3718            returning
3719              signed int
3720
3721(types:
3722            pointer to function
3723                with parameters
3724                  pointer to signed int
3725                  signed int
3726                returning
3727                  signed int
3728
3729)
3730        Environment:
3731formal type is pointer to signed int
3732actual type is pointer to signed int
3733formal type is signed int
3734actual type is lvalue signed int
3735need assertions:
3736============= original indexer
3737===idTable===
3738===typeTable===
3739===structTable===
3740===enumTable===
3741===unionTable===
3742===contextTable===
3743============= new indexer
3744===idTable===
3745===typeTable===
3746===structTable===
3747===enumTable===
3748===unionTable===
3749===contextTable===
3750working on alternative:
3751        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
3752            with parameters
3753              pointer to float
3754              float
3755            returning
3756              float
3757
3758(types:
3759            pointer to function
3760                with parameters
3761                  pointer to float
3762                  float
3763                returning
3764                  float
3765
3766)
3767        Environment:
3768formal type is pointer to float
3769actual type is pointer to signed int
3770working on alternative:
3771        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
3772            with parameters
3773              pointer to char
3774              char
3775            returning
3776              char
3777
3778(types:
3779            pointer to function
3780                with parameters
3781                  pointer to char
3782                  char
3783                returning
3784                  char
3785
3786)
3787        Environment:
3788formal type is pointer to char
3789actual type is pointer to signed int
3790working on alternative:
3791        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
3792            with parameters
3793              _dst: pointer to instance of union b_struct
3794              _src: instance of union b_struct
3795            returning
3796              instance of union b_struct
3797
3798(types:
3799            pointer to function
3800                with parameters
3801                  _dst: pointer to instance of union b_struct
3802                  _src: instance of union b_struct
3803                returning
3804                  instance of union b_struct
3805
3806)
3807        Environment:
3808formal type is pointer to instance of union b_struct
3809actual type is pointer to signed int
3810working on alternative:
3811        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
3812            with parameters
3813              _dst: pointer to instance of struct c_struct
3814              _src: instance of struct c_struct
3815            returning
3816              instance of struct c_struct
3817
3818(types:
3819            pointer to function
3820                with parameters
3821                  _dst: pointer to instance of struct c_struct
3822                  _src: instance of struct c_struct
3823                returning
3824                  instance of struct c_struct
3825
3826)
3827        Environment:
3828formal type is pointer to instance of struct c_struct
3829actual type is pointer to signed int
3830working on alternative:
3831        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
3832            with parameters
3833              _dst: pointer to instance of struct a_struct
3834              _src: instance of struct a_struct
3835            returning
3836              instance of struct a_struct
3837
3838(types:
3839            pointer to function
3840                with parameters
3841                  _dst: pointer to instance of struct a_struct
3842                  _src: instance of struct a_struct
3843                returning
3844                  instance of struct a_struct
3845
3846)
3847        Environment:
3848formal type is pointer to instance of struct a_struct
3849actual type is pointer to signed int
3850working on alternative:
3851        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: forall
3852              DT: incomplete type
3853            function
3854            with parameters
3855              pointer to pointer to instance of type DT (not function type)
3856              pointer to instance of type DT (not function type)
3857            returning
3858              pointer to instance of type DT (not function type)
3859
3860(types:
3861            pointer to forall
3862                  _0_DT: incomplete type
3863                function
3864                with parameters
3865                  pointer to pointer to instance of type _0_DT (not function type)
3866                  pointer to instance of type _0_DT (not function type)
3867                returning
3868                  pointer to instance of type _0_DT (not function type)
3869
3870)
3871        Environment:
3872formal type is pointer to pointer to instance of type _0_DT (not function type)
3873actual type is pointer to signed int
3874actual expression:
3875        Address of:
3876          Member Expression, with field:
3877            signed int
3878          from aggregate:
3879            Applying untyped:
3880                Name: *?
3881            ...to:
3882                Variable Expression: _dst: pointer to instance of struct c_struct
3883--- results are
3884        pointer to signed int
3885
3886converting pointer to signed int
3887 to pointer to signed int
3888cost is( 0, 0, 0 )
3889actual expression:
3890        Member Expression, with field:
3891          signed int
3892        from aggregate:
3893          Variable Expression: _src: instance of struct c_struct
3894--- results are
3895        lvalue signed int
3896
3897converting lvalue signed int
3898 to signed int
3899cost is( 0, 0, 0 )
3900Case +++++++++++++
3901formals are:
3902        pointer to signed int
3903        signed int
3904actuals are:
3905                  Address of:
3906            Member Expression, with field:
3907              signed int
3908            from aggregate:
3909              Applying untyped:
3910                  Name: *?
3911              ...to:
3912                  Variable Expression: _dst: pointer to instance of struct c_struct
3913
3914                  Member Expression, with field:
3915            signed int
3916          from aggregate:
3917            Variable Expression: _src: instance of struct c_struct
3918
3919bindings are:
3920cost of conversion is:( 0, 0, 0 )
3921alternatives before prune:
3922Cost ( 0, 0, 0 ): Application of
3923  Variable Expression: ?=?: function
3924      with parameters
3925        pointer to signed int
3926        signed int
3927      returning
3928        signed int
3929
3930to arguments
3931      Address of:
3932      Member Expression, with field:
3933        signed int
3934      from aggregate:
3935        Applying untyped:
3936            Name: *?
3937        ...to:
3938            Variable Expression: _dst: pointer to instance of struct c_struct
3939
3940      Member Expression, with field:
3941      signed int
3942    from aggregate:
3943      Variable Expression: _src: instance of struct c_struct
3944
3945(types:
3946    signed int
3947)
3948Environment:
3949
3950there are 1 alternatives before elimination
3951there are 1 alternatives after elimination
3952alternatives before prune:
3953Cost ( 0, 0, 1 ): Cast of:
3954  Application of
3955    Variable Expression: ?=?: function
3956        with parameters
3957          pointer to signed int
3958          signed int
3959        returning
3960          signed int
3961
3962  to arguments
3963          Address of:
3964        Member Expression, with field:
3965          signed int
3966        from aggregate:
3967          Applying untyped:
3968              Name: *?
3969          ...to:
3970              Variable Expression: _dst: pointer to instance of struct c_struct
3971
3972          Member Expression, with field:
3973        signed int
3974      from aggregate:
3975        Variable Expression: _src: instance of struct c_struct
3976
3977
3978to:
3979  nothing
3980(types:
3981)
3982Environment:
3983
3984there are 1 alternatives before elimination
3985there are 1 alternatives after elimination
3986nameExpr is ?=?
3987decl is ?=?: forall
3988    DT: incomplete type
3989  function
3990  with parameters
3991    pointer to pointer to instance of type DT (not function type)
3992    pointer to instance of type DT (not function type)
3993  returning
3994    pointer to instance of type DT (not function type)
3995
3996newExpr is Variable Expression: ?=?: forall
3997      DT: incomplete type
3998    function
3999    with parameters
4000      pointer to pointer to instance of type DT (not function type)
4001      pointer to instance of type DT (not function type)
4002    returning
4003      pointer to instance of type DT (not function type)
4004
4005
4006decl is ?=?: automatically generated inline static function
4007  with parameters
4008    _dst: pointer to instance of struct a_struct
4009    _src: instance of struct a_struct
4010  returning
4011    instance of struct a_struct
4012  with body
4013    CompoundStmt
4014              Expression Statement:
4015          Application of
4016            Variable Expression: ?=?: function
4017                with parameters
4018                  pointer to signed int
4019                  signed int
4020                returning
4021                  signed int
4022
4023          to arguments
4024                          Address of:
4025                Member Expression, with field:
4026                  a: signed int
4027                from aggregate:
4028                  Applying untyped:
4029                      Name: *?
4030                  ...to:
4031                      Variable Expression: _dst: pointer to instance of struct a_struct
4032
4033                          Member Expression, with field:
4034                a: signed int
4035              from aggregate:
4036                Variable Expression: _src: instance of struct a_struct
4037
4038          with environment:
4039            Types:
4040            Non-types:
4041
4042              Expression Statement:
4043          Application of
4044            Variable Expression: ?=?: function
4045                with parameters
4046                  pointer to char
4047                  char
4048                returning
4049                  char
4050
4051          to arguments
4052                          Address of:
4053                Member Expression, with field:
4054                  a: char
4055                from aggregate:
4056                  Applying untyped:
4057                      Name: *?
4058                  ...to:
4059                      Variable Expression: _dst: pointer to instance of struct a_struct
4060
4061                          Member Expression, with field:
4062                a: char
4063              from aggregate:
4064                Variable Expression: _src: instance of struct a_struct
4065
4066          with environment:
4067            Types:
4068            Non-types:
4069
4070              Expression Statement:
4071          Application of
4072            Variable Expression: ?=?: function
4073                with parameters
4074                  pointer to float
4075                  float
4076                returning
4077                  float
4078
4079          to arguments
4080                          Address of:
4081                Member Expression, with field:
4082                  a: float
4083                from aggregate:
4084                  Applying untyped:
4085                      Name: *?
4086                  ...to:
4087                      Variable Expression: _dst: pointer to instance of struct a_struct
4088
4089                          Member Expression, with field:
4090                a: float
4091              from aggregate:
4092                Variable Expression: _src: instance of struct a_struct
4093
4094          with environment:
4095            Types:
4096            Non-types:
4097
4098              Return Statement, returning: Cast of:
4099  Variable Expression: _src: instance of struct a_struct
4100
4101to:
4102  instance of struct a_struct
4103with environment:
4104  Types:
4105  Non-types:
4106
4107
4108
4109newExpr is Variable Expression: ?=?: inline static function
4110    with parameters
4111      _dst: pointer to instance of struct a_struct
4112      _src: instance of struct a_struct
4113    returning
4114      instance of struct a_struct
4115
4116
4117decl is ?=?: automatically generated inline static function
4118  with parameters
4119    _dst: pointer to instance of struct c_struct
4120    _src: instance of struct c_struct
4121  returning
4122    instance of struct c_struct
4123  with body
4124    CompoundStmt
4125              Expression Statement:
4126          Application of
4127            Variable Expression: ?=?: function
4128                with parameters
4129                  pointer to signed int
4130                  signed int
4131                returning
4132                  signed int
4133
4134          to arguments
4135                          Address of:
4136                Member Expression, with field:
4137                  signed int
4138                from aggregate:
4139                  Applying untyped:
4140                      Name: *?
4141                  ...to:
4142                      Variable Expression: _dst: pointer to instance of struct c_struct
4143
4144                          Member Expression, with field:
4145                signed int
4146              from aggregate:
4147                Variable Expression: _src: instance of struct c_struct
4148
4149          with environment:
4150            Types:
4151            Non-types:
4152
4153              Expression Statement:
4154          Applying untyped:
4155              Name: ?=?
4156          ...to:
4157              Address of:
4158                Member Expression, with field:
4159                  char
4160                from aggregate:
4161                  Applying untyped:
4162                      Name: *?
4163                  ...to:
4164                      Variable Expression: _dst: pointer to instance of struct c_struct
4165              Member Expression, with field:
4166                char
4167              from aggregate:
4168                Variable Expression: _src: instance of struct c_struct
4169
4170              Expression Statement:
4171          Applying untyped:
4172              Name: ?=?
4173          ...to:
4174              Address of:
4175                Member Expression, with field:
4176                  float
4177                from aggregate:
4178                  Applying untyped:
4179                      Name: *?
4180                  ...to:
4181                      Variable Expression: _dst: pointer to instance of struct c_struct
4182              Member Expression, with field:
4183                float
4184              from aggregate:
4185                Variable Expression: _src: instance of struct c_struct
4186
4187              Return Statement, returning: Variable Expression: _src: instance of struct c_struct
4188
4189
4190
4191newExpr is Variable Expression: ?=?: inline static function
4192    with parameters
4193      _dst: pointer to instance of struct c_struct
4194      _src: instance of struct c_struct
4195    returning
4196      instance of struct c_struct
4197
4198
4199decl is ?=?: automatically generated inline static function
4200  with parameters
4201    _dst: pointer to instance of union b_struct
4202    _src: instance of union b_struct
4203  returning
4204    instance of union b_struct
4205  with body
4206    CompoundStmt
4207              Expression Statement:
4208          Application of
4209            Variable Expression: __builtin_memcpy: function
4210                  accepting unspecified arguments
4211                returning
4212                  pointer to char
4213
4214          to arguments
4215                          Variable Expression: _dst: pointer to instance of union b_struct
4216
4217                          Address of:
4218                Variable Expression: _src: instance of union b_struct
4219
4220                          Sizeof Expression on: instance of union b_struct
4221
4222          with environment:
4223            Types:
4224            Non-types:
4225
4226              Return Statement, returning: Cast of:
4227  Variable Expression: _src: instance of union b_struct
4228
4229to:
4230  instance of union b_struct
4231with environment:
4232  Types:
4233  Non-types:
4234
4235
4236
4237newExpr is Variable Expression: ?=?: inline static function
4238    with parameters
4239      _dst: pointer to instance of union b_struct
4240      _src: instance of union b_struct
4241    returning
4242      instance of union b_struct
4243
4244
4245decl is ?=?: function
4246  with parameters
4247    pointer to char
4248    char
4249  returning
4250    char
4251
4252newExpr is Variable Expression: ?=?: function
4253    with parameters
4254      pointer to char
4255      char
4256    returning
4257      char
4258
4259
4260decl is ?=?: function
4261  with parameters
4262    pointer to float
4263    float
4264  returning
4265    float
4266
4267newExpr is Variable Expression: ?=?: function
4268    with parameters
4269      pointer to float
4270      float
4271    returning
4272      float
4273
4274
4275decl is ?=?: function
4276  with parameters
4277    pointer to signed int
4278    signed int
4279  returning
4280    signed int
4281
4282newExpr is Variable Expression: ?=?: function
4283    with parameters
4284      pointer to signed int
4285      signed int
4286    returning
4287      signed int
4288
4289
4290alternatives before prune:
4291Cost ( 0, 0, 0 ): Variable Expression: ?=?: forall
4292      DT: incomplete type
4293    function
4294    with parameters
4295      pointer to pointer to instance of type DT (not function type)
4296      pointer to instance of type DT (not function type)
4297    returning
4298      pointer to instance of type DT (not function type)
4299
4300(types:
4301    pointer to forall
4302          _0_DT: incomplete type
4303        function
4304        with parameters
4305          pointer to pointer to instance of type _0_DT (not function type)
4306          pointer to instance of type _0_DT (not function type)
4307        returning
4308          pointer to instance of type _0_DT (not function type)
4309
4310)
4311Environment:
4312
4313Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
4314    with parameters
4315      _dst: pointer to instance of struct a_struct
4316      _src: instance of struct a_struct
4317    returning
4318      instance of struct a_struct
4319
4320(types:
4321    pointer to function
4322        with parameters
4323          _dst: pointer to instance of struct a_struct
4324          _src: instance of struct a_struct
4325        returning
4326          instance of struct a_struct
4327
4328)
4329Environment:
4330
4331Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
4332    with parameters
4333      _dst: pointer to instance of struct c_struct
4334      _src: instance of struct c_struct
4335    returning
4336      instance of struct c_struct
4337
4338(types:
4339    pointer to function
4340        with parameters
4341          _dst: pointer to instance of struct c_struct
4342          _src: instance of struct c_struct
4343        returning
4344          instance of struct c_struct
4345
4346)
4347Environment:
4348
4349Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
4350    with parameters
4351      _dst: pointer to instance of union b_struct
4352      _src: instance of union b_struct
4353    returning
4354      instance of union b_struct
4355
4356(types:
4357    pointer to function
4358        with parameters
4359          _dst: pointer to instance of union b_struct
4360          _src: instance of union b_struct
4361        returning
4362          instance of union b_struct
4363
4364)
4365Environment:
4366
4367Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
4368    with parameters
4369      pointer to char
4370      char
4371    returning
4372      char
4373
4374(types:
4375    pointer to function
4376        with parameters
4377          pointer to char
4378          char
4379        returning
4380          char
4381
4382)
4383Environment:
4384
4385Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
4386    with parameters
4387      pointer to float
4388      float
4389    returning
4390      float
4391
4392(types:
4393    pointer to function
4394        with parameters
4395          pointer to float
4396          float
4397        returning
4398          float
4399
4400)
4401Environment:
4402
4403Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
4404    with parameters
4405      pointer to signed int
4406      signed int
4407    returning
4408      signed int
4409
4410(types:
4411    pointer to function
4412        with parameters
4413          pointer to signed int
4414          signed int
4415        returning
4416          signed int
4417
4418)
4419Environment:
4420
4421there are 7 alternatives before elimination
4422there are 7 alternatives after elimination
4423alternatives before prune:
4424Cost ( 0, 0, 0 ): Member Expression, with field:
4425  char
4426from aggregate:
4427  Applying untyped:
4428      Name: *?
4429  ...to:
4430      Variable Expression: _dst: pointer to instance of struct c_struct
4431(types:
4432    lvalue char
4433)
4434Environment:
4435
4436there are 1 alternatives before elimination
4437there are 1 alternatives after elimination
4438alternatives before prune:
4439Cost ( 0, 0, 0 ): Address of:
4440  Member Expression, with field:
4441    char
4442  from aggregate:
4443    Applying untyped:
4444        Name: *?
4445    ...to:
4446        Variable Expression: _dst: pointer to instance of struct c_struct
4447(types:
4448    pointer to char
4449)
4450Environment:
4451
4452there are 1 alternatives before elimination
4453there are 1 alternatives after elimination
4454findSubExprs
4455Cost ( 0, 0, 0 ): Address of:
4456  Member Expression, with field:
4457    char
4458  from aggregate:
4459    Applying untyped:
4460        Name: *?
4461    ...to:
4462        Variable Expression: _dst: pointer to instance of struct c_struct
4463(types:
4464    pointer to char
4465)
4466Environment:
4467
4468alternatives before prune:
4469Cost ( 0, 0, 0 ): Member Expression, with field:
4470  char
4471from aggregate:
4472  Variable Expression: _src: instance of struct c_struct
4473(types:
4474    lvalue char
4475)
4476Environment:
4477
4478there are 1 alternatives before elimination
4479there are 1 alternatives after elimination
4480findSubExprs
4481Cost ( 0, 0, 0 ): Member Expression, with field:
4482  char
4483from aggregate:
4484  Variable Expression: _src: instance of struct c_struct
4485(types:
4486    lvalue char
4487)
4488Environment:
4489
4490working on alternative:
4491        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
4492            with parameters
4493              pointer to signed int
4494              signed int
4495            returning
4496              signed int
4497
4498(types:
4499            pointer to function
4500                with parameters
4501                  pointer to signed int
4502                  signed int
4503                returning
4504                  signed int
4505
4506)
4507        Environment:
4508formal type is pointer to signed int
4509actual type is pointer to char
4510working on alternative:
4511        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
4512            with parameters
4513              pointer to float
4514              float
4515            returning
4516              float
4517
4518(types:
4519            pointer to function
4520                with parameters
4521                  pointer to float
4522                  float
4523                returning
4524                  float
4525
4526)
4527        Environment:
4528formal type is pointer to float
4529actual type is pointer to char
4530working on alternative:
4531        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
4532            with parameters
4533              pointer to char
4534              char
4535            returning
4536              char
4537
4538(types:
4539            pointer to function
4540                with parameters
4541                  pointer to char
4542                  char
4543                returning
4544                  char
4545
4546)
4547        Environment:
4548formal type is pointer to char
4549actual type is pointer to char
4550formal type is char
4551actual type is lvalue char
4552need assertions:
4553============= original indexer
4554===idTable===
4555===typeTable===
4556===structTable===
4557===enumTable===
4558===unionTable===
4559===contextTable===
4560============= new indexer
4561===idTable===
4562===typeTable===
4563===structTable===
4564===enumTable===
4565===unionTable===
4566===contextTable===
4567working on alternative:
4568        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
4569            with parameters
4570              _dst: pointer to instance of union b_struct
4571              _src: instance of union b_struct
4572            returning
4573              instance of union b_struct
4574
4575(types:
4576            pointer to function
4577                with parameters
4578                  _dst: pointer to instance of union b_struct
4579                  _src: instance of union b_struct
4580                returning
4581                  instance of union b_struct
4582
4583)
4584        Environment:
4585formal type is pointer to instance of union b_struct
4586actual type is pointer to char
4587working on alternative:
4588        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
4589            with parameters
4590              _dst: pointer to instance of struct c_struct
4591              _src: instance of struct c_struct
4592            returning
4593              instance of struct c_struct
4594
4595(types:
4596            pointer to function
4597                with parameters
4598                  _dst: pointer to instance of struct c_struct
4599                  _src: instance of struct c_struct
4600                returning
4601                  instance of struct c_struct
4602
4603)
4604        Environment:
4605formal type is pointer to instance of struct c_struct
4606actual type is pointer to char
4607working on alternative:
4608        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
4609            with parameters
4610              _dst: pointer to instance of struct a_struct
4611              _src: instance of struct a_struct
4612            returning
4613              instance of struct a_struct
4614
4615(types:
4616            pointer to function
4617                with parameters
4618                  _dst: pointer to instance of struct a_struct
4619                  _src: instance of struct a_struct
4620                returning
4621                  instance of struct a_struct
4622
4623)
4624        Environment:
4625formal type is pointer to instance of struct a_struct
4626actual type is pointer to char
4627working on alternative:
4628        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: forall
4629              DT: incomplete type
4630            function
4631            with parameters
4632              pointer to pointer to instance of type DT (not function type)
4633              pointer to instance of type DT (not function type)
4634            returning
4635              pointer to instance of type DT (not function type)
4636
4637(types:
4638            pointer to forall
4639                  _0_DT: incomplete type
4640                function
4641                with parameters
4642                  pointer to pointer to instance of type _0_DT (not function type)
4643                  pointer to instance of type _0_DT (not function type)
4644                returning
4645                  pointer to instance of type _0_DT (not function type)
4646
4647)
4648        Environment:
4649formal type is pointer to pointer to instance of type _0_DT (not function type)
4650actual type is pointer to char
4651actual expression:
4652        Address of:
4653          Member Expression, with field:
4654            char
4655          from aggregate:
4656            Applying untyped:
4657                Name: *?
4658            ...to:
4659                Variable Expression: _dst: pointer to instance of struct c_struct
4660--- results are
4661        pointer to char
4662
4663converting pointer to char
4664 to pointer to char
4665cost is( 0, 0, 0 )
4666actual expression:
4667        Member Expression, with field:
4668          char
4669        from aggregate:
4670          Variable Expression: _src: instance of struct c_struct
4671--- results are
4672        lvalue char
4673
4674converting lvalue char
4675 to char
4676cost is( 0, 0, 0 )
4677Case +++++++++++++
4678formals are:
4679        pointer to char
4680        char
4681actuals are:
4682                  Address of:
4683            Member Expression, with field:
4684              char
4685            from aggregate:
4686              Applying untyped:
4687                  Name: *?
4688              ...to:
4689                  Variable Expression: _dst: pointer to instance of struct c_struct
4690
4691                  Member Expression, with field:
4692            char
4693          from aggregate:
4694            Variable Expression: _src: instance of struct c_struct
4695
4696bindings are:
4697cost of conversion is:( 0, 0, 0 )
4698alternatives before prune:
4699Cost ( 0, 0, 0 ): Application of
4700  Variable Expression: ?=?: function
4701      with parameters
4702        pointer to char
4703        char
4704      returning
4705        char
4706
4707to arguments
4708      Address of:
4709      Member Expression, with field:
4710        char
4711      from aggregate:
4712        Applying untyped:
4713            Name: *?
4714        ...to:
4715            Variable Expression: _dst: pointer to instance of struct c_struct
4716
4717      Member Expression, with field:
4718      char
4719    from aggregate:
4720      Variable Expression: _src: instance of struct c_struct
4721
4722(types:
4723    char
4724)
4725Environment:
4726
4727there are 1 alternatives before elimination
4728there are 1 alternatives after elimination
4729alternatives before prune:
4730Cost ( 0, 0, 1 ): Cast of:
4731  Application of
4732    Variable Expression: ?=?: function
4733        with parameters
4734          pointer to char
4735          char
4736        returning
4737          char
4738
4739  to arguments
4740          Address of:
4741        Member Expression, with field:
4742          char
4743        from aggregate:
4744          Applying untyped:
4745              Name: *?
4746          ...to:
4747              Variable Expression: _dst: pointer to instance of struct c_struct
4748
4749          Member Expression, with field:
4750        char
4751      from aggregate:
4752        Variable Expression: _src: instance of struct c_struct
4753
4754
4755to:
4756  nothing
4757(types:
4758)
4759Environment:
4760
4761there are 1 alternatives before elimination
4762there are 1 alternatives after elimination
4763nameExpr is ?=?
4764decl is ?=?: forall
4765    DT: incomplete type
4766  function
4767  with parameters
4768    pointer to pointer to instance of type DT (not function type)
4769    pointer to instance of type DT (not function type)
4770  returning
4771    pointer to instance of type DT (not function type)
4772
4773newExpr is Variable Expression: ?=?: forall
4774      DT: incomplete type
4775    function
4776    with parameters
4777      pointer to pointer to instance of type DT (not function type)
4778      pointer to instance of type DT (not function type)
4779    returning
4780      pointer to instance of type DT (not function type)
4781
4782
4783decl is ?=?: automatically generated inline static function
4784  with parameters
4785    _dst: pointer to instance of struct a_struct
4786    _src: instance of struct a_struct
4787  returning
4788    instance of struct a_struct
4789  with body
4790    CompoundStmt
4791              Expression Statement:
4792          Application of
4793            Variable Expression: ?=?: function
4794                with parameters
4795                  pointer to signed int
4796                  signed int
4797                returning
4798                  signed int
4799
4800          to arguments
4801                          Address of:
4802                Member Expression, with field:
4803                  a: signed int
4804                from aggregate:
4805                  Applying untyped:
4806                      Name: *?
4807                  ...to:
4808                      Variable Expression: _dst: pointer to instance of struct a_struct
4809
4810                          Member Expression, with field:
4811                a: signed int
4812              from aggregate:
4813                Variable Expression: _src: instance of struct a_struct
4814
4815          with environment:
4816            Types:
4817            Non-types:
4818
4819              Expression Statement:
4820          Application of
4821            Variable Expression: ?=?: function
4822                with parameters
4823                  pointer to char
4824                  char
4825                returning
4826                  char
4827
4828          to arguments
4829                          Address of:
4830                Member Expression, with field:
4831                  a: char
4832                from aggregate:
4833                  Applying untyped:
4834                      Name: *?
4835                  ...to:
4836                      Variable Expression: _dst: pointer to instance of struct a_struct
4837
4838                          Member Expression, with field:
4839                a: char
4840              from aggregate:
4841                Variable Expression: _src: instance of struct a_struct
4842
4843          with environment:
4844            Types:
4845            Non-types:
4846
4847              Expression Statement:
4848          Application of
4849            Variable Expression: ?=?: function
4850                with parameters
4851                  pointer to float
4852                  float
4853                returning
4854                  float
4855
4856          to arguments
4857                          Address of:
4858                Member Expression, with field:
4859                  a: float
4860                from aggregate:
4861                  Applying untyped:
4862                      Name: *?
4863                  ...to:
4864                      Variable Expression: _dst: pointer to instance of struct a_struct
4865
4866                          Member Expression, with field:
4867                a: float
4868              from aggregate:
4869                Variable Expression: _src: instance of struct a_struct
4870
4871          with environment:
4872            Types:
4873            Non-types:
4874
4875              Return Statement, returning: Cast of:
4876  Variable Expression: _src: instance of struct a_struct
4877
4878to:
4879  instance of struct a_struct
4880with environment:
4881  Types:
4882  Non-types:
4883
4884
4885
4886newExpr is Variable Expression: ?=?: inline static function
4887    with parameters
4888      _dst: pointer to instance of struct a_struct
4889      _src: instance of struct a_struct
4890    returning
4891      instance of struct a_struct
4892
4893
4894decl is ?=?: automatically generated inline static function
4895  with parameters
4896    _dst: pointer to instance of struct c_struct
4897    _src: instance of struct c_struct
4898  returning
4899    instance of struct c_struct
4900  with body
4901    CompoundStmt
4902              Expression Statement:
4903          Application of
4904            Variable Expression: ?=?: function
4905                with parameters
4906                  pointer to signed int
4907                  signed int
4908                returning
4909                  signed int
4910
4911          to arguments
4912                          Address of:
4913                Member Expression, with field:
4914                  signed int
4915                from aggregate:
4916                  Applying untyped:
4917                      Name: *?
4918                  ...to:
4919                      Variable Expression: _dst: pointer to instance of struct c_struct
4920
4921                          Member Expression, with field:
4922                signed int
4923              from aggregate:
4924                Variable Expression: _src: instance of struct c_struct
4925
4926          with environment:
4927            Types:
4928            Non-types:
4929
4930              Expression Statement:
4931          Application of
4932            Variable Expression: ?=?: function
4933                with parameters
4934                  pointer to char
4935                  char
4936                returning
4937                  char
4938
4939          to arguments
4940                          Address of:
4941                Member Expression, with field:
4942                  char
4943                from aggregate:
4944                  Applying untyped:
4945                      Name: *?
4946                  ...to:
4947                      Variable Expression: _dst: pointer to instance of struct c_struct
4948
4949                          Member Expression, with field:
4950                char
4951              from aggregate:
4952                Variable Expression: _src: instance of struct c_struct
4953
4954          with environment:
4955            Types:
4956            Non-types:
4957
4958              Expression Statement:
4959          Applying untyped:
4960              Name: ?=?
4961          ...to:
4962              Address of:
4963                Member Expression, with field:
4964                  float
4965                from aggregate:
4966                  Applying untyped:
4967                      Name: *?
4968                  ...to:
4969                      Variable Expression: _dst: pointer to instance of struct c_struct
4970              Member Expression, with field:
4971                float
4972              from aggregate:
4973                Variable Expression: _src: instance of struct c_struct
4974
4975              Return Statement, returning: Variable Expression: _src: instance of struct c_struct
4976
4977
4978
4979newExpr is Variable Expression: ?=?: inline static function
4980    with parameters
4981      _dst: pointer to instance of struct c_struct
4982      _src: instance of struct c_struct
4983    returning
4984      instance of struct c_struct
4985
4986
4987decl is ?=?: automatically generated inline static function
4988  with parameters
4989    _dst: pointer to instance of union b_struct
4990    _src: instance of union b_struct
4991  returning
4992    instance of union b_struct
4993  with body
4994    CompoundStmt
4995              Expression Statement:
4996          Application of
4997            Variable Expression: __builtin_memcpy: function
4998                  accepting unspecified arguments
4999                returning
5000                  pointer to char
5001
5002          to arguments
5003                          Variable Expression: _dst: pointer to instance of union b_struct
5004
5005                          Address of:
5006                Variable Expression: _src: instance of union b_struct
5007
5008                          Sizeof Expression on: instance of union b_struct
5009
5010          with environment:
5011            Types:
5012            Non-types:
5013
5014              Return Statement, returning: Cast of:
5015  Variable Expression: _src: instance of union b_struct
5016
5017to:
5018  instance of union b_struct
5019with environment:
5020  Types:
5021  Non-types:
5022
5023
5024
5025newExpr is Variable Expression: ?=?: inline static function
5026    with parameters
5027      _dst: pointer to instance of union b_struct
5028      _src: instance of union b_struct
5029    returning
5030      instance of union b_struct
5031
5032
5033decl is ?=?: function
5034  with parameters
5035    pointer to char
5036    char
5037  returning
5038    char
5039
5040newExpr is Variable Expression: ?=?: function
5041    with parameters
5042      pointer to char
5043      char
5044    returning
5045      char
5046
5047
5048decl is ?=?: function
5049  with parameters
5050    pointer to float
5051    float
5052  returning
5053    float
5054
5055newExpr is Variable Expression: ?=?: function
5056    with parameters
5057      pointer to float
5058      float
5059    returning
5060      float
5061
5062
5063decl is ?=?: function
5064  with parameters
5065    pointer to signed int
5066    signed int
5067  returning
5068    signed int
5069
5070newExpr is Variable Expression: ?=?: function
5071    with parameters
5072      pointer to signed int
5073      signed int
5074    returning
5075      signed int
5076
5077
5078alternatives before prune:
5079Cost ( 0, 0, 0 ): Variable Expression: ?=?: forall
5080      DT: incomplete type
5081    function
5082    with parameters
5083      pointer to pointer to instance of type DT (not function type)
5084      pointer to instance of type DT (not function type)
5085    returning
5086      pointer to instance of type DT (not function type)
5087
5088(types:
5089    pointer to forall
5090          _0_DT: incomplete type
5091        function
5092        with parameters
5093          pointer to pointer to instance of type _0_DT (not function type)
5094          pointer to instance of type _0_DT (not function type)
5095        returning
5096          pointer to instance of type _0_DT (not function type)
5097
5098)
5099Environment:
5100
5101Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
5102    with parameters
5103      _dst: pointer to instance of struct a_struct
5104      _src: instance of struct a_struct
5105    returning
5106      instance of struct a_struct
5107
5108(types:
5109    pointer to function
5110        with parameters
5111          _dst: pointer to instance of struct a_struct
5112          _src: instance of struct a_struct
5113        returning
5114          instance of struct a_struct
5115
5116)
5117Environment:
5118
5119Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
5120    with parameters
5121      _dst: pointer to instance of struct c_struct
5122      _src: instance of struct c_struct
5123    returning
5124      instance of struct c_struct
5125
5126(types:
5127    pointer to function
5128        with parameters
5129          _dst: pointer to instance of struct c_struct
5130          _src: instance of struct c_struct
5131        returning
5132          instance of struct c_struct
5133
5134)
5135Environment:
5136
5137Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
5138    with parameters
5139      _dst: pointer to instance of union b_struct
5140      _src: instance of union b_struct
5141    returning
5142      instance of union b_struct
5143
5144(types:
5145    pointer to function
5146        with parameters
5147          _dst: pointer to instance of union b_struct
5148          _src: instance of union b_struct
5149        returning
5150          instance of union b_struct
5151
5152)
5153Environment:
5154
5155Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
5156    with parameters
5157      pointer to char
5158      char
5159    returning
5160      char
5161
5162(types:
5163    pointer to function
5164        with parameters
5165          pointer to char
5166          char
5167        returning
5168          char
5169
5170)
5171Environment:
5172
5173Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
5174    with parameters
5175      pointer to float
5176      float
5177    returning
5178      float
5179
5180(types:
5181    pointer to function
5182        with parameters
5183          pointer to float
5184          float
5185        returning
5186          float
5187
5188)
5189Environment:
5190
5191Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
5192    with parameters
5193      pointer to signed int
5194      signed int
5195    returning
5196      signed int
5197
5198(types:
5199    pointer to function
5200        with parameters
5201          pointer to signed int
5202          signed int
5203        returning
5204          signed int
5205
5206)
5207Environment:
5208
5209there are 7 alternatives before elimination
5210there are 7 alternatives after elimination
5211alternatives before prune:
5212Cost ( 0, 0, 0 ): Member Expression, with field:
5213  float
5214from aggregate:
5215  Applying untyped:
5216      Name: *?
5217  ...to:
5218      Variable Expression: _dst: pointer to instance of struct c_struct
5219(types:
5220    lvalue float
5221)
5222Environment:
5223
5224there are 1 alternatives before elimination
5225there are 1 alternatives after elimination
5226alternatives before prune:
5227Cost ( 0, 0, 0 ): Address of:
5228  Member Expression, with field:
5229    float
5230  from aggregate:
5231    Applying untyped:
5232        Name: *?
5233    ...to:
5234        Variable Expression: _dst: pointer to instance of struct c_struct
5235(types:
5236    pointer to float
5237)
5238Environment:
5239
5240there are 1 alternatives before elimination
5241there are 1 alternatives after elimination
5242findSubExprs
5243Cost ( 0, 0, 0 ): Address of:
5244  Member Expression, with field:
5245    float
5246  from aggregate:
5247    Applying untyped:
5248        Name: *?
5249    ...to:
5250        Variable Expression: _dst: pointer to instance of struct c_struct
5251(types:
5252    pointer to float
5253)
5254Environment:
5255
5256alternatives before prune:
5257Cost ( 0, 0, 0 ): Member Expression, with field:
5258  float
5259from aggregate:
5260  Variable Expression: _src: instance of struct c_struct
5261(types:
5262    lvalue float
5263)
5264Environment:
5265
5266there are 1 alternatives before elimination
5267there are 1 alternatives after elimination
5268findSubExprs
5269Cost ( 0, 0, 0 ): Member Expression, with field:
5270  float
5271from aggregate:
5272  Variable Expression: _src: instance of struct c_struct
5273(types:
5274    lvalue float
5275)
5276Environment:
5277
5278working on alternative:
5279        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
5280            with parameters
5281              pointer to signed int
5282              signed int
5283            returning
5284              signed int
5285
5286(types:
5287            pointer to function
5288                with parameters
5289                  pointer to signed int
5290                  signed int
5291                returning
5292                  signed int
5293
5294)
5295        Environment:
5296formal type is pointer to signed int
5297actual type is pointer to float
5298working on alternative:
5299        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
5300            with parameters
5301              pointer to float
5302              float
5303            returning
5304              float
5305
5306(types:
5307            pointer to function
5308                with parameters
5309                  pointer to float
5310                  float
5311                returning
5312                  float
5313
5314)
5315        Environment:
5316formal type is pointer to float
5317actual type is pointer to float
5318formal type is float
5319actual type is lvalue float
5320need assertions:
5321============= original indexer
5322===idTable===
5323===typeTable===
5324===structTable===
5325===enumTable===
5326===unionTable===
5327===contextTable===
5328============= new indexer
5329===idTable===
5330===typeTable===
5331===structTable===
5332===enumTable===
5333===unionTable===
5334===contextTable===
5335working on alternative:
5336        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
5337            with parameters
5338              pointer to char
5339              char
5340            returning
5341              char
5342
5343(types:
5344            pointer to function
5345                with parameters
5346                  pointer to char
5347                  char
5348                returning
5349                  char
5350
5351)
5352        Environment:
5353formal type is pointer to char
5354actual type is pointer to float
5355working on alternative:
5356        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
5357            with parameters
5358              _dst: pointer to instance of union b_struct
5359              _src: instance of union b_struct
5360            returning
5361              instance of union b_struct
5362
5363(types:
5364            pointer to function
5365                with parameters
5366                  _dst: pointer to instance of union b_struct
5367                  _src: instance of union b_struct
5368                returning
5369                  instance of union b_struct
5370
5371)
5372        Environment:
5373formal type is pointer to instance of union b_struct
5374actual type is pointer to float
5375working on alternative:
5376        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
5377            with parameters
5378              _dst: pointer to instance of struct c_struct
5379              _src: instance of struct c_struct
5380            returning
5381              instance of struct c_struct
5382
5383(types:
5384            pointer to function
5385                with parameters
5386                  _dst: pointer to instance of struct c_struct
5387                  _src: instance of struct c_struct
5388                returning
5389                  instance of struct c_struct
5390
5391)
5392        Environment:
5393formal type is pointer to instance of struct c_struct
5394actual type is pointer to float
5395working on alternative:
5396        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
5397            with parameters
5398              _dst: pointer to instance of struct a_struct
5399              _src: instance of struct a_struct
5400            returning
5401              instance of struct a_struct
5402
5403(types:
5404            pointer to function
5405                with parameters
5406                  _dst: pointer to instance of struct a_struct
5407                  _src: instance of struct a_struct
5408                returning
5409                  instance of struct a_struct
5410
5411)
5412        Environment:
5413formal type is pointer to instance of struct a_struct
5414actual type is pointer to float
5415working on alternative:
5416        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: forall
5417              DT: incomplete type
5418            function
5419            with parameters
5420              pointer to pointer to instance of type DT (not function type)
5421              pointer to instance of type DT (not function type)
5422            returning
5423              pointer to instance of type DT (not function type)
5424
5425(types:
5426            pointer to forall
5427                  _0_DT: incomplete type
5428                function
5429                with parameters
5430                  pointer to pointer to instance of type _0_DT (not function type)
5431                  pointer to instance of type _0_DT (not function type)
5432                returning
5433                  pointer to instance of type _0_DT (not function type)
5434
5435)
5436        Environment:
5437formal type is pointer to pointer to instance of type _0_DT (not function type)
5438actual type is pointer to float
5439actual expression:
5440        Address of:
5441          Member Expression, with field:
5442            float
5443          from aggregate:
5444            Applying untyped:
5445                Name: *?
5446            ...to:
5447                Variable Expression: _dst: pointer to instance of struct c_struct
5448--- results are
5449        pointer to float
5450
5451converting pointer to float
5452 to pointer to float
5453cost is( 0, 0, 0 )
5454actual expression:
5455        Member Expression, with field:
5456          float
5457        from aggregate:
5458          Variable Expression: _src: instance of struct c_struct
5459--- results are
5460        lvalue float
5461
5462converting lvalue float
5463 to float
5464cost is( 0, 0, 0 )
5465Case +++++++++++++
5466formals are:
5467        pointer to float
5468        float
5469actuals are:
5470                  Address of:
5471            Member Expression, with field:
5472              float
5473            from aggregate:
5474              Applying untyped:
5475                  Name: *?
5476              ...to:
5477                  Variable Expression: _dst: pointer to instance of struct c_struct
5478
5479                  Member Expression, with field:
5480            float
5481          from aggregate:
5482            Variable Expression: _src: instance of struct c_struct
5483
5484bindings are:
5485cost of conversion is:( 0, 0, 0 )
5486alternatives before prune:
5487Cost ( 0, 0, 0 ): Application of
5488  Variable Expression: ?=?: function
5489      with parameters
5490        pointer to float
5491        float
5492      returning
5493        float
5494
5495to arguments
5496      Address of:
5497      Member Expression, with field:
5498        float
5499      from aggregate:
5500        Applying untyped:
5501            Name: *?
5502        ...to:
5503            Variable Expression: _dst: pointer to instance of struct c_struct
5504
5505      Member Expression, with field:
5506      float
5507    from aggregate:
5508      Variable Expression: _src: instance of struct c_struct
5509
5510(types:
5511    float
5512)
5513Environment:
5514
5515there are 1 alternatives before elimination
5516there are 1 alternatives after elimination
5517alternatives before prune:
5518Cost ( 0, 0, 1 ): Cast of:
5519  Application of
5520    Variable Expression: ?=?: function
5521        with parameters
5522          pointer to float
5523          float
5524        returning
5525          float
5526
5527  to arguments
5528          Address of:
5529        Member Expression, with field:
5530          float
5531        from aggregate:
5532          Applying untyped:
5533              Name: *?
5534          ...to:
5535              Variable Expression: _dst: pointer to instance of struct c_struct
5536
5537          Member Expression, with field:
5538        float
5539      from aggregate:
5540        Variable Expression: _src: instance of struct c_struct
5541
5542
5543to:
5544  nothing
5545(types:
5546)
5547Environment:
5548
5549there are 1 alternatives before elimination
5550there are 1 alternatives after elimination
5551alternatives before prune:
5552Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct c_struct
5553(types:
5554    lvalue instance of struct c_struct
5555)
5556Environment:
5557
5558there are 1 alternatives before elimination
5559there are 1 alternatives after elimination
5560alternatives before prune:
5561Cost ( 0, 0, 0 ): Cast of:
5562  Variable Expression: _src: instance of struct c_struct
5563
5564to:
5565  instance of struct c_struct
5566(types:
5567    instance of struct c_struct
5568)
5569Environment:
5570
5571there are 1 alternatives before elimination
5572there are 1 alternatives after elimination
5573nameExpr is __builtin_memcpy
5574decl is __builtin_memcpy: function
5575    accepting unspecified arguments
5576  returning
5577    pointer to char
5578
5579newExpr is Variable Expression: __builtin_memcpy: function
5580      accepting unspecified arguments
5581    returning
5582      pointer to char
5583
5584
5585alternatives before prune:
5586Cost ( 0, 0, 0 ): Variable Expression: __builtin_memcpy: function
5587      accepting unspecified arguments
5588    returning
5589      pointer to char
5590
5591(types:
5592    pointer to function
5593          accepting unspecified arguments
5594        returning
5595          pointer to char
5596
5597)
5598Environment:
5599
5600there are 1 alternatives before elimination
5601there are 1 alternatives after elimination
5602alternatives before prune:
5603Cost ( 0, 0, 0 ): Variable Expression: _dst: pointer to instance of union d_struct
5604(types:
5605    lvalue pointer to instance of union d_struct
5606)
5607Environment:
5608
5609there are 1 alternatives before elimination
5610there are 1 alternatives after elimination
5611findSubExprs
5612Cost ( 0, 0, 0 ): Variable Expression: _dst: pointer to instance of union d_struct
5613(types:
5614    lvalue pointer to instance of union d_struct
5615)
5616Environment:
5617
5618alternatives before prune:
5619Cost ( 0, 0, 0 ): Variable Expression: _src: instance of union d_struct
5620(types:
5621    lvalue instance of union d_struct
5622)
5623Environment:
5624
5625there are 1 alternatives before elimination
5626there are 1 alternatives after elimination
5627alternatives before prune:
5628Cost ( 0, 0, 0 ): Address of:
5629  Variable Expression: _src: instance of union d_struct
5630(types:
5631    pointer to instance of union d_struct
5632)
5633Environment:
5634
5635there are 1 alternatives before elimination
5636there are 1 alternatives after elimination
5637findSubExprs
5638Cost ( 0, 0, 0 ): Address of:
5639  Variable Expression: _src: instance of union d_struct
5640(types:
5641    pointer to instance of union d_struct
5642)
5643Environment:
5644
5645alternatives before prune:
5646Cost ( 0, 0, 0 ): Sizeof Expression on: instance of union d_struct
5647(types:
5648    unsigned int
5649)
5650Environment:
5651
5652there are 1 alternatives before elimination
5653there are 1 alternatives after elimination
5654findSubExprs
5655Cost ( 0, 0, 0 ): Sizeof Expression on: instance of union d_struct
5656(types:
5657    unsigned int
5658)
5659Environment:
5660
5661working on alternative:
5662        Cost ( 0, 0, 0 ):         Variable Expression: __builtin_memcpy: function
5663              accepting unspecified arguments
5664            returning
5665              pointer to char
5666
5667(types:
5668            pointer to function
5669                  accepting unspecified arguments
5670                returning
5671                  pointer to char
5672
5673)
5674        Environment:
5675need assertions:
5676============= original indexer
5677===idTable===
5678===typeTable===
5679===structTable===
5680===enumTable===
5681===unionTable===
5682===contextTable===
5683============= new indexer
5684===idTable===
5685===typeTable===
5686===structTable===
5687===enumTable===
5688===unionTable===
5689===contextTable===
5690actual expression:
5691        Variable Expression: _dst: pointer to instance of union d_struct
5692--- results are
5693        lvalue pointer to instance of union d_struct
5694actual expression:
5695        Address of:
5696          Variable Expression: _src: instance of union d_struct
5697--- results are
5698        pointer to instance of union d_struct
5699actual expression:
5700        Sizeof Expression on: instance of union d_struct
5701--- results are
5702        unsigned int
5703Case +++++++++++++
5704formals are:
5705actuals are:
5706                  Variable Expression: _dst: pointer to instance of union d_struct
5707
5708                  Address of:
5709            Variable Expression: _src: instance of union d_struct
5710
5711                  Sizeof Expression on: instance of union d_struct
5712
5713bindings are:
5714cost of conversion is:( 3, 0, 0 )
5715alternatives before prune:
5716Cost ( 3, 0, 0 ): Application of
5717  Variable Expression: __builtin_memcpy: function
5718        accepting unspecified arguments
5719      returning
5720        pointer to char
5721
5722to arguments
5723      Variable Expression: _dst: pointer to instance of union d_struct
5724
5725      Address of:
5726      Variable Expression: _src: instance of union d_struct
5727
5728      Sizeof Expression on: instance of union d_struct
5729
5730(types:
5731    pointer to char
5732)
5733Environment:
5734
5735there are 1 alternatives before elimination
5736there are 1 alternatives after elimination
5737alternatives before prune:
5738Cost ( 0, 0, 1 ): Cast of:
5739  Application of
5740    Variable Expression: __builtin_memcpy: function
5741          accepting unspecified arguments
5742        returning
5743          pointer to char
5744
5745  to arguments
5746          Variable Expression: _dst: pointer to instance of union d_struct
5747
5748          Address of:
5749        Variable Expression: _src: instance of union d_struct
5750
5751          Sizeof Expression on: instance of union d_struct
5752
5753
5754to:
5755  nothing
5756(types:
5757)
5758Environment:
5759
5760there are 1 alternatives before elimination
5761there are 1 alternatives after elimination
5762alternatives before prune:
5763Cost ( 0, 0, 0 ): Variable Expression: _src: instance of union d_struct
5764(types:
5765    lvalue instance of union d_struct
5766)
5767Environment:
5768
5769there are 1 alternatives before elimination
5770there are 1 alternatives after elimination
5771alternatives before prune:
5772Cost ( 0, 0, 0 ): Cast of:
5773  Variable Expression: _src: instance of union d_struct
5774
5775to:
5776  instance of union d_struct
5777(types:
5778    instance of union d_struct
5779)
5780Environment:
5781
5782there are 1 alternatives before elimination
5783there are 1 alternatives after elimination
5784nameExpr is a
5785decl is a: function
5786  with parameters
5787    char
5788  returning
5789    nothing
5790
5791newExpr is Variable Expression: a: function
5792    with parameters
5793      char
5794    returning
5795      nothing
5796
5797
5798alternatives before prune:
5799Cost ( 0, 0, 0 ): Variable Expression: a: function
5800    with parameters
5801      char
5802    returning
5803      nothing
5804
5805(types:
5806    pointer to function
5807        with parameters
5808          char
5809        returning
5810          nothing
5811
5812)
5813Environment:
5814
5815there are 1 alternatives before elimination
5816there are 1 alternatives after elimination
5817nameExpr is x
5818decl is x: instance of struct c_struct
5819newExpr is Variable Expression: x: instance of struct c_struct
5820
5821decl is x: instance of union d_struct
5822newExpr is Variable Expression: x: instance of union d_struct
5823
5824decl is x: short unsigned int
5825newExpr is Variable Expression: x: short unsigned int
5826
5827alternatives before prune:
5828Cost ( 0, 0, 0 ): Variable Expression: x: instance of struct c_struct
5829(types:
5830    lvalue instance of struct c_struct
5831)
5832Environment:
5833
5834Cost ( 0, 0, 1 ): Member Expression, with field:
5835  signed int
5836from aggregate:
5837  Variable Expression: x: instance of struct c_struct
5838(types:
5839    lvalue signed int
5840)
5841Environment:
5842
5843Cost ( 0, 0, 1 ): Member Expression, with field:
5844  char
5845from aggregate:
5846  Variable Expression: x: instance of struct c_struct
5847(types:
5848    lvalue char
5849)
5850Environment:
5851
5852Cost ( 0, 0, 1 ): Member Expression, with field:
5853  float
5854from aggregate:
5855  Variable Expression: x: instance of struct c_struct
5856(types:
5857    lvalue float
5858)
5859Environment:
5860
5861Cost ( 0, 0, 0 ): Variable Expression: x: instance of union d_struct
5862(types:
5863    lvalue instance of union d_struct
5864)
5865Environment:
5866
5867Cost ( 0, 0, 1 ): Member Expression, with field:
5868  pointer to signed int
5869from aggregate:
5870  Variable Expression: x: instance of union d_struct
5871(types:
5872    lvalue pointer to signed int
5873)
5874Environment:
5875
5876Cost ( 0, 0, 1 ): Member Expression, with field:
5877  pointer to char
5878from aggregate:
5879  Variable Expression: x: instance of union d_struct
5880(types:
5881    lvalue pointer to char
5882)
5883Environment:
5884
5885Cost ( 0, 0, 1 ): Member Expression, with field:
5886  pointer to float
5887from aggregate:
5888  Variable Expression: x: instance of union d_struct
5889(types:
5890    lvalue pointer to float
5891)
5892Environment:
5893
5894Cost ( 0, 0, 0 ): Variable Expression: x: short unsigned int
5895(types:
5896    lvalue short unsigned int
5897)
5898Environment:
5899
5900there are 9 alternatives before elimination
5901there are 9 alternatives after elimination
5902findSubExprs
5903Cost ( 0, 0, 1 ): Member Expression, with field:
5904  signed int
5905from aggregate:
5906  Variable Expression: x: instance of struct c_struct
5907(types:
5908    lvalue signed int
5909)
5910Environment:
5911
5912Cost ( 0, 0, 1 ): Member Expression, with field:
5913  float
5914from aggregate:
5915  Variable Expression: x: instance of struct c_struct
5916(types:
5917    lvalue float
5918)
5919Environment:
5920
5921Cost ( 0, 0, 1 ): Member Expression, with field:
5922  char
5923from aggregate:
5924  Variable Expression: x: instance of struct c_struct
5925(types:
5926    lvalue char
5927)
5928Environment:
5929
5930Cost ( 0, 0, 0 ): Variable Expression: x: short unsigned int
5931(types:
5932    lvalue short unsigned int
5933)
5934Environment:
5935
5936Cost ( 0, 0, 1 ): Member Expression, with field:
5937  pointer to signed int
5938from aggregate:
5939  Variable Expression: x: instance of union d_struct
5940(types:
5941    lvalue pointer to signed int
5942)
5943Environment:
5944
5945Cost ( 0, 0, 1 ): Member Expression, with field:
5946  pointer to float
5947from aggregate:
5948  Variable Expression: x: instance of union d_struct
5949(types:
5950    lvalue pointer to float
5951)
5952Environment:
5953
5954Cost ( 0, 0, 1 ): Member Expression, with field:
5955  pointer to char
5956from aggregate:
5957  Variable Expression: x: instance of union d_struct
5958(types:
5959    lvalue pointer to char
5960)
5961Environment:
5962
5963Cost ( 0, 0, 0 ): Variable Expression: x: instance of union d_struct
5964(types:
5965    lvalue instance of union d_struct
5966)
5967Environment:
5968
5969Cost ( 0, 0, 0 ): Variable Expression: x: instance of struct c_struct
5970(types:
5971    lvalue instance of struct c_struct
5972)
5973Environment:
5974
5975working on alternative:
5976        Cost ( 0, 0, 0 ):         Variable Expression: a: function
5977            with parameters
5978              char
5979            returning
5980              nothing
5981
5982(types:
5983            pointer to function
5984                with parameters
5985                  char
5986                returning
5987                  nothing
5988
5989)
5990        Environment:
5991formal type is char
5992actual type is lvalue signed int
5993need assertions:
5994============= original indexer
5995===idTable===
5996===typeTable===
5997===structTable===
5998===enumTable===
5999===unionTable===
6000===contextTable===
6001============= new indexer
6002===idTable===
6003===typeTable===
6004===structTable===
6005===enumTable===
6006===unionTable===
6007===contextTable===
6008formal type is char
6009actual type is lvalue float
6010need assertions:
6011============= original indexer
6012===idTable===
6013===typeTable===
6014===structTable===
6015===enumTable===
6016===unionTable===
6017===contextTable===
6018============= new indexer
6019===idTable===
6020===typeTable===
6021===structTable===
6022===enumTable===
6023===unionTable===
6024===contextTable===
6025formal type is char
6026actual type is lvalue char
6027need assertions:
6028============= original indexer
6029===idTable===
6030===typeTable===
6031===structTable===
6032===enumTable===
6033===unionTable===
6034===contextTable===
6035============= new indexer
6036===idTable===
6037===typeTable===
6038===structTable===
6039===enumTable===
6040===unionTable===
6041===contextTable===
6042formal type is char
6043actual type is lvalue short unsigned int
6044need assertions:
6045============= original indexer
6046===idTable===
6047===typeTable===
6048===structTable===
6049===enumTable===
6050===unionTable===
6051===contextTable===
6052============= new indexer
6053===idTable===
6054===typeTable===
6055===structTable===
6056===enumTable===
6057===unionTable===
6058===contextTable===
6059formal type is char
6060actual type is lvalue pointer to signed int
6061formal type is char
6062actual type is lvalue pointer to float
6063formal type is char
6064actual type is lvalue pointer to char
6065formal type is char
6066actual type is lvalue instance of union d_struct
6067formal type is char
6068actual type is lvalue instance of struct c_struct
6069actual expression:
6070        Member Expression, with field:
6071          signed int
6072        from aggregate:
6073          Variable Expression: x: instance of struct c_struct
6074--- results are
6075        lvalue signed int
6076
6077converting lvalue signed int
6078 to char
6079cost is( 1, 0, 0 )
6080Case +++++++++++++
6081formals are:
6082        char
6083actuals are:
6084                  Cast of:
6085            Member Expression, with field:
6086              signed int
6087            from aggregate:
6088              Variable Expression: x: instance of struct c_struct
6089
6090          to:
6091            char
6092
6093bindings are:
6094cost of conversion is:( 1, 0, 0 )
6095actual expression:
6096        Member Expression, with field:
6097          float
6098        from aggregate:
6099          Variable Expression: x: instance of struct c_struct
6100--- results are
6101        lvalue float
6102
6103converting lvalue float
6104 to char
6105cost is( 1, 0, 0 )
6106Case +++++++++++++
6107formals are:
6108        char
6109actuals are:
6110                  Cast of:
6111            Member Expression, with field:
6112              float
6113            from aggregate:
6114              Variable Expression: x: instance of struct c_struct
6115
6116          to:
6117            char
6118
6119bindings are:
6120cost of conversion is:( 1, 0, 0 )
6121actual expression:
6122        Member Expression, with field:
6123          char
6124        from aggregate:
6125          Variable Expression: x: instance of struct c_struct
6126--- results are
6127        lvalue char
6128
6129converting lvalue char
6130 to char
6131cost is( 0, 0, 0 )
6132Case +++++++++++++
6133formals are:
6134        char
6135actuals are:
6136                  Member Expression, with field:
6137            char
6138          from aggregate:
6139            Variable Expression: x: instance of struct c_struct
6140
6141bindings are:
6142cost of conversion is:( 0, 0, 0 )
6143actual expression:
6144        Variable Expression: x: short unsigned int
6145--- results are
6146        lvalue short unsigned int
6147
6148converting lvalue short unsigned int
6149 to char
6150cost is( 1, 0, 0 )
6151Case +++++++++++++
6152formals are:
6153        char
6154actuals are:
6155                  Cast of:
6156            Variable Expression: x: short unsigned int
6157
6158          to:
6159            char
6160
6161bindings are:
6162cost of conversion is:( 1, 0, 0 )
6163alternatives before prune:
6164Cost ( 1, 0, 0 ): Application of
6165  Variable Expression: a: function
6166      with parameters
6167        char
6168      returning
6169        nothing
6170
6171to arguments
6172      Cast of:
6173      Variable Expression: x: short unsigned int
6174
6175    to:
6176      char
6177
6178(types:
6179)
6180Environment:
6181
6182there are 1 alternatives before elimination
6183there are 1 alternatives after elimination
6184alternatives before prune:
6185Cost ( 0, 0, 0 ): Cast of:
6186  Application of
6187    Variable Expression: a: function
6188        with parameters
6189          char
6190        returning
6191          nothing
6192
6193  to arguments
6194          Cast of:
6195        Variable Expression: x: short unsigned int
6196
6197      to:
6198        char
6199
6200
6201to:
6202  nothing
6203(types:
6204)
6205Environment:
6206
6207there are 1 alternatives before elimination
6208there are 1 alternatives after elimination
6209nameExpr is b
6210decl is b: function
6211  with parameters
6212    signed int
6213  returning
6214    nothing
6215
6216newExpr is Variable Expression: b: function
6217    with parameters
6218      signed int
6219    returning
6220      nothing
6221
6222
6223alternatives before prune:
6224Cost ( 0, 0, 0 ): Variable Expression: b: function
6225    with parameters
6226      signed int
6227    returning
6228      nothing
6229
6230(types:
6231    pointer to function
6232        with parameters
6233          signed int
6234        returning
6235          nothing
6236
6237)
6238Environment:
6239
6240there are 1 alternatives before elimination
6241there are 1 alternatives after elimination
6242nameExpr is x
6243decl is x: instance of struct c_struct
6244newExpr is Variable Expression: x: instance of struct c_struct
6245
6246decl is x: instance of union d_struct
6247newExpr is Variable Expression: x: instance of union d_struct
6248
6249decl is x: short unsigned int
6250newExpr is Variable Expression: x: short unsigned int
6251
6252alternatives before prune:
6253Cost ( 0, 0, 0 ): Variable Expression: x: instance of struct c_struct
6254(types:
6255    lvalue instance of struct c_struct
6256)
6257Environment:
6258
6259Cost ( 0, 0, 1 ): Member Expression, with field:
6260  signed int
6261from aggregate:
6262  Variable Expression: x: instance of struct c_struct
6263(types:
6264    lvalue signed int
6265)
6266Environment:
6267
6268Cost ( 0, 0, 1 ): Member Expression, with field:
6269  char
6270from aggregate:
6271  Variable Expression: x: instance of struct c_struct
6272(types:
6273    lvalue char
6274)
6275Environment:
6276
6277Cost ( 0, 0, 1 ): Member Expression, with field:
6278  float
6279from aggregate:
6280  Variable Expression: x: instance of struct c_struct
6281(types:
6282    lvalue float
6283)
6284Environment:
6285
6286Cost ( 0, 0, 0 ): Variable Expression: x: instance of union d_struct
6287(types:
6288    lvalue instance of union d_struct
6289)
6290Environment:
6291
6292Cost ( 0, 0, 1 ): Member Expression, with field:
6293  pointer to signed int
6294from aggregate:
6295  Variable Expression: x: instance of union d_struct
6296(types:
6297    lvalue pointer to signed int
6298)
6299Environment:
6300
6301Cost ( 0, 0, 1 ): Member Expression, with field:
6302  pointer to char
6303from aggregate:
6304  Variable Expression: x: instance of union d_struct
6305(types:
6306    lvalue pointer to char
6307)
6308Environment:
6309
6310Cost ( 0, 0, 1 ): Member Expression, with field:
6311  pointer to float
6312from aggregate:
6313  Variable Expression: x: instance of union d_struct
6314(types:
6315    lvalue pointer to float
6316)
6317Environment:
6318
6319Cost ( 0, 0, 0 ): Variable Expression: x: short unsigned int
6320(types:
6321    lvalue short unsigned int
6322)
6323Environment:
6324
6325there are 9 alternatives before elimination
6326there are 9 alternatives after elimination
6327findSubExprs
6328Cost ( 0, 0, 1 ): Member Expression, with field:
6329  signed int
6330from aggregate:
6331  Variable Expression: x: instance of struct c_struct
6332(types:
6333    lvalue signed int
6334)
6335Environment:
6336
6337Cost ( 0, 0, 1 ): Member Expression, with field:
6338  float
6339from aggregate:
6340  Variable Expression: x: instance of struct c_struct
6341(types:
6342    lvalue float
6343)
6344Environment:
6345
6346Cost ( 0, 0, 1 ): Member Expression, with field:
6347  char
6348from aggregate:
6349  Variable Expression: x: instance of struct c_struct
6350(types:
6351    lvalue char
6352)
6353Environment:
6354
6355Cost ( 0, 0, 0 ): Variable Expression: x: short unsigned int
6356(types:
6357    lvalue short unsigned int
6358)
6359Environment:
6360
6361Cost ( 0, 0, 1 ): Member Expression, with field:
6362  pointer to signed int
6363from aggregate:
6364  Variable Expression: x: instance of union d_struct
6365(types:
6366    lvalue pointer to signed int
6367)
6368Environment:
6369
6370Cost ( 0, 0, 1 ): Member Expression, with field:
6371  pointer to float
6372from aggregate:
6373  Variable Expression: x: instance of union d_struct
6374(types:
6375    lvalue pointer to float
6376)
6377Environment:
6378
6379Cost ( 0, 0, 1 ): Member Expression, with field:
6380  pointer to char
6381from aggregate:
6382  Variable Expression: x: instance of union d_struct
6383(types:
6384    lvalue pointer to char
6385)
6386Environment:
6387
6388Cost ( 0, 0, 0 ): Variable Expression: x: instance of union d_struct
6389(types:
6390    lvalue instance of union d_struct
6391)
6392Environment:
6393
6394Cost ( 0, 0, 0 ): Variable Expression: x: instance of struct c_struct
6395(types:
6396    lvalue instance of struct c_struct
6397)
6398Environment:
6399
6400working on alternative:
6401        Cost ( 0, 0, 0 ):         Variable Expression: b: function
6402            with parameters
6403              signed int
6404            returning
6405              nothing
6406
6407(types:
6408            pointer to function
6409                with parameters
6410                  signed int
6411                returning
6412                  nothing
6413
6414)
6415        Environment:
6416formal type is signed int
6417actual type is lvalue signed int
6418need assertions:
6419============= original indexer
6420===idTable===
6421===typeTable===
6422===structTable===
6423===enumTable===
6424===unionTable===
6425===contextTable===
6426============= new indexer
6427===idTable===
6428===typeTable===
6429===structTable===
6430===enumTable===
6431===unionTable===
6432===contextTable===
6433formal type is signed int
6434actual type is lvalue float
6435need assertions:
6436============= original indexer
6437===idTable===
6438===typeTable===
6439===structTable===
6440===enumTable===
6441===unionTable===
6442===contextTable===
6443============= new indexer
6444===idTable===
6445===typeTable===
6446===structTable===
6447===enumTable===
6448===unionTable===
6449===contextTable===
6450formal type is signed int
6451actual type is lvalue char
6452need assertions:
6453============= original indexer
6454===idTable===
6455===typeTable===
6456===structTable===
6457===enumTable===
6458===unionTable===
6459===contextTable===
6460============= new indexer
6461===idTable===
6462===typeTable===
6463===structTable===
6464===enumTable===
6465===unionTable===
6466===contextTable===
6467formal type is signed int
6468actual type is lvalue short unsigned int
6469need assertions:
6470============= original indexer
6471===idTable===
6472===typeTable===
6473===structTable===
6474===enumTable===
6475===unionTable===
6476===contextTable===
6477============= new indexer
6478===idTable===
6479===typeTable===
6480===structTable===
6481===enumTable===
6482===unionTable===
6483===contextTable===
6484formal type is signed int
6485actual type is lvalue pointer to signed int
6486formal type is signed int
6487actual type is lvalue pointer to float
6488formal type is signed int
6489actual type is lvalue pointer to char
6490formal type is signed int
6491actual type is lvalue instance of union d_struct
6492formal type is signed int
6493actual type is lvalue instance of struct c_struct
6494actual expression:
6495        Member Expression, with field:
6496          signed int
6497        from aggregate:
6498          Variable Expression: x: instance of struct c_struct
6499--- results are
6500        lvalue signed int
6501
6502converting lvalue signed int
6503 to signed int
6504cost is( 0, 0, 0 )
6505Case +++++++++++++
6506formals are:
6507        signed int
6508actuals are:
6509                  Member Expression, with field:
6510            signed int
6511          from aggregate:
6512            Variable Expression: x: instance of struct c_struct
6513
6514bindings are:
6515cost of conversion is:( 0, 0, 0 )
6516actual expression:
6517        Member Expression, with field:
6518          float
6519        from aggregate:
6520          Variable Expression: x: instance of struct c_struct
6521--- results are
6522        lvalue float
6523
6524converting lvalue float
6525 to signed int
6526cost is( 1, 0, 0 )
6527Case +++++++++++++
6528formals are:
6529        signed int
6530actuals are:
6531                  Cast of:
6532            Member Expression, with field:
6533              float
6534            from aggregate:
6535              Variable Expression: x: instance of struct c_struct
6536
6537          to:
6538            signed int
6539
6540bindings are:
6541cost of conversion is:( 1, 0, 0 )
6542actual expression:
6543        Member Expression, with field:
6544          char
6545        from aggregate:
6546          Variable Expression: x: instance of struct c_struct
6547--- results are
6548        lvalue char
6549
6550converting lvalue char
6551 to signed int
6552cost is( 0, 0, 4 )
6553Case +++++++++++++
6554formals are:
6555        signed int
6556actuals are:
6557                  Cast of:
6558            Member Expression, with field:
6559              char
6560            from aggregate:
6561              Variable Expression: x: instance of struct c_struct
6562
6563          to:
6564            signed int
6565
6566bindings are:
6567cost of conversion is:( 0, 0, 4 )
6568actual expression:
6569        Variable Expression: x: short unsigned int
6570--- results are
6571        lvalue short unsigned int
6572
6573converting lvalue short unsigned int
6574 to signed int
6575cost is( 0, 0, 1 )
6576Case +++++++++++++
6577formals are:
6578        signed int
6579actuals are:
6580                  Cast of:
6581            Variable Expression: x: short unsigned int
6582
6583          to:
6584            signed int
6585
6586bindings are:
6587cost of conversion is:( 0, 0, 1 )
6588alternatives before prune:
6589Cost ( 0, 0, 1 ): Application of
6590  Variable Expression: b: function
6591      with parameters
6592        signed int
6593      returning
6594        nothing
6595
6596to arguments
6597      Cast of:
6598      Variable Expression: x: short unsigned int
6599
6600    to:
6601      signed int
6602
6603(types:
6604)
6605Environment:
6606
6607there are 1 alternatives before elimination
6608there are 1 alternatives after elimination
6609alternatives before prune:
6610Cost ( 0, 0, 0 ): Cast of:
6611  Application of
6612    Variable Expression: b: function
6613        with parameters
6614          signed int
6615        returning
6616          nothing
6617
6618  to arguments
6619          Cast of:
6620        Variable Expression: x: short unsigned int
6621
6622      to:
6623        signed int
6624
6625
6626to:
6627  nothing
6628(types:
6629)
6630Environment:
6631
6632there are 1 alternatives before elimination
6633there are 1 alternatives after elimination
6634nameExpr is c
6635decl is c: function
6636  with parameters
6637    pointer to signed int
6638  returning
6639    nothing
6640
6641newExpr is Variable Expression: c: function
6642    with parameters
6643      pointer to signed int
6644    returning
6645      nothing
6646
6647
6648alternatives before prune:
6649Cost ( 0, 0, 0 ): Variable Expression: c: function
6650    with parameters
6651      pointer to signed int
6652    returning
6653      nothing
6654
6655(types:
6656    pointer to function
6657        with parameters
6658          pointer to signed int
6659        returning
6660          nothing
6661
6662)
6663Environment:
6664
6665there are 1 alternatives before elimination
6666there are 1 alternatives after elimination
6667nameExpr is x
6668decl is x: instance of struct c_struct
6669newExpr is Variable Expression: x: instance of struct c_struct
6670
6671decl is x: instance of union d_struct
6672newExpr is Variable Expression: x: instance of union d_struct
6673
6674decl is x: short unsigned int
6675newExpr is Variable Expression: x: short unsigned int
6676
6677alternatives before prune:
6678Cost ( 0, 0, 0 ): Variable Expression: x: instance of struct c_struct
6679(types:
6680    lvalue instance of struct c_struct
6681)
6682Environment:
6683
6684Cost ( 0, 0, 1 ): Member Expression, with field:
6685  signed int
6686from aggregate:
6687  Variable Expression: x: instance of struct c_struct
6688(types:
6689    lvalue signed int
6690)
6691Environment:
6692
6693Cost ( 0, 0, 1 ): Member Expression, with field:
6694  char
6695from aggregate:
6696  Variable Expression: x: instance of struct c_struct
6697(types:
6698    lvalue char
6699)
6700Environment:
6701
6702Cost ( 0, 0, 1 ): Member Expression, with field:
6703  float
6704from aggregate:
6705  Variable Expression: x: instance of struct c_struct
6706(types:
6707    lvalue float
6708)
6709Environment:
6710
6711Cost ( 0, 0, 0 ): Variable Expression: x: instance of union d_struct
6712(types:
6713    lvalue instance of union d_struct
6714)
6715Environment:
6716
6717Cost ( 0, 0, 1 ): Member Expression, with field:
6718  pointer to signed int
6719from aggregate:
6720  Variable Expression: x: instance of union d_struct
6721(types:
6722    lvalue pointer to signed int
6723)
6724Environment:
6725
6726Cost ( 0, 0, 1 ): Member Expression, with field:
6727  pointer to char
6728from aggregate:
6729  Variable Expression: x: instance of union d_struct
6730(types:
6731    lvalue pointer to char
6732)
6733Environment:
6734
6735Cost ( 0, 0, 1 ): Member Expression, with field:
6736  pointer to float
6737from aggregate:
6738  Variable Expression: x: instance of union d_struct
6739(types:
6740    lvalue pointer to float
6741)
6742Environment:
6743
6744Cost ( 0, 0, 0 ): Variable Expression: x: short unsigned int
6745(types:
6746    lvalue short unsigned int
6747)
6748Environment:
6749
6750there are 9 alternatives before elimination
6751there are 9 alternatives after elimination
6752findSubExprs
6753Cost ( 0, 0, 1 ): Member Expression, with field:
6754  signed int
6755from aggregate:
6756  Variable Expression: x: instance of struct c_struct
6757(types:
6758    lvalue signed int
6759)
6760Environment:
6761
6762Cost ( 0, 0, 1 ): Member Expression, with field:
6763  float
6764from aggregate:
6765  Variable Expression: x: instance of struct c_struct
6766(types:
6767    lvalue float
6768)
6769Environment:
6770
6771Cost ( 0, 0, 1 ): Member Expression, with field:
6772  char
6773from aggregate:
6774  Variable Expression: x: instance of struct c_struct
6775(types:
6776    lvalue char
6777)
6778Environment:
6779
6780Cost ( 0, 0, 0 ): Variable Expression: x: short unsigned int
6781(types:
6782    lvalue short unsigned int
6783)
6784Environment:
6785
6786Cost ( 0, 0, 1 ): Member Expression, with field:
6787  pointer to signed int
6788from aggregate:
6789  Variable Expression: x: instance of union d_struct
6790(types:
6791    lvalue pointer to signed int
6792)
6793Environment:
6794
6795Cost ( 0, 0, 1 ): Member Expression, with field:
6796  pointer to float
6797from aggregate:
6798  Variable Expression: x: instance of union d_struct
6799(types:
6800    lvalue pointer to float
6801)
6802Environment:
6803
6804Cost ( 0, 0, 1 ): Member Expression, with field:
6805  pointer to char
6806from aggregate:
6807  Variable Expression: x: instance of union d_struct
6808(types:
6809    lvalue pointer to char
6810)
6811Environment:
6812
6813Cost ( 0, 0, 0 ): Variable Expression: x: instance of union d_struct
6814(types:
6815    lvalue instance of union d_struct
6816)
6817Environment:
6818
6819Cost ( 0, 0, 0 ): Variable Expression: x: instance of struct c_struct
6820(types:
6821    lvalue instance of struct c_struct
6822)
6823Environment:
6824
6825working on alternative:
6826        Cost ( 0, 0, 0 ):         Variable Expression: c: function
6827            with parameters
6828              pointer to signed int
6829            returning
6830              nothing
6831
6832(types:
6833            pointer to function
6834                with parameters
6835                  pointer to signed int
6836                returning
6837                  nothing
6838
6839)
6840        Environment:
6841formal type is pointer to signed int
6842actual type is lvalue signed int
6843formal type is pointer to signed int
6844actual type is lvalue float
6845formal type is pointer to signed int
6846actual type is lvalue char
6847formal type is pointer to signed int
6848actual type is lvalue short unsigned int
6849formal type is pointer to signed int
6850actual type is lvalue pointer to signed int
6851need assertions:
6852============= original indexer
6853===idTable===
6854===typeTable===
6855===structTable===
6856===enumTable===
6857===unionTable===
6858===contextTable===
6859============= new indexer
6860===idTable===
6861===typeTable===
6862===structTable===
6863===enumTable===
6864===unionTable===
6865===contextTable===
6866formal type is pointer to signed int
6867actual type is lvalue pointer to float
6868formal type is pointer to signed int
6869actual type is lvalue pointer to char
6870formal type is pointer to signed int
6871actual type is lvalue instance of union d_struct
6872formal type is pointer to signed int
6873actual type is lvalue instance of struct c_struct
6874actual expression:
6875        Member Expression, with field:
6876          pointer to signed int
6877        from aggregate:
6878          Variable Expression: x: instance of union d_struct
6879--- results are
6880        lvalue pointer to signed int
6881
6882converting lvalue pointer to signed int
6883 to pointer to signed int
6884cost is( 0, 0, 0 )
6885Case +++++++++++++
6886formals are:
6887        pointer to signed int
6888actuals are:
6889                  Member Expression, with field:
6890            pointer to signed int
6891          from aggregate:
6892            Variable Expression: x: instance of union d_struct
6893
6894bindings are:
6895cost of conversion is:( 0, 0, 0 )
6896alternatives before prune:
6897Cost ( 0, 0, 0 ): Application of
6898  Variable Expression: c: function
6899      with parameters
6900        pointer to signed int
6901      returning
6902        nothing
6903
6904to arguments
6905      Member Expression, with field:
6906      pointer to signed int
6907    from aggregate:
6908      Variable Expression: x: instance of union d_struct
6909
6910(types:
6911)
6912Environment:
6913
6914there are 1 alternatives before elimination
6915there are 1 alternatives after elimination
6916alternatives before prune:
6917Cost ( 0, 0, 0 ): Cast of:
6918  Application of
6919    Variable Expression: c: function
6920        with parameters
6921          pointer to signed int
6922        returning
6923          nothing
6924
6925  to arguments
6926          Member Expression, with field:
6927        pointer to signed int
6928      from aggregate:
6929        Variable Expression: x: instance of union d_struct
6930
6931
6932to:
6933  nothing
6934(types:
6935)
6936Environment:
6937
6938there are 1 alternatives before elimination
6939there are 1 alternatives after elimination
6940nameExpr is d
6941decl is d: function
6942  with parameters
6943    pointer to float
6944  returning
6945    nothing
6946
6947newExpr is Variable Expression: d: function
6948    with parameters
6949      pointer to float
6950    returning
6951      nothing
6952
6953
6954alternatives before prune:
6955Cost ( 0, 0, 0 ): Variable Expression: d: function
6956    with parameters
6957      pointer to float
6958    returning
6959      nothing
6960
6961(types:
6962    pointer to function
6963        with parameters
6964          pointer to float
6965        returning
6966          nothing
6967
6968)
6969Environment:
6970
6971there are 1 alternatives before elimination
6972there are 1 alternatives after elimination
6973nameExpr is x
6974decl is x: instance of struct c_struct
6975newExpr is Variable Expression: x: instance of struct c_struct
6976
6977decl is x: instance of union d_struct
6978newExpr is Variable Expression: x: instance of union d_struct
6979
6980decl is x: short unsigned int
6981newExpr is Variable Expression: x: short unsigned int
6982
6983alternatives before prune:
6984Cost ( 0, 0, 0 ): Variable Expression: x: instance of struct c_struct
6985(types:
6986    lvalue instance of struct c_struct
6987)
6988Environment:
6989
6990Cost ( 0, 0, 1 ): Member Expression, with field:
6991  signed int
6992from aggregate:
6993  Variable Expression: x: instance of struct c_struct
6994(types:
6995    lvalue signed int
6996)
6997Environment:
6998
6999Cost ( 0, 0, 1 ): Member Expression, with field:
7000  char
7001from aggregate:
7002  Variable Expression: x: instance of struct c_struct
7003(types:
7004    lvalue char
7005)
7006Environment:
7007
7008Cost ( 0, 0, 1 ): Member Expression, with field:
7009  float
7010from aggregate:
7011  Variable Expression: x: instance of struct c_struct
7012(types:
7013    lvalue float
7014)
7015Environment:
7016
7017Cost ( 0, 0, 0 ): Variable Expression: x: instance of union d_struct
7018(types:
7019    lvalue instance of union d_struct
7020)
7021Environment:
7022
7023Cost ( 0, 0, 1 ): Member Expression, with field:
7024  pointer to signed int
7025from aggregate:
7026  Variable Expression: x: instance of union d_struct
7027(types:
7028    lvalue pointer to signed int
7029)
7030Environment:
7031
7032Cost ( 0, 0, 1 ): Member Expression, with field:
7033  pointer to char
7034from aggregate:
7035  Variable Expression: x: instance of union d_struct
7036(types:
7037    lvalue pointer to char
7038)
7039Environment:
7040
7041Cost ( 0, 0, 1 ): Member Expression, with field:
7042  pointer to float
7043from aggregate:
7044  Variable Expression: x: instance of union d_struct
7045(types:
7046    lvalue pointer to float
7047)
7048Environment:
7049
7050Cost ( 0, 0, 0 ): Variable Expression: x: short unsigned int
7051(types:
7052    lvalue short unsigned int
7053)
7054Environment:
7055
7056there are 9 alternatives before elimination
7057there are 9 alternatives after elimination
7058findSubExprs
7059Cost ( 0, 0, 1 ): Member Expression, with field:
7060  signed int
7061from aggregate:
7062  Variable Expression: x: instance of struct c_struct
7063(types:
7064    lvalue signed int
7065)
7066Environment:
7067
7068Cost ( 0, 0, 1 ): Member Expression, with field:
7069  float
7070from aggregate:
7071  Variable Expression: x: instance of struct c_struct
7072(types:
7073    lvalue float
7074)
7075Environment:
7076
7077Cost ( 0, 0, 1 ): Member Expression, with field:
7078  char
7079from aggregate:
7080  Variable Expression: x: instance of struct c_struct
7081(types:
7082    lvalue char
7083)
7084Environment:
7085
7086Cost ( 0, 0, 0 ): Variable Expression: x: short unsigned int
7087(types:
7088    lvalue short unsigned int
7089)
7090Environment:
7091
7092Cost ( 0, 0, 1 ): Member Expression, with field:
7093  pointer to signed int
7094from aggregate:
7095  Variable Expression: x: instance of union d_struct
7096(types:
7097    lvalue pointer to signed int
7098)
7099Environment:
7100
7101Cost ( 0, 0, 1 ): Member Expression, with field:
7102  pointer to float
7103from aggregate:
7104  Variable Expression: x: instance of union d_struct
7105(types:
7106    lvalue pointer to float
7107)
7108Environment:
7109
7110Cost ( 0, 0, 1 ): Member Expression, with field:
7111  pointer to char
7112from aggregate:
7113  Variable Expression: x: instance of union d_struct
7114(types:
7115    lvalue pointer to char
7116)
7117Environment:
7118
7119Cost ( 0, 0, 0 ): Variable Expression: x: instance of union d_struct
7120(types:
7121    lvalue instance of union d_struct
7122)
7123Environment:
7124
7125Cost ( 0, 0, 0 ): Variable Expression: x: instance of struct c_struct
7126(types:
7127    lvalue instance of struct c_struct
7128)
7129Environment:
7130
7131working on alternative:
7132        Cost ( 0, 0, 0 ):         Variable Expression: d: function
7133            with parameters
7134              pointer to float
7135            returning
7136              nothing
7137
7138(types:
7139            pointer to function
7140                with parameters
7141                  pointer to float
7142                returning
7143                  nothing
7144
7145)
7146        Environment:
7147formal type is pointer to float
7148actual type is lvalue signed int
7149formal type is pointer to float
7150actual type is lvalue float
7151formal type is pointer to float
7152actual type is lvalue char
7153formal type is pointer to float
7154actual type is lvalue short unsigned int
7155formal type is pointer to float
7156actual type is lvalue pointer to signed int
7157formal type is pointer to float
7158actual type is lvalue pointer to float
7159need assertions:
7160============= original indexer
7161===idTable===
7162===typeTable===
7163===structTable===
7164===enumTable===
7165===unionTable===
7166===contextTable===
7167============= new indexer
7168===idTable===
7169===typeTable===
7170===structTable===
7171===enumTable===
7172===unionTable===
7173===contextTable===
7174formal type is pointer to float
7175actual type is lvalue pointer to char
7176formal type is pointer to float
7177actual type is lvalue instance of union d_struct
7178formal type is pointer to float
7179actual type is lvalue instance of struct c_struct
7180actual expression:
7181        Member Expression, with field:
7182          pointer to float
7183        from aggregate:
7184          Variable Expression: x: instance of union d_struct
7185--- results are
7186        lvalue pointer to float
7187
7188converting lvalue pointer to float
7189 to pointer to float
7190cost is( 0, 0, 0 )
7191Case +++++++++++++
7192formals are:
7193        pointer to float
7194actuals are:
7195                  Member Expression, with field:
7196            pointer to float
7197          from aggregate:
7198            Variable Expression: x: instance of union d_struct
7199
7200bindings are:
7201cost of conversion is:( 0, 0, 0 )
7202alternatives before prune:
7203Cost ( 0, 0, 0 ): Application of
7204  Variable Expression: d: function
7205      with parameters
7206        pointer to float
7207      returning
7208        nothing
7209
7210to arguments
7211      Member Expression, with field:
7212      pointer to float
7213    from aggregate:
7214      Variable Expression: x: instance of union d_struct
7215
7216(types:
7217)
7218Environment:
7219
7220there are 1 alternatives before elimination
7221there are 1 alternatives after elimination
7222alternatives before prune:
7223Cost ( 0, 0, 0 ): Cast of:
7224  Application of
7225    Variable Expression: d: function
7226        with parameters
7227          pointer to float
7228        returning
7229          nothing
7230
7231  to arguments
7232          Member Expression, with field:
7233        pointer to float
7234      from aggregate:
7235        Variable Expression: x: instance of union d_struct
7236
7237
7238to:
7239  nothing
7240(types:
7241)
7242Environment:
7243
7244there are 1 alternatives before elimination
7245there are 1 alternatives after elimination
7246nameExpr is ?=?
7247decl is ?=?: forall
7248    DT: incomplete type
7249  function
7250  with parameters
7251    pointer to pointer to instance of type DT (not function type)
7252    pointer to instance of type DT (not function type)
7253  returning
7254    pointer to instance of type DT (not function type)
7255
7256newExpr is Variable Expression: ?=?: forall
7257      DT: incomplete type
7258    function
7259    with parameters
7260      pointer to pointer to instance of type DT (not function type)
7261      pointer to instance of type DT (not function type)
7262    returning
7263      pointer to instance of type DT (not function type)
7264
7265
7266decl is ?=?: automatically generated inline static function
7267  with parameters
7268    _dst: pointer to instance of struct forward
7269    _src: instance of struct forward
7270  returning
7271    instance of struct forward
7272  with body
7273    CompoundStmt
7274              Expression Statement:
7275          Applying untyped:
7276              Name: ?=?
7277          ...to:
7278              Address of:
7279                Member Expression, with field:
7280                  y: signed int
7281                from aggregate:
7282                  Applying untyped:
7283                      Name: *?
7284                  ...to:
7285                      Variable Expression: _dst: pointer to instance of struct forward
7286              Member Expression, with field:
7287                y: signed int
7288              from aggregate:
7289                Variable Expression: _src: instance of struct forward
7290
7291              Return Statement, returning: Variable Expression: _src: instance of struct forward
7292
7293
7294
7295newExpr is Variable Expression: ?=?: inline static function
7296    with parameters
7297      _dst: pointer to instance of struct forward
7298      _src: instance of struct forward
7299    returning
7300      instance of struct forward
7301
7302
7303decl is ?=?: automatically generated inline static function
7304  with parameters
7305    _dst: pointer to instance of struct a_struct
7306    _src: instance of struct a_struct
7307  returning
7308    instance of struct a_struct
7309  with body
7310    CompoundStmt
7311              Expression Statement:
7312          Application of
7313            Variable Expression: ?=?: function
7314                with parameters
7315                  pointer to signed int
7316                  signed int
7317                returning
7318                  signed int
7319
7320          to arguments
7321                          Address of:
7322                Member Expression, with field:
7323                  a: signed int
7324                from aggregate:
7325                  Applying untyped:
7326                      Name: *?
7327                  ...to:
7328                      Variable Expression: _dst: pointer to instance of struct a_struct
7329
7330                          Member Expression, with field:
7331                a: signed int
7332              from aggregate:
7333                Variable Expression: _src: instance of struct a_struct
7334
7335          with environment:
7336            Types:
7337            Non-types:
7338
7339              Expression Statement:
7340          Application of
7341            Variable Expression: ?=?: function
7342                with parameters
7343                  pointer to char
7344                  char
7345                returning
7346                  char
7347
7348          to arguments
7349                          Address of:
7350                Member Expression, with field:
7351                  a: char
7352                from aggregate:
7353                  Applying untyped:
7354                      Name: *?
7355                  ...to:
7356                      Variable Expression: _dst: pointer to instance of struct a_struct
7357
7358                          Member Expression, with field:
7359                a: char
7360              from aggregate:
7361                Variable Expression: _src: instance of struct a_struct
7362
7363          with environment:
7364            Types:
7365            Non-types:
7366
7367              Expression Statement:
7368          Application of
7369            Variable Expression: ?=?: function
7370                with parameters
7371                  pointer to float
7372                  float
7373                returning
7374                  float
7375
7376          to arguments
7377                          Address of:
7378                Member Expression, with field:
7379                  a: float
7380                from aggregate:
7381                  Applying untyped:
7382                      Name: *?
7383                  ...to:
7384                      Variable Expression: _dst: pointer to instance of struct a_struct
7385
7386                          Member Expression, with field:
7387                a: float
7388              from aggregate:
7389                Variable Expression: _src: instance of struct a_struct
7390
7391          with environment:
7392            Types:
7393            Non-types:
7394
7395              Return Statement, returning: Cast of:
7396  Variable Expression: _src: instance of struct a_struct
7397
7398to:
7399  instance of struct a_struct
7400with environment:
7401  Types:
7402  Non-types:
7403
7404
7405
7406newExpr is Variable Expression: ?=?: inline static function
7407    with parameters
7408      _dst: pointer to instance of struct a_struct
7409      _src: instance of struct a_struct
7410    returning
7411      instance of struct a_struct
7412
7413
7414decl is ?=?: automatically generated inline static function
7415  with parameters
7416    _dst: pointer to instance of struct c_struct
7417    _src: instance of struct c_struct
7418  returning
7419    instance of struct c_struct
7420  with body
7421    CompoundStmt
7422              Expression Statement:
7423          Application of
7424            Variable Expression: ?=?: function
7425                with parameters
7426                  pointer to signed int
7427                  signed int
7428                returning
7429                  signed int
7430
7431          to arguments
7432                          Address of:
7433                Member Expression, with field:
7434                  signed int
7435                from aggregate:
7436                  Applying untyped:
7437                      Name: *?
7438                  ...to:
7439                      Variable Expression: _dst: pointer to instance of struct c_struct
7440
7441                          Member Expression, with field:
7442                signed int
7443              from aggregate:
7444                Variable Expression: _src: instance of struct c_struct
7445
7446          with environment:
7447            Types:
7448            Non-types:
7449
7450              Expression Statement:
7451          Application of
7452            Variable Expression: ?=?: function
7453                with parameters
7454                  pointer to char
7455                  char
7456                returning
7457                  char
7458
7459          to arguments
7460                          Address of:
7461                Member Expression, with field:
7462                  char
7463                from aggregate:
7464                  Applying untyped:
7465                      Name: *?
7466                  ...to:
7467                      Variable Expression: _dst: pointer to instance of struct c_struct
7468
7469                          Member Expression, with field:
7470                char
7471              from aggregate:
7472                Variable Expression: _src: instance of struct c_struct
7473
7474          with environment:
7475            Types:
7476            Non-types:
7477
7478              Expression Statement:
7479          Application of
7480            Variable Expression: ?=?: function
7481                with parameters
7482                  pointer to float
7483                  float
7484                returning
7485                  float
7486
7487          to arguments
7488                          Address of:
7489                Member Expression, with field:
7490                  float
7491                from aggregate:
7492                  Applying untyped:
7493                      Name: *?
7494                  ...to:
7495                      Variable Expression: _dst: pointer to instance of struct c_struct
7496
7497                          Member Expression, with field:
7498                float
7499              from aggregate:
7500                Variable Expression: _src: instance of struct c_struct
7501
7502          with environment:
7503            Types:
7504            Non-types:
7505
7506              Return Statement, returning: Cast of:
7507  Variable Expression: _src: instance of struct c_struct
7508
7509to:
7510  instance of struct c_struct
7511with environment:
7512  Types:
7513  Non-types:
7514
7515
7516
7517newExpr is Variable Expression: ?=?: inline static function
7518    with parameters
7519      _dst: pointer to instance of struct c_struct
7520      _src: instance of struct c_struct
7521    returning
7522      instance of struct c_struct
7523
7524
7525decl is ?=?: automatically generated inline static function
7526  with parameters
7527    _dst: pointer to instance of union b_struct
7528    _src: instance of union b_struct
7529  returning
7530    instance of union b_struct
7531  with body
7532    CompoundStmt
7533              Expression Statement:
7534          Application of
7535            Variable Expression: __builtin_memcpy: function
7536                  accepting unspecified arguments
7537                returning
7538                  pointer to char
7539
7540          to arguments
7541                          Variable Expression: _dst: pointer to instance of union b_struct
7542
7543                          Address of:
7544                Variable Expression: _src: instance of union b_struct
7545
7546                          Sizeof Expression on: instance of union b_struct
7547
7548          with environment:
7549            Types:
7550            Non-types:
7551
7552              Return Statement, returning: Cast of:
7553  Variable Expression: _src: instance of union b_struct
7554
7555to:
7556  instance of union b_struct
7557with environment:
7558  Types:
7559  Non-types:
7560
7561
7562
7563newExpr is Variable Expression: ?=?: inline static function
7564    with parameters
7565      _dst: pointer to instance of union b_struct
7566      _src: instance of union b_struct
7567    returning
7568      instance of union b_struct
7569
7570
7571decl is ?=?: automatically generated inline static function
7572  with parameters
7573    _dst: pointer to instance of union d_struct
7574    _src: instance of union d_struct
7575  returning
7576    instance of union d_struct
7577  with body
7578    CompoundStmt
7579              Expression Statement:
7580          Application of
7581            Variable Expression: __builtin_memcpy: function
7582                  accepting unspecified arguments
7583                returning
7584                  pointer to char
7585
7586          to arguments
7587                          Variable Expression: _dst: pointer to instance of union d_struct
7588
7589                          Address of:
7590                Variable Expression: _src: instance of union d_struct
7591
7592                          Sizeof Expression on: instance of union d_struct
7593
7594          with environment:
7595            Types:
7596            Non-types:
7597
7598              Return Statement, returning: Cast of:
7599  Variable Expression: _src: instance of union d_struct
7600
7601to:
7602  instance of union d_struct
7603with environment:
7604  Types:
7605  Non-types:
7606
7607
7608
7609newExpr is Variable Expression: ?=?: inline static function
7610    with parameters
7611      _dst: pointer to instance of union d_struct
7612      _src: instance of union d_struct
7613    returning
7614      instance of union d_struct
7615
7616
7617decl is ?=?: function
7618  with parameters
7619    pointer to char
7620    char
7621  returning
7622    char
7623
7624newExpr is Variable Expression: ?=?: function
7625    with parameters
7626      pointer to char
7627      char
7628    returning
7629      char
7630
7631
7632decl is ?=?: function
7633  with parameters
7634    pointer to float
7635    float
7636  returning
7637    float
7638
7639newExpr is Variable Expression: ?=?: function
7640    with parameters
7641      pointer to float
7642      float
7643    returning
7644      float
7645
7646
7647decl is ?=?: function
7648  with parameters
7649    pointer to signed int
7650    signed int
7651  returning
7652    signed int
7653
7654newExpr is Variable Expression: ?=?: function
7655    with parameters
7656      pointer to signed int
7657      signed int
7658    returning
7659      signed int
7660
7661
7662alternatives before prune:
7663Cost ( 0, 0, 0 ): Variable Expression: ?=?: forall
7664      DT: incomplete type
7665    function
7666    with parameters
7667      pointer to pointer to instance of type DT (not function type)
7668      pointer to instance of type DT (not function type)
7669    returning
7670      pointer to instance of type DT (not function type)
7671
7672(types:
7673    pointer to forall
7674          _0_DT: incomplete type
7675        function
7676        with parameters
7677          pointer to pointer to instance of type _0_DT (not function type)
7678          pointer to instance of type _0_DT (not function type)
7679        returning
7680          pointer to instance of type _0_DT (not function type)
7681
7682)
7683Environment:
7684
7685Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
7686    with parameters
7687      _dst: pointer to instance of struct forward
7688      _src: instance of struct forward
7689    returning
7690      instance of struct forward
7691
7692(types:
7693    pointer to function
7694        with parameters
7695          _dst: pointer to instance of struct forward
7696          _src: instance of struct forward
7697        returning
7698          instance of struct forward
7699
7700)
7701Environment:
7702
7703Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
7704    with parameters
7705      _dst: pointer to instance of struct a_struct
7706      _src: instance of struct a_struct
7707    returning
7708      instance of struct a_struct
7709
7710(types:
7711    pointer to function
7712        with parameters
7713          _dst: pointer to instance of struct a_struct
7714          _src: instance of struct a_struct
7715        returning
7716          instance of struct a_struct
7717
7718)
7719Environment:
7720
7721Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
7722    with parameters
7723      _dst: pointer to instance of struct c_struct
7724      _src: instance of struct c_struct
7725    returning
7726      instance of struct c_struct
7727
7728(types:
7729    pointer to function
7730        with parameters
7731          _dst: pointer to instance of struct c_struct
7732          _src: instance of struct c_struct
7733        returning
7734          instance of struct c_struct
7735
7736)
7737Environment:
7738
7739Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
7740    with parameters
7741      _dst: pointer to instance of union b_struct
7742      _src: instance of union b_struct
7743    returning
7744      instance of union b_struct
7745
7746(types:
7747    pointer to function
7748        with parameters
7749          _dst: pointer to instance of union b_struct
7750          _src: instance of union b_struct
7751        returning
7752          instance of union b_struct
7753
7754)
7755Environment:
7756
7757Cost ( 0, 0, 0 ): Variable Expression: ?=?: inline static function
7758    with parameters
7759      _dst: pointer to instance of union d_struct
7760      _src: instance of union d_struct
7761    returning
7762      instance of union d_struct
7763
7764(types:
7765    pointer to function
7766        with parameters
7767          _dst: pointer to instance of union d_struct
7768          _src: instance of union d_struct
7769        returning
7770          instance of union d_struct
7771
7772)
7773Environment:
7774
7775Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
7776    with parameters
7777      pointer to char
7778      char
7779    returning
7780      char
7781
7782(types:
7783    pointer to function
7784        with parameters
7785          pointer to char
7786          char
7787        returning
7788          char
7789
7790)
7791Environment:
7792
7793Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
7794    with parameters
7795      pointer to float
7796      float
7797    returning
7798      float
7799
7800(types:
7801    pointer to function
7802        with parameters
7803          pointer to float
7804          float
7805        returning
7806          float
7807
7808)
7809Environment:
7810
7811Cost ( 0, 0, 0 ): Variable Expression: ?=?: function
7812    with parameters
7813      pointer to signed int
7814      signed int
7815    returning
7816      signed int
7817
7818(types:
7819    pointer to function
7820        with parameters
7821          pointer to signed int
7822          signed int
7823        returning
7824          signed int
7825
7826)
7827Environment:
7828
7829there are 9 alternatives before elimination
7830there are 9 alternatives after elimination
7831alternatives before prune:
7832Cost ( 0, 0, 0 ): Member Expression, with field:
7833  y: signed int
7834from aggregate:
7835  Applying untyped:
7836      Name: *?
7837  ...to:
7838      Variable Expression: _dst: pointer to instance of struct forward
7839(types:
7840    lvalue signed int
7841)
7842Environment:
7843
7844there are 1 alternatives before elimination
7845there are 1 alternatives after elimination
7846alternatives before prune:
7847Cost ( 0, 0, 0 ): Address of:
7848  Member Expression, with field:
7849    y: signed int
7850  from aggregate:
7851    Applying untyped:
7852        Name: *?
7853    ...to:
7854        Variable Expression: _dst: pointer to instance of struct forward
7855(types:
7856    pointer to signed int
7857)
7858Environment:
7859
7860there are 1 alternatives before elimination
7861there are 1 alternatives after elimination
7862findSubExprs
7863Cost ( 0, 0, 0 ): Address of:
7864  Member Expression, with field:
7865    y: signed int
7866  from aggregate:
7867    Applying untyped:
7868        Name: *?
7869    ...to:
7870        Variable Expression: _dst: pointer to instance of struct forward
7871(types:
7872    pointer to signed int
7873)
7874Environment:
7875
7876alternatives before prune:
7877Cost ( 0, 0, 0 ): Member Expression, with field:
7878  y: signed int
7879from aggregate:
7880  Variable Expression: _src: instance of struct forward
7881(types:
7882    lvalue signed int
7883)
7884Environment:
7885
7886there are 1 alternatives before elimination
7887there are 1 alternatives after elimination
7888findSubExprs
7889Cost ( 0, 0, 0 ): Member Expression, with field:
7890  y: signed int
7891from aggregate:
7892  Variable Expression: _src: instance of struct forward
7893(types:
7894    lvalue signed int
7895)
7896Environment:
7897
7898working on alternative:
7899        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
7900            with parameters
7901              pointer to signed int
7902              signed int
7903            returning
7904              signed int
7905
7906(types:
7907            pointer to function
7908                with parameters
7909                  pointer to signed int
7910                  signed int
7911                returning
7912                  signed int
7913
7914)
7915        Environment:
7916formal type is pointer to signed int
7917actual type is pointer to signed int
7918formal type is signed int
7919actual type is lvalue signed int
7920need assertions:
7921============= original indexer
7922===idTable===
7923===typeTable===
7924===structTable===
7925===enumTable===
7926===unionTable===
7927===contextTable===
7928============= new indexer
7929===idTable===
7930===typeTable===
7931===structTable===
7932===enumTable===
7933===unionTable===
7934===contextTable===
7935working on alternative:
7936        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
7937            with parameters
7938              pointer to float
7939              float
7940            returning
7941              float
7942
7943(types:
7944            pointer to function
7945                with parameters
7946                  pointer to float
7947                  float
7948                returning
7949                  float
7950
7951)
7952        Environment:
7953formal type is pointer to float
7954actual type is pointer to signed int
7955working on alternative:
7956        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: function
7957            with parameters
7958              pointer to char
7959              char
7960            returning
7961              char
7962
7963(types:
7964            pointer to function
7965                with parameters
7966                  pointer to char
7967                  char
7968                returning
7969                  char
7970
7971)
7972        Environment:
7973formal type is pointer to char
7974actual type is pointer to signed int
7975working on alternative:
7976        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
7977            with parameters
7978              _dst: pointer to instance of union d_struct
7979              _src: instance of union d_struct
7980            returning
7981              instance of union d_struct
7982
7983(types:
7984            pointer to function
7985                with parameters
7986                  _dst: pointer to instance of union d_struct
7987                  _src: instance of union d_struct
7988                returning
7989                  instance of union d_struct
7990
7991)
7992        Environment:
7993formal type is pointer to instance of union d_struct
7994actual type is pointer to signed int
7995working on alternative:
7996        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
7997            with parameters
7998              _dst: pointer to instance of union b_struct
7999              _src: instance of union b_struct
8000            returning
8001              instance of union b_struct
8002
8003(types:
8004            pointer to function
8005                with parameters
8006                  _dst: pointer to instance of union b_struct
8007                  _src: instance of union b_struct
8008                returning
8009                  instance of union b_struct
8010
8011)
8012        Environment:
8013formal type is pointer to instance of union b_struct
8014actual type is pointer to signed int
8015working on alternative:
8016        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
8017            with parameters
8018              _dst: pointer to instance of struct c_struct
8019              _src: instance of struct c_struct
8020            returning
8021              instance of struct c_struct
8022
8023(types:
8024            pointer to function
8025                with parameters
8026                  _dst: pointer to instance of struct c_struct
8027                  _src: instance of struct c_struct
8028                returning
8029                  instance of struct c_struct
8030
8031)
8032        Environment:
8033formal type is pointer to instance of struct c_struct
8034actual type is pointer to signed int
8035working on alternative:
8036        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
8037            with parameters
8038              _dst: pointer to instance of struct a_struct
8039              _src: instance of struct a_struct
8040            returning
8041              instance of struct a_struct
8042
8043(types:
8044            pointer to function
8045                with parameters
8046                  _dst: pointer to instance of struct a_struct
8047                  _src: instance of struct a_struct
8048                returning
8049                  instance of struct a_struct
8050
8051)
8052        Environment:
8053formal type is pointer to instance of struct a_struct
8054actual type is pointer to signed int
8055working on alternative:
8056        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: inline static function
8057            with parameters
8058              _dst: pointer to instance of struct forward
8059              _src: instance of struct forward
8060            returning
8061              instance of struct forward
8062
8063(types:
8064            pointer to function
8065                with parameters
8066                  _dst: pointer to instance of struct forward
8067                  _src: instance of struct forward
8068                returning
8069                  instance of struct forward
8070
8071)
8072        Environment:
8073formal type is pointer to instance of struct forward
8074actual type is pointer to signed int
8075working on alternative:
8076        Cost ( 0, 0, 0 ):         Variable Expression: ?=?: forall
8077              DT: incomplete type
8078            function
8079            with parameters
8080              pointer to pointer to instance of type DT (not function type)
8081              pointer to instance of type DT (not function type)
8082            returning
8083              pointer to instance of type DT (not function type)
8084
8085(types:
8086            pointer to forall
8087                  _0_DT: incomplete type
8088                function
8089                with parameters
8090                  pointer to pointer to instance of type _0_DT (not function type)
8091                  pointer to instance of type _0_DT (not function type)
8092                returning
8093                  pointer to instance of type _0_DT (not function type)
8094
8095)
8096        Environment:
8097formal type is pointer to pointer to instance of type _0_DT (not function type)
8098actual type is pointer to signed int
8099actual expression:
8100        Address of:
8101          Member Expression, with field:
8102            y: signed int
8103          from aggregate:
8104            Applying untyped:
8105                Name: *?
8106            ...to:
8107                Variable Expression: _dst: pointer to instance of struct forward
8108--- results are
8109        pointer to signed int
8110
8111converting pointer to signed int
8112 to pointer to signed int
8113cost is( 0, 0, 0 )
8114actual expression:
8115        Member Expression, with field:
8116          y: signed int
8117        from aggregate:
8118          Variable Expression: _src: instance of struct forward
8119--- results are
8120        lvalue signed int
8121
8122converting lvalue signed int
8123 to signed int
8124cost is( 0, 0, 0 )
8125Case +++++++++++++
8126formals are:
8127        pointer to signed int
8128        signed int
8129actuals are:
8130                  Address of:
8131            Member Expression, with field:
8132              y: signed int
8133            from aggregate:
8134              Applying untyped:
8135                  Name: *?
8136              ...to:
8137                  Variable Expression: _dst: pointer to instance of struct forward
8138
8139                  Member Expression, with field:
8140            y: signed int
8141          from aggregate:
8142            Variable Expression: _src: instance of struct forward
8143
8144bindings are:
8145cost of conversion is:( 0, 0, 0 )
8146alternatives before prune:
8147Cost ( 0, 0, 0 ): Application of
8148  Variable Expression: ?=?: function
8149      with parameters
8150        pointer to signed int
8151        signed int
8152      returning
8153        signed int
8154
8155to arguments
8156      Address of:
8157      Member Expression, with field:
8158        y: signed int
8159      from aggregate:
8160        Applying untyped:
8161            Name: *?
8162        ...to:
8163            Variable Expression: _dst: pointer to instance of struct forward
8164
8165      Member Expression, with field:
8166      y: signed int
8167    from aggregate:
8168      Variable Expression: _src: instance of struct forward
8169
8170(types:
8171    signed int
8172)
8173Environment:
8174
8175there are 1 alternatives before elimination
8176there are 1 alternatives after elimination
8177alternatives before prune:
8178Cost ( 0, 0, 1 ): Cast of:
8179  Application of
8180    Variable Expression: ?=?: function
8181        with parameters
8182          pointer to signed int
8183          signed int
8184        returning
8185          signed int
8186
8187  to arguments
8188          Address of:
8189        Member Expression, with field:
8190          y: signed int
8191        from aggregate:
8192          Applying untyped:
8193              Name: *?
8194          ...to:
8195              Variable Expression: _dst: pointer to instance of struct forward
8196
8197          Member Expression, with field:
8198        y: signed int
8199      from aggregate:
8200        Variable Expression: _src: instance of struct forward
8201
8202
8203to:
8204  nothing
8205(types:
8206)
8207Environment:
8208
8209there are 1 alternatives before elimination
8210there are 1 alternatives after elimination
8211alternatives before prune:
8212Cost ( 0, 0, 0 ): Variable Expression: _src: instance of struct forward
8213(types:
8214    lvalue instance of struct forward
8215)
8216Environment:
8217
8218there are 1 alternatives before elimination
8219there are 1 alternatives after elimination
8220alternatives before prune:
8221Cost ( 0, 0, 0 ): Cast of:
8222  Variable Expression: _src: instance of struct forward
8223
8224to:
8225  instance of struct forward
8226(types:
8227    instance of struct forward
8228)
8229Environment:
8230
8231there are 1 alternatives before elimination
8232there are 1 alternatives after elimination
8233nameExpr is *?
8234decl is *?: forall
8235    T: type
8236      with assertions
8237        ?=?: pointer to function
8238            with parameters
8239              pointer to instance of type T (not function type)
8240              instance of type T (not function type)
8241            returning
8242              instance of type T (not function type)
8243
8244
8245  function
8246  with parameters
8247    pointer to instance of type T (not function type)
8248  returning
8249    lvalue instance of type T (not function type)
8250
8251newExpr is Variable Expression: *?: forall
8252      T: type
8253        with assertions
8254          ?=?: pointer to function
8255              with parameters
8256                pointer to instance of type T (not function type)
8257                instance of type T (not function type)
8258              returning
8259                instance of type T (not function type)
8260
8261
8262    function
8263    with parameters
8264      pointer to instance of type T (not function type)
8265    returning
8266      lvalue instance of type T (not function type)
8267
8268
8269alternatives before prune:
8270Cost ( 0, 0, 0 ): Variable Expression: *?: forall
8271      T: type
8272        with assertions
8273          ?=?: pointer to function
8274              with parameters
8275                pointer to instance of type T (not function type)
8276                instance of type T (not function type)
8277              returning
8278                instance of type T (not function type)
8279
8280
8281    function
8282    with parameters
8283      pointer to instance of type T (not function type)
8284    returning
8285      lvalue instance of type T (not function type)
8286
8287(types:
8288    pointer to forall
8289          _0_T: type
8290            with assertions
8291              ?=?: pointer to function
8292                  with parameters
8293                    pointer to instance of type _0_T (not function type)
8294                    instance of type _0_T (not function type)
8295                  returning
8296                    instance of type _0_T (not function type)
8297
8298
8299        function
8300        with parameters
8301          pointer to instance of type _0_T (not function type)
8302        returning
8303          lvalue instance of type _0_T (not function type)
8304
8305)
8306Environment:
8307
8308there are 1 alternatives before elimination
8309there are 1 alternatives after elimination
8310nameExpr is q
8311decl is q: pointer to instance of struct forward
8312newExpr is Variable Expression: q: pointer to instance of struct forward
8313
8314alternatives before prune:
8315Cost ( 0, 0, 0 ): Variable Expression: q: pointer to instance of struct forward
8316(types:
8317    lvalue pointer to instance of struct forward
8318)
8319Environment:
8320
8321there are 1 alternatives before elimination
8322there are 1 alternatives after elimination
8323findSubExprs
8324Cost ( 0, 0, 0 ): Variable Expression: q: pointer to instance of struct forward
8325(types:
8326    lvalue pointer to instance of struct forward
8327)
8328Environment:
8329
8330working on alternative:
8331        Cost ( 0, 0, 0 ):         Variable Expression: *?: forall
8332              T: type
8333                with assertions
8334                  ?=?: pointer to function
8335                      with parameters
8336                        pointer to instance of type T (not function type)
8337                        instance of type T (not function type)
8338                      returning
8339                        instance of type T (not function type)
8340
8341
8342            function
8343            with parameters
8344              pointer to instance of type T (not function type)
8345            returning
8346              lvalue instance of type T (not function type)
8347
8348(types:
8349            pointer to forall
8350                  _0_T: type
8351                    with assertions
8352                      ?=?: pointer to function
8353                          with parameters
8354                            pointer to instance of type _0_T (not function type)
8355                            instance of type _0_T (not function type)
8356                          returning
8357                            instance of type _0_T (not function type)
8358
8359
8360                function
8361                with parameters
8362                  pointer to instance of type _0_T (not function type)
8363                returning
8364                  lvalue instance of type _0_T (not function type)
8365
8366)
8367        Environment:
8368formal type is pointer to instance of type _0_T (not function type)
8369actual type is lvalue pointer to instance of struct forward
8370need assertions:
8371?=?: pointer to function
8372          with parameters
8373            pointer to instance of type _0_T (not function type)
8374            instance of type _0_T (not function type)
8375          returning
8376            instance of type _0_T (not function type)
8377(used)============= original indexer
8378===idTable===
8379===typeTable===
8380===structTable===
8381===enumTable===
8382===unionTable===
8383===contextTable===
8384============= new indexer
8385===idTable===
8386===typeTable===
8387===structTable===
8388===enumTable===
8389===unionTable===
8390===contextTable===
8391inferRecursive: assertion is ?=?: pointer to function
8392  with parameters
8393    pointer to instance of type _0_T (not function type)
8394    instance of type _0_T (not function type)
8395  returning
8396    instance of type _0_T (not function type)
8397
8398inferRecursive: candidate is ?=?: forall
8399    DT: incomplete type
8400  function
8401  with parameters
8402    pointer to pointer to instance of type DT (not function type)
8403    pointer to instance of type DT (not function type)
8404  returning
8405    pointer to instance of type DT (not function type)
8406
8407unifying pointer to function
8408  with parameters
8409    pointer to instance of type _0_T (not function type)
8410    instance of type _0_T (not function type)
8411  returning
8412    instance of type _0_T (not function type)
8413 with pointer to forall
8414    _1_DT: incomplete type
8415  function
8416  with parameters
8417    pointer to pointer to instance of type _1_DT (not function type)
8418    pointer to instance of type _1_DT (not function type)
8419  returning
8420    pointer to instance of type _1_DT (not function type)
8421
8422inferRecursive: candidate is ?=?: automatically generated inline static function
8423  with parameters
8424    _dst: pointer to instance of struct forward
8425    _src: instance of struct forward
8426  returning
8427    instance of struct forward
8428  with body
8429    CompoundStmt
8430              Expression Statement:
8431          Application of
8432            Variable Expression: ?=?: function
8433                with parameters
8434                  pointer to signed int
8435                  signed int
8436                returning
8437                  signed int
8438
8439          to arguments
8440                          Address of:
8441                Member Expression, with field:
8442                  y: signed int
8443                from aggregate:
8444                  Applying untyped:
8445                      Name: *?
8446                  ...to:
8447                      Variable Expression: _dst: pointer to instance of struct forward
8448
8449                          Member Expression, with field:
8450                y: signed int
8451              from aggregate:
8452                Variable Expression: _src: instance of struct forward
8453
8454          with environment:
8455            Types:
8456            Non-types:
8457
8458              Return Statement, returning: Cast of:
8459  Variable Expression: _src: instance of struct forward
8460
8461to:
8462  instance of struct forward
8463with environment:
8464  Types:
8465  Non-types:
8466
8467
8468
8469unifying pointer to function
8470  with parameters
8471    pointer to instance of type _0_T (not function type)
8472    instance of type _0_T (not function type)
8473  returning
8474    instance of type _0_T (not function type)
8475 with pointer to function
8476  with parameters
8477    _dst: pointer to instance of struct forward
8478    _src: instance of struct forward
8479  returning
8480    instance of struct forward
8481
8482success!
8483satisfying assertion 25 ?=?: pointer to function
8484  with parameters
8485    pointer to instance of type _0_T (not function type)
8486    instance of type _0_T (not function type)
8487  returning
8488    instance of type _0_T (not function type)
8489 with declaration 79 ?=?: automatically generated inline static function
8490  with parameters
8491    _dst: pointer to instance of struct forward
8492    _src: instance of struct forward
8493  returning
8494    instance of struct forward
8495  with body
8496    CompoundStmt
8497              Expression Statement:
8498          Application of
8499            Variable Expression: ?=?: function
8500                with parameters
8501                  pointer to signed int
8502                  signed int
8503                returning
8504                  signed int
8505
8506          to arguments
8507                          Address of:
8508                Member Expression, with field:
8509                  y: signed int
8510                from aggregate:
8511                  Applying untyped:
8512                      Name: *?
8513                  ...to:
8514                      Variable Expression: _dst: pointer to instance of struct forward
8515
8516                          Member Expression, with field:
8517                y: signed int
8518              from aggregate:
8519                Variable Expression: _src: instance of struct forward
8520
8521          with environment:
8522            Types:
8523            Non-types:
8524
8525              Return Statement, returning: Cast of:
8526  Variable Expression: _src: instance of struct forward
8527
8528to:
8529  instance of struct forward
8530with environment:
8531  Types:
8532  Non-types:
8533
8534
8535
8536inferRecursive: candidate is ?=?: automatically generated inline static function
8537  with parameters
8538    _dst: pointer to instance of struct a_struct
8539    _src: instance of struct a_struct
8540  returning
8541    instance of struct a_struct
8542  with body
8543    CompoundStmt
8544              Expression Statement:
8545          Application of
8546            Variable Expression: ?=?: function
8547                with parameters
8548                  pointer to signed int
8549                  signed int
8550                returning
8551                  signed int
8552
8553          to arguments
8554                          Address of:
8555                Member Expression, with field:
8556                  a: signed int
8557                from aggregate:
8558                  Applying untyped:
8559                      Name: *?
8560                  ...to:
8561                      Variable Expression: _dst: pointer to instance of struct a_struct
8562
8563                          Member Expression, with field:
8564                a: signed int
8565              from aggregate:
8566                Variable Expression: _src: instance of struct a_struct
8567
8568          with environment:
8569            Types:
8570            Non-types:
8571
8572              Expression Statement:
8573          Application of
8574            Variable Expression: ?=?: function
8575                with parameters
8576                  pointer to char
8577                  char
8578                returning
8579                  char
8580
8581          to arguments
8582                          Address of:
8583                Member Expression, with field:
8584                  a: char
8585                from aggregate:
8586                  Applying untyped:
8587                      Name: *?
8588                  ...to:
8589                      Variable Expression: _dst: pointer to instance of struct a_struct
8590
8591                          Member Expression, with field:
8592                a: char
8593              from aggregate:
8594                Variable Expression: _src: instance of struct a_struct
8595
8596          with environment:
8597            Types:
8598            Non-types:
8599
8600              Expression Statement:
8601          Application of
8602            Variable Expression: ?=?: function
8603                with parameters
8604                  pointer to float
8605                  float
8606                returning
8607                  float
8608
8609          to arguments
8610                          Address of:
8611                Member Expression, with field:
8612                  a: float
8613                from aggregate:
8614                  Applying untyped:
8615                      Name: *?
8616                  ...to:
8617                      Variable Expression: _dst: pointer to instance of struct a_struct
8618
8619                          Member Expression, with field:
8620                a: float
8621              from aggregate:
8622                Variable Expression: _src: instance of struct a_struct
8623
8624          with environment:
8625            Types:
8626            Non-types:
8627
8628              Return Statement, returning: Cast of:
8629  Variable Expression: _src: instance of struct a_struct
8630
8631to:
8632  instance of struct a_struct
8633with environment:
8634  Types:
8635  Non-types:
8636
8637
8638
8639unifying pointer to function
8640  with parameters
8641    pointer to instance of type _0_T (not function type)
8642    instance of type _0_T (not function type)
8643  returning
8644    instance of type _0_T (not function type)
8645 with pointer to function
8646  with parameters
8647    _dst: pointer to instance of struct a_struct
8648    _src: instance of struct a_struct
8649  returning
8650    instance of struct a_struct
8651
8652inferRecursive: candidate is ?=?: automatically generated inline static function
8653  with parameters
8654    _dst: pointer to instance of struct c_struct
8655    _src: instance of struct c_struct
8656  returning
8657    instance of struct c_struct
8658  with body
8659    CompoundStmt
8660              Expression Statement:
8661          Application of
8662            Variable Expression: ?=?: function
8663                with parameters
8664                  pointer to signed int
8665                  signed int
8666                returning
8667                  signed int
8668
8669          to arguments
8670                          Address of:
8671                Member Expression, with field:
8672                  signed int
8673                from aggregate:
8674                  Applying untyped:
8675                      Name: *?
8676                  ...to:
8677                      Variable Expression: _dst: pointer to instance of struct c_struct
8678
8679                          Member Expression, with field:
8680                signed int
8681              from aggregate:
8682                Variable Expression: _src: instance of struct c_struct
8683
8684          with environment:
8685            Types:
8686            Non-types:
8687
8688              Expression Statement:
8689          Application of
8690            Variable Expression: ?=?: function
8691                with parameters
8692                  pointer to char
8693                  char
8694                returning
8695                  char
8696
8697          to arguments
8698                          Address of:
8699                Member Expression, with field:
8700                  char
8701                from aggregate:
8702                  Applying untyped:
8703                      Name: *?
8704                  ...to:
8705                      Variable Expression: _dst: pointer to instance of struct c_struct
8706
8707                          Member Expression, with field:
8708                char
8709              from aggregate:
8710                Variable Expression: _src: instance of struct c_struct
8711
8712          with environment:
8713            Types:
8714            Non-types:
8715
8716              Expression Statement:
8717          Application of
8718            Variable Expression: ?=?: function
8719                with parameters
8720                  pointer to float
8721                  float
8722                returning
8723                  float
8724
8725          to arguments
8726                          Address of:
8727                Member Expression, with field:
8728                  float
8729                from aggregate:
8730                  Applying untyped:
8731                      Name: *?
8732                  ...to:
8733                      Variable Expression: _dst: pointer to instance of struct c_struct
8734
8735                          Member Expression, with field:
8736                float
8737              from aggregate:
8738                Variable Expression: _src: instance of struct c_struct
8739
8740          with environment:
8741            Types:
8742            Non-types:
8743
8744              Return Statement, returning: Cast of:
8745  Variable Expression: _src: instance of struct c_struct
8746
8747to:
8748  instance of struct c_struct
8749with environment:
8750  Types:
8751  Non-types:
8752
8753
8754
8755unifying pointer to function
8756  with parameters
8757    pointer to instance of type _0_T (not function type)
8758    instance of type _0_T (not function type)
8759  returning
8760    instance of type _0_T (not function type)
8761 with pointer to function
8762  with parameters
8763    _dst: pointer to instance of struct c_struct
8764    _src: instance of struct c_struct
8765  returning
8766    instance of struct c_struct
8767
8768inferRecursive: candidate is ?=?: automatically generated inline static function
8769  with parameters
8770    _dst: pointer to instance of union b_struct
8771    _src: instance of union b_struct
8772  returning
8773    instance of union b_struct
8774  with body
8775    CompoundStmt
8776              Expression Statement:
8777          Application of
8778            Variable Expression: __builtin_memcpy: function
8779                  accepting unspecified arguments
8780                returning
8781                  pointer to char
8782
8783          to arguments
8784                          Variable Expression: _dst: pointer to instance of union b_struct
8785
8786                          Address of:
8787                Variable Expression: _src: instance of union b_struct
8788
8789                          Sizeof Expression on: instance of union b_struct
8790
8791          with environment:
8792            Types:
8793            Non-types:
8794
8795              Return Statement, returning: Cast of:
8796  Variable Expression: _src: instance of union b_struct
8797
8798to:
8799  instance of union b_struct
8800with environment:
8801  Types:
8802  Non-types:
8803
8804
8805
8806unifying pointer to function
8807  with parameters
8808    pointer to instance of type _0_T (not function type)
8809    instance of type _0_T (not function type)
8810  returning
8811    instance of type _0_T (not function type)
8812 with pointer to function
8813  with parameters
8814    _dst: pointer to instance of union b_struct
8815    _src: instance of union b_struct
8816  returning
8817    instance of union b_struct
8818
8819inferRecursive: candidate is ?=?: automatically generated inline static function
8820  with parameters
8821    _dst: pointer to instance of union d_struct
8822    _src: instance of union d_struct
8823  returning
8824    instance of union d_struct
8825  with body
8826    CompoundStmt
8827              Expression Statement:
8828          Application of
8829            Variable Expression: __builtin_memcpy: function
8830                  accepting unspecified arguments
8831                returning
8832                  pointer to char
8833
8834          to arguments
8835                          Variable Expression: _dst: pointer to instance of union d_struct
8836
8837                          Address of:
8838                Variable Expression: _src: instance of union d_struct
8839
8840                          Sizeof Expression on: instance of union d_struct
8841
8842          with environment:
8843            Types:
8844            Non-types:
8845
8846              Return Statement, returning: Cast of:
8847  Variable Expression: _src: instance of union d_struct
8848
8849to:
8850  instance of union d_struct
8851with environment:
8852  Types:
8853  Non-types:
8854
8855
8856
8857unifying pointer to function
8858  with parameters
8859    pointer to instance of type _0_T (not function type)
8860    instance of type _0_T (not function type)
8861  returning
8862    instance of type _0_T (not function type)
8863 with pointer to function
8864  with parameters
8865    _dst: pointer to instance of union d_struct
8866    _src: instance of union d_struct
8867  returning
8868    instance of union d_struct
8869
8870inferRecursive: candidate is ?=?: function
8871  with parameters
8872    pointer to char
8873    char
8874  returning
8875    char
8876
8877unifying pointer to function
8878  with parameters
8879    pointer to instance of type _0_T (not function type)
8880    instance of type _0_T (not function type)
8881  returning
8882    instance of type _0_T (not function type)
8883 with pointer to function
8884  with parameters
8885    pointer to char
8886    char
8887  returning
8888    char
8889
8890inferRecursive: candidate is ?=?: function
8891  with parameters
8892    pointer to float
8893    float
8894  returning
8895    float
8896
8897unifying pointer to function
8898  with parameters
8899    pointer to instance of type _0_T (not function type)
8900    instance of type _0_T (not function type)
8901  returning
8902    instance of type _0_T (not function type)
8903 with pointer to function
8904  with parameters
8905    pointer to float
8906    float
8907  returning
8908    float
8909
8910inferRecursive: candidate is ?=?: function
8911  with parameters
8912    pointer to signed int
8913    signed int
8914  returning
8915    signed int
8916
8917unifying pointer to function
8918  with parameters
8919    pointer to instance of type _0_T (not function type)
8920    instance of type _0_T (not function type)
8921  returning
8922    instance of type _0_T (not function type)
8923 with pointer to function
8924  with parameters
8925    pointer to signed int
8926    signed int
8927  returning
8928    signed int
8929
8930actual expression:
8931        Variable Expression: q: pointer to instance of struct forward
8932--- results are
8933        lvalue pointer to instance of struct forward
8934
8935converting lvalue pointer to instance of struct forward
8936 to pointer to instance of type _0_T (not function type)
8937cost is( 0, 0, 0 )
8938
8939converting pointer to function
8940          with parameters
8941            _dst: pointer to instance of struct forward
8942            _src: instance of struct forward
8943          returning
8944            instance of struct forward
8945
8946 to pointer to function
8947          with parameters
8948            pointer to instance of type _0_T (not function type)
8949            instance of type _0_T (not function type)
8950          returning
8951            instance of type _0_T (not function type)
8952
8953cost of conversion is ( 0, 0, 0 )
8954Case +++++++++++++
8955formals are:
8956        pointer to instance of type _0_T (not function type)
8957actuals are:
8958                  Variable Expression: q: pointer to instance of struct forward
8959
8960bindings are:
8961        ( _0_T ) -> instance of struct forward  (no widening)
8962cost of conversion is:( 0, 4, 0 )
8963alternatives before prune:
8964Cost ( 0, 4, 0 ): Application of
8965  Variable Expression: *?: forall
8966        T: type
8967          with assertions
8968            ?=?: pointer to function
8969                with parameters
8970                  pointer to instance of type T (not function type)
8971                  instance of type T (not function type)
8972                returning
8973                  instance of type T (not function type)
8974
8975
8976      function
8977      with parameters
8978        pointer to instance of type T (not function type)
8979      returning
8980        lvalue instance of type T (not function type)
8981
8982to arguments
8983      Variable Expression: q: pointer to instance of struct forward
8984
8985with inferred parameters:
8986  ?=?: inline static function
8987    with parameters
8988      _dst: pointer to instance of struct forward
8989      _src: instance of struct forward
8990    returning
8991      instance of struct forward
8992
8993(types:
8994    lvalue instance of type _0_T (not function type)
8995)
8996Environment:   ( _0_T ) -> instance of struct forward  (no widening)
8997
8998
8999there are 1 alternatives before elimination
9000there are 1 alternatives after elimination
9001alternatives before prune:
9002Cost ( 0, 4, 0 ): Member Expression, with field:
9003  y: signed int
9004from aggregate:
9005  Application of
9006    Variable Expression: *?: forall
9007          T: type
9008            with assertions
9009              ?=?: pointer to function
9010                  with parameters
9011                    pointer to instance of type T (not function type)
9012                    instance of type T (not function type)
9013                  returning
9014                    instance of type T (not function type)
9015
9016
9017        function
9018        with parameters
9019          pointer to instance of type T (not function type)
9020        returning
9021          lvalue instance of type T (not function type)
9022
9023  to arguments
9024          Variable Expression: q: pointer to instance of struct forward
9025
9026  with inferred parameters:
9027    ?=?: inline static function
9028      with parameters
9029        _dst: pointer to instance of struct forward
9030        _src: instance of struct forward
9031      returning
9032        instance of struct forward
9033
9034(types:
9035    lvalue signed int
9036)
9037Environment:
9038
9039there are 1 alternatives before elimination
9040there are 1 alternatives after elimination
9041alternatives before prune:
9042Cost ( 0, 0, 1 ): Cast of:
9043  Member Expression, with field:
9044    y: signed int
9045  from aggregate:
9046    Application of
9047      Variable Expression: *?: forall
9048            T: type
9049              with assertions
9050                ?=?: pointer to function
9051                    with parameters
9052                      pointer to instance of type T (not function type)
9053                      instance of type T (not function type)
9054                    returning
9055                      instance of type T (not function type)
9056
9057
9058          function
9059          with parameters
9060            pointer to instance of type T (not function type)
9061          returning
9062            lvalue instance of type T (not function type)
9063
9064    to arguments
9065              Variable Expression: q: pointer to instance of struct forward
9066
9067    with inferred parameters:
9068      ?=?: inline static function
9069        with parameters
9070          _dst: pointer to instance of struct forward
9071          _src: instance of struct forward
9072        returning
9073          instance of struct forward
9074
9075
9076to:
9077  nothing
9078(types:
9079)
9080Environment:
9081
9082there are 1 alternatives before elimination
9083there are 1 alternatives after elimination
9084Error: unbound type variable in application Application of
9085  Variable Expression: *?: forall
9086        T: type
9087          with assertions
9088            ?=?: pointer to function
9089                with parameters
9090                  pointer to instance of type T (not function type)
9091                  instance of type T (not function type)
9092                returning
9093                  instance of type T (not function type)
9094
9095
9096      function
9097      with parameters
9098        pointer to instance of type T (not function type)
9099      returning
9100        pointer to instance of type T (not function type)
9101
9102to arguments
9103      Variable Expression: q: pointer to instance of struct forward
9104
9105with inferred parameters:
9106  ?=?: inline static function
9107    with parameters
9108      _dst: pointer to instance of struct forward
9109      _src: instance of struct forward
9110    returning
9111      instance of struct forward
9112
9113
Note: See TracBrowser for help on using the repository browser.