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

/*
yarpgen version 2.0 (build 700f5a2 on 2025:03:04)
Seed: 3350166608
Invocation: ../scripts/yarpgen --std=c --check-algo=asserts -s 3350166608
*/
#include "init.h"
int max(int a, int b) {
    return a > b ? a : b;
}
int min(int a, int b) {
    return a < b ? a : b;
}
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] ) {
    var_20 = ((/* implicit */_Bool) var_17);
    /* LoopSeq 1 */
    for (_Bool i_0 = ((/* implicit */int) var_10)/*0*/; i_0 < ((/* implicit */int) ((/* implicit */_Bool) var_18))/*1*/; i_0 += (_Bool)1/*1*/) 
    {
        /* LoopNest 3 */
        for (_Bool i_1 = (_Bool)0/*0*/; i_1 < ((/* implicit */int) ((/* implicit */_Bool) var_1))/*1*/; i_1 += (_Bool)1/*1*/) 
        {
            for (unsigned char i_2 = ((((/* implicit */int) ((/* implicit */unsigned char) ((((var_19) + (((/* implicit */unsigned long long int) ((/* implicit */int) arr_0 [i_1]))))) << (((((/* implicit */int) arr_0 [i_1])) + (72))))))) - (121))/*3*/; i_2 < ((((/* implicit */int) ((/* implicit */unsigned char) (!(((/* implicit */_Bool) var_13)))))) + (9))/*9*/; i_2 += ((((/* implicit */int) ((/* implicit */unsigned char) var_14))) + (2))/*3*/) 
            {
                for (unsigned int i_3 = ((/* implicit */unsigned int) max((((/* implicit */int) (!(((/* implicit */_Bool) min((arr_3 [8] [i_1] [i_2]), (var_11))))))), ((((!(((/* implicit */_Bool) var_5)))) ? (((/* implicit */int) (!(((/* implicit */_Bool) arr_4 [i_1]))))) : (((/* implicit */int) ((((/* implicit */_Bool) arr_4 [9ULL])) && (((/* implicit */_Bool) arr_1 [i_2])))))))))/*1*/; i_3 < ((((/* implicit */unsigned int) ((((/* implicit */_Bool) ((((/* implicit */unsigned int) ((/* implicit */int) arr_5 [i_0] [i_1] [(unsigned char)0] [i_2]))) / (arr_1 [i_0])))) || (((/* implicit */_Bool) (~(((/* implicit */int) var_6)))))))) + (6U))/*7*/; i_3 += 3U/*3*/) 
                {
                    {
                        arr_9 [i_0] [i_1] [i_0] [i_3 + 3] [(unsigned char)8] &= ((/* implicit */_Bool) var_8);
                        var_21 &= ((/* implicit */unsigned long long int) (-(((/* implicit */int) (!(((/* implicit */_Bool) arr_7 [(_Bool)1] [i_2 - 3] [i_1] [(_Bool)1])))))));
                    }
                } 
            } 
        } 
        var_22 = ((/* implicit */signed char) ((((/* implicit */_Bool) (-(2U)))) ? (max((((/* implicit */unsigned long long int) var_9)), (((unsigned long long int) var_18)))) : (arr_3 [(unsigned short)2] [2ULL] [(unsigned short)2])));
        var_23 = ((/* implicit */int) min((var_23), (((/* implicit */int) max((max((((/* implicit */unsigned long long int) ((unsigned int) arr_7 [6U] [i_0] [(short)2] [6U]))), (((unsigned long long int) arr_8 [i_0] [i_0] [i_0])))), (((/* implicit */unsigned long long int) (+(((/* implicit */int) arr_8 [i_0] [i_0] [i_0]))))))))));
        var_24 *= ((/* implicit */short) ((long long int) var_4));
    }
}