source: src/Tests/Expect-a/LabelledExit.txt@ bc1ab61

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc
Last change on this file since bc1ab61 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 10 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
Line 
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.