ccarp 0.1.2

(trans)Compile C And Rust Partially
Documentation 
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

static _Bool value_mismatch = 0;
unsigned long long int seed = 0;

int var_1 = 1903308942;
_Bool var_4 = (_Bool)1;
unsigned long long int var_5 = 14515364995207597833ULL;
unsigned char var_6 = (unsigned char)243;
int var_8 = 477460223;
int var_9 = 1310559007;
_Bool var_10 = (_Bool)0;
unsigned long long int var_11 = 17068079941007565637ULL;
int var_13 = 173889076;
_Bool var_14 = (_Bool)1;
unsigned int var_17 = 1193114907U;
unsigned char var_18 = (unsigned char)214;
unsigned long long int var_19 = 14823416651152109764ULL;
int zero = 0;
_Bool var_20 = (_Bool)1;
unsigned long long int var_21 = 12076553798774386523ULL;
signed char var_22 = (signed char)101;
int var_23 = 2053675023;
short var_24 = (short)-7765;
signed char arr_0 [10] ;
unsigned int arr_1 [10] ;
unsigned long long int arr_3 [10] [10] [10] ;
unsigned long long int arr_4 [10] ;
unsigned short arr_5 [10] [10] [10] [10] ;
unsigned long long int arr_7 [10] [10] [10] [10] ;
unsigned char arr_8 [10] [10] [10] ;
_Bool arr_9 [10] [10] [10] [10] [10] ;
void init() {
    for (int i_0 = 0; i_0 < 10; ++i_0) 
        arr_0 [i_0] = (signed char)-72;
    for (int i_0 = 0; i_0 < 10; ++i_0) 
        arr_1 [i_0] = 1033168891U;
    for (int i_0 = 0; i_0 < 10; ++i_0) 
        for (int i_1 = 0; i_1 < 10; ++i_1) 
            for (int i_2 = 0; i_2 < 10; ++i_2) 
                arr_3 [i_0] [i_1] [i_2] = (i_0 % 2 == 0) ? 15036333501771184243ULL : 6125658740590727319ULL;
    for (int i_0 = 0; i_0 < 10; ++i_0) 
        arr_4 [i_0] = 9551370772493433754ULL;
    for (int i_0 = 0; i_0 < 10; ++i_0) 
        for (int i_1 = 0; i_1 < 10; ++i_1) 
            for (int i_2 = 0; i_2 < 10; ++i_2) 
                for (int i_3 = 0; i_3 < 10; ++i_3) 
                    arr_5 [i_0] [i_1] [i_2] [i_3] = (i_2 % 2 == 0) ? (unsigned short)5263 : (unsigned short)16215;
    for (int i_0 = 0; i_0 < 10; ++i_0) 
        for (int i_1 = 0; i_1 < 10; ++i_1) 
            for (int i_2 = 0; i_2 < 10; ++i_2) 
                for (int i_3 = 0; i_3 < 10; ++i_3) 
                    arr_7 [i_0] [i_1] [i_2] [i_3] = (i_0 % 2 == 0) ? 9850950795692768439ULL : 16184525698066410862ULL;
    for (int i_0 = 0; i_0 < 10; ++i_0) 
        for (int i_1 = 0; i_1 < 10; ++i_1) 
            for (int i_2 = 0; i_2 < 10; ++i_2) 
                arr_8 [i_0] [i_1] [i_2] = (unsigned char)35;
    for (int i_0 = 0; i_0 < 10; ++i_0) 
        for (int i_1 = 0; i_1 < 10; ++i_1) 
            for (int i_2 = 0; i_2 < 10; ++i_2) 
                for (int i_3 = 0; i_3 < 10; ++i_3) 
                    for (int i_4 = 0; i_4 < 10; ++i_4) 
                        arr_9 [i_0] [i_1] [i_2] [i_3] [i_4] = (i_4 % 2 == 0) ? (_Bool)1 : (_Bool)1;
}

void checksum() {
    value_mismatch |= var_20 != (_Bool)1;
    value_mismatch |= var_21 != 0ULL;
    value_mismatch |= var_22 != (signed char)31;
    value_mismatch |= var_23 != 1562279095;
    value_mismatch |= var_24 != (short)-7765;
    for (int i_0 = 0; i_0 < 10; ++i_0) 
        for (int i_1 = 0; i_1 < 10; ++i_1) 
            for (int i_2 = 0; i_2 < 10; ++i_2) 
                for (int i_3 = 0; i_3 < 10; ++i_3) 
                    for (int i_4 = 0; i_4 < 10; ++i_4) 
                        value_mismatch |= arr_9 [i_0] [i_1] [i_2] [i_3] [i_4] != (_Bool)1 && arr_9 [i_0] [i_1] [i_2] [i_3] [i_4] != (_Bool)1 && arr_9 [i_0] [i_1] [i_2] [i_3] [i_4] != (_Bool)1 && arr_9 [i_0] [i_1] [i_2] [i_3] [i_4] != (_Bool)1;
}
void test(int var_1, _Bool var_4, unsigned long long int var_5, unsigned char var_6, int var_8, int var_9, _Bool var_10, unsigned long long int var_11, int var_13, _Bool var_14, unsigned int var_17, unsigned char var_18, unsigned long long int var_19, int zero, signed char arr_0 [10] , unsigned int arr_1 [10] , unsigned long long int arr_3 [10] [10] [10] , unsigned long long int arr_4 [10] , unsigned short arr_5 [10] [10] [10] [10] , unsigned long long int arr_7 [10] [10] [10] [10] , unsigned char arr_8 [10] [10] [10] );

int main() {
    init();
    test(var_1, var_4, var_5, var_6, var_8, var_9, var_10, var_11, var_13, var_14, var_17, var_18, var_19, zero, arr_0 , arr_1 , arr_3 , arr_4 , arr_5 , arr_7 , arr_8 );
    checksum();
    if (value_mismatch) return 1;
    else return seed;
}