source: src/Tests/Expect-e/Members.txt @ 01b8088d

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

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