source: src/Tests/Expect-v/LabelledExit.txt @ a73d57a

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 a73d57a 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.7 KB
RevLine 
[b1d6dd5]1main: C function
2      accepting unspecified arguments
3    returning
4      signed int
5    with body
6      CompoundStmt
7        Declaration of i: signed int
8        Declaration of x: signed int
9        Declaration of y: signed int
10                  Expression Statement:
11            Applying untyped:
12                Name: ?=?
13            ...to:
14                Address of:
15                  Name: x
16                Name: 0
17
18                  Expression Statement:
19            Applying untyped:
20                Name: ?=?
21            ...to:
22                Address of:
23                  Name: y
24                Name: 0
25
26                  CompoundStmt
27                          If on condition:
28                  Cast of:
29                    Applying untyped:
30                        Name: ?!=?
31                    ...to:
32                        Applying untyped:
33                            Name: ?==?
34                        ...to:
35                            Name: x
36                            Name: y
37                        Name: 0
38
39                  to:
40                    signed int
41              .... and branches:
42                  CompoundStmt
43                                          Labels: {}
44                      For Statement
45                        initialization:
46
47                        condition:
48                          Cast of:
49                            Applying untyped:
50                                Name: ?!=?
51                            ...to:
52                                Applying untyped:
53                                    Name: ?<?
54                                ...to:
55                                    Name: i
56                                    Name: y
57                                Name: 0
58
59                          to:
60                            signed int
61
62                        increment:
63
64                        statement block:
65                          CompoundStmt
66                                                          Expression Statement:
67                                Applying untyped:
68                                    Name: ?+=?
69                                ...to:
70                                    Address of:
71                                      Name: y
72                                    Name: 1
73
74                                                          If on condition:
75                                  Cast of:
76                                    Applying untyped:
77                                        Name: ?!=?
78                                    ...to:
79                                        Applying untyped:
80                                            Name: ?<?
81                                        ...to:
82                                            Name: y
83constant expression 10 signed int                                         Name: 0
84
85                                  to:
86                                    signed int
87                              .... and branches:
88                                  Branch (Break)
89
90
91
92
93
94                  While on condition:
95              Cast of:
96                Applying untyped:
97                    Name: ?!=?
98                ...to:
99                    Applying untyped:
100                        Name: ?==?
101                    ...to:
102                        Name: y
103constant expression 10 signed int                     Name: 0
104
105              to:
106                signed int
107          .... with body:
108              Null Statement
109
110                  While on condition:
111              Cast of:
112                Applying untyped:
113                    Name: ?!=?
114                ...to:
115                    Applying untyped:
116                        Name: ?<?
117                    ...to:
118                        Name: x
119constant expression 10 signed int                     Name: 0
120
121              to:
122                signed int
123          .... with body:
124              CompoundStmt
125                                  While on condition:
126                      Cast of:
127                        Applying untyped:
128                            Name: ?!=?
129                        ...to:
130                            Applying untyped:
131                                Name: ?<?
132                            ...to:
133                                Name: y
134constant expression 5 signed int                             Name: 0
135
136                      to:
137                        signed int
138                  .... with body:
139                      CompoundStmt
140                                                  If on condition:
141                              Cast of:
142                                Applying untyped:
143                                    Name: ?!=?
144                                ...to:
145                                    Applying untyped:
146                                        Name: ?==?
147                                    ...to:
148                                        Name: y
149constant expression 3 signed int                                     Name: 0
150
151                              to:
152                                signed int
153                          .... and branches:
154                              Branch (Break)
155
156
157                                  Expression Statement:
158                    Applying untyped:
159                        Name: ?+=?
160                    ...to:
161                        Address of:
162                          Name: x
163                        Name: 1
164
165
166                  Labels: {A,}
167          For Statement
168            initialization:
169              Expression Statement:
170                Applying untyped:
171                    Name: ?=?
172                ...to:
173                    Address of:
174                      Name: i
175                    Name: 0
176
177            condition:
178              Cast of:
179                Applying untyped:
180                    Name: ?!=?
181                ...to:
182                    Applying untyped:
183                        Name: ?<?
184                    ...to:
185                        Name: i
186constant expression 10 signed int                     Name: 0
187
188              to:
189                signed int
190
191            increment:
192              Applying untyped:
193                  Name: ?+=?
194              ...to:
195                  Address of:
196                    Name: i
197                  Name: 1
198
199            statement block:
200              CompoundStmt
201                                  Labels: {B,}
202                  For Statement
203                    initialization:
204                      Expression Statement:
205                        Applying untyped:
206                            Name: ?=?
207                        ...to:
208                            Address of:
209                              Name: i
210                            Name: 0
211
212                    condition:
213                      Cast of:
214                        Applying untyped:
215                            Name: ?!=?
216                        ...to:
217                            Applying untyped:
218                                Name: ?<?
219                            ...to:
220                                Name: i
221constant expression 10 signed int                             Name: 0
222
223                      to:
224                        signed int
225
226                    increment:
227                      Applying untyped:
228                          Name: ?+=?
229                      ...to:
230                          Address of:
231                            Name: i
232                          Name: 1
233
234                    statement block:
235                      CompoundStmt
236                                                  Labels: {C,}
237                          For Statement
238                            initialization:
239                              Expression Statement:
240                                Applying untyped:
241                                    Name: ?=?
242                                ...to:
243                                    Address of:
244                                      Name: i
245                                    Name: 0
246
247                            condition:
248                              Cast of:
249                                Applying untyped:
250                                    Name: ?!=?
251                                ...to:
252                                    Applying untyped:
253                                        Name: ?<?
254                                    ...to:
255                                        Name: i
256constant expression 10 signed int                                     Name: 0
257
258                              to:
259                                signed int
260
261                            increment:
262                              Applying untyped:
263                                  Name: ?+=?
264                              ...to:
265                                  Address of:
266                                    Name: i
267                                  Name: 1
268
269                            statement block:
270                              CompoundStmt
271                                                                  Branch (Goto)
272
273                                                                  Branch (Goto)
274
275                                                                  Branch (Goto)
276
277                                                                  Branch (Continue)
278
279                                                                  Branch (Continue)
280
281                                                                  Branch (Continue)
282
283                                                                  Branch (Continue)
284
285                                                                  Branch (Break)
286
287                                                                  Branch (Break)
288
289                                                                  Branch (Break)
290
291                                                                  Branch (Break)
292
293
294
295
296
297
298
299                  Labels: {D,}
300          For Statement
301            initialization:
302
303            condition:
304
305            increment:
306
307            statement block:
308              CompoundStmt
309                                  Branch (Break)
310
311                                  Branch (Continue)
312
313
314
315                  Expression Statement:
316            Applying untyped:
317                Name: ?+=?
318            ...to:
319                Address of:
320                  Name: i
321                Name: 1
322
323                  Branch (Goto)
324
325                  Labels: {X,Y,}
326          For Statement
327            initialization:
328
329            condition:
330
331            increment:
332
333            statement block:
334              CompoundStmt
335                                  Expression Statement:
336                    Applying untyped:
337                        Name: ?+=?
338                    ...to:
339                        Address of:
340                          Name: i
341                        Name: 1
342
343                                  If on condition:
344                      Cast of:
345                        Applying untyped:
346                            Name: ?!=?
347                        ...to:
348                            Applying untyped:
349                                Name: ?>?
350                            ...to:
351                                Name: i
352constant expression 5 signed int                             Name: 0
353
354                      to:
355                        signed int
356                  .... and branches:
357                      Branch (Continue)
358
359                                  If on condition:
360                      Cast of:
361                        Applying untyped:
362                            Name: ?!=?
363                        ...to:
364                            Applying untyped:
365                                Name: ?<?
366                            ...to:
367                                Name: i
368constant expression 5 signed int                             Name: 0
369
370                      to:
371                        signed int
372                  .... and branches:
373                      Branch (Break)
374
375                                  If on condition:
376                      Cast of:
377                        Applying untyped:
378                            Name: ?!=?
379                        ...to:
380                            Applying untyped:
381                                Name: ?<?
382                            ...to:
383                                Name: i
384constant expression 5 signed int                             Name: 0
385
386                      to:
387                        signed int
388                  .... and branches:
389                      Branch (Break)
390
391                                  Branch (Break)
392
393
394
395                  Labels: {XX,}
396          For Statement
397            initialization:
398
399            condition:
400
401            increment:
402
403            statement block:
404              CompoundStmt
405                                  Labels: {YY,}
406                  For Statement
407                    initialization:
408
409                    condition:
410
411                    increment:
412
413                    statement block:
414                      CompoundStmt
415                                                  Labels: {ZZ,}
416                          For Statement
417                            initialization:
418
419                            condition:
420
421                            increment:
422
423                            statement block:
424                              CompoundStmt
425                                                                  Expression Statement:
426                                    Applying untyped:
427                                        Name: ?+=?
428                                    ...to:
429                                        Address of:
430                                          Name: i
431                                        Name: 1
432
433                                                                  If on condition:
434                                      Cast of:
435                                        Applying untyped:
436                                            Name: ?!=?
437                                        ...to:
438                                            Applying untyped:
439                                                Name: ?>?
440                                            ...to:
441                                                Name: i
442constant expression 5 signed int                                             Name: 0
443
444                                      to:
445                                        signed int
446                                  .... and branches:
447                                      Branch (Continue)
448
449                                                                  If on condition:
450                                      Cast of:
451                                        Applying untyped:
452                                            Name: ?!=?
453                                        ...to:
454                                            Applying untyped:
455                                                Name: ?<?
456                                            ...to:
457                                                Name: i
458constant expression 5 signed int                                             Name: 0
459
460                                      to:
461                                        signed int
462                                  .... and branches:
463                                      Branch (Continue)
464
465                                                                  If on condition:
466                                      Cast of:
467                                        Applying untyped:
468                                            Name: ?!=?
469                                        ...to:
470                                            Applying untyped:
471                                                Name: ?<?
472                                            ...to:
473                                                Name: i
474constant expression 5 signed int                                             Name: 0
475
476                                      to:
477                                        signed int
478                                  .... and branches:
479                                      Branch (Continue)
480
481                                                                  If on condition:
482                                      Cast of:
483                                        Applying untyped:
484                                            Name: ?!=?
485                                        ...to:
486                                            Applying untyped:
487                                                Name: ?>?
488                                            ...to:
489                                                Name: i
490constant expression 5 signed int                                             Name: 0
491
492                                      to:
493                                        signed int
494                                  .... and branches:
495                                      Branch (Break)
496
497                                                                  If on condition:
498                                      Cast of:
499                                        Applying untyped:
500                                            Name: ?!=?
501                                        ...to:
502                                            Applying untyped:
503                                                Name: ?<?
504                                            ...to:
505                                                Name: i
506constant expression 5 signed int                                             Name: 0
507
508                                      to:
509                                        signed int
510                                  .... and branches:
511                                      Branch (Break)
512
513                                                                  If on condition:
514                                      Cast of:
515                                        Applying untyped:
516                                            Name: ?!=?
517                                        ...to:
518                                            Applying untyped:
519                                                Name: ?<?
520                                            ...to:
521                                                Name: i
522constant expression 5 signed int                                             Name: 0
523
524                                      to:
525                                        signed int
526                                  .... and branches:
527                                      Branch (Break)
528
529                                                                  Branch (Break)
530
531
532
533
534
535
536
537                  Labels: {}
538          For Statement
539            initialization:
540
541            condition:
542
543            increment:
544
545            statement block:
546              Null Statement
547
548
549                  Labels: {}
550          For Statement
551            initialization:
552Declaration of i: signed int with initializer
553              Simple Initializer:                 Name: 0
554
555            condition:
556
557            increment:
558
559            statement block:
560              Null Statement
561
562
563                  Labels: {}
564          For Statement
565            initialization:
566
567            condition:
568              Cast of:
569                Applying untyped:
570                    Name: ?!=?
571                ...to:
572                    Applying untyped:
573                        Name: ?<?
574                    ...to:
575                        Name: i
576                        Name: 0
577                    Name: 0
578
579              to:
580                signed int
581
582            increment:
583
584            statement block:
585              Null Statement
586
587
588                  Labels: {}
589          For Statement
590            initialization:
591
592            condition:
593
594            increment:
595              Applying untyped:
596                  Name: ?+=?
597              ...to:
598                  Address of:
599                    Name: i
600                  Name: 1
601
602            statement block:
603              Null Statement
604
605
606                  Labels: {L0,L1,L2,L3,L4,L5,L6,L7,L8,L9,L10,L11,L12,L13,L14,L15,L16,L17,L18,L19,L20,L21,L22,L23,L24,L25,L26,L27,L28,L29,L31,L32,L33,L34,}
607          For Statement
608            initialization:
609
610            condition:
611
612            increment:
613
614            statement block:
615              CompoundStmt
616                                  Branch (Break)
617
618
619
620                  Switch on condition: Name: i
621
622              Default
623                  Expression Statement:
624                    Applying untyped:
625                        Name: ?+=?
626                    ...to:
627                        Address of:
628                          Name: i
629                        Name: 1
630              Case Name: 0
631
632                  Expression Statement:
633                    Applying untyped:
634                        Name: ?+=?
635                    ...to:
636                        Address of:
637                          Name: i
638                        Name: 1
639                  Branch (Break)
640              Case Name: 1
641
642                  Switch on condition: Name: i
643
644                      Case Name: 0
645
646                          Branch (Break)
647                      Default
648                          Branch (Break)
649
650                  Choose on condition: Name: i
651
652              Default
653                  Expression Statement:
654                    Applying untyped:
655                        Name: ?+=?
656                    ...to:
657                        Address of:
658                          Name: i
659                        Name: 1
660              Case Name: 0
661
662                  Expression Statement:
663                    Applying untyped:
664                        Name: ?+=?
665                    ...to:
666                        Address of:
667                          Name: i
668                        Name: 1
669                  Branch (Break)
670              Case Name: 1
671
672                  Choose on condition: Name: i
673
674                      Case Name: 0
675
676                          Branch (Break)
677                      Default
678                          Branch (Break)
679                  Fall-through statement
680              Case constant expression 2 signed int
681                  Expression Statement:
682                    Applying untyped:
683                        Name: ?+=?
684                    ...to:
685                        Address of:
686                          Name: i
687                        Name: 1
688
689                  CompoundStmt
690            Declaration of array: static open array of pointer to void with initializer
691              Compound initializer: 
692                Simple Initializer:                   Applying untyped:
693                      Name: LabAddress
694                  ...to:
695                      Name: foo
696
697                Simple Initializer:                   Applying untyped:
698                      Name: LabAddress
699                  ...to:
700                      Name: bar
701
702                Simple Initializer:                   Applying untyped:
703                      Name: LabAddress
704                  ...to:
705                      Name: hack
706
707                          Branch (Goto)
708
709
710                  If on condition:
711              Cast of:
712                Applying untyped:
713                    Name: ?!=?
714                ...to:
715                    Applying untyped:
716                        Name: ?>?
717                    ...to:
718                        Name: i
719constant expression 5 signed int                     Name: 0
720
721              to:
722                signed int
723          .... and branches:
724              CompoundStmt
725                                  Expression Statement:
726                    Applying untyped:
727                        Name: ?+=?
728                    ...to:
729                        Address of:
730                          Name: i
731                        Name: 1
732
733                                  Branch (Break)
734
735              Expression Statement:
736                Applying untyped:
737                    Name: ?+=?
738                ...to:
739                    Address of:
740                      Name: i
741                    Name: 1
742
743
Note: See TracBrowser for help on using the repository browser.