aboutsummaryrefslogtreecommitdiffhomepage
path: root/test/external/c-testsuite/tests/single-exec/00215.c
blob: 3a5a7e17e44dca5d86b271ac2337e1ff2db3cedc (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
extern int printf(const char *format, ...);
static void kb_wait_1(void)
{
    unsigned long timeout = 2;
    do {
        if (1) printf("timeout=%ld\n", timeout);
        else
        {
            while (1)
                printf("error\n");
        }
        timeout--;
    } while (timeout);
}
static void kb_wait_2(void)
{
    unsigned long timeout = 2;
    do {
        if (1) printf("timeout=%ld\n", timeout);
        else
        {
            for (;;)
                printf("error\n");
        }
        timeout--;
    } while (timeout);
}
static void kb_wait_2_1(void)
{
    unsigned long timeout = 2;
    do {
        if (1) printf("timeout=%ld\n", timeout);
        else
        {
            do {
                printf("error\n");
            } while (1);
        }
        timeout--;
    } while (timeout);
}
static void kb_wait_2_2(void)
{
    unsigned long timeout = 2;
    do {
        if (1) printf("timeout=%ld\n", timeout);
        else
        {
            label:
                printf("error\n");
            goto label;
        }
        timeout--;
    } while (timeout);
}
static void kb_wait_3(void)
{
    unsigned long timeout = 2;
    do {
        if (1) printf("timeout=%ld\n", timeout);
        else
        {
            int i = 1;
            goto label;
            i = i + 2;
        label:
            i = i + 3;
        }
        timeout--;
    } while (timeout);
}
static void kb_wait_4(void)
{
    unsigned long timeout = 2;
    do {
	if (1) printf("timeout=%ld\n", timeout);
        else
        {
            switch(timeout) {
                case 2:
                    printf("timeout is 2");
                    break;
                case 1:
                    printf("timeout is 1");
                    break;
                default:
                    printf("timeout is 0?");
                    break;
            };
            /* return; */
        }
        timeout--;
    } while (timeout);
}
int main()
{
    printf("begin\n");
    kb_wait_1();
    kb_wait_2();
    kb_wait_2_1();
    kb_wait_2_2();
    kb_wait_3();
    kb_wait_4();
    printf("end\n");
    return 0;
}