
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

_Bool cycle_check(cycle_check_state *state,stat *sb)

{
  uint uVar1;
  uint uVar2;
  int iVar3;
  int iVar4;
  undefined4 uVar5;
  __dev_t _Var6;
  uint uVar7;
  uint uVar8;
  
  if (state->magic != 0x95f616) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");
  }
  uVar1 = *(uint *)((int)&state->chdir_counter + 4);
  uVar2 = (uint)state->chdir_counter;
  iVar3 = (int)sb->st_ino;
  iVar4 = *(int *)((int)&sb->st_ino + 4);
  if (uVar1 == 0 && uVar2 == 0) {
    *(undefined4 *)&state->chdir_counter = 1;
    *(undefined4 *)((int)&state->chdir_counter + 4) = 0;
LAB_000349ae:
    _Var6 = sb->st_dev;
    uVar5 = *(undefined4 *)((int)&sb->st_dev + 4);
    *(int *)&(state->dev_ino).st_ino = iVar3;
    *(int *)&(state->dev_ino).st_dev = (int)_Var6;
    *(undefined4 *)((int)&(state->dev_ino).st_dev + 4) = uVar5;
    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar4;
    return false;
  }
  if ((iVar4 != *(int *)((int)&(state->dev_ino).st_ino + 4) || (int)(state->dev_ino).st_ino != iVar3
      ) || (*(int *)((int)&sb->st_dev + 4) != *(int *)((int)&(state->dev_ino).st_dev + 4) ||
            (int)sb->st_dev != (int)(state->dev_ino).st_dev)) {
    uVar8 = uVar2 + 1;
    uVar7 = uVar1 + (0xfffffffe < uVar2);
    *(uint *)&state->chdir_counter = uVar8;
    *(uint *)((int)&state->chdir_counter + 4) = uVar7;
    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {
      return false;
    }
    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;
  }
  return true;
}



/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

undefined4 FUN_00034920(int *param_1,int *param_2)

{
  uint uVar1;
  uint uVar2;
  int iVar3;
  int iVar4;
  int iVar5;
  int iVar6;
  uint uVar7;
  uint uVar8;
  
  if (param_1[6] != 0x95f616) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");
  }
  uVar1 = param_1[5];
  uVar2 = param_1[4];
  iVar3 = param_2[0x16];
  iVar4 = param_2[0x17];
  if (uVar1 == 0 && uVar2 == 0) {
    param_1[4] = 1;
    param_1[5] = 0;
LAB_000349ae:
    iVar5 = *param_2;
    iVar6 = param_2[1];
    *param_1 = iVar3;
    param_1[2] = iVar5;
    param_1[3] = iVar6;
    param_1[1] = iVar4;
    return 0;
  }
  if ((iVar4 != param_1[1] || *param_1 != iVar3) ||
     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {
    uVar8 = uVar2 + 1;
    uVar7 = uVar1 + (0xfffffffe < uVar2);
    param_1[4] = uVar8;
    param_1[5] = uVar7;
    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {
      return 0;
    }
    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;
  }
  return 1;
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
CALL 0x00014070
ADD EBX,0x116d7
SUB ESP,0x1c
MOV EAX,dword ptr [ESP + 0x30]
MOV EDX,dword ptr [ESP + 0x34]
CMP dword ptr [EAX + 0x18],0x95f616
JNZ 0x000349fb
MOV EBX,dword ptr [EAX + 0x14]
MOV ECX,dword ptr [EAX + 0x10]
MOV EBP,dword ptr [EDX + 0x58]
MOV ESI,dword ptr [EDX + 0x5c]
MOV EDI,EBX
OR EDI,ECX
MOV dword ptr [ESP + 0xc],EBP
MOV dword ptr [ESP + 0x8],ESI
JZ 0x000349a0
MOV ESI,dword ptr [EAX]
MOV EDI,dword ptr [ESP + 0x8]
XOR EDI,dword ptr [EAX + 0x4]
XOR ESI,EBP
OR EDI,ESI
JZ 0x000349d0
MOV EDI,ECX
MOV EBP,EBX
MOV ESI,ECX
MOV ECX,EBX
ADD EDI,0x1
ADC EBP,0x0
AND ESI,EDI
MOV dword ptr [EAX + 0x10],EDI
AND ECX,EBP
MOV dword ptr [EAX + 0x14],EBP
OR ECX,ESI
JZ 0x000349ec
ADD ESP,0x1c
XOR EAX,EAX
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV dword ptr [EAX + 0x10],0x1
MOV dword ptr [EAX + 0x14],0x0
MOV EBX,dword ptr [ESP + 0xc]
MOV ESI,dword ptr [EDX]
MOV EDI,dword ptr [EDX + 0x4]
MOV dword ptr [EAX],EBX
MOV EBX,dword ptr [ESP + 0x8]
MOV dword ptr [EAX + 0x8],ESI
MOV dword ptr [EAX + 0xc],EDI
MOV dword ptr [EAX + 0x4],EBX
ADD ESP,0x1c
XOR EAX,EAX
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV EDI,dword ptr [EDX]
MOV ESI,dword ptr [EDX + 0x4]
XOR EDI,dword ptr [EAX + 0x8]
XOR ESI,dword ptr [EAX + 0xc]
OR ESI,EDI
JNZ 0x00034970
MOV EAX,0x1
ADD ESP,0x1c
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV ESI,EDI
MOV EDI,EBP
OR EDI,ESI
JNZ 0x000349ae
MOV EAX,0x1
JMP 0x000349e4
LEA EAX,[EBX + 0xffff5028]
PUSH EAX
LEA EAX,[EBX + 0xffff4ffe]
PUSH 0x3c
PUSH EAX
LEA EAX,[EBX + 0xffff5010]
PUSH EAX
CALL 0x00012680
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nundefined4 FUN_00034920(int *param_1,int *param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  if (param_1[6] != 0x95f616) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }\n  uVar1 = param_1[5];\n  uVar2 = param_1[4];\n  iVar3 = param_2[0x16];\n  iVar4 = param_2[0x17];\n  if (uVar1 == 0 && uVar2 == 0) {\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }\n  if ((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }\n  return 1;\n}\n\n" comment (function_definition "undefined4 FUN_00034920(int *param_1,int *param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  if (param_1[6] != 0x95f616) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }\n  uVar1 = param_1[5];\n  uVar2 = param_1[4];\n  iVar3 = param_2[0x16];\n  iVar4 = param_2[0x17];\n  if (uVar1 == 0 && uVar2 == 0) {\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }\n  if ((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }\n  return 1;\n}" type_identifier (function_declarator "FUN_00034920(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  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  if (param_1[6] != 0x95f616) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }\n  uVar1 = param_1[5];\n  uVar2 = param_1[4];\n  iVar3 = param_2[0x16];\n  iVar4 = param_2[0x17];\n  if (uVar1 == 0 && uVar2 == 0) {\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }\n  if ((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }\n  return 1;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (if_statement "if (param_1[6] != 0x95f616) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\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                    /* WARNING: Subroutine does not return */\n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }" { comment (expression_statement "__assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");" (call_expression "__assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check")" identifier (argument_list "("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check")" ( (string_literal ""state->magic == 9827862"" " string_content ") , (string_literal ""lib/cycle-check.c"" " string_content ") , number_literal , (string_literal ""cycle_check"" " string_content ") ))) ;) })) (expression_statement "uVar1 = param_1[5];" (assignment_expression "uVar1 = param_1[5]" identifier = (subscript_expression "param_1[5]" identifier [ number_literal ])) ;) (expression_statement "uVar2 = param_1[4];" (assignment_expression "uVar2 = param_1[4]" identifier = (subscript_expression "param_1[4]" identifier [ number_literal ])) ;) (expression_statement "iVar3 = param_2[0x16];" (assignment_expression "iVar3 = param_2[0x16]" identifier = (subscript_expression "param_2[0x16]" identifier [ number_literal ])) ;) (expression_statement "iVar4 = param_2[0x17];" (assignment_expression "iVar4 = param_2[0x17]" identifier = (subscript_expression "param_2[0x17]" identifier [ number_literal ])) ;) (if_statement "if (uVar1 == 0 && uVar2 == 0) {\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }" if (parenthesized_expression "(uVar1 == 0 && uVar2 == 0)" ( (binary_expression "uVar1 == 0 && uVar2 == 0" (binary_expression "uVar1 == 0" identifier == number_literal) && (binary_expression "uVar2 == 0" identifier == number_literal)) )) (compound_statement "{\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }" { (expression_statement "param_1[4] = 1;" (assignment_expression "param_1[4] = 1" (subscript_expression "param_1[4]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[5] = 0;" (assignment_expression "param_1[5] = 0" (subscript_expression "param_1[5]" identifier [ number_literal ]) = number_literal) ;) (labeled_statement "LAB_000349ae:\n    iVar5 = *param_2;" statement_identifier : (expression_statement "iVar5 = *param_2;" (assignment_expression "iVar5 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;)) (expression_statement "iVar6 = param_2[1];" (assignment_expression "iVar6 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "*param_1 = iVar3;" (assignment_expression "*param_1 = iVar3" (pointer_expression "*param_1" * identifier) = identifier) ;) (expression_statement "param_1[2] = iVar5;" (assignment_expression "param_1[2] = iVar5" (subscript_expression "param_1[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_1[3] = iVar6;" (assignment_expression "param_1[3] = iVar6" (subscript_expression "param_1[3]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_1[1] = iVar4;" (assignment_expression "param_1[1] = iVar4" (subscript_expression "param_1[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) (if_statement "if ((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }" if (parenthesized_expression "((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2]))" ( (binary_expression "(iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])" (parenthesized_expression "(iVar4 != param_1[1] || *param_1 != iVar3)" ( (binary_expression "iVar4 != param_1[1] || *param_1 != iVar3" (binary_expression "iVar4 != param_1[1]" identifier != (subscript_expression "param_1[1]" identifier [ number_literal ])) || (binary_expression "*param_1 != iVar3" (pointer_expression "*param_1" * identifier) != identifier)) )) || (parenthesized_expression "(param_2[1] != param_1[3] || *param_2 != param_1[2])" ( (binary_expression "param_2[1] != param_1[3] || *param_2 != param_1[2]" (binary_expression "param_2[1] != param_1[3]" (subscript_expression "param_2[1]" identifier [ number_literal ]) != (subscript_expression "param_1[3]" identifier [ number_literal ])) || (binary_expression "*param_2 != param_1[2]" (pointer_expression "*param_2" * identifier) != (subscript_expression "param_1[2]" identifier [ number_literal ]))) ))) )) (compound_statement "{\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }" { (expression_statement "uVar8 = uVar2 + 1;" (assignment_expression "uVar8 = uVar2 + 1" identifier = (binary_expression "uVar2 + 1" identifier + number_literal)) ;) (expression_statement "uVar7 = uVar1 + (0xfffffffe < uVar2);" (assignment_expression "uVar7 = uVar1 + (0xfffffffe < uVar2)" identifier = (binary_expression "uVar1 + (0xfffffffe < uVar2)" identifier + (parenthesized_expression "(0xfffffffe < uVar2)" ( (binary_expression "0xfffffffe < uVar2" number_literal < identifier) )))) ;) (expression_statement "param_1[4] = uVar8;" (assignment_expression "param_1[4] = uVar8" (subscript_expression "param_1[4]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_1[5] = uVar7;" (assignment_expression "param_1[5] = uVar7" (subscript_expression "param_1[5]" identifier [ number_literal ]) = identifier) ;) (if_statement "if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }" if (parenthesized_expression "((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0)" ( (binary_expression "(uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0" (binary_expression "(uVar1 & uVar7) != 0" (parenthesized_expression "(uVar1 & uVar7)" ( (binary_expression "uVar1 & uVar7" identifier & identifier) )) != number_literal) || (binary_expression "(uVar2 & uVar8) != 0" (parenthesized_expression "(uVar2 & uVar8)" ( (binary_expression "uVar2 & uVar8" identifier & identifier) )) != number_literal)) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;" if (parenthesized_expression "(uVar7 != 0 || uVar8 != 0)" ( (binary_expression "uVar7 != 0 || uVar8 != 0" (binary_expression "uVar7 != 0" identifier != number_literal) || (binary_expression "uVar8 != 0" identifier != number_literal)) )) (goto_statement "goto LAB_000349ae;" goto statement_identifier ;)) })) (return_statement "return 1;" return number_literal ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Unknown calling convention */\n\n_Bool cycle_check(cycle_check_state *state,stat *sb)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  undefined4 uVar5;\n  __dev_t _Var6;\n  uint uVar7;\n  uint uVar8;\n  \n  if (state->magic != 0x95f616) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }\n  uVar1 = *(uint *)((int)&state->chdir_counter + 4);\n  uVar2 = (uint)state->chdir_counter;\n  iVar3 = (int)sb->st_ino;\n  iVar4 = *(int *)((int)&sb->st_ino + 4);\n  if (uVar1 == 0 && uVar2 == 0) {\n    *(undefined4 *)&state->chdir_counter = 1;\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 0;\nLAB_000349ae:\n    _Var6 = sb->st_dev;\n    uVar5 = *(undefined4 *)((int)&sb->st_dev + 4);\n    *(int *)&(state->dev_ino).st_ino = iVar3;\n    *(int *)&(state->dev_ino).st_dev = (int)_Var6;\n    *(undefined4 *)((int)&(state->dev_ino).st_dev + 4) = uVar5;\n    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar4;\n    return false;\n  }\n  if ((iVar4 != *(int *)((int)&(state->dev_ino).st_ino + 4) || (int)(state->dev_ino).st_ino != iVar3\n      ) || (*(int *)((int)&sb->st_dev + 4) != *(int *)((int)&(state->dev_ino).st_dev + 4) ||\n            (int)sb->st_dev != (int)(state->dev_ino).st_dev)) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    *(uint *)&state->chdir_counter = uVar8;\n    *(uint *)((int)&state->chdir_counter + 4) = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return false;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }\n  return true;\n}\n\n" comment comment (function_definition "_Bool cycle_check(cycle_check_state *state,stat *sb)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  undefined4 uVar5;\n  __dev_t _Var6;\n  uint uVar7;\n  uint uVar8;\n  \n  if (state->magic != 0x95f616) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }\n  uVar1 = *(uint *)((int)&state->chdir_counter + 4);\n  uVar2 = (uint)state->chdir_counter;\n  iVar3 = (int)sb->st_ino;\n  iVar4 = *(int *)((int)&sb->st_ino + 4);\n  if (uVar1 == 0 && uVar2 == 0) {\n    *(undefined4 *)&state->chdir_counter = 1;\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 0;\nLAB_000349ae:\n    _Var6 = sb->st_dev;\n    uVar5 = *(undefined4 *)((int)&sb->st_dev + 4);\n    *(int *)&(state->dev_ino).st_ino = iVar3;\n    *(int *)&(state->dev_ino).st_dev = (int)_Var6;\n    *(undefined4 *)((int)&(state->dev_ino).st_dev + 4) = uVar5;\n    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar4;\n    return false;\n  }\n  if ((iVar4 != *(int *)((int)&(state->dev_ino).st_ino + 4) || (int)(state->dev_ino).st_ino != iVar3\n      ) || (*(int *)((int)&sb->st_dev + 4) != *(int *)((int)&(state->dev_ino).st_dev + 4) ||\n            (int)sb->st_dev != (int)(state->dev_ino).st_dev)) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    *(uint *)&state->chdir_counter = uVar8;\n    *(uint *)((int)&state->chdir_counter + 4) = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return false;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\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  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  undefined4 uVar5;\n  __dev_t _Var6;\n  uint uVar7;\n  uint uVar8;\n  \n  if (state->magic != 0x95f616) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }\n  uVar1 = *(uint *)((int)&state->chdir_counter + 4);\n  uVar2 = (uint)state->chdir_counter;\n  iVar3 = (int)sb->st_ino;\n  iVar4 = *(int *)((int)&sb->st_ino + 4);\n  if (uVar1 == 0 && uVar2 == 0) {\n    *(undefined4 *)&state->chdir_counter = 1;\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 0;\nLAB_000349ae:\n    _Var6 = sb->st_dev;\n    uVar5 = *(undefined4 *)((int)&sb->st_dev + 4);\n    *(int *)&(state->dev_ino).st_ino = iVar3;\n    *(int *)&(state->dev_ino).st_dev = (int)_Var6;\n    *(undefined4 *)((int)&(state->dev_ino).st_dev + 4) = uVar5;\n    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar4;\n    return false;\n  }\n  if ((iVar4 != *(int *)((int)&(state->dev_ino).st_ino + 4) || (int)(state->dev_ino).st_ino != iVar3\n      ) || (*(int *)((int)&sb->st_dev + 4) != *(int *)((int)&(state->dev_ino).st_dev + 4) ||\n            (int)sb->st_dev != (int)(state->dev_ino).st_dev)) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    *(uint *)&state->chdir_counter = uVar8;\n    *(uint *)((int)&state->chdir_counter + 4) = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return false;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }\n  return true;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "undefined4 uVar5;" type_identifier identifier ;) (declaration "__dev_t _Var6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (if_statement "if (state->magic != 0x95f616) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }" if (parenthesized_expression "(state->magic != 0x95f616)" ( (binary_expression "state->magic != 0x95f616" (field_expression "state->magic" identifier -> field_identifier) != number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }" { comment (expression_statement "__assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");" (call_expression "__assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check")" identifier (argument_list "("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check")" ( (string_literal ""state->magic == 9827862"" " string_content ") , (string_literal ""lib/cycle-check.c"" " string_content ") , number_literal , (string_literal ""cycle_check"" " string_content ") ))) ;) })) (expression_statement "uVar1 = *(uint *)((int)&state->chdir_counter + 4);" (assignment_expression "uVar1 = *(uint *)((int)&state->chdir_counter + 4)" identifier = (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) ))))) ;) (expression_statement "uVar2 = (uint)state->chdir_counter;" (assignment_expression "uVar2 = (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 "iVar3 = (int)sb->st_ino;" (assignment_expression "iVar3 = (int)sb->st_ino" identifier = (cast_expression "(int)sb->st_ino" ( (type_descriptor "int" primitive_type) ) (field_expression "sb->st_ino" identifier -> field_identifier))) ;) (expression_statement "iVar4 = *(int *)((int)&sb->st_ino + 4);" (assignment_expression "iVar4 = *(int *)((int)&sb->st_ino + 4)" identifier = (pointer_expression "*(int *)((int)&sb->st_ino + 4)" * (cast_expression "(int *)((int)&sb->st_ino + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&sb->st_ino + 4)" ( (binary_expression "(int)&sb->st_ino + 4" (cast_expression "(int)&sb->st_ino" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&sb->st_ino" & (field_expression "sb->st_ino" identifier -> field_identifier))) + number_literal) ))))) ;) (if_statement "if (uVar1 == 0 && uVar2 == 0) {\n    *(undefined4 *)&state->chdir_counter = 1;\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 0;\nLAB_000349ae:\n    _Var6 = sb->st_dev;\n    uVar5 = *(undefined4 *)((int)&sb->st_dev + 4);\n    *(int *)&(state->dev_ino).st_ino = iVar3;\n    *(int *)&(state->dev_ino).st_dev = (int)_Var6;\n    *(undefined4 *)((int)&(state->dev_ino).st_dev + 4) = uVar5;\n    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar4;\n    return false;\n  }" if (parenthesized_expression "(uVar1 == 0 && uVar2 == 0)" ( (binary_expression "uVar1 == 0 && uVar2 == 0" (binary_expression "uVar1 == 0" identifier == number_literal) && (binary_expression "uVar2 == 0" identifier == number_literal)) )) (compound_statement "{\n    *(undefined4 *)&state->chdir_counter = 1;\n    *(undefined4 *)((int)&state->chdir_counter + 4) = 0;\nLAB_000349ae:\n    _Var6 = sb->st_dev;\n    uVar5 = *(undefined4 *)((int)&sb->st_dev + 4);\n    *(int *)&(state->dev_ino).st_ino = iVar3;\n    *(int *)&(state->dev_ino).st_dev = (int)_Var6;\n    *(undefined4 *)((int)&(state->dev_ino).st_dev + 4) = uVar5;\n    *(int *)((int)&(state->dev_ino).st_ino + 4) = iVar4;\n    return false;\n  }" { (expression_statement "*(undefined4 *)&state->chdir_counter = 1;" (assignment_expression "*(undefined4 *)&state->chdir_counter = 1" (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) ;) (expression_statement "*(undefined4 *)((int)&state->chdir_counter + 4) = 0;" (assignment_expression "*(undefined4 *)((int)&state->chdir_counter + 4) = 0" (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) ;) (labeled_statement "LAB_000349ae:\n    _Var6 = sb->st_dev;" statement_identifier : (expression_statement "_Var6 = sb->st_dev;" (assignment_expression "_Var6 = sb->st_dev" identifier = (field_expression "sb->st_dev" identifier -> field_identifier)) ;)) (expression_statement "uVar5 = *(undefined4 *)((int)&sb->st_dev + 4);" (assignment_expression "uVar5 = *(undefined4 *)((int)&sb->st_dev + 4)" identifier = (pointer_expression "*(undefined4 *)((int)&sb->st_dev + 4)" * (cast_expression "(undefined4 *)((int)&sb->st_dev + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&sb->st_dev + 4)" ( (binary_expression "(int)&sb->st_dev + 4" (cast_expression "(int)&sb->st_dev" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&sb->st_dev" & (field_expression "sb->st_dev" identifier -> field_identifier))) + number_literal) ))))) ;) (expression_statement "*(int *)&(state->dev_ino).st_ino = iVar3;" (assignment_expression "*(int *)&(state->dev_ino).st_ino = iVar3" (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 "*(int *)&(state->dev_ino).st_dev = (int)_Var6;" (assignment_expression "*(int *)&(state->dev_ino).st_dev = (int)_Var6" (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)))) = (cast_expression "(int)_Var6" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "*(undefined4 *)((int)&(state->dev_ino).st_dev + 4) = uVar5;" (assignment_expression "*(undefined4 *)((int)&(state->dev_ino).st_dev + 4) = uVar5" (pointer_expression "*(undefined4 *)((int)&(state->dev_ino).st_dev + 4)" * (cast_expression "(undefined4 *)((int)&(state->dev_ino).st_dev + 4)" ( (type_descriptor "undefined4 *" 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) = iVar4;" (assignment_expression "*(int *)((int)&(state->dev_ino).st_ino + 4) = iVar4" (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 ;) })) (if_statement "if ((iVar4 != *(int *)((int)&(state->dev_ino).st_ino + 4) || (int)(state->dev_ino).st_ino != iVar3\n      ) || (*(int *)((int)&sb->st_dev + 4) != *(int *)((int)&(state->dev_ino).st_dev + 4) ||\n            (int)sb->st_dev != (int)(state->dev_ino).st_dev)) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    *(uint *)&state->chdir_counter = uVar8;\n    *(uint *)((int)&state->chdir_counter + 4) = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return false;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }" if (parenthesized_expression "((iVar4 != *(int *)((int)&(state->dev_ino).st_ino + 4) || (int)(state->dev_ino).st_ino != iVar3\n      ) || (*(int *)((int)&sb->st_dev + 4) != *(int *)((int)&(state->dev_ino).st_dev + 4) ||\n            (int)sb->st_dev != (int)(state->dev_ino).st_dev))" ( (binary_expression "(iVar4 != *(int *)((int)&(state->dev_ino).st_ino + 4) || (int)(state->dev_ino).st_ino != iVar3\n      ) || (*(int *)((int)&sb->st_dev + 4) != *(int *)((int)&(state->dev_ino).st_dev + 4) ||\n            (int)sb->st_dev != (int)(state->dev_ino).st_dev)" (parenthesized_expression "(iVar4 != *(int *)((int)&(state->dev_ino).st_ino + 4) || (int)(state->dev_ino).st_ino != iVar3\n      )" ( (binary_expression "iVar4 != *(int *)((int)&(state->dev_ino).st_ino + 4) || (int)(state->dev_ino).st_ino != iVar3" (binary_expression "iVar4 != *(int *)((int)&(state->dev_ino).st_ino + 4)" identifier != (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) ))))) || (binary_expression "(int)(state->dev_ino).st_ino != iVar3" (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 *)((int)&sb->st_dev + 4) != *(int *)((int)&(state->dev_ino).st_dev + 4) ||\n            (int)sb->st_dev != (int)(state->dev_ino).st_dev)" ( (binary_expression "*(int *)((int)&sb->st_dev + 4) != *(int *)((int)&(state->dev_ino).st_dev + 4) ||\n            (int)sb->st_dev != (int)(state->dev_ino).st_dev" (binary_expression "*(int *)((int)&sb->st_dev + 4) != *(int *)((int)&(state->dev_ino).st_dev + 4)" (pointer_expression "*(int *)((int)&sb->st_dev + 4)" * (cast_expression "(int *)((int)&sb->st_dev + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&sb->st_dev + 4)" ( (binary_expression "(int)&sb->st_dev + 4" (cast_expression "(int)&sb->st_dev" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&sb->st_dev" & (field_expression "sb->st_dev" identifier -> field_identifier))) + number_literal) )))) != (pointer_expression "*(int *)((int)&(state->dev_ino).st_dev + 4)" * (cast_expression "(int *)((int)&(state->dev_ino).st_dev + 4)" ( (type_descriptor "int *" primitive_type (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) ))))) || (binary_expression "(int)sb->st_dev != (int)(state->dev_ino).st_dev" (cast_expression "(int)sb->st_dev" ( (type_descriptor "int" primitive_type) ) (field_expression "sb->st_dev" identifier -> field_identifier)) != (cast_expression "(int)(state->dev_ino).st_dev" ( (type_descriptor "int" primitive_type) ) (field_expression "(state->dev_ino).st_dev" (parenthesized_expression "(state->dev_ino)" ( (field_expression "state->dev_ino" identifier -> field_identifier) )) . field_identifier)))) ))) )) (compound_statement "{\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    *(uint *)&state->chdir_counter = uVar8;\n    *(uint *)((int)&state->chdir_counter + 4) = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return false;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }" { (expression_statement "uVar8 = uVar2 + 1;" (assignment_expression "uVar8 = uVar2 + 1" identifier = (binary_expression "uVar2 + 1" identifier + number_literal)) ;) (expression_statement "uVar7 = uVar1 + (0xfffffffe < uVar2);" (assignment_expression "uVar7 = uVar1 + (0xfffffffe < uVar2)" identifier = (binary_expression "uVar1 + (0xfffffffe < uVar2)" identifier + (parenthesized_expression "(0xfffffffe < uVar2)" ( (binary_expression "0xfffffffe < uVar2" number_literal < identifier) )))) ;) (expression_statement "*(uint *)&state->chdir_counter = uVar8;" (assignment_expression "*(uint *)&state->chdir_counter = uVar8" (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) = uVar7;" (assignment_expression "*(uint *)((int)&state->chdir_counter + 4) = uVar7" (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 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return false;\n    }" if (parenthesized_expression "((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0)" ( (binary_expression "(uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0" (binary_expression "(uVar1 & uVar7) != 0" (parenthesized_expression "(uVar1 & uVar7)" ( (binary_expression "uVar1 & uVar7" identifier & identifier) )) != number_literal) || (binary_expression "(uVar2 & uVar8) != 0" (parenthesized_expression "(uVar2 & uVar8)" ( (binary_expression "uVar2 & uVar8" identifier & identifier) )) != number_literal)) )) (compound_statement "{\n      return false;\n    }" { (return_statement "return false;" return false ;) })) (if_statement "if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;" if (parenthesized_expression "(uVar7 != 0 || uVar8 != 0)" ( (binary_expression "uVar7 != 0 || uVar8 != 0" (binary_expression "uVar7 != 0" identifier != number_literal) || (binary_expression "uVar8 != 0" identifier != number_literal)) )) (goto_statement "goto LAB_000349ae;" goto statement_identifier ;)) })) (return_statement "return true;" return true ;) })))
(translation_unit "undefined4 FUN_00034920(int *param_1,int *param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  if (param_1[6] != 0x95f616) {\n                    \n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }\n  uVar1 = param_1[5];\n  uVar2 = param_1[4];\n  iVar3 = param_2[0x16];\n  iVar4 = param_2[0x17];\n  if (uVar1 == 0 && uVar2 == 0) {\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }\n  if ((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }\n  return 1;\n}\n\n" (function_definition "undefined4 FUN_00034920(int *param_1,int *param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  if (param_1[6] != 0x95f616) {\n                    \n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }\n  uVar1 = param_1[5];\n  uVar2 = param_1[4];\n  iVar3 = param_2[0x16];\n  iVar4 = param_2[0x17];\n  if (uVar1 == 0 && uVar2 == 0) {\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }\n  if ((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }\n  return 1;\n}" type_identifier (function_declarator "FUN_00034920(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  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  if (param_1[6] != 0x95f616) {\n                    \n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }\n  uVar1 = param_1[5];\n  uVar2 = param_1[4];\n  iVar3 = param_2[0x16];\n  iVar4 = param_2[0x17];\n  if (uVar1 == 0 && uVar2 == 0) {\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }\n  if ((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }\n  return 1;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (if_statement "if (param_1[6] != 0x95f616) {\n                    \n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\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                    \n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }" { (expression_statement "__assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");" (call_expression "__assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check")" identifier (argument_list "("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check")" ( (string_literal ""state->magic == 9827862"" " string_content ") , (string_literal ""lib/cycle-check.c"" " string_content ") , number_literal , (string_literal ""cycle_check"" " string_content ") ))) ;) })) (expression_statement "uVar1 = param_1[5];" (assignment_expression "uVar1 = param_1[5]" identifier = (subscript_expression "param_1[5]" identifier [ number_literal ])) ;) (expression_statement "uVar2 = param_1[4];" (assignment_expression "uVar2 = param_1[4]" identifier = (subscript_expression "param_1[4]" identifier [ number_literal ])) ;) (expression_statement "iVar3 = param_2[0x16];" (assignment_expression "iVar3 = param_2[0x16]" identifier = (subscript_expression "param_2[0x16]" identifier [ number_literal ])) ;) (expression_statement "iVar4 = param_2[0x17];" (assignment_expression "iVar4 = param_2[0x17]" identifier = (subscript_expression "param_2[0x17]" identifier [ number_literal ])) ;) (if_statement "if (uVar1 == 0 && uVar2 == 0) {\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }" if (parenthesized_expression "(uVar1 == 0 && uVar2 == 0)" ( (binary_expression "uVar1 == 0 && uVar2 == 0" (binary_expression "uVar1 == 0" identifier == number_literal) && (binary_expression "uVar2 == 0" identifier == number_literal)) )) (compound_statement "{\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }" { (expression_statement "param_1[4] = 1;" (assignment_expression "param_1[4] = 1" (subscript_expression "param_1[4]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[5] = 0;" (assignment_expression "param_1[5] = 0" (subscript_expression "param_1[5]" identifier [ number_literal ]) = number_literal) ;) (labeled_statement "LAB_000349ae:\n    iVar5 = *param_2;" statement_identifier : (expression_statement "iVar5 = *param_2;" (assignment_expression "iVar5 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;)) (expression_statement "iVar6 = param_2[1];" (assignment_expression "iVar6 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "*param_1 = iVar3;" (assignment_expression "*param_1 = iVar3" (pointer_expression "*param_1" * identifier) = identifier) ;) (expression_statement "param_1[2] = iVar5;" (assignment_expression "param_1[2] = iVar5" (subscript_expression "param_1[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_1[3] = iVar6;" (assignment_expression "param_1[3] = iVar6" (subscript_expression "param_1[3]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_1[1] = iVar4;" (assignment_expression "param_1[1] = iVar4" (subscript_expression "param_1[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) (if_statement "if ((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }" if (parenthesized_expression "((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2]))" ( (binary_expression "(iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])" (parenthesized_expression "(iVar4 != param_1[1] || *param_1 != iVar3)" ( (binary_expression "iVar4 != param_1[1] || *param_1 != iVar3" (binary_expression "iVar4 != param_1[1]" identifier != (subscript_expression "param_1[1]" identifier [ number_literal ])) || (binary_expression "*param_1 != iVar3" (pointer_expression "*param_1" * identifier) != identifier)) )) || (parenthesized_expression "(param_2[1] != param_1[3] || *param_2 != param_1[2])" ( (binary_expression "param_2[1] != param_1[3] || *param_2 != param_1[2]" (binary_expression "param_2[1] != param_1[3]" (subscript_expression "param_2[1]" identifier [ number_literal ]) != (subscript_expression "param_1[3]" identifier [ number_literal ])) || (binary_expression "*param_2 != param_1[2]" (pointer_expression "*param_2" * identifier) != (subscript_expression "param_1[2]" identifier [ number_literal ]))) ))) )) (compound_statement "{\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }" { (expression_statement "uVar8 = uVar2 + 1;" (assignment_expression "uVar8 = uVar2 + 1" identifier = (binary_expression "uVar2 + 1" identifier + number_literal)) ;) (expression_statement "uVar7 = uVar1 + (0xfffffffe < uVar2);" (assignment_expression "uVar7 = uVar1 + (0xfffffffe < uVar2)" identifier = (binary_expression "uVar1 + (0xfffffffe < uVar2)" identifier + (parenthesized_expression "(0xfffffffe < uVar2)" ( (binary_expression "0xfffffffe < uVar2" number_literal < identifier) )))) ;) (expression_statement "param_1[4] = uVar8;" (assignment_expression "param_1[4] = uVar8" (subscript_expression "param_1[4]" identifier [ number_literal ]) = identifier) ;) (expression_statement "param_1[5] = uVar7;" (assignment_expression "param_1[5] = uVar7" (subscript_expression "param_1[5]" identifier [ number_literal ]) = identifier) ;) (if_statement "if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }" if (parenthesized_expression "((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0)" ( (binary_expression "(uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0" (binary_expression "(uVar1 & uVar7) != 0" (parenthesized_expression "(uVar1 & uVar7)" ( (binary_expression "uVar1 & uVar7" identifier & identifier) )) != number_literal) || (binary_expression "(uVar2 & uVar8) != 0" (parenthesized_expression "(uVar2 & uVar8)" ( (binary_expression "uVar2 & uVar8" identifier & identifier) )) != number_literal)) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;" if (parenthesized_expression "(uVar7 != 0 || uVar8 != 0)" ( (binary_expression "uVar7 != 0 || uVar8 != 0" (binary_expression "uVar7 != 0" identifier != number_literal) || (binary_expression "uVar8 != 0" identifier != number_literal)) )) (goto_statement "goto LAB_000349ae;" 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 (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (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 IDENT = (subscript_expression IDENT [ 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) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return LIT ;) })) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT != (subscript_expression IDENT [ LIT ])) || (binary_expression (pointer_expression * IDENT) != IDENT)) )) || (parenthesized_expression ( (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) != (subscript_expression IDENT [ LIT ])) || (binary_expression (pointer_expression * IDENT) != (subscript_expression IDENT [ LIT ]))) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (parenthesized_expression ( (binary_expression LIT < 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)) )) (goto_statement goto statement_identifier ;)) })) (return_statement return LIT ;) })))
(function_definition "undefined4 FUN_00034920(int *param_1,int *param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  if (param_1[6] != 0x95f616) {\n                    \n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }\n  uVar1 = param_1[5];\n  uVar2 = param_1[4];\n  iVar3 = param_2[0x16];\n  iVar4 = param_2[0x17];\n  if (uVar1 == 0 && uVar2 == 0) {\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }\n  if ((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }\n  return 1;\n}" (type_identifier "undefined4") (function_declarator "FUN_00034920(int *param_1,int *param_2)" (identifier "FUN_00034920") (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  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  \n  if (param_1[6] != 0x95f616) {\n                    \n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }\n  uVar1 = param_1[5];\n  uVar2 = param_1[4];\n  iVar3 = param_2[0x16];\n  iVar4 = param_2[0x17];\n  if (uVar1 == 0 && uVar2 == 0) {\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }\n  if ((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }\n  return 1;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "int iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (declaration "uint uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (if_statement "if (param_1[6] != 0x95f616) {\n                    \n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\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                    \n    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");\n  }" ({ "{") (expression_statement "__assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");" (call_expression "__assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check")" (identifier "__assert_fail") (argument_list "("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check")" (( "(") (string_literal ""state->magic == 9827862"" (" """) (string_content "state->magic == 9827862") (" """)) (, ",") (string_literal ""lib/cycle-check.c"" (" """) (string_content "lib/cycle-check.c") (" """)) (, ",") (number_literal "0x3c") (, ",") (string_literal ""cycle_check"" (" """) (string_content "cycle_check") (" """)) () ")"))) (; ";")) (} "}"))) (expression_statement "uVar1 = param_1[5];" (assignment_expression "uVar1 = param_1[5]" (identifier "uVar1") (= "=") (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]"))) (; ";")) (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 "iVar3 = param_2[0x16];" (assignment_expression "iVar3 = param_2[0x16]" (identifier "iVar3") (= "=") (subscript_expression "param_2[0x16]" (identifier "param_2") ([ "[") (number_literal "0x16") (] "]"))) (; ";")) (expression_statement "iVar4 = param_2[0x17];" (assignment_expression "iVar4 = param_2[0x17]" (identifier "iVar4") (= "=") (subscript_expression "param_2[0x17]" (identifier "param_2") ([ "[") (number_literal "0x17") (] "]"))) (; ";")) (if_statement "if (uVar1 == 0 && uVar2 == 0) {\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }" (if "if") (parenthesized_expression "(uVar1 == 0 && uVar2 == 0)" (( "(") (binary_expression "uVar1 == 0 && uVar2 == 0" (binary_expression "uVar1 == 0" (identifier "uVar1") (== "==") (number_literal "0")) (&& "&&") (binary_expression "uVar2 == 0" (identifier "uVar2") (== "==") (number_literal "0"))) () ")")) (compound_statement "{\n    param_1[4] = 1;\n    param_1[5] = 0;\nLAB_000349ae:\n    iVar5 = *param_2;\n    iVar6 = param_2[1];\n    *param_1 = iVar3;\n    param_1[2] = iVar5;\n    param_1[3] = iVar6;\n    param_1[1] = iVar4;\n    return 0;\n  }" ({ "{") (expression_statement "param_1[4] = 1;" (assignment_expression "param_1[4] = 1" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (= "=") (number_literal "1")) (; ";")) (expression_statement "param_1[5] = 0;" (assignment_expression "param_1[5] = 0" (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]")) (= "=") (number_literal "0")) (; ";")) (labeled_statement "LAB_000349ae:\n    iVar5 = *param_2;" (statement_identifier "LAB_000349ae") (: ":") (expression_statement "iVar5 = *param_2;" (assignment_expression "iVar5 = *param_2" (identifier "iVar5") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";"))) (expression_statement "iVar6 = param_2[1];" (assignment_expression "iVar6 = param_2[1]" (identifier "iVar6") (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "*param_1 = iVar3;" (assignment_expression "*param_1 = iVar3" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (identifier "iVar3")) (; ";")) (expression_statement "param_1[2] = iVar5;" (assignment_expression "param_1[2] = iVar5" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "iVar5")) (; ";")) (expression_statement "param_1[3] = iVar6;" (assignment_expression "param_1[3] = iVar6" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (= "=") (identifier "iVar6")) (; ";")) (expression_statement "param_1[1] = iVar4;" (assignment_expression "param_1[1] = iVar4" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "iVar4")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (if_statement "if ((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }" (if "if") (parenthesized_expression "((iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2]))" (( "(") (binary_expression "(iVar4 != param_1[1] || *param_1 != iVar3) ||\n     (param_2[1] != param_1[3] || *param_2 != param_1[2])" (parenthesized_expression "(iVar4 != param_1[1] || *param_1 != iVar3)" (( "(") (binary_expression "iVar4 != param_1[1] || *param_1 != iVar3" (binary_expression "iVar4 != param_1[1]" (identifier "iVar4") (!= "!=") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]"))) (|| "||") (binary_expression "*param_1 != iVar3" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (!= "!=") (identifier "iVar3"))) () ")")) (|| "||") (parenthesized_expression "(param_2[1] != param_1[3] || *param_2 != param_1[2])" (( "(") (binary_expression "param_2[1] != param_1[3] || *param_2 != param_1[2]" (binary_expression "param_2[1] != param_1[3]" (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]")) (!= "!=") (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]"))) (|| "||") (binary_expression "*param_2 != param_1[2]" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (!= "!=") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")))) () ")"))) () ")")) (compound_statement "{\n    uVar8 = uVar2 + 1;\n    uVar7 = uVar1 + (0xfffffffe < uVar2);\n    param_1[4] = uVar8;\n    param_1[5] = uVar7;\n    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }\n    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;\n  }" ({ "{") (expression_statement "uVar8 = uVar2 + 1;" (assignment_expression "uVar8 = uVar2 + 1" (identifier "uVar8") (= "=") (binary_expression "uVar2 + 1" (identifier "uVar2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar7 = uVar1 + (0xfffffffe < uVar2);" (assignment_expression "uVar7 = uVar1 + (0xfffffffe < uVar2)" (identifier "uVar7") (= "=") (binary_expression "uVar1 + (0xfffffffe < uVar2)" (identifier "uVar1") (+ "+") (parenthesized_expression "(0xfffffffe < uVar2)" (( "(") (binary_expression "0xfffffffe < uVar2" (number_literal "0xfffffffe") (< "<") (identifier "uVar2")) () ")")))) (; ";")) (expression_statement "param_1[4] = uVar8;" (assignment_expression "param_1[4] = uVar8" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (= "=") (identifier "uVar8")) (; ";")) (expression_statement "param_1[5] = uVar7;" (assignment_expression "param_1[5] = uVar7" (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]")) (= "=") (identifier "uVar7")) (; ";")) (if_statement "if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {\n      return 0;\n    }" (if "if") (parenthesized_expression "((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0)" (( "(") (binary_expression "(uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0" (binary_expression "(uVar1 & uVar7) != 0" (parenthesized_expression "(uVar1 & uVar7)" (( "(") (binary_expression "uVar1 & uVar7" (identifier "uVar1") (& "&") (identifier "uVar7")) () ")")) (!= "!=") (number_literal "0")) (|| "||") (binary_expression "(uVar2 & uVar8) != 0" (parenthesized_expression "(uVar2 & uVar8)" (( "(") (binary_expression "uVar2 & uVar8" (identifier "uVar2") (& "&") (identifier "uVar8")) () ")")) (!= "!=") (number_literal "0"))) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (if_statement "if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;" (if "if") (parenthesized_expression "(uVar7 != 0 || uVar8 != 0)" (( "(") (binary_expression "uVar7 != 0 || uVar8 != 0" (binary_expression "uVar7 != 0" (identifier "uVar7") (!= "!=") (number_literal "0")) (|| "||") (binary_expression "uVar8 != 0" (identifier "uVar8") (!= "!=") (number_literal "0"))) () ")")) (goto_statement "goto LAB_000349ae;" (goto "goto") (statement_identifier "LAB_000349ae") (; ";"))) (} "}"))) (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

type_1 function_1(type_2 *state,type_3 *sb)

{
  type_4 var_2;
  type_4 var_3;
  int var_5;
  int var_4;
  type_5 uVar5;
  type_6 _Var6;
  type_4 var_6;
  type_4 var_7;
  
  if (state->magic != 0x95f616) {
                    /* WARNING: Subroutine does not return */
    var_1("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");
  }
  var_2 = *(type_4 *)((int)&state->chdir_counter + 4);
  var_3 = (type_4)state->chdir_counter;
  var_5 = (int)sb->st_ino;
  var_4 = *(int *)((int)&sb->st_ino + 4);
  if (var_2 == 0 && var_3 == 0) {
    *(type_5 *)&state->chdir_counter = 1;
    *(type_5 *)((int)&state->chdir_counter + 4) = 0;
LAB_000349ae:
    _Var6 = sb->st_dev;
    uVar5 = *(type_5 *)((int)&sb->st_dev + 4);
    *(int *)&(state->dev_ino).st_ino = var_5;
    *(int *)&(state->dev_ino).st_dev = (int)_Var6;
    *(type_5 *)((int)&(state->dev_ino).st_dev + 4) = uVar5;
    *(int *)((int)&(state->dev_ino).st_ino + 4) = var_4;
    return false;
  }
  if ((var_4 != *(int *)((int)&(state->dev_ino).st_ino + 4) || (int)(state->dev_ino).st_ino != var_5
      ) || (*(int *)((int)&sb->st_dev + 4) != *(int *)((int)&(state->dev_ino).st_dev + 4) ||
            (int)sb->st_dev != (int)(state->dev_ino).st_dev)) {
    var_7 = var_3 + 1;
    var_6 = var_2 + (0xfffffffe < var_3);
    *(type_4 *)&state->chdir_counter = var_7;
    *(type_4 *)((int)&state->chdir_counter + 4) = var_6;
    if ((var_2 & var_6) != 0 || (var_3 & var_7) != 0) {
      return false;
    }
    if (var_6 != 0 || var_7 != 0) goto LAB_000349ae;
  }
  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: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) 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 (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal) (string_literal (string_content))))))) (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: (identifier) right: (subscript_expression argument: (identifier) index: (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))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (return_statement (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier)))) right: (parenthesized_expression (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (subscript_expression argument: (identifier) index: (number_literal))))))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (number_literal) 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: (goto_statement label: (statement_identifier))))) (return_statement (number_literal)))))

/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

undefined4 MASKED(int *param_1,int *param_2)

{
  uint uVar1;
  uint uVar2;
  int iVar3;
  int iVar4;
  int iVar5;
  int iVar6;
  uint uVar7;
  uint uVar8;
  
  if (param_1[6] != 0x95f616) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("state->magic == 9827862","lib/cycle-check.c",0x3c,"cycle_check");
  }
  uVar1 = param_1[5];
  uVar2 = param_1[4];
  iVar3 = param_2[0x16];
  iVar4 = param_2[0x17];
  if (uVar1 == 0 && uVar2 == 0) {
    param_1[4] = 1;
    param_1[5] = 0;
LAB_000349ae:
    iVar5 = *param_2;
    iVar6 = param_2[1];
    *param_1 = iVar3;
    param_1[2] = iVar5;
    param_1[3] = iVar6;
    param_1[1] = iVar4;
    return 0;
  }
  if ((iVar4 != param_1[1] || *param_1 != iVar3) ||
     (param_2[1] != param_1[3] || *param_2 != param_1[2])) {
    uVar8 = uVar2 + 1;
    uVar7 = uVar1 + (0xfffffffe < uVar2);
    param_1[4] = uVar8;
    param_1[5] = uVar7;
    if ((uVar1 & uVar7) != 0 || (uVar2 & uVar8) != 0) {
      return 0;
    }
    if (uVar7 != 0 || uVar8 != 0) goto LAB_000349ae;
  }
  return 1;
}

