
void fxp_free_names(fxp_names *names)

{
  if (0 < names->nnames) {
                    /* WARNING: Subroutine does not return */
    safefree(names->names->filename);
  }
                    /* WARNING: Subroutine does not return */
  safefree(names->names);
}



void fxp_free_names(int *param_1)

{
  int iVar1;
  int iVar2;
  int iVar3;
  
  if (0 < *param_1) {
    iVar2 = 0;
    iVar3 = 0;
    do {
      iVar3 = iVar3 + 1;
      safefree(*(undefined4 *)(param_1[1] + iVar2));
      iVar1 = param_1[1] + iVar2;
      iVar2 = iVar2 + 0x28;
      safefree(*(undefined4 *)(iVar1 + 4));
    } while (iVar3 < *param_1);
  }
  safefree(param_1[1]);
  safefree(param_1);
  return;
}


lui gp,0x8
addiu gp,gp,0x4244
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,0x000361a8
_sw s0,0x18(sp)
or s0,zero,zero
or s2,zero,zero
lw v0,0x4(s1)
addiu s2,s2,0x1
lw t9,-0x7fa0(gp)
addu v0,v0,s0
bal 0x00021634
_lw a0,0x0(v0)
lw v0,0x4(s1)
lw gp,0x10(sp)
addu v0,v0,s0
addiu s0,s0,0x28
lw t9,-0x7fa0(gp)
bal 0x00021634
_lw a0,0x4(v0)
lw v0,0x0(s1)
slt v0,s2,v0
bne v0,zero,0x00036164
_lw gp,0x10(sp)
lw t9,-0x7fa0(gp)
bal 0x00021634
_lw a0,0x4(s1)
or a0,s1,zero
lw gp,0x10(sp)
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
lw t9,-0x7fa0(gp)
b 0x00021634
_addiu sp,sp,0x28
(translation_unit "void fxp_free_names(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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    } while (iVar3 < *param_1);\n  }\n  safefree(param_1[1]);\n  safefree(param_1);\n  return;\n}\n\n" (function_definition "void fxp_free_names(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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    } while (iVar3 < *param_1);\n  }\n  safefree(param_1[1]);\n  safefree(param_1);\n  return;\n}" primitive_type (function_declarator "fxp_free_names(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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    } while (iVar3 < *param_1);\n  }\n  safefree(param_1[1]);\n  safefree(param_1);\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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    } while (iVar3 < *param_1);" do (compound_statement "{\n      iVar3 = iVar3 + 1;\n      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    }" { (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "safefree(*(undefined4 *)(param_1[1] + iVar2));" (call_expression "safefree(*(undefined4 *)(param_1[1] + iVar2))" identifier (argument_list "(*(undefined4 *)(param_1[1] + iVar2))" ( (pointer_expression "*(undefined4 *)(param_1[1] + iVar2)" * (cast_expression "(undefined4 *)(param_1[1] + iVar2)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1[1] + iVar2)" ( (binary_expression "param_1[1] + iVar2" (subscript_expression "param_1[1]" identifier [ number_literal ]) + identifier) )))) ))) ;) (expression_statement "iVar1 = param_1[1] + iVar2;" (assignment_expression "iVar1 = param_1[1] + iVar2" identifier = (binary_expression "param_1[1] + iVar2" (subscript_expression "param_1[1]" identifier [ number_literal ]) + identifier)) ;) (expression_statement "iVar2 = iVar2 + 0x28;" (assignment_expression "iVar2 = iVar2 + 0x28" identifier = (binary_expression "iVar2 + 0x28" identifier + number_literal)) ;) (expression_statement "safefree(*(undefined4 *)(iVar1 + 4));" (call_expression "safefree(*(undefined4 *)(iVar1 + 4))" identifier (argument_list "(*(undefined4 *)(iVar1 + 4))" ( (pointer_expression "*(undefined4 *)(iVar1 + 4)" * (cast_expression "(undefined4 *)(iVar1 + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 4)" ( (binary_expression "iVar1 + 4" identifier + number_literal) )))) ))) ;) }) while (parenthesized_expression "(iVar3 < *param_1)" ( (binary_expression "iVar3 < *param_1" identifier < (pointer_expression "*param_1" * identifier)) )) ;) })) (expression_statement "safefree(param_1[1]);" (call_expression "safefree(param_1[1])" identifier (argument_list "(param_1[1])" ( (subscript_expression "param_1[1]" identifier [ number_literal ]) ))) ;) (expression_statement "safefree(param_1);" (call_expression "safefree(param_1)" identifier (argument_list "(param_1)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void fxp_free_names(fxp_names *names)\n\n{\n  if (0 < names->nnames) {\n                    /* WARNING: Subroutine does not return */\n    safefree(names->names->filename);\n  }\n                    /* WARNING: Subroutine does not return */\n  safefree(names->names);\n}\n\n" (function_definition "void fxp_free_names(fxp_names *names)\n\n{\n  if (0 < names->nnames) {\n                    /* WARNING: Subroutine does not return */\n    safefree(names->names->filename);\n  }\n                    /* WARNING: Subroutine does not return */\n  safefree(names->names);\n}" primitive_type (function_declarator "fxp_free_names(fxp_names *names)" identifier (parameter_list "(fxp_names *names)" ( (parameter_declaration "fxp_names *names" type_identifier (pointer_declarator "*names" * identifier)) ))) (compound_statement "{\n  if (0 < names->nnames) {\n                    /* WARNING: Subroutine does not return */\n    safefree(names->names->filename);\n  }\n                    /* WARNING: Subroutine does not return */\n  safefree(names->names);\n}" { (if_statement "if (0 < names->nnames) {\n                    /* WARNING: Subroutine does not return */\n    safefree(names->names->filename);\n  }" if (parenthesized_expression "(0 < names->nnames)" ( (binary_expression "0 < names->nnames" number_literal < (field_expression "names->nnames" identifier -> field_identifier)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    safefree(names->names->filename);\n  }" { comment (expression_statement "safefree(names->names->filename);" (call_expression "safefree(names->names->filename)" identifier (argument_list "(names->names->filename)" ( (field_expression "names->names->filename" (field_expression "names->names" identifier -> field_identifier) -> field_identifier) ))) ;) })) comment (expression_statement "safefree(names->names);" (call_expression "safefree(names->names)" identifier (argument_list "(names->names)" ( (field_expression "names->names" identifier -> field_identifier) ))) ;) })))
(translation_unit "void fxp_free_names(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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    } while (iVar3 < *param_1);\n  }\n  safefree(param_1[1]);\n  safefree(param_1);\n  return;\n}\n\n" (function_definition "void fxp_free_names(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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    } while (iVar3 < *param_1);\n  }\n  safefree(param_1[1]);\n  safefree(param_1);\n  return;\n}" primitive_type (function_declarator "fxp_free_names(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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    } while (iVar3 < *param_1);\n  }\n  safefree(param_1[1]);\n  safefree(param_1);\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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    } while (iVar3 < *param_1);" do (compound_statement "{\n      iVar3 = iVar3 + 1;\n      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    }" { (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "safefree(*(undefined4 *)(param_1[1] + iVar2));" (call_expression "safefree(*(undefined4 *)(param_1[1] + iVar2))" identifier (argument_list "(*(undefined4 *)(param_1[1] + iVar2))" ( (pointer_expression "*(undefined4 *)(param_1[1] + iVar2)" * (cast_expression "(undefined4 *)(param_1[1] + iVar2)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1[1] + iVar2)" ( (binary_expression "param_1[1] + iVar2" (subscript_expression "param_1[1]" identifier [ number_literal ]) + identifier) )))) ))) ;) (expression_statement "iVar1 = param_1[1] + iVar2;" (assignment_expression "iVar1 = param_1[1] + iVar2" identifier = (binary_expression "param_1[1] + iVar2" (subscript_expression "param_1[1]" identifier [ number_literal ]) + identifier)) ;) (expression_statement "iVar2 = iVar2 + 0x28;" (assignment_expression "iVar2 = iVar2 + 0x28" identifier = (binary_expression "iVar2 + 0x28" identifier + number_literal)) ;) (expression_statement "safefree(*(undefined4 *)(iVar1 + 4));" (call_expression "safefree(*(undefined4 *)(iVar1 + 4))" identifier (argument_list "(*(undefined4 *)(iVar1 + 4))" ( (pointer_expression "*(undefined4 *)(iVar1 + 4)" * (cast_expression "(undefined4 *)(iVar1 + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 4)" ( (binary_expression "iVar1 + 4" identifier + number_literal) )))) ))) ;) }) while (parenthesized_expression "(iVar3 < *param_1)" ( (binary_expression "iVar3 < *param_1" identifier < (pointer_expression "*param_1" * identifier)) )) ;) })) (expression_statement "safefree(param_1[1]);" (call_expression "safefree(param_1[1])" identifier (argument_list "(param_1[1])" ( (subscript_expression "param_1[1]" identifier [ number_literal ]) ))) ;) (expression_statement "safefree(param_1);" (call_expression "safefree(param_1)" identifier (argument_list "(param_1)" ( identifier ))) ;) (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 IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) + IDENT) )))) ))) ;) (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 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 IDENT (argument_list ( (subscript_expression IDENT [ LIT ]) ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (return_statement return ;) })))
(function_definition "void fxp_free_names(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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    } while (iVar3 < *param_1);\n  }\n  safefree(param_1[1]);\n  safefree(param_1);\n  return;\n}" (primitive_type "void") (function_declarator "fxp_free_names(int *param_1)" (identifier "fxp_free_names") (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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    } while (iVar3 < *param_1);\n  }\n  safefree(param_1[1]);\n  safefree(param_1);\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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\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      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    } while (iVar3 < *param_1);" (do "do") (compound_statement "{\n      iVar3 = iVar3 + 1;\n      safefree(*(undefined4 *)(param_1[1] + iVar2));\n      iVar1 = param_1[1] + iVar2;\n      iVar2 = iVar2 + 0x28;\n      safefree(*(undefined4 *)(iVar1 + 4));\n    }" ({ "{") (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" (identifier "iVar3") (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "safefree(*(undefined4 *)(param_1[1] + iVar2));" (call_expression "safefree(*(undefined4 *)(param_1[1] + iVar2))" (identifier "safefree") (argument_list "(*(undefined4 *)(param_1[1] + iVar2))" (( "(") (pointer_expression "*(undefined4 *)(param_1[1] + iVar2)" (* "*") (cast_expression "(undefined4 *)(param_1[1] + iVar2)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1[1] + iVar2)" (( "(") (binary_expression "param_1[1] + iVar2" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (+ "+") (identifier "iVar2")) () ")")))) () ")"))) (; ";")) (expression_statement "iVar1 = param_1[1] + iVar2;" (assignment_expression "iVar1 = param_1[1] + iVar2" (identifier "iVar1") (= "=") (binary_expression "param_1[1] + iVar2" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (+ "+") (identifier "iVar2"))) (; ";")) (expression_statement "iVar2 = iVar2 + 0x28;" (assignment_expression "iVar2 = iVar2 + 0x28" (identifier "iVar2") (= "=") (binary_expression "iVar2 + 0x28" (identifier "iVar2") (+ "+") (number_literal "0x28"))) (; ";")) (expression_statement "safefree(*(undefined4 *)(iVar1 + 4));" (call_expression "safefree(*(undefined4 *)(iVar1 + 4))" (identifier "safefree") (argument_list "(*(undefined4 *)(iVar1 + 4))" (( "(") (pointer_expression "*(undefined4 *)(iVar1 + 4)" (* "*") (cast_expression "(undefined4 *)(iVar1 + 4)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar1 + 4)" (( "(") (binary_expression "iVar1 + 4" (identifier "iVar1") (+ "+") (number_literal "4")) () ")")))) () ")"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar3 < *param_1)" (( "(") (binary_expression "iVar3 < *param_1" (identifier "iVar3") (< "<") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (; ";")) (} "}"))) (expression_statement "safefree(param_1[1]);" (call_expression "safefree(param_1[1])" (identifier "safefree") (argument_list "(param_1[1])" (( "(") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) () ")"))) (; ";")) (expression_statement "safefree(param_1);" (call_expression "safefree(param_1)" (identifier "safefree") (argument_list "(param_1)" (( "(") (identifier "param_1") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *names)

{
  if (0 < names->nnames) {
                    /* WARNING: Subroutine does not return */
    var_1(names->names->filename);
  }
                    /* WARNING: Subroutine does not return */
  var_1(names->names);
}


(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: (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: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier)))))))) (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: (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: (identifier) arguments: (argument_list (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier)))) (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;
      safefree(*(undefined4 *)(param_1[1] + iVar2));
      iVar1 = param_1[1] + iVar2;
      iVar2 = iVar2 + 0x28;
      safefree(*(undefined4 *)(iVar1 + 4));
    } while (iVar3 < *param_1);
  }
  safefree(param_1[1]);
  safefree(param_1);
  return;
}

