
_Bool cycle_check(cycle_check_state *state,stat *sb)

{
  undefined1 uVar1;
  uint uVar2;
  ulong uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  int iVar7;
  int iVar8;
  
  if (state->magic != 0x95f616) {
    uVar1 = (*(code *)PTR___assert_fail_000332bc)
                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,
                       PTR_LAB_00033108 + 0x2340);
    return (_Bool)uVar1;
  }
  uVar2 = *(uint *)&state->chdir_counter;
  uVar4 = (uint)state->chdir_counter;
  iVar7 = *(int *)&sb->st_ino;
  iVar8 = (int)sb->st_ino;
  if (uVar2 == 0 && uVar4 == 0) {
    *(undefined4 *)((int)&state->chdir_counter + 4) = 1;
    *(undefined4 *)&state->chdir_counter = 0;
LAB_0001f570:
    uVar3 = sb->st_dev;
    *(undefined4 *)&(state->dev_ino).st_dev = 0;
    *(int *)&(state->dev_ino).st_ino = iVar7;
    *(ulong *)((int)&(state->dev_ino).st_dev + 4) = uVar3;
    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar8;
    return false;
  }
  uVar6 = uVar4 + 1;
  if ((((*(int *)&(state->dev_ino).st_ino != iVar7) || ((int)(state->dev_ino).st_ino != iVar8)) ||
      (*(int *)&(state->dev_ino).st_dev != 0)) || ((ulong)(state->dev_ino).st_dev != sb->st_dev)) {
    *(uint *)((int)&state->chdir_counter + 4) = uVar6;
    uVar5 = (uVar6 < uVar4) + uVar2;
    *(uint *)&state->chdir_counter = uVar5;
    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {
      return false;
    }
    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;
  }
  return true;
}



undefined4 cycle_check(int *param_1,int *param_2)

{
  undefined4 uVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  int iVar7;
  int iVar8;
  
  if (param_1[6] != 0x95f616) {
    uVar1 = (*(code *)PTR___assert_fail_000332bc)
                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,
                       PTR_LAB_00033108 + 0x2340);
    return uVar1;
  }
  uVar2 = param_1[4];
  uVar4 = param_1[5];
  iVar7 = param_2[4];
  iVar8 = param_2[5];
  if (uVar2 == 0 && uVar4 == 0) {
    param_1[5] = 1;
    param_1[4] = 0;
LAB_0001f570:
    iVar3 = *param_2;
    param_1[2] = 0;
    *param_1 = iVar7;
    param_1[3] = iVar3;
    param_1[1] = iVar8;
    return 0;
  }
  uVar6 = uVar4 + 1;
  if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||
     (param_1[3] != *param_2)) {
    param_1[5] = uVar6;
    uVar5 = (uVar6 < uVar4) + uVar2;
    param_1[4] = uVar5;
    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {
      return 0;
    }
    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;
  }
  return 1;
}


lui gp,0x2
addiu gp,gp,-0x4420
addu gp,gp,t9
lui v0,0x95
lw v1,0x18(a0)
ori v0,v0,0xf616
bne v1,v0,0x0001f5d0
_lw a3,-0x7fc8(gp)
lw v1,0x10(a0)
lw a2,0x14(a0)
lw t1,0x10(a1)
or v0,v1,a2
beq v0,zero,0x0001f560
_lw t2,0x14(a1)
lw v0,0x0(a0)
beq v0,t1,0x0001f58c
_addiu t0,a2,0x1
or v0,zero,zero
sltu a3,t0,a2
sw t0,0x14(a0)
addu a3,a3,v1
and a2,a2,t0
and v1,v1,a3
or v1,v1,a2
beq v1,zero,0x0001f5b8
_sw a3,0x10(a0)
jr ra
_nop
li v1,0x1
or v0,zero,zero
sw v1,0x14(a0)
sw v0,0x10(a0)
lw v1,0x0(a1)
or v0,zero,zero
sw zero,0x8(a0)
sw t1,0x0(a0)
sw v1,0xc(a0)
jr ra
_sw t2,0x4(a0)
lw v0,0x4(a0)
bne v0,t2,0x0001f534
_nop
lw v0,0x8(a0)
bne v0,zero,0x0001f534
_lw a3,0x0(a1)
lw v0,0xc(a0)
bne v0,a3,0x0001f534
_li v0,0x1
b 0x0001f5c8
_nop
or a3,a3,t0
bne a3,zero,0x0001f570
_nop
li v0,0x1
jr ra
_nop
addiu sp,sp,-0x20
lw a1,-0x7fc8(gp)
li a2,0x3c
lw a0,-0x7fc8(gp)
lw t9,-0x7e14(gp)
addiu a3,a3,0x2340
addiu a1,a1,0x2310
sw gp,0x10(sp)
sw ra,0x1c(sp)
jalr t9
_addiu a0,a0,0x2324
(translation_unit "undefined4 cycle_check(int *param_1,int *param_2)\n\n{\n  undefined4 uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\n  }\n  uVar2 = param_1[4];\n  uVar4 = param_1[5];\n  iVar7 = param_2[4];\n  iVar8 = param_2[5];\n  if (uVar2 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 0;\n  }\n  uVar6 = uVar4 + 1;\n  if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)) {\n    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }\n  return 1;\n}\n\n" (function_definition "undefined4 cycle_check(int *param_1,int *param_2)\n\n{\n  undefined4 uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\n  }\n  uVar2 = param_1[4];\n  uVar4 = param_1[5];\n  iVar7 = param_2[4];\n  iVar8 = param_2[5];\n  if (uVar2 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 0;\n  }\n  uVar6 = uVar4 + 1;\n  if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)) {\n    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }\n  return 1;\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  undefined4 uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\n  }\n  uVar2 = param_1[4];\n  uVar4 = param_1[5];\n  iVar7 = param_2[4];\n  iVar8 = param_2[5];\n  if (uVar2 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 0;\n  }\n  uVar6 = uVar4 + 1;\n  if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)) {\n    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }\n  return 1;\n}" { (declaration "undefined4 uVar1;" type_identifier identifier ;) (declaration "uint 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 ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "int iVar8;" primitive_type identifier ;) (if_statement "if (param_1[6] != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\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    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\n  }" { (expression_statement "uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);" (assignment_expression "uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" identifier = (call_expression "(*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" (parenthesized_expression "(*(code *)PTR___assert_fail_000332bc)" ( (pointer_expression "*(code *)PTR___assert_fail_000332bc" * (cast_expression "(code *)PTR___assert_fail_000332bc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" ( (binary_expression "PTR_LAB_00033108 + 0x2324" identifier + number_literal) , (binary_expression "PTR_LAB_00033108 + 0x2310" identifier + number_literal) , number_literal , (binary_expression "PTR_LAB_00033108 + 0x2340" identifier + number_literal) )))) ;) (return_statement "return uVar1;" return identifier ;) })) (expression_statement "uVar2 = param_1[4];" (assignment_expression "uVar2 = 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 ])) ;) (expression_statement "iVar7 = param_2[4];" (assignment_expression "iVar7 = param_2[4]" identifier = (subscript_expression "param_2[4]" identifier [ number_literal ])) ;) (expression_statement "iVar8 = param_2[5];" (assignment_expression "iVar8 = param_2[5]" identifier = (subscript_expression "param_2[5]" identifier [ number_literal ])) ;) (if_statement "if (uVar2 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 0;\n  }" if (parenthesized_expression "(uVar2 == 0 && uVar4 == 0)" ( (binary_expression "uVar2 == 0 && uVar4 == 0" (binary_expression "uVar2 == 0" identifier == number_literal) && (binary_expression "uVar4 == 0" identifier == number_literal)) )) (compound_statement "{\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 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) ;) (labeled_statement "LAB_0001f570:\n    iVar3 = *param_2;" statement_identifier : (expression_statement "iVar3 = *param_2;" (assignment_expression "iVar3 = *param_2" identifier = (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 "*param_1 = iVar7;" (assignment_expression "*param_1 = iVar7" (pointer_expression "*param_1" * identifier) = identifier) ;) (expression_statement "param_1[3] = iVar3;" (assignment_expression "param_1[3] = iVar3" (subscript_expression "param_1[3]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_1[1] = iVar8;" (assignment_expression "param_1[1] = iVar8" (subscript_expression "param_1[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar6 = uVar4 + 1;" (assignment_expression "uVar6 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (if_statement "if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)) {\n    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }" if (parenthesized_expression "((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2))" ( (binary_expression "(((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)" (parenthesized_expression "(((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0))" ( (binary_expression "((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)" (parenthesized_expression "((*param_1 != iVar7) || (param_1[1] != iVar8))" ( (binary_expression "(*param_1 != iVar7) || (param_1[1] != iVar8)" (parenthesized_expression "(*param_1 != iVar7)" ( (binary_expression "*param_1 != iVar7" (pointer_expression "*param_1" * identifier) != identifier) )) || (parenthesized_expression "(param_1[1] != iVar8)" ( (binary_expression "param_1[1] != iVar8" (subscript_expression "param_1[1]" identifier [ number_literal ]) != identifier) ))) )) || (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    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }" { (expression_statement "param_1[5] = uVar6;" (assignment_expression "param_1[5] = uVar6" (subscript_expression "param_1[5]" identifier [ number_literal ]) = identifier) ;) (expression_statement "uVar5 = (uVar6 < uVar4) + uVar2;" (assignment_expression "uVar5 = (uVar6 < uVar4) + uVar2" identifier = (binary_expression "(uVar6 < uVar4) + uVar2" (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) ;) (if_statement "if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }" if (parenthesized_expression "((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0)" ( (binary_expression "(uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0" (binary_expression "(uVar2 & uVar5) != 0" (parenthesized_expression "(uVar2 & uVar5)" ( (binary_expression "uVar2 & 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) goto LAB_0001f570;" 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)) )) (goto_statement "goto LAB_0001f570;" goto statement_identifier ;)) })) (return_statement "return 1;" return number_literal ;) })))
(translation_unit "_Bool cycle_check(cycle_check_state *state,stat *sb)\n\n{\n  undefined1 uVar1;\n  uint uVar2;\n  ulong uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  \n  if (state->magic != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return (_Bool)uVar1;\n  }\n  uVar2 = *(uint *)&state->chdir_counter;\n  uVar4 = (uint)state->chdir_counter;\n  iVar7 = *(int *)&sb->st_ino;\n  iVar8 = (int)sb->st_ino;\n  if (uVar2 == 0 && uVar4 == 0) {\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 1;\n    *(undefined4 *)&state->chdir_counter = 0;\nLAB_0001f570:\n    uVar3 = sb->st_dev;\n    *(undefined4 *)&(state->dev_ino).st_dev = 0;\n    *(int *)&(state->dev_ino).st_ino = iVar7;\n    *(ulong *)((int)&(state->dev_ino).st_dev + 4) = uVar3;\n    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar8;\n    return false;\n  }\n  uVar6 = uVar4 + 1;\n  if ((((*(int *)&(state->dev_ino).st_ino != iVar7) || ((int)(state->dev_ino).st_ino != iVar8)) ||\n      (*(int *)&(state->dev_ino).st_dev != 0)) || ((ulong)(state->dev_ino).st_dev != sb->st_dev)) {\n    *(uint *)((int)&state->chdir_counter + 4) = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    *(uint *)&state->chdir_counter = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }\n  return true;\n}\n\n" (function_definition "_Bool cycle_check(cycle_check_state *state,stat *sb)\n\n{\n  undefined1 uVar1;\n  uint uVar2;\n  ulong uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  \n  if (state->magic != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return (_Bool)uVar1;\n  }\n  uVar2 = *(uint *)&state->chdir_counter;\n  uVar4 = (uint)state->chdir_counter;\n  iVar7 = *(int *)&sb->st_ino;\n  iVar8 = (int)sb->st_ino;\n  if (uVar2 == 0 && uVar4 == 0) {\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 1;\n    *(undefined4 *)&state->chdir_counter = 0;\nLAB_0001f570:\n    uVar3 = sb->st_dev;\n    *(undefined4 *)&(state->dev_ino).st_dev = 0;\n    *(int *)&(state->dev_ino).st_ino = iVar7;\n    *(ulong *)((int)&(state->dev_ino).st_dev + 4) = uVar3;\n    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar8;\n    return false;\n  }\n  uVar6 = uVar4 + 1;\n  if ((((*(int *)&(state->dev_ino).st_ino != iVar7) || ((int)(state->dev_ino).st_ino != iVar8)) ||\n      (*(int *)&(state->dev_ino).st_dev != 0)) || ((ulong)(state->dev_ino).st_dev != sb->st_dev)) {\n    *(uint *)((int)&state->chdir_counter + 4) = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    *(uint *)&state->chdir_counter = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }\n  return true;\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  undefined1 uVar1;\n  uint uVar2;\n  ulong uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  \n  if (state->magic != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return (_Bool)uVar1;\n  }\n  uVar2 = *(uint *)&state->chdir_counter;\n  uVar4 = (uint)state->chdir_counter;\n  iVar7 = *(int *)&sb->st_ino;\n  iVar8 = (int)sb->st_ino;\n  if (uVar2 == 0 && uVar4 == 0) {\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 1;\n    *(undefined4 *)&state->chdir_counter = 0;\nLAB_0001f570:\n    uVar3 = sb->st_dev;\n    *(undefined4 *)&(state->dev_ino).st_dev = 0;\n    *(int *)&(state->dev_ino).st_ino = iVar7;\n    *(ulong *)((int)&(state->dev_ino).st_dev + 4) = uVar3;\n    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar8;\n    return false;\n  }\n  uVar6 = uVar4 + 1;\n  if ((((*(int *)&(state->dev_ino).st_ino != iVar7) || ((int)(state->dev_ino).st_ino != iVar8)) ||\n      (*(int *)&(state->dev_ino).st_dev != 0)) || ((ulong)(state->dev_ino).st_dev != sb->st_dev)) {\n    *(uint *)((int)&state->chdir_counter + 4) = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    *(uint *)&state->chdir_counter = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }\n  return true;\n}" { (declaration "undefined1 uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "ulong uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "int iVar8;" primitive_type identifier ;) (if_statement "if (state->magic != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return (_Bool)uVar1;\n  }" if (parenthesized_expression "(state->magic != 0x95f616)" ( (binary_expression "state->magic != 0x95f616" (field_expression "state->magic" identifier -> field_identifier) != number_literal) )) (compound_statement "{\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return (_Bool)uVar1;\n  }" { (expression_statement "uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);" (assignment_expression "uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" identifier = (call_expression "(*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" (parenthesized_expression "(*(code *)PTR___assert_fail_000332bc)" ( (pointer_expression "*(code *)PTR___assert_fail_000332bc" * (cast_expression "(code *)PTR___assert_fail_000332bc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" ( (binary_expression "PTR_LAB_00033108 + 0x2324" identifier + number_literal) , (binary_expression "PTR_LAB_00033108 + 0x2310" identifier + number_literal) , number_literal , (binary_expression "PTR_LAB_00033108 + 0x2340" identifier + number_literal) )))) ;) (return_statement "return (_Bool)uVar1;" return (cast_expression "(_Bool)uVar1" ( (type_descriptor "_Bool" type_identifier) ) identifier) ;) })) (expression_statement "uVar2 = *(uint *)&state->chdir_counter;" (assignment_expression "uVar2 = *(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))) ;) (expression_statement "iVar7 = *(int *)&sb->st_ino;" (assignment_expression "iVar7 = *(int *)&sb->st_ino" identifier = (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))))) ;) (expression_statement "iVar8 = (int)sb->st_ino;" (assignment_expression "iVar8 = (int)sb->st_ino" identifier = (cast_expression "(int)sb->st_ino" ( (type_descriptor "int" primitive_type) ) (field_expression "sb->st_ino" identifier -> field_identifier))) ;) (if_statement "if (uVar2 == 0 && uVar4 == 0) {\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 1;\n    *(undefined4 *)&state->chdir_counter = 0;\nLAB_0001f570:\n    uVar3 = sb->st_dev;\n    *(undefined4 *)&(state->dev_ino).st_dev = 0;\n    *(int *)&(state->dev_ino).st_ino = iVar7;\n    *(ulong *)((int)&(state->dev_ino).st_dev + 4) = uVar3;\n    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar8;\n    return false;\n  }" if (parenthesized_expression "(uVar2 == 0 && uVar4 == 0)" ( (binary_expression "uVar2 == 0 && uVar4 == 0" (binary_expression "uVar2 == 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;\nLAB_0001f570:\n    uVar3 = sb->st_dev;\n    *(undefined4 *)&(state->dev_ino).st_dev = 0;\n    *(int *)&(state->dev_ino).st_ino = iVar7;\n    *(ulong *)((int)&(state->dev_ino).st_dev + 4) = uVar3;\n    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar8;\n    return false;\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) ;) (labeled_statement "LAB_0001f570:\n    uVar3 = sb->st_dev;" statement_identifier : (expression_statement "uVar3 = sb->st_dev;" (assignment_expression "uVar3 = sb->st_dev" identifier = (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 "*(int *)&(state->dev_ino).st_ino = iVar7;" (assignment_expression "*(int *)&(state->dev_ino).st_ino = iVar7" (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)))) = identifier) ;) (expression_statement "*(ulong *)((int)&(state->dev_ino).st_dev + 4) = uVar3;" (assignment_expression "*(ulong *)((int)&(state->dev_ino).st_dev + 4) = uVar3" (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) )))) = identifier) ;) (expression_statement "*(int *)((int)&(state->dev_ino).st_ino + 4) = iVar8;" (assignment_expression "*(int *)((int)&(state->dev_ino).st_ino + 4) = iVar8" (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) )))) = identifier) ;) (return_statement "return false;" return false ;) })) (expression_statement "uVar6 = uVar4 + 1;" (assignment_expression "uVar6 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (if_statement "if ((((*(int *)&(state->dev_ino).st_ino != iVar7) || ((int)(state->dev_ino).st_ino != iVar8)) ||\n      (*(int *)&(state->dev_ino).st_dev != 0)) || ((ulong)(state->dev_ino).st_dev != sb->st_dev)) {\n    *(uint *)((int)&state->chdir_counter + 4) = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    *(uint *)&state->chdir_counter = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }" if (parenthesized_expression "((((*(int *)&(state->dev_ino).st_ino != iVar7) || ((int)(state->dev_ino).st_ino != iVar8)) ||\n      (*(int *)&(state->dev_ino).st_dev != 0)) || ((ulong)(state->dev_ino).st_dev != sb->st_dev))" ( (binary_expression "(((*(int *)&(state->dev_ino).st_ino != iVar7) || ((int)(state->dev_ino).st_ino != iVar8)) ||\n      (*(int *)&(state->dev_ino).st_dev != 0)) || ((ulong)(state->dev_ino).st_dev != sb->st_dev)" (parenthesized_expression "(((*(int *)&(state->dev_ino).st_ino != iVar7) || ((int)(state->dev_ino).st_ino != iVar8)) ||\n      (*(int *)&(state->dev_ino).st_dev != 0))" ( (binary_expression "((*(int *)&(state->dev_ino).st_ino != iVar7) || ((int)(state->dev_ino).st_ino != iVar8)) ||\n      (*(int *)&(state->dev_ino).st_dev != 0)" (parenthesized_expression "((*(int *)&(state->dev_ino).st_ino != iVar7) || ((int)(state->dev_ino).st_ino != iVar8))" ( (binary_expression "(*(int *)&(state->dev_ino).st_ino != iVar7) || ((int)(state->dev_ino).st_ino != iVar8)" (parenthesized_expression "(*(int *)&(state->dev_ino).st_ino != iVar7)" ( (binary_expression "*(int *)&(state->dev_ino).st_ino != iVar7" (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)))) != identifier) )) || (parenthesized_expression "((int)(state->dev_ino).st_ino != iVar8)" ( (binary_expression "(int)(state->dev_ino).st_ino != iVar8" (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)) != 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    *(uint *)((int)&state->chdir_counter + 4) = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    *(uint *)&state->chdir_counter = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }" { (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) ;) (expression_statement "uVar5 = (uVar6 < uVar4) + uVar2;" (assignment_expression "uVar5 = (uVar6 < uVar4) + uVar2" identifier = (binary_expression "(uVar6 < uVar4) + uVar2" (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) ;) (if_statement "if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return false;\n    }" if (parenthesized_expression "((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0)" ( (binary_expression "(uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0" (binary_expression "(uVar2 & uVar5) != 0" (parenthesized_expression "(uVar2 & uVar5)" ( (binary_expression "uVar2 & 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) goto LAB_0001f570;" 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)) )) (goto_statement "goto LAB_0001f570;" goto statement_identifier ;)) })) (return_statement "return true;" return true ;) })))
(translation_unit "undefined4 cycle_check(int *param_1,int *param_2)\n\n{\n  undefined4 uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\n  }\n  uVar2 = param_1[4];\n  uVar4 = param_1[5];\n  iVar7 = param_2[4];\n  iVar8 = param_2[5];\n  if (uVar2 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 0;\n  }\n  uVar6 = uVar4 + 1;\n  if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)) {\n    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }\n  return 1;\n}\n\n" (function_definition "undefined4 cycle_check(int *param_1,int *param_2)\n\n{\n  undefined4 uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\n  }\n  uVar2 = param_1[4];\n  uVar4 = param_1[5];\n  iVar7 = param_2[4];\n  iVar8 = param_2[5];\n  if (uVar2 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 0;\n  }\n  uVar6 = uVar4 + 1;\n  if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)) {\n    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }\n  return 1;\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  undefined4 uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\n  }\n  uVar2 = param_1[4];\n  uVar4 = param_1[5];\n  iVar7 = param_2[4];\n  iVar8 = param_2[5];\n  if (uVar2 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 0;\n  }\n  uVar6 = uVar4 + 1;\n  if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)) {\n    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }\n  return 1;\n}" { (declaration "undefined4 uVar1;" type_identifier identifier ;) (declaration "uint 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 ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "int iVar8;" primitive_type identifier ;) (if_statement "if (param_1[6] != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\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    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\n  }" { (expression_statement "uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);" (assignment_expression "uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" identifier = (call_expression "(*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" (parenthesized_expression "(*(code *)PTR___assert_fail_000332bc)" ( (pointer_expression "*(code *)PTR___assert_fail_000332bc" * (cast_expression "(code *)PTR___assert_fail_000332bc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" ( (binary_expression "PTR_LAB_00033108 + 0x2324" identifier + number_literal) , (binary_expression "PTR_LAB_00033108 + 0x2310" identifier + number_literal) , number_literal , (binary_expression "PTR_LAB_00033108 + 0x2340" identifier + number_literal) )))) ;) (return_statement "return uVar1;" return identifier ;) })) (expression_statement "uVar2 = param_1[4];" (assignment_expression "uVar2 = 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 ])) ;) (expression_statement "iVar7 = param_2[4];" (assignment_expression "iVar7 = param_2[4]" identifier = (subscript_expression "param_2[4]" identifier [ number_literal ])) ;) (expression_statement "iVar8 = param_2[5];" (assignment_expression "iVar8 = param_2[5]" identifier = (subscript_expression "param_2[5]" identifier [ number_literal ])) ;) (if_statement "if (uVar2 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 0;\n  }" if (parenthesized_expression "(uVar2 == 0 && uVar4 == 0)" ( (binary_expression "uVar2 == 0 && uVar4 == 0" (binary_expression "uVar2 == 0" identifier == number_literal) && (binary_expression "uVar4 == 0" identifier == number_literal)) )) (compound_statement "{\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 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) ;) (labeled_statement "LAB_0001f570:\n    iVar3 = *param_2;" statement_identifier : (expression_statement "iVar3 = *param_2;" (assignment_expression "iVar3 = *param_2" identifier = (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 "*param_1 = iVar7;" (assignment_expression "*param_1 = iVar7" (pointer_expression "*param_1" * identifier) = identifier) ;) (expression_statement "param_1[3] = iVar3;" (assignment_expression "param_1[3] = iVar3" (subscript_expression "param_1[3]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_1[1] = iVar8;" (assignment_expression "param_1[1] = iVar8" (subscript_expression "param_1[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "uVar6 = uVar4 + 1;" (assignment_expression "uVar6 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (if_statement "if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)) {\n    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }" if (parenthesized_expression "((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2))" ( (binary_expression "(((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)" (parenthesized_expression "(((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0))" ( (binary_expression "((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)" (parenthesized_expression "((*param_1 != iVar7) || (param_1[1] != iVar8))" ( (binary_expression "(*param_1 != iVar7) || (param_1[1] != iVar8)" (parenthesized_expression "(*param_1 != iVar7)" ( (binary_expression "*param_1 != iVar7" (pointer_expression "*param_1" * identifier) != identifier) )) || (parenthesized_expression "(param_1[1] != iVar8)" ( (binary_expression "param_1[1] != iVar8" (subscript_expression "param_1[1]" identifier [ number_literal ]) != identifier) ))) )) || (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    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }" { (expression_statement "param_1[5] = uVar6;" (assignment_expression "param_1[5] = uVar6" (subscript_expression "param_1[5]" identifier [ number_literal ]) = identifier) ;) (expression_statement "uVar5 = (uVar6 < uVar4) + uVar2;" (assignment_expression "uVar5 = (uVar6 < uVar4) + uVar2" identifier = (binary_expression "(uVar6 < uVar4) + uVar2" (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) ;) (if_statement "if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }" if (parenthesized_expression "((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0)" ( (binary_expression "(uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0" (binary_expression "(uVar2 & uVar5) != 0" (parenthesized_expression "(uVar2 & uVar5)" ( (binary_expression "uVar2 & 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) goto LAB_0001f570;" 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)) )) (goto_statement "goto LAB_0001f570;" goto statement_identifier ;)) })) (return_statement "return 1;" 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 ;) (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 ])) ;) (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) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;)) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != IDENT) )) || (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) != IDENT) ))) )) || (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) != LIT) ))) )) || (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) != (pointer_expression * IDENT)) ))) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT < IDENT) )) + 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)) )) (goto_statement goto statement_identifier ;)) })) (return_statement return LIT ;) })))
(function_definition "undefined4 cycle_check(int *param_1,int *param_2)\n\n{\n  undefined4 uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\n  }\n  uVar2 = param_1[4];\n  uVar4 = param_1[5];\n  iVar7 = param_2[4];\n  iVar8 = param_2[5];\n  if (uVar2 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 0;\n  }\n  uVar6 = uVar4 + 1;\n  if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)) {\n    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }\n  return 1;\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  undefined4 uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  int iVar7;\n  int iVar8;\n  \n  if (param_1[6] != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\n  }\n  uVar2 = param_1[4];\n  uVar4 = param_1[5];\n  iVar7 = param_2[4];\n  iVar8 = param_2[5];\n  if (uVar2 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 0;\n  }\n  uVar6 = uVar4 + 1;\n  if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)) {\n    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }\n  return 1;\n}" ({ "{") (declaration "undefined4 uVar1;" (type_identifier "undefined4") (identifier "uVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (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") (; ";")) (declaration "int iVar7;" (primitive_type "int") (identifier "iVar7") (; ";")) (declaration "int iVar8;" (primitive_type "int") (identifier "iVar8") (; ";")) (if_statement "if (param_1[6] != 0x95f616) {\n    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\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    uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);\n    return uVar1;\n  }" ({ "{") (expression_statement "uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340);" (assignment_expression "uVar1 = (*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" (identifier "uVar1") (= "=") (call_expression "(*(code *)PTR___assert_fail_000332bc)\n                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" (parenthesized_expression "(*(code *)PTR___assert_fail_000332bc)" (( "(") (pointer_expression "*(code *)PTR___assert_fail_000332bc" (* "*") (cast_expression "(code *)PTR___assert_fail_000332bc" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___assert_fail_000332bc"))) () ")")) (argument_list "(PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,\n                       PTR_LAB_00033108 + 0x2340)" (( "(") (binary_expression "PTR_LAB_00033108 + 0x2324" (identifier "PTR_LAB_00033108") (+ "+") (number_literal "0x2324")) (, ",") (binary_expression "PTR_LAB_00033108 + 0x2310" (identifier "PTR_LAB_00033108") (+ "+") (number_literal "0x2310")) (, ",") (number_literal "0x3c") (, ",") (binary_expression "PTR_LAB_00033108 + 0x2340" (identifier "PTR_LAB_00033108") (+ "+") (number_literal "0x2340")) () ")")))) (; ";")) (return_statement "return uVar1;" (return "return") (identifier "uVar1") (; ";")) (} "}"))) (expression_statement "uVar2 = param_1[4];" (assignment_expression "uVar2 = param_1[4]" (identifier "uVar2") (= "=") (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") (] "]"))) (; ";")) (expression_statement "iVar7 = param_2[4];" (assignment_expression "iVar7 = param_2[4]" (identifier "iVar7") (= "=") (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]"))) (; ";")) (expression_statement "iVar8 = param_2[5];" (assignment_expression "iVar8 = param_2[5]" (identifier "iVar8") (= "=") (subscript_expression "param_2[5]" (identifier "param_2") ([ "[") (number_literal "5") (] "]"))) (; ";")) (if_statement "if (uVar2 == 0 && uVar4 == 0) {\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 0;\n  }" (if "if") (parenthesized_expression "(uVar2 == 0 && uVar4 == 0)" (( "(") (binary_expression "uVar2 == 0 && uVar4 == 0" (binary_expression "uVar2 == 0" (identifier "uVar2") (== "==") (number_literal "0")) (&& "&&") (binary_expression "uVar4 == 0" (identifier "uVar4") (== "==") (number_literal "0"))) () ")")) (compound_statement "{\n    param_1[5] = 1;\n    param_1[4] = 0;\nLAB_0001f570:\n    iVar3 = *param_2;\n    param_1[2] = 0;\n    *param_1 = iVar7;\n    param_1[3] = iVar3;\n    param_1[1] = iVar8;\n    return 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")) (; ";")) (labeled_statement "LAB_0001f570:\n    iVar3 = *param_2;" (statement_identifier "LAB_0001f570") (: ":") (expression_statement "iVar3 = *param_2;" (assignment_expression "iVar3 = *param_2" (identifier "iVar3") (= "=") (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 "*param_1 = iVar7;" (assignment_expression "*param_1 = iVar7" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (identifier "iVar7")) (; ";")) (expression_statement "param_1[3] = iVar3;" (assignment_expression "param_1[3] = iVar3" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (= "=") (identifier "iVar3")) (; ";")) (expression_statement "param_1[1] = iVar8;" (assignment_expression "param_1[1] = iVar8" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "iVar8")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "uVar6 = uVar4 + 1;" (assignment_expression "uVar6 = uVar4 + 1" (identifier "uVar6") (= "=") (binary_expression "uVar4 + 1" (identifier "uVar4") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)) {\n    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }" (if "if") (parenthesized_expression "((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2))" (( "(") (binary_expression "(((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||\n     (param_1[3] != *param_2)" (parenthesized_expression "(((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0))" (( "(") (binary_expression "((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)" (parenthesized_expression "((*param_1 != iVar7) || (param_1[1] != iVar8))" (( "(") (binary_expression "(*param_1 != iVar7) || (param_1[1] != iVar8)" (parenthesized_expression "(*param_1 != iVar7)" (( "(") (binary_expression "*param_1 != iVar7" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (!= "!=") (identifier "iVar7")) () ")")) (|| "||") (parenthesized_expression "(param_1[1] != iVar8)" (( "(") (binary_expression "param_1[1] != iVar8" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (!= "!=") (identifier "iVar8")) () ")"))) () ")")) (|| "||") (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    param_1[5] = uVar6;\n    uVar5 = (uVar6 < uVar4) + uVar2;\n    param_1[4] = uVar5;\n    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }\n    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;\n  }" ({ "{") (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")) (; ";")) (expression_statement "uVar5 = (uVar6 < uVar4) + uVar2;" (assignment_expression "uVar5 = (uVar6 < uVar4) + uVar2" (identifier "uVar5") (= "=") (binary_expression "(uVar6 < uVar4) + uVar2" (parenthesized_expression "(uVar6 < uVar4)" (( "(") (binary_expression "uVar6 < uVar4" (identifier "uVar6") (< "<") (identifier "uVar4")) () ")")) (+ "+") (identifier "uVar2"))) (; ";")) (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")) (; ";")) (if_statement "if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {\n      return 0;\n    }" (if "if") (parenthesized_expression "((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0)" (( "(") (binary_expression "(uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0" (binary_expression "(uVar2 & uVar5) != 0" (parenthesized_expression "(uVar2 & uVar5)" (( "(") (binary_expression "uVar2 & uVar5" (identifier "uVar2") (& "&") (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) goto LAB_0001f570;" (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"))) () ")")) (goto_statement "goto LAB_0001f570;" (goto "goto") (statement_identifier "LAB_0001f570") (; ";"))) (} "}"))) (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}")))

type_1 function_1(type_2 *state,type_3 *sb)

{
  type_4 uVar1;
  type_5 var_2;
  type_6 uVar3;
  type_5 var_3;
  type_5 var_7;
  type_5 var_6;
  int var_4;
  int var_5;
  
  if (state->magic != 0x95f616) {
    uVar1 = (*(type_7 *)PTR___assert_fail_000332bc)
                      (var_1 + 0x2324,var_1 + 0x2310,0x3c,
                       var_1 + 0x2340);
    return (type_1)uVar1;
  }
  var_2 = *(type_5 *)&state->chdir_counter;
  var_3 = (type_5)state->chdir_counter;
  var_4 = *(int *)&sb->st_ino;
  var_5 = (int)sb->st_ino;
  if (var_2 == 0 && var_3 == 0) {
    *(type_8 *)((int)&state->chdir_counter + 4) = 1;
    *(type_8 *)&state->chdir_counter = 0;
LAB_0001f570:
    uVar3 = sb->st_dev;
    *(type_8 *)&(state->dev_ino).st_dev = 0;
    *(int *)&(state->dev_ino).st_ino = var_4;
    *(type_6 *)((int)&(state->dev_ino).st_dev + 4) = uVar3;
    *(int *)((int)&(state->dev_ino).st_ino + 4) = var_5;
    return false;
  }
  var_6 = var_3 + 1;
  if ((((*(int *)&(state->dev_ino).st_ino != var_4) || ((int)(state->dev_ino).st_ino != var_5)) ||
      (*(int *)&(state->dev_ino).st_dev != 0)) || ((type_6)(state->dev_ino).st_dev != sb->st_dev)) {
    *(type_5 *)((int)&state->chdir_counter + 4) = var_6;
    var_7 = (var_6 < var_3) + var_2;
    *(type_5 *)&state->chdir_counter = var_7;
    if ((var_2 & var_7) != 0 || (var_3 & var_6) != 0) {
      return false;
    }
    if (var_7 != 0 || var_6 != 0) goto LAB_0001f570;
  }
  return true;
}


(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)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) 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)))) (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))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) 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: (pointer_expression argument: (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))) (return_statement (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier))) right: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))))) 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 (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (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))) (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: (goto_statement label: (statement_identifier))))) (return_statement (number_literal)))))

undefined4 MASKED(int *param_1,int *param_2)

{
  undefined4 uVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  int iVar7;
  int iVar8;
  
  if (param_1[6] != 0x95f616) {
    uVar1 = (*(code *)PTR___assert_fail_000332bc)
                      (PTR_LAB_00033108 + 0x2324,PTR_LAB_00033108 + 0x2310,0x3c,
                       PTR_LAB_00033108 + 0x2340);
    return uVar1;
  }
  uVar2 = param_1[4];
  uVar4 = param_1[5];
  iVar7 = param_2[4];
  iVar8 = param_2[5];
  if (uVar2 == 0 && uVar4 == 0) {
    param_1[5] = 1;
    param_1[4] = 0;
LAB_0001f570:
    iVar3 = *param_2;
    param_1[2] = 0;
    *param_1 = iVar7;
    param_1[3] = iVar3;
    param_1[1] = iVar8;
    return 0;
  }
  uVar6 = uVar4 + 1;
  if ((((*param_1 != iVar7) || (param_1[1] != iVar8)) || (param_1[2] != 0)) ||
     (param_1[3] != *param_2)) {
    param_1[5] = uVar6;
    uVar5 = (uVar6 < uVar4) + uVar2;
    param_1[4] = uVar5;
    if ((uVar2 & uVar5) != 0 || (uVar4 & uVar6) != 0) {
      return 0;
    }
    if (uVar5 != 0 || uVar6 != 0) goto LAB_0001f570;
  }
  return 1;
}

