
reg_errcode_t free_fail_stack_return(re_fail_stack_t *fs)

{
  reg_errcode_t rVar1;
  int iVar2;
  int iVar3;
  
  if (0 < fs->num) {
    iVar3 = 0;
    iVar2 = 0;
    do {
      iVar3 = iVar3 + 1;
      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2));
      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&fs->stack->regs + iVar2));
      iVar2 = iVar2 + 0x18;
    } while (iVar3 < fs->num);
  }
                    /* WARNING: Could not recover jumptable at 0x00077a6c. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  rVar1 = (*(code *)PTR_free_000afd08)(fs->stack);
  return rVar1;
}



void FUN_000779d8(int *param_1)

{
  int iVar1;
  int iVar2;
  int iVar3;
  
  if (0 < *param_1) {
    iVar2 = 0;
    iVar3 = 0;
    do {
      iVar3 = iVar3 + 1;
      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));
      iVar1 = param_1[2] + iVar2;
      iVar2 = iVar2 + 0x18;
      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));
    } while (iVar3 < *param_1);
  }
  (*(code *)PTR_free_000afd08)(param_1[2]);
  return;
}


lui gp,0x4
addiu gp,gp,-0x5a8
addu gp,gp,t9
addiu sp,sp,-0x28
lw v0,0x0(a0)
sw gp,0x10(sp)
sw s1,0x1c(sp)
or s1,a0,zero
sw ra,0x24(sp)
sw s2,0x20(sp)
blez v0,0x00077a54
_sw s0,0x18(sp)
or s0,zero,zero
or s2,zero,zero
lw v0,0x8(s1)
addiu s2,s2,0x1
lw t9,-0x7728(gp)
addu v0,v0,s0
jalr t9
_lw a0,0x14(v0)
lw v0,0x8(s1)
lw gp,0x10(sp)
addu v0,v0,s0
addiu s0,s0,0x18
lw t9,-0x7728(gp)
jalr t9
_lw a0,0x8(v0)
lw v0,0x0(s1)
slt v0,s2,v0
bne v0,zero,0x00077a10
_lw gp,0x10(sp)
lw a0,0x8(s1)
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
lw t9,-0x7728(gp)
jr t9
_addiu sp,sp,0x28
(translation_unit "void FUN_000779d8(int *param_1)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  if (0 < *param_1) {\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }\n  (*(code *)PTR_free_000afd08)(param_1[2]);\n  return;\n}\n\n" (function_definition "void FUN_000779d8(int *param_1)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  if (0 < *param_1) {\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }\n  (*(code *)PTR_free_000afd08)(param_1[2]);\n  return;\n}" primitive_type (function_declarator "FUN_000779d8(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  if (0 < *param_1) {\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }\n  (*(code *)PTR_free_000afd08)(param_1[2]);\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (if_statement "if (0 < *param_1) {\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }" if (parenthesized_expression "(0 < *param_1)" ( (binary_expression "0 < *param_1" number_literal < (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }" { (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);" do (compound_statement "{\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    }" { (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "(*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));" (call_expression "(*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14))" (parenthesized_expression "(*(code *)PTR_free_000afd08)" ( (pointer_expression "*(code *)PTR_free_000afd08" * (cast_expression "(code *)PTR_free_000afd08" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1[2] + iVar2 + 0x14))" ( (pointer_expression "*(undefined4 *)(param_1[2] + iVar2 + 0x14)" * (cast_expression "(undefined4 *)(param_1[2] + iVar2 + 0x14)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1[2] + iVar2 + 0x14)" ( (binary_expression "param_1[2] + iVar2 + 0x14" (binary_expression "param_1[2] + iVar2" (subscript_expression "param_1[2]" identifier [ number_literal ]) + identifier) + number_literal) )))) ))) ;) (expression_statement "iVar1 = param_1[2] + iVar2;" (assignment_expression "iVar1 = param_1[2] + iVar2" identifier = (binary_expression "param_1[2] + iVar2" (subscript_expression "param_1[2]" identifier [ number_literal ]) + identifier)) ;) (expression_statement "iVar2 = iVar2 + 0x18;" (assignment_expression "iVar2 = iVar2 + 0x18" identifier = (binary_expression "iVar2 + 0x18" identifier + number_literal)) ;) (expression_statement "(*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));" (call_expression "(*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8))" (parenthesized_expression "(*(code *)PTR_free_000afd08)" ( (pointer_expression "*(code *)PTR_free_000afd08" * (cast_expression "(code *)PTR_free_000afd08" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(iVar1 + 8))" ( (pointer_expression "*(undefined4 *)(iVar1 + 8)" * (cast_expression "(undefined4 *)(iVar1 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 8)" ( (binary_expression "iVar1 + 8" identifier + number_literal) )))) ))) ;) }) while (parenthesized_expression "(iVar3 < *param_1)" ( (binary_expression "iVar3 < *param_1" identifier < (pointer_expression "*param_1" * identifier)) )) ;) })) (expression_statement "(*(code *)PTR_free_000afd08)(param_1[2]);" (call_expression "(*(code *)PTR_free_000afd08)(param_1[2])" (parenthesized_expression "(*(code *)PTR_free_000afd08)" ( (pointer_expression "*(code *)PTR_free_000afd08" * (cast_expression "(code *)PTR_free_000afd08" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1[2])" ( (subscript_expression "param_1[2]" identifier [ number_literal ]) ))) ;) (return_statement "return;" return ;) })))
(translation_unit "reg_errcode_t free_fail_stack_return(re_fail_stack_t *fs)\n\n{\n  reg_errcode_t rVar1;\n  int iVar2;\n  int iVar3;\n  \n  if (0 < fs->num) {\n    iVar3 = 0;\n    iVar2 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2));\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&fs->stack->regs + iVar2));\n      iVar2 = iVar2 + 0x18;\n    } while (iVar3 < fs->num);\n  }\n                    /* WARNING: Could not recover jumptable at 0x00077a6c. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  rVar1 = (*(code *)PTR_free_000afd08)(fs->stack);\n  return rVar1;\n}\n\n" (function_definition "reg_errcode_t free_fail_stack_return(re_fail_stack_t *fs)\n\n{\n  reg_errcode_t rVar1;\n  int iVar2;\n  int iVar3;\n  \n  if (0 < fs->num) {\n    iVar3 = 0;\n    iVar2 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2));\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&fs->stack->regs + iVar2));\n      iVar2 = iVar2 + 0x18;\n    } while (iVar3 < fs->num);\n  }\n                    /* WARNING: Could not recover jumptable at 0x00077a6c. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  rVar1 = (*(code *)PTR_free_000afd08)(fs->stack);\n  return rVar1;\n}" type_identifier (function_declarator "free_fail_stack_return(re_fail_stack_t *fs)" identifier (parameter_list "(re_fail_stack_t *fs)" ( (parameter_declaration "re_fail_stack_t *fs" type_identifier (pointer_declarator "*fs" * identifier)) ))) (compound_statement "{\n  reg_errcode_t rVar1;\n  int iVar2;\n  int iVar3;\n  \n  if (0 < fs->num) {\n    iVar3 = 0;\n    iVar2 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2));\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&fs->stack->regs + iVar2));\n      iVar2 = iVar2 + 0x18;\n    } while (iVar3 < fs->num);\n  }\n                    /* WARNING: Could not recover jumptable at 0x00077a6c. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  rVar1 = (*(code *)PTR_free_000afd08)(fs->stack);\n  return rVar1;\n}" { (declaration "reg_errcode_t rVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (if_statement "if (0 < fs->num) {\n    iVar3 = 0;\n    iVar2 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2));\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&fs->stack->regs + iVar2));\n      iVar2 = iVar2 + 0x18;\n    } while (iVar3 < fs->num);\n  }" if (parenthesized_expression "(0 < fs->num)" ( (binary_expression "0 < fs->num" number_literal < (field_expression "fs->num" identifier -> field_identifier)) )) (compound_statement "{\n    iVar3 = 0;\n    iVar2 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2));\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&fs->stack->regs + iVar2));\n      iVar2 = iVar2 + 0x18;\n    } while (iVar3 < fs->num);\n  }" { (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) (do_statement "do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2));\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&fs->stack->regs + iVar2));\n      iVar2 = iVar2 + 0x18;\n    } while (iVar3 < fs->num);" do (compound_statement "{\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2));\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&fs->stack->regs + iVar2));\n      iVar2 = iVar2 + 0x18;\n    }" { (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "(*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2));" (call_expression "(*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2))" (parenthesized_expression "(*(code *)PTR_free_000afd08)" ( (pointer_expression "*(code *)PTR_free_000afd08" * (cast_expression "(code *)PTR_free_000afd08" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2))" ( (pointer_expression "*(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2)" * (cast_expression "(undefined4 *)((int)&(fs->stack->eps_via_nodes).elems + iVar2)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&(fs->stack->eps_via_nodes).elems + iVar2)" ( (binary_expression "(int)&(fs->stack->eps_via_nodes).elems + iVar2" (cast_expression "(int)&(fs->stack->eps_via_nodes).elems" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&(fs->stack->eps_via_nodes).elems" & (field_expression "(fs->stack->eps_via_nodes).elems" (parenthesized_expression "(fs->stack->eps_via_nodes)" ( (field_expression "fs->stack->eps_via_nodes" (field_expression "fs->stack" identifier -> field_identifier) -> field_identifier) )) . field_identifier))) + identifier) )))) ))) ;) (expression_statement "(*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&fs->stack->regs + iVar2));" (call_expression "(*(code *)PTR_free_000afd08)(*(undefined4 *)((int)&fs->stack->regs + iVar2))" (parenthesized_expression "(*(code *)PTR_free_000afd08)" ( (pointer_expression "*(code *)PTR_free_000afd08" * (cast_expression "(code *)PTR_free_000afd08" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)((int)&fs->stack->regs + iVar2))" ( (pointer_expression "*(undefined4 *)((int)&fs->stack->regs + iVar2)" * (cast_expression "(undefined4 *)((int)&fs->stack->regs + iVar2)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&fs->stack->regs + iVar2)" ( (binary_expression "(int)&fs->stack->regs + iVar2" (cast_expression "(int)&fs->stack->regs" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&fs->stack->regs" & (field_expression "fs->stack->regs" (field_expression "fs->stack" identifier -> field_identifier) -> field_identifier))) + identifier) )))) ))) ;) (expression_statement "iVar2 = iVar2 + 0x18;" (assignment_expression "iVar2 = iVar2 + 0x18" identifier = (binary_expression "iVar2 + 0x18" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar3 < fs->num)" ( (binary_expression "iVar3 < fs->num" identifier < (field_expression "fs->num" identifier -> field_identifier)) )) ;) })) comment comment (expression_statement "rVar1 = (*(code *)PTR_free_000afd08)(fs->stack);" (assignment_expression "rVar1 = (*(code *)PTR_free_000afd08)(fs->stack)" identifier = (call_expression "(*(code *)PTR_free_000afd08)(fs->stack)" (parenthesized_expression "(*(code *)PTR_free_000afd08)" ( (pointer_expression "*(code *)PTR_free_000afd08" * (cast_expression "(code *)PTR_free_000afd08" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(fs->stack)" ( (field_expression "fs->stack" identifier -> field_identifier) )))) ;) (return_statement "return rVar1;" return identifier ;) })))
(translation_unit "void FUN_000779d8(int *param_1)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  if (0 < *param_1) {\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }\n  (*(code *)PTR_free_000afd08)(param_1[2]);\n  return;\n}\n\n" (function_definition "void FUN_000779d8(int *param_1)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  if (0 < *param_1) {\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }\n  (*(code *)PTR_free_000afd08)(param_1[2]);\n  return;\n}" primitive_type (function_declarator "FUN_000779d8(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  if (0 < *param_1) {\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }\n  (*(code *)PTR_free_000afd08)(param_1[2]);\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (if_statement "if (0 < *param_1) {\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }" if (parenthesized_expression "(0 < *param_1)" ( (binary_expression "0 < *param_1" number_literal < (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }" { (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);" do (compound_statement "{\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    }" { (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "(*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));" (call_expression "(*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14))" (parenthesized_expression "(*(code *)PTR_free_000afd08)" ( (pointer_expression "*(code *)PTR_free_000afd08" * (cast_expression "(code *)PTR_free_000afd08" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1[2] + iVar2 + 0x14))" ( (pointer_expression "*(undefined4 *)(param_1[2] + iVar2 + 0x14)" * (cast_expression "(undefined4 *)(param_1[2] + iVar2 + 0x14)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1[2] + iVar2 + 0x14)" ( (binary_expression "param_1[2] + iVar2 + 0x14" (binary_expression "param_1[2] + iVar2" (subscript_expression "param_1[2]" identifier [ number_literal ]) + identifier) + number_literal) )))) ))) ;) (expression_statement "iVar1 = param_1[2] + iVar2;" (assignment_expression "iVar1 = param_1[2] + iVar2" identifier = (binary_expression "param_1[2] + iVar2" (subscript_expression "param_1[2]" identifier [ number_literal ]) + identifier)) ;) (expression_statement "iVar2 = iVar2 + 0x18;" (assignment_expression "iVar2 = iVar2 + 0x18" identifier = (binary_expression "iVar2 + 0x18" identifier + number_literal)) ;) (expression_statement "(*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));" (call_expression "(*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8))" (parenthesized_expression "(*(code *)PTR_free_000afd08)" ( (pointer_expression "*(code *)PTR_free_000afd08" * (cast_expression "(code *)PTR_free_000afd08" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(iVar1 + 8))" ( (pointer_expression "*(undefined4 *)(iVar1 + 8)" * (cast_expression "(undefined4 *)(iVar1 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 8)" ( (binary_expression "iVar1 + 8" identifier + number_literal) )))) ))) ;) }) while (parenthesized_expression "(iVar3 < *param_1)" ( (binary_expression "iVar3 < *param_1" identifier < (pointer_expression "*param_1" * identifier)) )) ;) })) (expression_statement "(*(code *)PTR_free_000afd08)(param_1[2]);" (call_expression "(*(code *)PTR_free_000afd08)(param_1[2])" (parenthesized_expression "(*(code *)PTR_free_000afd08)" ( (pointer_expression "*(code *)PTR_free_000afd08" * (cast_expression "(code *)PTR_free_000afd08" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1[2])" ( (subscript_expression "param_1[2]" identifier [ number_literal ]) ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) + IDENT) + LIT) )))) ))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) }) while (parenthesized_expression ( (binary_expression IDENT < (pointer_expression * IDENT)) )) ;) })) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (subscript_expression IDENT [ LIT ]) ))) ;) (return_statement return ;) })))
(function_definition "void FUN_000779d8(int *param_1)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  if (0 < *param_1) {\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }\n  (*(code *)PTR_free_000afd08)(param_1[2]);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_000779d8(int *param_1)" (identifier "FUN_000779d8") (parameter_list "(int *param_1)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  if (0 < *param_1) {\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }\n  (*(code *)PTR_free_000afd08)(param_1[2]);\n  return;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (if_statement "if (0 < *param_1) {\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }" (if "if") (parenthesized_expression "(0 < *param_1)" (( "(") (binary_expression "0 < *param_1" (number_literal "0") (< "<") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (compound_statement "{\n    iVar2 = 0;\n    iVar3 = 0;\n    do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);\n  }" ({ "{") (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" (identifier "iVar2") (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" (identifier "iVar3") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    } while (iVar3 < *param_1);" (do "do") (compound_statement "{\n      iVar3 = iVar3 + 1;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));\n      iVar1 = param_1[2] + iVar2;\n      iVar2 = iVar2 + 0x18;\n      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));\n    }" ({ "{") (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" (identifier "iVar3") (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "(*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));" (call_expression "(*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14))" (parenthesized_expression "(*(code *)PTR_free_000afd08)" (( "(") (pointer_expression "*(code *)PTR_free_000afd08" (* "*") (cast_expression "(code *)PTR_free_000afd08" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_free_000afd08"))) () ")")) (argument_list "(*(undefined4 *)(param_1[2] + iVar2 + 0x14))" (( "(") (pointer_expression "*(undefined4 *)(param_1[2] + iVar2 + 0x14)" (* "*") (cast_expression "(undefined4 *)(param_1[2] + iVar2 + 0x14)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1[2] + iVar2 + 0x14)" (( "(") (binary_expression "param_1[2] + iVar2 + 0x14" (binary_expression "param_1[2] + iVar2" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (+ "+") (identifier "iVar2")) (+ "+") (number_literal "0x14")) () ")")))) () ")"))) (; ";")) (expression_statement "iVar1 = param_1[2] + iVar2;" (assignment_expression "iVar1 = param_1[2] + iVar2" (identifier "iVar1") (= "=") (binary_expression "param_1[2] + iVar2" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (+ "+") (identifier "iVar2"))) (; ";")) (expression_statement "iVar2 = iVar2 + 0x18;" (assignment_expression "iVar2 = iVar2 + 0x18" (identifier "iVar2") (= "=") (binary_expression "iVar2 + 0x18" (identifier "iVar2") (+ "+") (number_literal "0x18"))) (; ";")) (expression_statement "(*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));" (call_expression "(*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8))" (parenthesized_expression "(*(code *)PTR_free_000afd08)" (( "(") (pointer_expression "*(code *)PTR_free_000afd08" (* "*") (cast_expression "(code *)PTR_free_000afd08" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_free_000afd08"))) () ")")) (argument_list "(*(undefined4 *)(iVar1 + 8))" (( "(") (pointer_expression "*(undefined4 *)(iVar1 + 8)" (* "*") (cast_expression "(undefined4 *)(iVar1 + 8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar1 + 8)" (( "(") (binary_expression "iVar1 + 8" (identifier "iVar1") (+ "+") (number_literal "8")) () ")")))) () ")"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar3 < *param_1)" (( "(") (binary_expression "iVar3 < *param_1" (identifier "iVar3") (< "<") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (; ";")) (} "}"))) (expression_statement "(*(code *)PTR_free_000afd08)(param_1[2]);" (call_expression "(*(code *)PTR_free_000afd08)(param_1[2])" (parenthesized_expression "(*(code *)PTR_free_000afd08)" (( "(") (pointer_expression "*(code *)PTR_free_000afd08" (* "*") (cast_expression "(code *)PTR_free_000afd08" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_free_000afd08"))) () ")")) (argument_list "(param_1[2])" (( "(") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

type_1 function_1(type_2 *fs)

{
  type_1 rVar1;
  int var_2;
  int var_1;
  
  if (0 < fs->num) {
    var_1 = 0;
    var_2 = 0;
    do {
      var_1 = var_1 + 1;
      (*(type_3 *)PTR_free_000afd08)(*(type_4 *)((int)&(fs->stack->eps_via_nodes).elems + var_2));
      (*(type_3 *)PTR_free_000afd08)(*(type_4 *)((int)&fs->stack->regs + var_2));
      var_2 = var_2 + 0x18;
    } while (var_1 < fs->num);
  }
                    /* WARNING: Could not recover jumptable at 0x00077a6c. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  rVar1 = (*(type_3 *)PTR_free_000afd08)(fs->stack);
  return rVar1;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (pointer_expression argument: (identifier)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (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 (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier)) right: (number_literal)))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (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 (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (pointer_expression argument: (identifier))))))) (expression_statement (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 (subscript_expression argument: (identifier) index: (number_literal))))) (return_statement))))

void MASKED(int *param_1)

{
  int iVar1;
  int iVar2;
  int iVar3;
  
  if (0 < *param_1) {
    iVar2 = 0;
    iVar3 = 0;
    do {
      iVar3 = iVar3 + 1;
      (*(code *)PTR_free_000afd08)(*(undefined4 *)(param_1[2] + iVar2 + 0x14));
      iVar1 = param_1[2] + iVar2;
      iVar2 = iVar2 + 0x18;
      (*(code *)PTR_free_000afd08)(*(undefined4 *)(iVar1 + 8));
    } while (iVar3 < *param_1);
  }
  (*(code *)PTR_free_000afd08)(param_1[2]);
  return;
}

