source: src/Tests/Expect-a/Tuple.txt @ 220ca4a

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 220ca4a 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: 15.3 KB
RevLine 
[5f2f2d7]1f: function
[51b7345]2    with parameters
3      signed int
4      signed int
5    returning
6      signed int
7
[5f2f2d7]8g: function
[51b7345]9    with parameters
10      signed int
11      signed int
12      signed int
13    returning
14      signed int
15
[5f2f2d7]16h: static function
[51b7345]17    with parameters
[5f2f2d7]18      a: signed int
19      b: signed int
20      c: pointer to signed int
21      d: open array of char
[51b7345]22    returning
23      signed int
[b1d6dd5]24      pointer to signed int
25      pointer to signed int
[51b7345]26      signed int
27
28struct inner
29    with members
[5f2f2d7]30      f2: signed int
31      f3: signed int
[51b7345]32
33struct outer
34    with members
[5f2f2d7]35      f1: signed int
36      i: instance of struct inner
37      f4: double
[51b7345]38
[5f2f2d7]39s: instance of struct outer
40sp: pointer to instance of struct outer
41t1: const volatile tuple of types
[51b7345]42    signed int
43    signed int
44
[5f2f2d7]45t2: static const tuple of types
[51b7345]46    signed int
47    const signed int
48
[5f2f2d7]49t3: static const tuple of types
[51b7345]50    signed int
51    const signed int
52
[5f2f2d7]53printf: function
[51b7345]54    with parameters
[5f2f2d7]55      fmt: pointer to char
[51b7345]56      and a variable number of other arguments
57    returning
[5f2f2d7]58      rc: signed int
[51b7345]59
[5f2f2d7]60printf: function
[51b7345]61    with parameters
[5f2f2d7]62      fmt: pointer to char
[51b7345]63      and a variable number of other arguments
64    returning
65      signed int
66
[5f2f2d7]67f1: function
[51b7345]68    with parameters
[5f2f2d7]69      w: signed int
[51b7345]70    returning
[5f2f2d7]71      x: short signed int
72      y: unsigned int
[51b7345]73    with body
[5f2f2d7]74      CompoundStmt
75                  Expression Statement:
76            Applying untyped:
77                Name: ?=?
78            ...to:
79                Address of:
80                  Tuple:
81                                          Name: y
[51b7345]82
[5f2f2d7]83                                          Name: x
84
85                Applying untyped:
86                    Name: ?=?
87                ...to:
88                    Address of:
89                      Tuple:
90                                                  Name: x
91
92                                                  Name: y
93
94                    Tuple:
95                                              Name: w
96
97                      constant expression 23 signed int
98
99
100g1: function
[51b7345]101    returning
[5f2f2d7]102      r: tuple of types
[51b7345]103          signed int
104          char
105          long signed int
106          signed int
107
108    with body
[5f2f2d7]109      CompoundStmt
110        Declaration of x: short signed int
111        Declaration of p: short signed int
112        Declaration of y: unsigned int
113        Declaration of z: tuple of types
114            signed int
115            signed int
116
117                  Expression Statement:
118            Applying untyped:
119                Name: ?=?
120            ...to:
121                Address of:
122                  Tuple:
123                                          Name: x
124
125                                          Name: y
[51b7345]126
[5f2f2d7]127                                          Name: z
[51b7345]128
[5f2f2d7]129                Tuple:
130                                      Name: p
131
132                                      Applying untyped:
133                        Name: f
134                    ...to:
135constant expression 17 signed int
136                  constant expression 3 signed int
137
[b1d6dd5]138                  Expression Statement:
139            Applying untyped:
140                Name: ?=?
141            ...to:
142                Address of:
143                  Tuple:
144                                          Name: x
145
146                                          Name: y
147
148                                          Name: z
149
150                Cast of:
151                  Tuple:
152                                          Name: p
153
154                                          Applying untyped:
155                          Name: f
156                      ...to:
157constant expression 17 signed int
158                    constant expression 3 signed int
159
160                to:
161                  short signed int
162                  unsigned int
163                  tuple of types
164                      signed int
165                      signed int
166
167
[5f2f2d7]168                  Expression Statement:
169            Applying untyped:
170                Name: ?=?
171            ...to:
172                Address of:
173                  Name: r
174                Tuple:
175                                      Name: x
176
177                                      Name: y
178
179                                      Name: z
180
181
182
183main: C function
[51b7345]184    with parameters
[5f2f2d7]185      argc: signed int
186      argv: pointer to pointer to char
[51b7345]187    returning
[5f2f2d7]188      rc: signed int
[51b7345]189    with body
[5f2f2d7]190      CompoundStmt
191        Declaration of a: signed int
192        Declaration of b: signed int
193        Declaration of c: signed int
194        Declaration of d: signed int
195        Declaration of t: instance of struct outer with initializer
196          Compound initializer: 
197            Simple Initializer:               Tuple:
198                                  Name: 1
199
200                constant expression 7.0 double
201
202              designated by:                 Name: f1
203                Name: f4
204
205                  Expression Statement:
206            Applying untyped:
207                Name: f
208            ...to:
209                Tuple:
210                  constant expression 3 signed int
211                  constant expression 5 signed int
212
213                  Expression Statement:
214            Applying untyped:
215                Name: g
216            ...to:
217                Tuple:
218                  constant expression 3 signed int
219                  constant expression 5 signed int
220constant expression 3 signed int
221                  Expression Statement:
222            Applying untyped:
223                Name: f
224            ...to:
225                Name: t1
226
227                  Expression Statement:
228            Applying untyped:
229                Name: g
230            ...to:
231                Name: t1
232constant expression 3 signed int
233                  Expression Statement:
234            Tuple:
[b1d6dd5]235
236                  Expression Statement:
237            Tuple:
[5f2f2d7]238              constant expression 3 signed int
239              constant expression 5 signed int
240
241                  Expression Statement:
242            Applying untyped:
243                Name: ?=?
244            ...to:
245                Address of:
246                  Tuple:
247                                          Name: a
248
249                                          Name: b
250
251constant expression 3 signed int
252                  Expression Statement:
253            Applying untyped:
254                Name: ?=?
255            ...to:
256                Address of:
257                  Tuple:
258                                          Name: a
259
260                                          Name: b
261
262                Tuple:
263                  constant expression 4.6 double
264
265                  Expression Statement:
266            Applying untyped:
267                Name: ?=?
268            ...to:
269                Address of:
270                  Tuple:
271                                          Name: a
272
273                                          Name: b
274
275                Applying untyped:
276                    Name: ?=?
277                ...to:
278                    Address of:
279                      Tuple:
280                                                  Name: c
281
282                                                  Name: d
283
284                    Tuple:
285                      constant expression 3 signed int
286                      constant expression 5 signed int
287
288                  Expression Statement:
289            Applying untyped:
290                Name: ?=?
291            ...to:
292                Address of:
293                  Tuple:
294                                          Name: a
295
296                                          Name: b
297
298                                          Tuple:
299                                                  Name: c
300
301
302                Tuple:
303                  constant expression 2 signed int
304                                      Tuple:
305                                              Name: a
306
307                                              Name: b
308
309
310
311                  Expression Statement:
312            Applying untyped:
313                Name: ?=?
314            ...to:
315                Address of:
316                  Tuple:
317                                          Name: a
318
319                                          Name: b
320
321                Conditional expression on:
322                  Cast of:
323                    Applying untyped:
324                        Name: ?!=?
325                    ...to:
326                        Applying untyped:
327                            Name: ?>?
328                        ...to:
329constant expression 3 signed int constant expression 4 signed int                         Name: 0
330
331                  to:
332                    signed int
333                First alternative:
334                  Tuple:
335                                          Name: b
336
337                    constant expression 6 signed int
338                Second alternative:
339                  Tuple:
340                    constant expression 7 signed int
341                    constant expression 8 signed int
342
343
344                  Expression Statement:
345            Applying untyped:
346                Name: ?=?
347            ...to:
348                Address of:
349                  Name: t1
350                Tuple:
351                                      Name: a
352
353                                      Name: b
354
355
356                  Expression Statement:
357            Applying untyped:
358                Name: ?=?
359            ...to:
360                Address of:
361                  Name: t1
362                Applying untyped:
363                    Name: ?=?
364                ...to:
365                    Address of:
366                      Name: t2
367                    Tuple:
368                                              Name: a
369
370                                              Name: b
371
372
373                  Expression Statement:
374            Applying untyped:
375                Name: ?=?
376            ...to:
377                Address of:
378                  Tuple:
379                                          Name: a
380
381                                          Name: b
382
383                Applying untyped:
384                    Name: ?=?
385                ...to:
386                    Address of:
387                      Tuple:
388                                                  Name: c
389
390                                                  Name: d
391
392                    Applying untyped:
393                        Name: ?+=?
394                    ...to:
395                        Address of:
396                          Name: d
397                        Applying untyped:
398                            Name: ?+=?
399                        ...to:
400                            Address of:
401                              Name: c
402                            Name: 1
403
404                  Expression Statement:
405            Applying untyped:
406                Name: ?=?
407            ...to:
408                Address of:
409                  Tuple:
410                                          Name: a
411
412                                          Name: b
413
414                Applying untyped:
415                    Name: ?=?
416                ...to:
417                    Address of:
418                      Tuple:
419                                                  Name: c
420
421                                                  Name: d
422
423                    Name: t1
424
425                  Expression Statement:
426            Applying untyped:
427                Name: ?=?
428            ...to:
429                Address of:
430                  Tuple:
431                                          Name: a
432
433                                          Name: b
434
435                Applying untyped:
436                    Name: ?=?
437                ...to:
438                    Address of:
439                      Name: t1
440                    Tuple:
441                                              Name: c
442
443                                              Name: d
444
445
446                  Expression Statement:
447            Applying untyped:
448                Name: ?=?
449            ...to:
450                Address of:
451                  Tuple:
452                                          Name: a
453
454                                          Name: b
455
456                Applying untyped:
457                    Name: ?=?
458                ...to:
459                    Address of:
460                      Name: t1
461                    Applying untyped:
462                        Name: ?=?
463                    ...to:
464                        Address of:
465                          Name: t2
466                        Tuple:
467                                                      Name: c
468
469                                                      Name: d
470
471
472                  Expression Statement:
473            Applying untyped:
474                Name: ?=?
475            ...to:
476                Address of:
477                  Name: t1
478                Applying untyped:
479                    Name: ?=?
480                ...to:
481                    Address of:
482                      Tuple:
483                        constant expression 3 signed int
484                        constant expression 4 signed int
485                    Applying untyped:
486                        Name: ?=?
487                    ...to:
488                        Address of:
489                          Tuple:
490                            constant expression 3 signed int
491                            constant expression 4 signed int
492                        Applying untyped:
493                            Name: ?=?
494                        ...to:
495                            Address of:
496                              Name: t1
497                            Tuple:
498                              constant expression 3 signed int
499                              constant expression 4 signed int
500
501                  Expression Statement:
502            Applying untyped:
503                Name: ?=?
504            ...to:
505                Address of:
506                  Name: s
507                Tuple:
508                  constant expression 11 signed int
509                  constant expression 12 signed int
510                  constant expression 13 signed int
511                  constant expression 3.14159 double
512
513                  Expression Statement:
514            Applying untyped:
515                Name: ?=?
516            ...to:
517                Address of:
518                  Name: s
519                Applying untyped:
520                    Name: h
521                ...to:
522constant expression 3 signed int constant expression 3 signed int                     Name: 0
[b1d6dd5]523constant expression "abc" array of char with dimension of constant expression 6 unsigned int
524                  Expression Statement:
525            Applying untyped:
526                Name: ?=?
527            ...to:
528                Address of:
529                  Tuple:
530                                          Name: a
531
532                                          Name: b
533
534                Applying untyped:
535                    Name: h
536                ...to:
537constant expression 3 signed int constant expression 3 signed int                     Name: 0
[5f2f2d7]538constant expression "abc" array of char with dimension of constant expression 6 unsigned int
539                  Expression Statement:
540            Applying untyped:
541                Name: ?=?
542            ...to:
543                Address of:
544                  Name: sp
545                Name: sp
546
547                  Expression Statement:
548            Applying untyped:
549                Name: printf
550            ...to:
551constant expression "expecting 3, 17, 23, 4; got %d, %d, %d, %d\n" array of char with dimension of constant expression 47 unsigned int                 Name: s
552
553                  Expression Statement:
554            Applying untyped:
555                Name: ?=?
556            ...to:
557                Address of:
558                  Name: rc
559                Name: 0
560
[51b7345]561
Note: See TracBrowser for help on using the repository browser.