467
|
1 int printf(const char *format, ...);
|
|
2
|
438
|
3 main()
|
|
4 {
|
439
|
5 int i;
|
438
|
6 for(;;) {
|
491
|
7 printf("#0006:aho\n");
|
438
|
8 break;
|
|
9 }
|
491
|
10 do printf("#0009:aho\n"); while(0);
|
438
|
11 if (0)
|
491
|
12 printf("#0011:a\n");
|
438
|
13 if (0)
|
491
|
14 printf("#0013:a\n");
|
438
|
15 else
|
491
|
16 printf("#0015:b\n");
|
438
|
17 if (1)
|
491
|
18 printf("#0017:a\n");
|
438
|
19 else {
|
491
|
20 printf("#0019:b\n");
|
|
21 printf("#0020:b\n");
|
438
|
22 }
|
439
|
23 if (0)
|
491
|
24 printf("#0023:a\n");
|
439
|
25 else if (0 && i) {
|
491
|
26 printf("#0025:bi\n");
|
|
27 printf("#0026:bi\n");
|
439
|
28 }
|
438
|
29 return 0;
|
|
30 }
|