
_Bool cycle_check(cycle_check_state *state,stat *sb)

{
  uint uVar1;
  undefined1 uVar3;
  undefined4 uVar2;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  
  if (state->magic != 0x95f616) {
    uVar3 = (*(code *)PTR___assert_fail_00045428)
                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,
                       PTR_LAB_00045128 + 0x4710);
    return (_Bool)uVar3;
  }
  uVar1 = *(uint *)&state->chdir_counter;
  uVar4 = (uint)state->chdir_counter;
  if (uVar1 == 0 && uVar4 == 0) {
    *(undefined4 *)((int)&state->chdir_counter + 4) = 1;
    *(undefined4 *)&state->chdir_counter = 0;
  }
  else {
    if ((((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&
         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&
        (*(int *)&(state->dev_ino).st_dev == 0)) && ((ulong)(state->dev_ino).st_dev == sb->st_dev))
    {
      return true;
    }
    uVar6 = uVar4 + 1;
    uVar5 = (uVar6 < uVar4) + uVar1;
    *(uint *)&state->chdir_counter = uVar5;
    *(uint *)((int)&state->chdir_counter + 4) = uVar6;
    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {
      return false;
    }
    if (uVar5 == 0 && uVar6 == 0) {
      return true;
    }
  }
  *(ulong *)((int)&(state->dev_ino).st_dev + 4) = sb->st_dev;
  *(undefined4 *)&(state->dev_ino).st_dev = 0;
  uVar2 = *(undefined4 *)&sb->st_ino;
  *(int *)((int)&(state->dev_ino).st_ino + 4) = (int)sb->st_ino;
  *(undefined4 *)&(state->dev_ino).st_ino = uVar2;
  return false;
}



undefined4 cycle_check(int *param_1,int *param_2)

{
  uint uVar1;
  undefined4 uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  
  if (param_1[6] != 0x95f616) {
    uVar2 = (*(code *)PTR___assert_fail_00045428)
                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,
                       PTR_LAB_00045128 + 0x4710);
    return uVar2;
  }
  uVar1 = param_1[4];
  uVar4 = param_1[5];
  if (uVar1 == 0 && uVar4 == 0) {
    param_1[5] = 1;
    param_1[4] = 0;
  }
  else {
    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&
       (param_1[3] == *param_2)) {
      return 1;
    }
    uVar6 = uVar4 + 1;
    uVar5 = (uVar6 < uVar4) + uVar1;
    param_1[4] = uVar5;
    param_1[5] = uVar6;
    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {
      return 0;
    }
    if (uVar5 == 0 && uVar6 == 0) {
      return 1;
    }
  }
  param_1[3] = *param_2;
  param_1[2] = 0;
  iVar3 = param_2[4];
  param_1[1] = param_2[5];
  *param_1 = iVar3;
  return 0;
}


lui gp,0x2
addiu gp,gp,-0x1fa0
addu gp,gp,t9
lw v1,0x18(a0)
lui v0,0x95
ori v0,v0,0xf616
bne v1,v0,0x0002f100
_lw a3,-0x7fc8(gp)
lw v0,0x10(a0)
lw v1,0x14(a0)
or a2,v0,v1
beq a2,zero,0x0002f174
_nop
lw a3,0x10(a1)
lw a2,0x0(a0)
beq a3,a2,0x0002f130
_nop
addiu a3,v1,0x1
sltu a2,a3,v1
addu a2,a2,v0
sw a2,0x10(a0)
and v0,v0,a2
and v1,v1,a3
or v0,v0,v1
beq v0,zero,0x0002f160
_sw a3,0x14(a0)
jr ra
_or v0,zero,zero
addiu sp,sp,-0x20
sw ra,0x1c(sp)
sw gp,0x10(sp)
addiu a3,a3,0x4710
li a2,0x3c
lw a1,-0x7fc8(gp)
addiu a1,a1,0x46dc
lw a0,-0x7fc8(gp)
addiu a0,a0,0x46f0
lw t9,-0x7cc8(gp)
jalr t9
_nop
lw a3,0x14(a1)
lw a2,0x4(a0)
bne a3,a2,0x0002f0d4
_nop
lw a2,0x8(a0)
bne a2,zero,0x0002f0d4
_lw a3,0x0(a1)
lw a2,0xc(a0)
bne a2,a3,0x0002f0d8
_addiu a3,v1,0x1
jr ra
_li v0,0x1
or a2,a2,a3
bne a2,zero,0x0002f184
_li v0,0x1
jr ra
_nop
li v1,0x1
or v0,zero,zero
sw v1,0x14(a0)
sw v0,0x10(a0)
lw v0,0x0(a1)
sw v0,0xc(a0)
sw zero,0x8(a0)
lw v1,0x14(a1)
lw v0,0x10(a1)
sw v1,0x4(a0)
sw v0,0x0(a0)
jr ra
_or v0,zero,zero
(translation_unit "undefined4 cycle_check(int *param_1,int *param_2)\n\n{\n  uint uVar1;\n  undefined4 uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }\n  uVar1 = param_1[4];\n  uVar4 = param_1[5];\n  if (uVar1 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }\n  else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }\n  param_1[3] = *param_2;\n  param_1[2] = 0;\n  iVar3 = param_2[4];\n  param_1[1] = param_2[5];\n  *param_1 = iVar3;\n  return 0;\n}\n\n" (function_definition "undefined4 cycle_check(int *param_1,int *param_2)\n\n{\n  uint uVar1;\n  undefined4 uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }\n  uVar1 = param_1[4];\n  uVar4 = param_1[5];\n  if (uVar1 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }\n  else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }\n  param_1[3] = *param_2;\n  param_1[2] = 0;\n  iVar3 = param_2[4];\n  param_1[1] = param_2[5];\n  *param_1 = iVar3;\n  return 0;\n}" type_identifier (function_declarator "cycle_check(int *param_1,int *param_2)" identifier (parameter_list "(int *param_1,int *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  undefined4 uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }\n  uVar1 = param_1[4];\n  uVar4 = param_1[5];\n  if (uVar1 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }\n  else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }\n  param_1[3] = *param_2;\n  param_1[2] = 0;\n  iVar3 = param_2[4];\n  param_1[1] = param_2[5];\n  *param_1 = iVar3;\n  return 0;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "undefined4 uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (if_statement "if (param_1[6] != 0x95f616) {\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }" if (parenthesized_expression "(param_1[6] != 0x95f616)" ( (binary_expression "param_1[6] != 0x95f616" (subscript_expression "param_1[6]" identifier [ number_literal ]) != number_literal) )) (compound_statement "{\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }" { (expression_statement "uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);" (assignment_expression "uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" identifier = (call_expression "(*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" (parenthesized_expression "(*(code *)PTR___assert_fail_00045428)" ( (pointer_expression "*(code *)PTR___assert_fail_00045428" * (cast_expression "(code *)PTR___assert_fail_00045428" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" ( (binary_expression "PTR_LAB_00045128 + 0x46f0" identifier + number_literal) , (binary_expression "PTR_LAB_00045128 + 0x46dc" identifier + number_literal) , number_literal , (binary_expression "PTR_LAB_00045128 + 0x4710" identifier + number_literal) )))) ;) (return_statement "return uVar2;" return identifier ;) })) (expression_statement "uVar1 = param_1[4];" (assignment_expression "uVar1 = param_1[4]" identifier = (subscript_expression "param_1[4]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = param_1[5];" (assignment_expression "uVar4 = param_1[5]" identifier = (subscript_expression "param_1[5]" identifier [ number_literal ])) ;) (if_statement "if (uVar1 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }\n  else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }" if (parenthesized_expression "(uVar1 == 0 && uVar4 == 0)" ( (binary_expression "uVar1 == 0 && uVar4 == 0" (binary_expression "uVar1 == 0" identifier == number_literal) && (binary_expression "uVar4 == 0" identifier == number_literal)) )) (compound_statement "{\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }" { (expression_statement "param_1[5] = 1;" (assignment_expression "param_1[5] = 1" (subscript_expression "param_1[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[4] = 0;" (assignment_expression "param_1[4] = 0" (subscript_expression "param_1[4]" identifier [ number_literal ]) = number_literal) ;) }) (else_clause "else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }" else (compound_statement "{\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }" { (if_statement "if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }" if (parenthesized_expression "((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2))" ( (binary_expression "(((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)" (parenthesized_expression "(((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0))" ( (binary_expression "((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)" (parenthesized_expression "((param_2[4] == *param_1) && (param_2[5] == param_1[1]))" ( (binary_expression "(param_2[4] == *param_1) && (param_2[5] == param_1[1])" (parenthesized_expression "(param_2[4] == *param_1)" ( (binary_expression "param_2[4] == *param_1" (subscript_expression "param_2[4]" identifier [ number_literal ]) == (pointer_expression "*param_1" * identifier)) )) && (parenthesized_expression "(param_2[5] == param_1[1])" ( (binary_expression "param_2[5] == param_1[1]" (subscript_expression "param_2[5]" identifier [ number_literal ]) == (subscript_expression "param_1[1]" identifier [ number_literal ])) ))) )) && (parenthesized_expression "(param_1[2] == 0)" ( (binary_expression "param_1[2] == 0" (subscript_expression "param_1[2]" identifier [ number_literal ]) == number_literal) ))) )) && (parenthesized_expression "(param_1[3] == *param_2)" ( (binary_expression "param_1[3] == *param_2" (subscript_expression "param_1[3]" identifier [ number_literal ]) == (pointer_expression "*param_2" * identifier)) ))) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar6 = uVar4 + 1;" (assignment_expression "uVar6 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (expression_statement "uVar5 = (uVar6 < uVar4) + uVar1;" (assignment_expression "uVar5 = (uVar6 < uVar4) + uVar1" identifier = (binary_expression "(uVar6 < uVar4) + uVar1" (parenthesized_expression "(uVar6 < uVar4)" ( (binary_expression "uVar6 < uVar4" identifier < identifier) )) + identifier)) ;) (expression_statement "param_1[4] = uVar5;" (assignment_expression "param_1[4] = uVar5" (subscript_expression "param_1[4]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_1[5] = uVar6;" (assignment_expression "param_1[5] = uVar6" (subscript_expression "param_1[5]" identifier [ number_literal ]) = identifier) ;) (if_statement "if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }" if (parenthesized_expression "((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0)" ( (binary_expression "(uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0" (binary_expression "(uVar1 & uVar5) != 0" (parenthesized_expression "(uVar1 & uVar5)" ( (binary_expression "uVar1 & uVar5" identifier & identifier) )) != number_literal) || (binary_expression "(uVar4 & uVar6) != 0" (parenthesized_expression "(uVar4 & uVar6)" ( (binary_expression "uVar4 & uVar6" identifier & identifier) )) != number_literal)) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }" if (parenthesized_expression "(uVar5 == 0 && uVar6 == 0)" ( (binary_expression "uVar5 == 0 && uVar6 == 0" (binary_expression "uVar5 == 0" identifier == number_literal) && (binary_expression "uVar6 == 0" identifier == number_literal)) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) }))) (expression_statement "param_1[3] = *param_2;" (assignment_expression "param_1[3] = *param_2" (subscript_expression "param_1[3]" identifier [ number_literal ]) = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_1[2] = 0;" (assignment_expression "param_1[2] = 0" (subscript_expression "param_1[2]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "iVar3 = param_2[4];" (assignment_expression "iVar3 = param_2[4]" identifier = (subscript_expression "param_2[4]" identifier [ number_literal ])) ;) (expression_statement "param_1[1] = param_2[5];" (assignment_expression "param_1[1] = param_2[5]" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (subscript_expression "param_2[5]" identifier [ number_literal ])) ;) (expression_statement "*param_1 = iVar3;" (assignment_expression "*param_1 = iVar3" (pointer_expression "*param_1" * identifier) = identifier) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "_Bool cycle_check(cycle_check_state *state,stat *sb)\n\n{\n  uint uVar1;\n  undefined1 uVar3;\n  undefined4 uVar2;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (state->magic != 0x95f616) {\n    uVar3 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return (_Bool)uVar3;\n  }\n  uVar1 = *(uint *)&state->chdir_counter;\n  uVar4 = (uint)state->chdir_counter;\n  if (uVar1 == 0 && uVar4 == 0) {\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 1;\n    *(undefined4 *)&state->chdir_counter = 0;\n  }\n  else {\n    if ((((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&\n        (*(int *)&(state->dev_ino).st_dev == 0)) && ((ulong)(state->dev_ino).st_dev == sb->st_dev))\n    {\n      return true;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    *(uint *)&state->chdir_counter = uVar5;\n    *(uint *)((int)&state->chdir_counter + 4) = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return true;\n    }\n  }\n  *(ulong *)((int)&(state->dev_ino).st_dev + 4) = sb->st_dev;\n  *(undefined4 *)&(state->dev_ino).st_dev = 0;\n  uVar2 = *(undefined4 *)&sb->st_ino;\n  *(int *)((int)&(state->dev_ino).st_ino + 4) = (int)sb->st_ino;\n  *(undefined4 *)&(state->dev_ino).st_ino = uVar2;\n  return false;\n}\n\n" (function_definition "_Bool cycle_check(cycle_check_state *state,stat *sb)\n\n{\n  uint uVar1;\n  undefined1 uVar3;\n  undefined4 uVar2;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (state->magic != 0x95f616) {\n    uVar3 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return (_Bool)uVar3;\n  }\n  uVar1 = *(uint *)&state->chdir_counter;\n  uVar4 = (uint)state->chdir_counter;\n  if (uVar1 == 0 && uVar4 == 0) {\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 1;\n    *(undefined4 *)&state->chdir_counter = 0;\n  }\n  else {\n    if ((((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&\n        (*(int *)&(state->dev_ino).st_dev == 0)) && ((ulong)(state->dev_ino).st_dev == sb->st_dev))\n    {\n      return true;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    *(uint *)&state->chdir_counter = uVar5;\n    *(uint *)((int)&state->chdir_counter + 4) = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return true;\n    }\n  }\n  *(ulong *)((int)&(state->dev_ino).st_dev + 4) = sb->st_dev;\n  *(undefined4 *)&(state->dev_ino).st_dev = 0;\n  uVar2 = *(undefined4 *)&sb->st_ino;\n  *(int *)((int)&(state->dev_ino).st_ino + 4) = (int)sb->st_ino;\n  *(undefined4 *)&(state->dev_ino).st_ino = uVar2;\n  return false;\n}" type_identifier (function_declarator "cycle_check(cycle_check_state *state,stat *sb)" identifier (parameter_list "(cycle_check_state *state,stat *sb)" ( (parameter_declaration "cycle_check_state *state" type_identifier (pointer_declarator "*state" * identifier)) , (parameter_declaration "stat *sb" type_identifier (pointer_declarator "*sb" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  undefined1 uVar3;\n  undefined4 uVar2;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (state->magic != 0x95f616) {\n    uVar3 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return (_Bool)uVar3;\n  }\n  uVar1 = *(uint *)&state->chdir_counter;\n  uVar4 = (uint)state->chdir_counter;\n  if (uVar1 == 0 && uVar4 == 0) {\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 1;\n    *(undefined4 *)&state->chdir_counter = 0;\n  }\n  else {\n    if ((((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&\n        (*(int *)&(state->dev_ino).st_dev == 0)) && ((ulong)(state->dev_ino).st_dev == sb->st_dev))\n    {\n      return true;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    *(uint *)&state->chdir_counter = uVar5;\n    *(uint *)((int)&state->chdir_counter + 4) = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return true;\n    }\n  }\n  *(ulong *)((int)&(state->dev_ino).st_dev + 4) = sb->st_dev;\n  *(undefined4 *)&(state->dev_ino).st_dev = 0;\n  uVar2 = *(undefined4 *)&sb->st_ino;\n  *(int *)((int)&(state->dev_ino).st_ino + 4) = (int)sb->st_ino;\n  *(undefined4 *)&(state->dev_ino).st_ino = uVar2;\n  return false;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "undefined1 uVar3;" type_identifier identifier ;) (declaration "undefined4 uVar2;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (if_statement "if (state->magic != 0x95f616) {\n    uVar3 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return (_Bool)uVar3;\n  }" if (parenthesized_expression "(state->magic != 0x95f616)" ( (binary_expression "state->magic != 0x95f616" (field_expression "state->magic" identifier -> field_identifier) != number_literal) )) (compound_statement "{\n    uVar3 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return (_Bool)uVar3;\n  }" { (expression_statement "uVar3 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);" (assignment_expression "uVar3 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" identifier = (call_expression "(*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" (parenthesized_expression "(*(code *)PTR___assert_fail_00045428)" ( (pointer_expression "*(code *)PTR___assert_fail_00045428" * (cast_expression "(code *)PTR___assert_fail_00045428" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" ( (binary_expression "PTR_LAB_00045128 + 0x46f0" identifier + number_literal) , (binary_expression "PTR_LAB_00045128 + 0x46dc" identifier + number_literal) , number_literal , (binary_expression "PTR_LAB_00045128 + 0x4710" identifier + number_literal) )))) ;) (return_statement "return (_Bool)uVar3;" return (cast_expression "(_Bool)uVar3" ( (type_descriptor "_Bool" type_identifier) ) identifier) ;) })) (expression_statement "uVar1 = *(uint *)&state->chdir_counter;" (assignment_expression "uVar1 = *(uint *)&state->chdir_counter" identifier = (pointer_expression "*(uint *)&state->chdir_counter" * (cast_expression "(uint *)&state->chdir_counter" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&state->chdir_counter" & (field_expression "state->chdir_counter" identifier -> field_identifier))))) ;) (expression_statement "uVar4 = (uint)state->chdir_counter;" (assignment_expression "uVar4 = (uint)state->chdir_counter" identifier = (cast_expression "(uint)state->chdir_counter" ( (type_descriptor "uint" type_identifier) ) (field_expression "state->chdir_counter" identifier -> field_identifier))) ;) (if_statement "if (uVar1 == 0 && uVar4 == 0) {\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 1;\n    *(undefined4 *)&state->chdir_counter = 0;\n  }\n  else {\n    if ((((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&\n        (*(int *)&(state->dev_ino).st_dev == 0)) && ((ulong)(state->dev_ino).st_dev == sb->st_dev))\n    {\n      return true;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    *(uint *)&state->chdir_counter = uVar5;\n    *(uint *)((int)&state->chdir_counter + 4) = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return true;\n    }\n  }" if (parenthesized_expression "(uVar1 == 0 && uVar4 == 0)" ( (binary_expression "uVar1 == 0 && uVar4 == 0" (binary_expression "uVar1 == 0" identifier == number_literal) && (binary_expression "uVar4 == 0" identifier == number_literal)) )) (compound_statement "{\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 1;\n    *(undefined4 *)&state->chdir_counter = 0;\n  }" { (expression_statement "*(undefined4 *)((int)&state->chdir_counter + 4) = 1;" (assignment_expression "*(undefined4 *)((int)&state->chdir_counter + 4) = 1" (pointer_expression "*(undefined4 *)((int)&state->chdir_counter + 4)" * (cast_expression "(undefined4 *)((int)&state->chdir_counter + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&state->chdir_counter + 4)" ( (binary_expression "(int)&state->chdir_counter + 4" (cast_expression "(int)&state->chdir_counter" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&state->chdir_counter" & (field_expression "state->chdir_counter" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)&state->chdir_counter = 0;" (assignment_expression "*(undefined4 *)&state->chdir_counter = 0" (pointer_expression "*(undefined4 *)&state->chdir_counter" * (cast_expression "(undefined4 *)&state->chdir_counter" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&state->chdir_counter" & (field_expression "state->chdir_counter" identifier -> field_identifier)))) = number_literal) ;) }) (else_clause "else {\n    if ((((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&\n        (*(int *)&(state->dev_ino).st_dev == 0)) && ((ulong)(state->dev_ino).st_dev == sb->st_dev))\n    {\n      return true;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    *(uint *)&state->chdir_counter = uVar5;\n    *(uint *)((int)&state->chdir_counter + 4) = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return true;\n    }\n  }" else (compound_statement "{\n    if ((((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&\n        (*(int *)&(state->dev_ino).st_dev == 0)) && ((ulong)(state->dev_ino).st_dev == sb->st_dev))\n    {\n      return true;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    *(uint *)&state->chdir_counter = uVar5;\n    *(uint *)((int)&state->chdir_counter + 4) = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return true;\n    }\n  }" { (if_statement "if ((((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&\n        (*(int *)&(state->dev_ino).st_dev == 0)) && ((ulong)(state->dev_ino).st_dev == sb->st_dev))\n    {\n      return true;\n    }" if (parenthesized_expression "((((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&\n        (*(int *)&(state->dev_ino).st_dev == 0)) && ((ulong)(state->dev_ino).st_dev == sb->st_dev))" ( (binary_expression "(((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&\n        (*(int *)&(state->dev_ino).st_dev == 0)) && ((ulong)(state->dev_ino).st_dev == sb->st_dev)" (parenthesized_expression "(((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&\n        (*(int *)&(state->dev_ino).st_dev == 0))" ( (binary_expression "((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)) &&\n        (*(int *)&(state->dev_ino).st_dev == 0)" (parenthesized_expression "((*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino))" ( (binary_expression "(*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino) &&\n         ((int)sb->st_ino == (int)(state->dev_ino).st_ino)" (parenthesized_expression "(*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino)" ( (binary_expression "*(int *)&sb->st_ino == *(int *)&(state->dev_ino).st_ino" (pointer_expression "*(int *)&sb->st_ino" * (cast_expression "(int *)&sb->st_ino" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "&sb->st_ino" & (field_expression "sb->st_ino" identifier -> field_identifier)))) == (pointer_expression "*(int *)&(state->dev_ino).st_ino" * (cast_expression "(int *)&(state->dev_ino).st_ino" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "&(state->dev_ino).st_ino" & (field_expression "(state->dev_ino).st_ino" (parenthesized_expression "(state->dev_ino)" ( (field_expression "state->dev_ino" identifier -> field_identifier) )) . field_identifier))))) )) && (parenthesized_expression "((int)sb->st_ino == (int)(state->dev_ino).st_ino)" ( (binary_expression "(int)sb->st_ino == (int)(state->dev_ino).st_ino" (cast_expression "(int)sb->st_ino" ( (type_descriptor "int" primitive_type) ) (field_expression "sb->st_ino" identifier -> field_identifier)) == (cast_expression "(int)(state->dev_ino).st_ino" ( (type_descriptor "int" primitive_type) ) (field_expression "(state->dev_ino).st_ino" (parenthesized_expression "(state->dev_ino)" ( (field_expression "state->dev_ino" identifier -> field_identifier) )) . field_identifier))) ))) )) && (parenthesized_expression "(*(int *)&(state->dev_ino).st_dev == 0)" ( (binary_expression "*(int *)&(state->dev_ino).st_dev == 0" (pointer_expression "*(int *)&(state->dev_ino).st_dev" * (cast_expression "(int *)&(state->dev_ino).st_dev" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "&(state->dev_ino).st_dev" & (field_expression "(state->dev_ino).st_dev" (parenthesized_expression "(state->dev_ino)" ( (field_expression "state->dev_ino" identifier -> field_identifier) )) . field_identifier)))) == number_literal) ))) )) && (parenthesized_expression "((ulong)(state->dev_ino).st_dev == sb->st_dev)" ( (binary_expression "(ulong)(state->dev_ino).st_dev == sb->st_dev" (field_expression "(ulong)(state->dev_ino).st_dev" (call_expression "(ulong)(state->dev_ino)" (parenthesized_expression "(ulong)" ( identifier )) (argument_list "(state->dev_ino)" ( (field_expression "state->dev_ino" identifier -> field_identifier) ))) . field_identifier) == (field_expression "sb->st_dev" identifier -> field_identifier)) ))) )) (compound_statement "{\n      return true;\n    }" { (return_statement "return true;" return true ;) })) (expression_statement "uVar6 = uVar4 + 1;" (assignment_expression "uVar6 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (expression_statement "uVar5 = (uVar6 < uVar4) + uVar1;" (assignment_expression "uVar5 = (uVar6 < uVar4) + uVar1" identifier = (binary_expression "(uVar6 < uVar4) + uVar1" (parenthesized_expression "(uVar6 < uVar4)" ( (binary_expression "uVar6 < uVar4" identifier < identifier) )) + identifier)) ;) (expression_statement "*(uint *)&state->chdir_counter = uVar5;" (assignment_expression "*(uint *)&state->chdir_counter = uVar5" (pointer_expression "*(uint *)&state->chdir_counter" * (cast_expression "(uint *)&state->chdir_counter" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&state->chdir_counter" & (field_expression "state->chdir_counter" identifier -> field_identifier)))) = identifier) ;) (expression_statement "*(uint *)((int)&state->chdir_counter + 4) = uVar6;" (assignment_expression "*(uint *)((int)&state->chdir_counter + 4) = uVar6" (pointer_expression "*(uint *)((int)&state->chdir_counter + 4)" * (cast_expression "(uint *)((int)&state->chdir_counter + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&state->chdir_counter + 4)" ( (binary_expression "(int)&state->chdir_counter + 4" (cast_expression "(int)&state->chdir_counter" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&state->chdir_counter" & (field_expression "state->chdir_counter" identifier -> field_identifier))) + number_literal) )))) = identifier) ;) (if_statement "if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }" if (parenthesized_expression "((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0)" ( (binary_expression "(uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0" (binary_expression "(uVar1 & uVar5) != 0" (parenthesized_expression "(uVar1 & uVar5)" ( (binary_expression "uVar1 & uVar5" identifier & identifier) )) != number_literal) || (binary_expression "(uVar4 & uVar6) != 0" (parenthesized_expression "(uVar4 & uVar6)" ( (binary_expression "uVar4 & uVar6" identifier & identifier) )) != number_literal)) )) (compound_statement "{\n      return false;\n    }" { (return_statement "return false;" return false ;) })) (if_statement "if (uVar5 == 0 && uVar6 == 0) {\n      return true;\n    }" if (parenthesized_expression "(uVar5 == 0 && uVar6 == 0)" ( (binary_expression "uVar5 == 0 && uVar6 == 0" (binary_expression "uVar5 == 0" identifier == number_literal) && (binary_expression "uVar6 == 0" identifier == number_literal)) )) (compound_statement "{\n      return true;\n    }" { (return_statement "return true;" return true ;) })) }))) (expression_statement "*(ulong *)((int)&(state->dev_ino).st_dev + 4) = sb->st_dev;" (assignment_expression "*(ulong *)((int)&(state->dev_ino).st_dev + 4) = sb->st_dev" (pointer_expression "*(ulong *)((int)&(state->dev_ino).st_dev + 4)" * (cast_expression "(ulong *)((int)&(state->dev_ino).st_dev + 4)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&(state->dev_ino).st_dev + 4)" ( (binary_expression "(int)&(state->dev_ino).st_dev + 4" (cast_expression "(int)&(state->dev_ino).st_dev" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&(state->dev_ino).st_dev" & (field_expression "(state->dev_ino).st_dev" (parenthesized_expression "(state->dev_ino)" ( (field_expression "state->dev_ino" identifier -> field_identifier) )) . field_identifier))) + number_literal) )))) = (field_expression "sb->st_dev" identifier -> field_identifier)) ;) (expression_statement "*(undefined4 *)&(state->dev_ino).st_dev = 0;" (assignment_expression "*(undefined4 *)&(state->dev_ino).st_dev = 0" (pointer_expression "*(undefined4 *)&(state->dev_ino).st_dev" * (cast_expression "(undefined4 *)&(state->dev_ino).st_dev" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&(state->dev_ino).st_dev" & (field_expression "(state->dev_ino).st_dev" (parenthesized_expression "(state->dev_ino)" ( (field_expression "state->dev_ino" identifier -> field_identifier) )) . field_identifier)))) = number_literal) ;) (expression_statement "uVar2 = *(undefined4 *)&sb->st_ino;" (assignment_expression "uVar2 = *(undefined4 *)&sb->st_ino" identifier = (pointer_expression "*(undefined4 *)&sb->st_ino" * (cast_expression "(undefined4 *)&sb->st_ino" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&sb->st_ino" & (field_expression "sb->st_ino" identifier -> field_identifier))))) ;) (expression_statement "*(int *)((int)&(state->dev_ino).st_ino + 4) = (int)sb->st_ino;" (assignment_expression "*(int *)((int)&(state->dev_ino).st_ino + 4) = (int)sb->st_ino" (pointer_expression "*(int *)((int)&(state->dev_ino).st_ino + 4)" * (cast_expression "(int *)((int)&(state->dev_ino).st_ino + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&(state->dev_ino).st_ino + 4)" ( (binary_expression "(int)&(state->dev_ino).st_ino + 4" (cast_expression "(int)&(state->dev_ino).st_ino" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&(state->dev_ino).st_ino" & (field_expression "(state->dev_ino).st_ino" (parenthesized_expression "(state->dev_ino)" ( (field_expression "state->dev_ino" identifier -> field_identifier) )) . field_identifier))) + number_literal) )))) = (cast_expression "(int)sb->st_ino" ( (type_descriptor "int" primitive_type) ) (field_expression "sb->st_ino" identifier -> field_identifier))) ;) (expression_statement "*(undefined4 *)&(state->dev_ino).st_ino = uVar2;" (assignment_expression "*(undefined4 *)&(state->dev_ino).st_ino = uVar2" (pointer_expression "*(undefined4 *)&(state->dev_ino).st_ino" * (cast_expression "(undefined4 *)&(state->dev_ino).st_ino" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&(state->dev_ino).st_ino" & (field_expression "(state->dev_ino).st_ino" (parenthesized_expression "(state->dev_ino)" ( (field_expression "state->dev_ino" identifier -> field_identifier) )) . field_identifier)))) = identifier) ;) (return_statement "return false;" return false ;) })))
(translation_unit "undefined4 cycle_check(int *param_1,int *param_2)\n\n{\n  uint uVar1;\n  undefined4 uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }\n  uVar1 = param_1[4];\n  uVar4 = param_1[5];\n  if (uVar1 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }\n  else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }\n  param_1[3] = *param_2;\n  param_1[2] = 0;\n  iVar3 = param_2[4];\n  param_1[1] = param_2[5];\n  *param_1 = iVar3;\n  return 0;\n}\n\n" (function_definition "undefined4 cycle_check(int *param_1,int *param_2)\n\n{\n  uint uVar1;\n  undefined4 uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }\n  uVar1 = param_1[4];\n  uVar4 = param_1[5];\n  if (uVar1 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }\n  else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }\n  param_1[3] = *param_2;\n  param_1[2] = 0;\n  iVar3 = param_2[4];\n  param_1[1] = param_2[5];\n  *param_1 = iVar3;\n  return 0;\n}" type_identifier (function_declarator "cycle_check(int *param_1,int *param_2)" identifier (parameter_list "(int *param_1,int *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  undefined4 uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }\n  uVar1 = param_1[4];\n  uVar4 = param_1[5];\n  if (uVar1 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }\n  else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }\n  param_1[3] = *param_2;\n  param_1[2] = 0;\n  iVar3 = param_2[4];\n  param_1[1] = param_2[5];\n  *param_1 = iVar3;\n  return 0;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "undefined4 uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (if_statement "if (param_1[6] != 0x95f616) {\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }" if (parenthesized_expression "(param_1[6] != 0x95f616)" ( (binary_expression "param_1[6] != 0x95f616" (subscript_expression "param_1[6]" identifier [ number_literal ]) != number_literal) )) (compound_statement "{\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }" { (expression_statement "uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);" (assignment_expression "uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" identifier = (call_expression "(*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" (parenthesized_expression "(*(code *)PTR___assert_fail_00045428)" ( (pointer_expression "*(code *)PTR___assert_fail_00045428" * (cast_expression "(code *)PTR___assert_fail_00045428" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" ( (binary_expression "PTR_LAB_00045128 + 0x46f0" identifier + number_literal) , (binary_expression "PTR_LAB_00045128 + 0x46dc" identifier + number_literal) , number_literal , (binary_expression "PTR_LAB_00045128 + 0x4710" identifier + number_literal) )))) ;) (return_statement "return uVar2;" return identifier ;) })) (expression_statement "uVar1 = param_1[4];" (assignment_expression "uVar1 = param_1[4]" identifier = (subscript_expression "param_1[4]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = param_1[5];" (assignment_expression "uVar4 = param_1[5]" identifier = (subscript_expression "param_1[5]" identifier [ number_literal ])) ;) (if_statement "if (uVar1 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }\n  else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }" if (parenthesized_expression "(uVar1 == 0 && uVar4 == 0)" ( (binary_expression "uVar1 == 0 && uVar4 == 0" (binary_expression "uVar1 == 0" identifier == number_literal) && (binary_expression "uVar4 == 0" identifier == number_literal)) )) (compound_statement "{\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }" { (expression_statement "param_1[5] = 1;" (assignment_expression "param_1[5] = 1" (subscript_expression "param_1[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[4] = 0;" (assignment_expression "param_1[4] = 0" (subscript_expression "param_1[4]" identifier [ number_literal ]) = number_literal) ;) }) (else_clause "else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }" else (compound_statement "{\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }" { (if_statement "if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }" if (parenthesized_expression "((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2))" ( (binary_expression "(((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)" (parenthesized_expression "(((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0))" ( (binary_expression "((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)" (parenthesized_expression "((param_2[4] == *param_1) && (param_2[5] == param_1[1]))" ( (binary_expression "(param_2[4] == *param_1) && (param_2[5] == param_1[1])" (parenthesized_expression "(param_2[4] == *param_1)" ( (binary_expression "param_2[4] == *param_1" (subscript_expression "param_2[4]" identifier [ number_literal ]) == (pointer_expression "*param_1" * identifier)) )) && (parenthesized_expression "(param_2[5] == param_1[1])" ( (binary_expression "param_2[5] == param_1[1]" (subscript_expression "param_2[5]" identifier [ number_literal ]) == (subscript_expression "param_1[1]" identifier [ number_literal ])) ))) )) && (parenthesized_expression "(param_1[2] == 0)" ( (binary_expression "param_1[2] == 0" (subscript_expression "param_1[2]" identifier [ number_literal ]) == number_literal) ))) )) && (parenthesized_expression "(param_1[3] == *param_2)" ( (binary_expression "param_1[3] == *param_2" (subscript_expression "param_1[3]" identifier [ number_literal ]) == (pointer_expression "*param_2" * identifier)) ))) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) (expression_statement "uVar6 = uVar4 + 1;" (assignment_expression "uVar6 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (expression_statement "uVar5 = (uVar6 < uVar4) + uVar1;" (assignment_expression "uVar5 = (uVar6 < uVar4) + uVar1" identifier = (binary_expression "(uVar6 < uVar4) + uVar1" (parenthesized_expression "(uVar6 < uVar4)" ( (binary_expression "uVar6 < uVar4" identifier < identifier) )) + identifier)) ;) (expression_statement "param_1[4] = uVar5;" (assignment_expression "param_1[4] = uVar5" (subscript_expression "param_1[4]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_1[5] = uVar6;" (assignment_expression "param_1[5] = uVar6" (subscript_expression "param_1[5]" identifier [ number_literal ]) = identifier) ;) (if_statement "if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }" if (parenthesized_expression "((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0)" ( (binary_expression "(uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0" (binary_expression "(uVar1 & uVar5) != 0" (parenthesized_expression "(uVar1 & uVar5)" ( (binary_expression "uVar1 & uVar5" identifier & identifier) )) != number_literal) || (binary_expression "(uVar4 & uVar6) != 0" (parenthesized_expression "(uVar4 & uVar6)" ( (binary_expression "uVar4 & uVar6" identifier & identifier) )) != number_literal)) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }" if (parenthesized_expression "(uVar5 == 0 && uVar6 == 0)" ( (binary_expression "uVar5 == 0 && uVar6 == 0" (binary_expression "uVar5 == 0" identifier == number_literal) && (binary_expression "uVar6 == 0" identifier == number_literal)) )) (compound_statement "{\n      return 1;\n    }" { (return_statement "return 1;" return number_literal ;) })) }))) (expression_statement "param_1[3] = *param_2;" (assignment_expression "param_1[3] = *param_2" (subscript_expression "param_1[3]" identifier [ number_literal ]) = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_1[2] = 0;" (assignment_expression "param_1[2] = 0" (subscript_expression "param_1[2]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "iVar3 = param_2[4];" (assignment_expression "iVar3 = param_2[4]" identifier = (subscript_expression "param_2[4]" identifier [ number_literal ])) ;) (expression_statement "param_1[1] = param_2[5];" (assignment_expression "param_1[1] = param_2[5]" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (subscript_expression "param_2[5]" identifier [ number_literal ])) ;) (expression_statement "*param_1 = iVar3;" (assignment_expression "*param_1 = iVar3" (pointer_expression "*param_1" * identifier) = identifier) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) , (binary_expression IDENT + LIT) , LIT , (binary_expression IDENT + LIT) )))) ;) (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT == LIT) && (binary_expression IDENT == LIT)) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) == (pointer_expression * IDENT)) )) && (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) == (subscript_expression IDENT [ LIT ])) ))) )) && (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) == LIT) ))) )) && (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) == (pointer_expression * IDENT)) ))) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT < IDENT) )) + IDENT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT & IDENT) )) != LIT) || (binary_expression (parenthesized_expression ( (binary_expression IDENT & IDENT) )) != LIT)) )) (compound_statement { (return_statement return LIT ;) })) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT == LIT) && (binary_expression IDENT == LIT)) )) (compound_statement { (return_statement return LIT ;) })) }))) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (return_statement return LIT ;) })))
(function_definition "undefined4 cycle_check(int *param_1,int *param_2)\n\n{\n  uint uVar1;\n  undefined4 uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }\n  uVar1 = param_1[4];\n  uVar4 = param_1[5];\n  if (uVar1 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }\n  else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }\n  param_1[3] = *param_2;\n  param_1[2] = 0;\n  iVar3 = param_2[4];\n  param_1[1] = param_2[5];\n  *param_1 = iVar3;\n  return 0;\n}" (type_identifier "undefined4") (function_declarator "cycle_check(int *param_1,int *param_2)" (identifier "cycle_check") (parameter_list "(int *param_1,int *param_2)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "int *param_2" (primitive_type "int") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) () ")"))) (compound_statement "{\n  uint uVar1;\n  undefined4 uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }\n  uVar1 = param_1[4];\n  uVar4 = param_1[5];\n  if (uVar1 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }\n  else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }\n  param_1[3] = *param_2;\n  param_1[2] = 0;\n  iVar3 = param_2[4];\n  param_1[1] = param_2[5];\n  *param_1 = iVar3;\n  return 0;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "undefined4 uVar2;" (type_identifier "undefined4") (identifier "uVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (if_statement "if (param_1[6] != 0x95f616) {\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }" (if "if") (parenthesized_expression "(param_1[6] != 0x95f616)" (( "(") (binary_expression "param_1[6] != 0x95f616" (subscript_expression "param_1[6]" (identifier "param_1") ([ "[") (number_literal "6") (] "]")) (!= "!=") (number_literal "0x95f616")) () ")")) (compound_statement "{\n    uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);\n    return uVar2;\n  }" ({ "{") (expression_statement "uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710);" (assignment_expression "uVar2 = (*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" (identifier "uVar2") (= "=") (call_expression "(*(code *)PTR___assert_fail_00045428)\n                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" (parenthesized_expression "(*(code *)PTR___assert_fail_00045428)" (( "(") (pointer_expression "*(code *)PTR___assert_fail_00045428" (* "*") (cast_expression "(code *)PTR___assert_fail_00045428" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___assert_fail_00045428"))) () ")")) (argument_list "(PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,\n                       PTR_LAB_00045128 + 0x4710)" (( "(") (binary_expression "PTR_LAB_00045128 + 0x46f0" (identifier "PTR_LAB_00045128") (+ "+") (number_literal "0x46f0")) (, ",") (binary_expression "PTR_LAB_00045128 + 0x46dc" (identifier "PTR_LAB_00045128") (+ "+") (number_literal "0x46dc")) (, ",") (number_literal "0x3c") (, ",") (binary_expression "PTR_LAB_00045128 + 0x4710" (identifier "PTR_LAB_00045128") (+ "+") (number_literal "0x4710")) () ")")))) (; ";")) (return_statement "return uVar2;" (return "return") (identifier "uVar2") (; ";")) (} "}"))) (expression_statement "uVar1 = param_1[4];" (assignment_expression "uVar1 = param_1[4]" (identifier "uVar1") (= "=") (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]"))) (; ";")) (expression_statement "uVar4 = param_1[5];" (assignment_expression "uVar4 = param_1[5]" (identifier "uVar4") (= "=") (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]"))) (; ";")) (if_statement "if (uVar1 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }\n  else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }" (if "if") (parenthesized_expression "(uVar1 == 0 && uVar4 == 0)" (( "(") (binary_expression "uVar1 == 0 && uVar4 == 0" (binary_expression "uVar1 == 0" (identifier "uVar1") (== "==") (number_literal "0")) (&& "&&") (binary_expression "uVar4 == 0" (identifier "uVar4") (== "==") (number_literal "0"))) () ")")) (compound_statement "{\n    param_1[5] = 1;\n    param_1[4] = 0;\n  }" ({ "{") (expression_statement "param_1[5] = 1;" (assignment_expression "param_1[5] = 1" (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]")) (= "=") (number_literal "1")) (; ";")) (expression_statement "param_1[4] = 0;" (assignment_expression "param_1[4] = 0" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (= "=") (number_literal "0")) (; ";")) (} "}")) (else_clause "else {\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }" (else "else") (compound_statement "{\n    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }\n    uVar6 = uVar4 + 1;\n    uVar5 = (uVar6 < uVar4) + uVar1;\n    param_1[4] = uVar5;\n    param_1[5] = uVar6;\n    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }\n  }" ({ "{") (if_statement "if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)) {\n      return 1;\n    }" (if "if") (parenthesized_expression "((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2))" (( "(") (binary_expression "(((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&\n       (param_1[3] == *param_2)" (parenthesized_expression "(((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0))" (( "(") (binary_expression "((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)" (parenthesized_expression "((param_2[4] == *param_1) && (param_2[5] == param_1[1]))" (( "(") (binary_expression "(param_2[4] == *param_1) && (param_2[5] == param_1[1])" (parenthesized_expression "(param_2[4] == *param_1)" (( "(") (binary_expression "param_2[4] == *param_1" (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]")) (== "==") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (&& "&&") (parenthesized_expression "(param_2[5] == param_1[1])" (( "(") (binary_expression "param_2[5] == param_1[1]" (subscript_expression "param_2[5]" (identifier "param_2") ([ "[") (number_literal "5") (] "]")) (== "==") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]"))) () ")"))) () ")")) (&& "&&") (parenthesized_expression "(param_1[2] == 0)" (( "(") (binary_expression "param_1[2] == 0" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (== "==") (number_literal "0")) () ")"))) () ")")) (&& "&&") (parenthesized_expression "(param_1[3] == *param_2)" (( "(") (binary_expression "param_1[3] == *param_2" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (== "==") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) () ")"))) () ")")) (compound_statement "{\n      return 1;\n    }" ({ "{") (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}"))) (expression_statement "uVar6 = uVar4 + 1;" (assignment_expression "uVar6 = uVar4 + 1" (identifier "uVar6") (= "=") (binary_expression "uVar4 + 1" (identifier "uVar4") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar5 = (uVar6 < uVar4) + uVar1;" (assignment_expression "uVar5 = (uVar6 < uVar4) + uVar1" (identifier "uVar5") (= "=") (binary_expression "(uVar6 < uVar4) + uVar1" (parenthesized_expression "(uVar6 < uVar4)" (( "(") (binary_expression "uVar6 < uVar4" (identifier "uVar6") (< "<") (identifier "uVar4")) () ")")) (+ "+") (identifier "uVar1"))) (; ";")) (expression_statement "param_1[4] = uVar5;" (assignment_expression "param_1[4] = uVar5" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (= "=") (identifier "uVar5")) (; ";")) (expression_statement "param_1[5] = uVar6;" (assignment_expression "param_1[5] = uVar6" (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]")) (= "=") (identifier "uVar6")) (; ";")) (if_statement "if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }" (if "if") (parenthesized_expression "((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0)" (( "(") (binary_expression "(uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0" (binary_expression "(uVar1 & uVar5) != 0" (parenthesized_expression "(uVar1 & uVar5)" (( "(") (binary_expression "uVar1 & uVar5" (identifier "uVar1") (& "&") (identifier "uVar5")) () ")")) (!= "!=") (number_literal "0")) (|| "||") (binary_expression "(uVar4 & uVar6) != 0" (parenthesized_expression "(uVar4 & uVar6)" (( "(") (binary_expression "uVar4 & uVar6" (identifier "uVar4") (& "&") (identifier "uVar6")) () ")")) (!= "!=") (number_literal "0"))) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (if_statement "if (uVar5 == 0 && uVar6 == 0) {\n      return 1;\n    }" (if "if") (parenthesized_expression "(uVar5 == 0 && uVar6 == 0)" (( "(") (binary_expression "uVar5 == 0 && uVar6 == 0" (binary_expression "uVar5 == 0" (identifier "uVar5") (== "==") (number_literal "0")) (&& "&&") (binary_expression "uVar6 == 0" (identifier "uVar6") (== "==") (number_literal "0"))) () ")")) (compound_statement "{\n      return 1;\n    }" ({ "{") (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}"))) (} "}")))) (expression_statement "param_1[3] = *param_2;" (assignment_expression "param_1[3] = *param_2" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "param_1[2] = 0;" (assignment_expression "param_1[2] = 0" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar3 = param_2[4];" (assignment_expression "iVar3 = param_2[4]" (identifier "iVar3") (= "=") (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]"))) (; ";")) (expression_statement "param_1[1] = param_2[5];" (assignment_expression "param_1[1] = param_2[5]" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (subscript_expression "param_2[5]" (identifier "param_2") ([ "[") (number_literal "5") (] "]"))) (; ";")) (expression_statement "*param_1 = iVar3;" (assignment_expression "*param_1 = iVar3" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (identifier "iVar3")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))
(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)) (binary_expression left: (identifier) right: (number_literal)) (number_literal) (binary_expression left: (identifier) right: (number_literal)))))) (return_statement (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))) consequence: (compound_statement (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal)))) alternative: (else_clause (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (pointer_expression argument: (identifier)))) right: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal)))))) right: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))))) right: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (pointer_expression argument: (identifier)))))) consequence: (compound_statement (return_statement (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (identifier)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (number_literal)) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (number_literal)))) consequence: (compound_statement (return_statement (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))) consequence: (compound_statement (return_statement (number_literal))))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (return_statement (number_literal)))))

undefined4 MASKED(int *param_1,int *param_2)

{
  uint uVar1;
  undefined4 uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  
  if (param_1[6] != 0x95f616) {
    uVar2 = (*(code *)PTR___assert_fail_00045428)
                      (PTR_LAB_00045128 + 0x46f0,PTR_LAB_00045128 + 0x46dc,0x3c,
                       PTR_LAB_00045128 + 0x4710);
    return uVar2;
  }
  uVar1 = param_1[4];
  uVar4 = param_1[5];
  if (uVar1 == 0 && uVar4 == 0) {
    param_1[5] = 1;
    param_1[4] = 0;
  }
  else {
    if ((((param_2[4] == *param_1) && (param_2[5] == param_1[1])) && (param_1[2] == 0)) &&
       (param_1[3] == *param_2)) {
      return 1;
    }
    uVar6 = uVar4 + 1;
    uVar5 = (uVar6 < uVar4) + uVar1;
    param_1[4] = uVar5;
    param_1[5] = uVar6;
    if ((uVar1 & uVar5) != 0 || (uVar4 & uVar6) != 0) {
      return 0;
    }
    if (uVar5 == 0 && uVar6 == 0) {
      return 1;
    }
  }
  param_1[3] = *param_2;
  param_1[2] = 0;
  iVar3 = param_2[4];
  param_1[1] = param_2[5];
  *param_1 = iVar3;
  return 0;
}

