bool frameBuffer_2_ringbuffer_pop(uint8_t n_var0[96U])
{
int32_t n_deref0 = frameBuffer_2_ringbuffer_insert;
int32_t n_deref1 = frameBuffer_2_ringbuffer_remove;
if ((bool) (n_deref0 == n_deref1)) {
return false;
} else {
int32_t n_deref2 = frameBuffer_2_ringbuffer_remove;
if (n_var0 != frameBuffer_2_ringbuffer_buf[n_deref2]) {
memcpy(n_var0, frameBuffer_2_ringbuffer_buf[n_deref2], sizeof(uint8_t [96U]));
} else {
COMPILER_ASSERTS(false);
}
int32_t n_deref3 = frameBuffer_2_ringbuffer_remove;
int32_t n_local4 = (int32_t) 0;
int32_t *n_ref5 = &n_local4;
if ((bool) (n_deref3 == (int32_t) 3)) {
*n_ref5 = (int32_t) 0;
} else {
*n_ref5 = (int32_t) (n_deref3 + (int32_t) 1) % 4;
}
int32_t n_deref6 = *n_ref5;
frameBuffer_2_ringbuffer_remove = n_deref6;
return true;
}
}
void callback_from_smaccm_can_2(const struct SMACCM_DATA__CAN_Frame_i *n_var0)
{
uint32_t n_deref0 = n_var0->id;
uint8_t n_deref1 = n_var0->buf_len;
struct can_message n_local2 = {.can_message_id =n_deref0, .can_message_len =(int32_t) n_deref1 % 9};
struct can_message *n_ref3 = &n_local2;
if (n_ref3->can_message_buf != n_var0->buf)
memcpy(n_ref3->can_message_buf, n_var0->buf, sizeof(uint8_t [8U]));
else
COMPILER_ASSERTS(false);
callback_receive_msg(n_ref3);
}
void callback_new_msg(const uint8_t n_var0[80U])
{
bool n_deref0 = in_progress;
if ((bool) !n_deref0) {
if (can_msg != n_var0) {
memcpy(can_msg, n_var0, sizeof(uint8_t [80U]));
} else {
COMPILER_ASSERTS(false);
}
callback_fragment_req_0x200(can_msg);
in_progress = true;
}
}
bool frameBuffer_2_ringbuffer_push(const uint8_t n_var0[96U])
{
int32_t n_deref0 = frameBuffer_2_ringbuffer_insert;
int32_t n_local1 = (int32_t) 0;
int32_t *n_ref2 = &n_local1;
if ((bool) (n_deref0 == (int32_t) 3)) {
*n_ref2 = (int32_t) 0;
} else {
*n_ref2 = (int32_t) (n_deref0 + (int32_t) 1) % 4;
}
int32_t n_deref3 = *n_ref2;
int32_t n_deref4 = frameBuffer_2_ringbuffer_remove;
if ((bool) (n_deref3 == n_deref4)) {
return false;
} else {
int32_t n_deref5 = frameBuffer_2_ringbuffer_insert;
if (frameBuffer_2_ringbuffer_buf[n_deref5] != n_var0) {
memcpy(frameBuffer_2_ringbuffer_buf[n_deref5], n_var0, sizeof(uint8_t [96U]));
} else {
COMPILER_ASSERTS(false);
}
int32_t n_deref6 = frameBuffer_2_ringbuffer_insert;
int32_t n_local7 = (int32_t) 0;
int32_t *n_ref8 = &n_local7;
if ((bool) ((int32_t) 3 == n_deref6)) {
*n_ref8 = (int32_t) 0;
} else {
*n_ref8 = (int32_t) ((int32_t) 1 + n_deref6) % 4;
}
int32_t n_deref9 = *n_ref8;
frameBuffer_2_ringbuffer_insert = n_deref9;
return true;
}
}
