source: src/Tests/Expect-v/Initialization.txt @ d67a9a1

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