
void free_buffer(buffer *b)

{
  if (b != (buffer *)0x0) {
    (*(code *)PTR_free_000424fc)(b->b);
  }
  (*(code *)PTR_free_000424fc)(b);
  return;
}



void free_buffer(int param_1)

{
  if (param_1 != 0) {
    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));
  }
  (*(code *)PTR_free_000424fc)(param_1);
  return;
}


lui gp,0x3
addiu gp,gp,-0x4fd4
addu gp,gp,t9
addiu sp,sp,-0x20
sw ra,0x1c(sp)
sw s0,0x18(sp)
sw gp,0x10(sp)
beq a0,zero,0x0001f14c
_or s0,a0,zero
lw a0,0x8(a0)
lw t9,-0x7c44(gp)
jalr t9
_nop
lw gp,0x10(sp)
or a0,s0,zero
lw t9,-0x7c44(gp)
jalr t9
_nop
lw gp,0x10(sp)
lw ra,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x20
(translation_unit "void free_buffer(int param_1)\n\n{\n  if (param_1 != 0) {\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }\n  (*(code *)PTR_free_000424fc)(param_1);\n  return;\n}\n\n" (function_definition "void free_buffer(int param_1)\n\n{\n  if (param_1 != 0) {\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }\n  (*(code *)PTR_free_000424fc)(param_1);\n  return;\n}" primitive_type (function_declarator "free_buffer(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  if (param_1 != 0) {\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }\n  (*(code *)PTR_free_000424fc)(param_1);\n  return;\n}" { (if_statement "if (param_1 != 0) {\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }" if (parenthesized_expression "(param_1 != 0)" ( (binary_expression "param_1 != 0" identifier != number_literal) )) (compound_statement "{\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }" { (expression_statement "(*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));" (call_expression "(*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8))" (parenthesized_expression "(*(code *)PTR_free_000424fc)" ( (pointer_expression "*(code *)PTR_free_000424fc" * (cast_expression "(code *)PTR_free_000424fc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 8))" ( (pointer_expression "*(undefined4 *)(param_1 + 8)" * (cast_expression "(undefined4 *)(param_1 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) ))) ;) })) (expression_statement "(*(code *)PTR_free_000424fc)(param_1);" (call_expression "(*(code *)PTR_free_000424fc)(param_1)" (parenthesized_expression "(*(code *)PTR_free_000424fc)" ( (pointer_expression "*(code *)PTR_free_000424fc" * (cast_expression "(code *)PTR_free_000424fc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void free_buffer(buffer *b)\n\n{\n  if (b != (buffer *)0x0) {\n    (*(code *)PTR_free_000424fc)(b->b);\n  }\n  (*(code *)PTR_free_000424fc)(b);\n  return;\n}\n\n" (function_definition "void free_buffer(buffer *b)\n\n{\n  if (b != (buffer *)0x0) {\n    (*(code *)PTR_free_000424fc)(b->b);\n  }\n  (*(code *)PTR_free_000424fc)(b);\n  return;\n}" primitive_type (function_declarator "free_buffer(buffer *b)" identifier (parameter_list "(buffer *b)" ( (parameter_declaration "buffer *b" type_identifier (pointer_declarator "*b" * identifier)) ))) (compound_statement "{\n  if (b != (buffer *)0x0) {\n    (*(code *)PTR_free_000424fc)(b->b);\n  }\n  (*(code *)PTR_free_000424fc)(b);\n  return;\n}" { (if_statement "if (b != (buffer *)0x0) {\n    (*(code *)PTR_free_000424fc)(b->b);\n  }" if (parenthesized_expression "(b != (buffer *)0x0)" ( (binary_expression "b != (buffer *)0x0" identifier != (cast_expression "(buffer *)0x0" ( (type_descriptor "buffer *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    (*(code *)PTR_free_000424fc)(b->b);\n  }" { (expression_statement "(*(code *)PTR_free_000424fc)(b->b);" (call_expression "(*(code *)PTR_free_000424fc)(b->b)" (parenthesized_expression "(*(code *)PTR_free_000424fc)" ( (pointer_expression "*(code *)PTR_free_000424fc" * (cast_expression "(code *)PTR_free_000424fc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(b->b)" ( (field_expression "b->b" identifier -> field_identifier) ))) ;) })) (expression_statement "(*(code *)PTR_free_000424fc)(b);" (call_expression "(*(code *)PTR_free_000424fc)(b)" (parenthesized_expression "(*(code *)PTR_free_000424fc)" ( (pointer_expression "*(code *)PTR_free_000424fc" * (cast_expression "(code *)PTR_free_000424fc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(b)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void free_buffer(int param_1)\n\n{\n  if (param_1 != 0) {\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }\n  (*(code *)PTR_free_000424fc)(param_1);\n  return;\n}\n\n" (function_definition "void free_buffer(int param_1)\n\n{\n  if (param_1 != 0) {\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }\n  (*(code *)PTR_free_000424fc)(param_1);\n  return;\n}" primitive_type (function_declarator "free_buffer(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  if (param_1 != 0) {\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }\n  (*(code *)PTR_free_000424fc)(param_1);\n  return;\n}" { (if_statement "if (param_1 != 0) {\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }" if (parenthesized_expression "(param_1 != 0)" ( (binary_expression "param_1 != 0" identifier != number_literal) )) (compound_statement "{\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }" { (expression_statement "(*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));" (call_expression "(*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8))" (parenthesized_expression "(*(code *)PTR_free_000424fc)" ( (pointer_expression "*(code *)PTR_free_000424fc" * (cast_expression "(code *)PTR_free_000424fc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 8))" ( (pointer_expression "*(undefined4 *)(param_1 + 8)" * (cast_expression "(undefined4 *)(param_1 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) ))) ;) })) (expression_statement "(*(code *)PTR_free_000424fc)(param_1);" (call_expression "(*(code *)PTR_free_000424fc)(param_1)" (parenthesized_expression "(*(code *)PTR_free_000424fc)" ( (pointer_expression "*(code *)PTR_free_000424fc" * (cast_expression "(code *)PTR_free_000424fc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (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) )))) ))) ;) })) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT ))) ;) (return_statement return ;) })))
(function_definition "void free_buffer(int param_1)\n\n{\n  if (param_1 != 0) {\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }\n  (*(code *)PTR_free_000424fc)(param_1);\n  return;\n}" (primitive_type "void") (function_declarator "free_buffer(int param_1)" (identifier "free_buffer") (parameter_list "(int param_1)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) () ")"))) (compound_statement "{\n  if (param_1 != 0) {\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }\n  (*(code *)PTR_free_000424fc)(param_1);\n  return;\n}" ({ "{") (if_statement "if (param_1 != 0) {\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }" (if "if") (parenthesized_expression "(param_1 != 0)" (( "(") (binary_expression "param_1 != 0" (identifier "param_1") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));\n  }" ({ "{") (expression_statement "(*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));" (call_expression "(*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8))" (parenthesized_expression "(*(code *)PTR_free_000424fc)" (( "(") (pointer_expression "*(code *)PTR_free_000424fc" (* "*") (cast_expression "(code *)PTR_free_000424fc" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_free_000424fc"))) () ")")) (argument_list "(*(undefined4 *)(param_1 + 8))" (( "(") (pointer_expression "*(undefined4 *)(param_1 + 8)" (* "*") (cast_expression "(undefined4 *)(param_1 + 8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 8)" (( "(") (binary_expression "param_1 + 8" (identifier "param_1") (+ "+") (number_literal "8")) () ")")))) () ")"))) (; ";")) (} "}"))) (expression_statement "(*(code *)PTR_free_000424fc)(param_1);" (call_expression "(*(code *)PTR_free_000424fc)(param_1)" (parenthesized_expression "(*(code *)PTR_free_000424fc)" (( "(") (pointer_expression "*(code *)PTR_free_000424fc" (* "*") (cast_expression "(code *)PTR_free_000424fc" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_free_000424fc"))) () ")")) (argument_list "(param_1)" (( "(") (identifier "param_1") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))
(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (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)))))))))) (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 (identifier)))) (return_statement))))

void MASKED(int param_1)

{
  if (param_1 != 0) {
    (*(code *)PTR_free_000424fc)(*(undefined4 *)(param_1 + 8));
  }
  (*(code *)PTR_free_000424fc)(param_1);
  return;
}

