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

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc
Last change on this file since f6d7e0f was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs

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