source: translator/Tests/ResolvExpr/Expected/Members.tst @ 51b7345

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since 51b7345 was 51b7345, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

initial commit
  • Property mode set to 100644
File size: 16.9 KB
Line 
1?=?: a function
2    with parameters
3      pointer to char
4      char
5    returning
6      char
7
8?=?: a function
9    with parameters
10      pointer to signed int
11      signed int
12    returning
13      signed int
14
15?=?: a function
16    with parameters
17      pointer to float
18      float
19    returning
20      float
21
22?=?: a forall
23      DT: a incomplete type
24    function
25    with parameters
26      pointer to pointer to instance of type DT
27      pointer to instance of type DT
28    returning
29      pointer to instance of type DT
30
31*?: a forall
32      T: a type
33        with assertions
34          ?=?: a pointer to function
35              with parameters
36                pointer to instance of type T
37                instance of type T
38              returning
39                instance of type T
40
41
42    function
43    with parameters
44      pointer to instance of type T
45    returning
46      lvalue instance of type T
47
48__builtin_memcpy: a function
49      accepting unspecified arguments
50    returning
51      pointer to char
52
53a: a function
54    with parameters
55      char
56    returning
57      nothing
58
59b: a function
60    with parameters
61      signed int
62    returning
63      nothing
64
65c: a function
66    with parameters
67      pointer to signed int
68    returning
69      nothing
70
71d: a function
72    with parameters
73      pointer to float
74    returning
75      nothing
76
77struct a_struct
78    with members
79      a: a signed int
80      a: a char
81      a: a float
82
83?=?: a automatically generated inline static function
84    with parameters
85      _dst: a pointer to instance of struct a_struct
86      _src: a instance of struct a_struct
87    returning
88      instance of struct a_struct
89    with body
90     
91        Expression Statement:
92          Application of
93            Variable Expression: ?=?: a function
94                with parameters
95                  pointer to signed int
96                  signed int
97                returning
98                  signed int
99
100          to arguments
101                          Address of:
102                Member Expression, with field:
103                  a: a signed int
104                from aggregate:
105                  Applying untyped:
106                      Name: *?
107
108                  ...to:
109                      Variable Expression: _dst: a pointer to instance of struct a_struct
110
111                          Member Expression, with field:
112                a: a signed int
113              from aggregate:
114                Variable Expression: _src: a instance of struct a_struct
115
116          with environment:
117            Types:
118            Non-types:
119
120     
121        Expression Statement:
122          Application of
123            Variable Expression: ?=?: a function
124                with parameters
125                  pointer to char
126                  char
127                returning
128                  char
129
130          to arguments
131                          Address of:
132                Member Expression, with field:
133                  a: a char
134                from aggregate:
135                  Applying untyped:
136                      Name: *?
137
138                  ...to:
139                      Variable Expression: _dst: a pointer to instance of struct a_struct
140
141                          Member Expression, with field:
142                a: a char
143              from aggregate:
144                Variable Expression: _src: a instance of struct a_struct
145
146          with environment:
147            Types:
148            Non-types:
149
150     
151        Expression Statement:
152          Application of
153            Variable Expression: ?=?: a function
154                with parameters
155                  pointer to float
156                  float
157                returning
158                  float
159
160          to arguments
161                          Address of:
162                Member Expression, with field:
163                  a: a float
164                from aggregate:
165                  Applying untyped:
166                      Name: *?
167
168                  ...to:
169                      Variable Expression: _dst: a pointer to instance of struct a_struct
170
171                          Member Expression, with field:
172                a: a float
173              from aggregate:
174                Variable Expression: _src: a instance of struct a_struct
175
176          with environment:
177            Types:
178            Non-types:
179
180     
181        Return Statement, returning: Cast of:
182  Variable Expression: _src: a instance of struct a_struct
183
184to:
185  instance of struct a_struct
186with environment:
187  Types:
188  Non-types:
189
190
191
192union b_struct
193    with members
194      a: a pointer to signed int
195      a: a pointer to char
196      a: a pointer to float
197
198?=?: a automatically generated inline static function
199    with parameters
200      _dst: a pointer to instance of union b_struct
201      _src: a instance of union b_struct
202    returning
203      instance of union b_struct
204    with body
205     
206        Expression Statement:
207          Application of
208            Variable Expression: __builtin_memcpy: a function
209                  accepting unspecified arguments
210                returning
211                  pointer to char
212
213          to arguments
214                          Variable Expression: _dst: a pointer to instance of union b_struct
215
216                          Address of:
217                Variable Expression: _src: a instance of union b_struct
218
219                          Sizeof Expression on: instance of union b_struct
220
221          with environment:
222            Types:
223            Non-types:
224
225     
226        Return Statement, returning: Cast of:
227  Variable Expression: _src: a instance of union b_struct
228
229to:
230  instance of union b_struct
231with environment:
232  Types:
233  Non-types:
234
235
236
237f: a function
238      accepting unspecified arguments
239    returning
240      nothing
241    with body
242      Declaration of the_struct: a instance of struct a_struct
243      Declaration of the_struct: a instance of union b_struct
244     
245        Expression Statement:
246          Application of
247            Variable Expression: a: a function
248                with parameters
249                  char
250                returning
251                  nothing
252
253          to arguments
254                          Member Expression, with field:
255                a: a char
256              from aggregate:
257                Variable Expression: the_struct: a instance of struct a_struct
258
259          with environment:
260            Types:
261            Non-types:
262
263     
264        Expression Statement:
265          Application of
266            Variable Expression: b: a function
267                with parameters
268                  signed int
269                returning
270                  nothing
271
272          to arguments
273                          Member Expression, with field:
274                a: a signed int
275              from aggregate:
276                Variable Expression: the_struct: a instance of struct a_struct
277
278          with environment:
279            Types:
280            Non-types:
281
282     
283        Expression Statement:
284          Application of
285            Variable Expression: c: a function
286                with parameters
287                  pointer to signed int
288                returning
289                  nothing
290
291          to arguments
292                          Member Expression, with field:
293                a: a pointer to signed int
294              from aggregate:
295                Variable Expression: the_struct: a instance of union b_struct
296
297          with environment:
298            Types:
299            Non-types:
300
301     
302        Expression Statement:
303          Application of
304            Variable Expression: d: a function
305                with parameters
306                  pointer to float
307                returning
308                  nothing
309
310          to arguments
311                          Member Expression, with field:
312                a: a pointer to float
313              from aggregate:
314                Variable Expression: the_struct: a instance of union b_struct
315
316          with environment:
317            Types:
318            Non-types:
319
320
321struct c_struct
322    with members
323      signed int
324      char
325      float
326
327?=?: a automatically generated inline static function
328    with parameters
329      _dst: a pointer to instance of struct c_struct
330      _src: a instance of struct c_struct
331    returning
332      instance of struct c_struct
333    with body
334     
335        Expression Statement:
336          Application of
337            Variable Expression: ?=?: a function
338                with parameters
339                  pointer to signed int
340                  signed int
341                returning
342                  signed int
343
344          to arguments
345                          Address of:
346                Member Expression, with field:
347                  signed int
348                from aggregate:
349                  Applying untyped:
350                      Name: *?
351
352                  ...to:
353                      Variable Expression: _dst: a pointer to instance of struct c_struct
354
355                          Member Expression, with field:
356                signed int
357              from aggregate:
358                Variable Expression: _src: a instance of struct c_struct
359
360          with environment:
361            Types:
362            Non-types:
363
364     
365        Expression Statement:
366          Application of
367            Variable Expression: ?=?: a function
368                with parameters
369                  pointer to char
370                  char
371                returning
372                  char
373
374          to arguments
375                          Address of:
376                Member Expression, with field:
377                  char
378                from aggregate:
379                  Applying untyped:
380                      Name: *?
381
382                  ...to:
383                      Variable Expression: _dst: a pointer to instance of struct c_struct
384
385                          Member Expression, with field:
386                char
387              from aggregate:
388                Variable Expression: _src: a instance of struct c_struct
389
390          with environment:
391            Types:
392            Non-types:
393
394     
395        Expression Statement:
396          Application of
397            Variable Expression: ?=?: a function
398                with parameters
399                  pointer to float
400                  float
401                returning
402                  float
403
404          to arguments
405                          Address of:
406                Member Expression, with field:
407                  float
408                from aggregate:
409                  Applying untyped:
410                      Name: *?
411
412                  ...to:
413                      Variable Expression: _dst: a pointer to instance of struct c_struct
414
415                          Member Expression, with field:
416                float
417              from aggregate:
418                Variable Expression: _src: a instance of struct c_struct
419
420          with environment:
421            Types:
422            Non-types:
423
424     
425        Return Statement, returning: Cast of:
426  Variable Expression: _src: a instance of struct c_struct
427
428to:
429  instance of struct c_struct
430with environment:
431  Types:
432  Non-types:
433
434
435
436union d_struct
437    with members
438      pointer to signed int
439      pointer to char
440      pointer to float
441
442?=?: a automatically generated inline static function
443    with parameters
444      _dst: a pointer to instance of union d_struct
445      _src: a instance of union d_struct
446    returning
447      instance of union d_struct
448    with body
449     
450        Expression Statement:
451          Application of
452            Variable Expression: __builtin_memcpy: a function
453                  accepting unspecified arguments
454                returning
455                  pointer to char
456
457          to arguments
458                          Variable Expression: _dst: a pointer to instance of union d_struct
459
460                          Address of:
461                Variable Expression: _src: a instance of union d_struct
462
463                          Sizeof Expression on: instance of union d_struct
464
465          with environment:
466            Types:
467            Non-types:
468
469     
470        Return Statement, returning: Cast of:
471  Variable Expression: _src: a instance of union d_struct
472
473to:
474  instance of union d_struct
475with environment:
476  Types:
477  Non-types:
478
479
480
481g: a function
482      accepting unspecified arguments
483    returning
484      nothing
485    with body
486      Declaration of x: a short unsigned int
487      Declaration of x: a instance of struct c_struct
488      Declaration of x: a instance of union d_struct
489     
490        Expression Statement:
491          Application of
492            Variable Expression: a: a function
493                with parameters
494                  char
495                returning
496                  nothing
497
498          to arguments
499                          Cast of:
500                Variable Expression: x: a short unsigned int
501
502              to:
503                char
504
505          with environment:
506            Types:
507            Non-types:
508
509     
510        Expression Statement:
511          Application of
512            Variable Expression: b: a function
513                with parameters
514                  signed int
515                returning
516                  nothing
517
518          to arguments
519                          Cast of:
520                Variable Expression: x: a short unsigned int
521
522              to:
523                signed int
524
525          with environment:
526            Types:
527            Non-types:
528
529     
530        Expression Statement:
531          Application of
532            Variable Expression: c: a function
533                with parameters
534                  pointer to signed int
535                returning
536                  nothing
537
538          to arguments
539                          Member Expression, with field:
540                pointer to signed int
541              from aggregate:
542                Variable Expression: x: a instance of union d_struct
543
544          with environment:
545            Types:
546            Non-types:
547
548     
549        Expression Statement:
550          Application of
551            Variable Expression: d: a function
552                with parameters
553                  pointer to float
554                returning
555                  nothing
556
557          to arguments
558                          Member Expression, with field:
559                pointer to float
560              from aggregate:
561                Variable Expression: x: a instance of union d_struct
562
563          with environment:
564            Types:
565            Non-types:
566
567
568struct forward
569q: a pointer to instance of struct forward
570struct forward
571    with members
572      y: a signed int
573
574?=?: a automatically generated inline static function
575    with parameters
576      _dst: a pointer to instance of struct forward
577      _src: a instance of struct forward
578    returning
579      instance of struct forward
580    with body
581     
582        Expression Statement:
583          Application of
584            Variable Expression: ?=?: a function
585                with parameters
586                  pointer to signed int
587                  signed int
588                returning
589                  signed int
590
591          to arguments
592                          Address of:
593                Member Expression, with field:
594                  y: a signed int
595                from aggregate:
596                  Applying untyped:
597                      Name: *?
598
599                  ...to:
600                      Variable Expression: _dst: a pointer to instance of struct forward
601
602                          Member Expression, with field:
603                y: a signed int
604              from aggregate:
605                Variable Expression: _src: a instance of struct forward
606
607          with environment:
608            Types:
609            Non-types:
610
611     
612        Return Statement, returning: Cast of:
613  Variable Expression: _src: a instance of struct forward
614
615to:
616  instance of struct forward
617with environment:
618  Types:
619  Non-types:
620
621
622
623h: a function
624      accepting unspecified arguments
625    returning
626      nothing
627    with body
628     
629        Expression Statement:
630          Member Expression, with field:
631            y: a signed int
632          from aggregate:
633            Application of
634              Variable Expression: *?: a forall
635                    T: a type
636                      with assertions
637                        ?=?: a pointer to function
638                            with parameters
639                              pointer to instance of type T
640                              instance of type T
641                            returning
642                              instance of type T
643
644
645                  function
646                  with parameters
647                    pointer to instance of type T
648                  returning
649                    lvalue instance of type T
650
651            to arguments
652                              Variable Expression: q: a pointer to instance of struct forward
653
654            with inferred parameters:
655              ?=?: a inline static function
656                with parameters
657                  _dst: a pointer to instance of struct forward
658                  _src: a instance of struct forward
659                returning
660                  instance of struct forward
661
662          with environment:
663            Types:
664            Non-types:
665
666
Note: See TracBrowser for help on using the repository browser.