
void cleanup(EVP_PKEY_CTX *ctx)

{
  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {
    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);
  }
  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {
                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));
    return;
  }
  return;
}



void FUN_00012cec(void)

{
  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {
    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);
  }
  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {
                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));
    return;
  }
  return;
}


lui gp,0x2
addiu gp,gp,0x2364
addu gp,gp,t9
lw v0,-0x7fd8(gp)
addiu sp,sp,-0x20
sw gp,0x10(sp)
sw ra,0x1c(sp)
lw v1,-0x28b8(v0)
blez v1,0x00012d28
_lw t9,-0x7e74(gp)
li a1,0xd
lw a0,-0x28b8(v0)
jalr t9
_nop
lw gp,0x10(sp)
lw v0,-0x7fd8(gp)
lw v1,-0x28b0(v0)
beq v1,zero,0x00012d4c
_lw ra,0x1c(sp)
addiu sp,sp,0x20
lw a0,-0x28b0(v0)
lw t9,-0x7e24(gp)
jr t9
_nop
jr ra
_addiu sp,sp,0x20
(translation_unit "void FUN_00012cec(void)\n\n{\n  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }\n  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }\n  return;\n}\n\n" (function_definition "void FUN_00012cec(void)\n\n{\n  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }\n  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_00012cec(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }\n  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }\n  return;\n}" { (if_statement "if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }" if (parenthesized_expression "(0 < *(int *)(PTR_DAT_0002d078 + -0x28b8))" ( (binary_expression "0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)" number_literal < (pointer_expression "*(int *)(PTR_DAT_0002d078 + -0x28b8)" * (cast_expression "(int *)(PTR_DAT_0002d078 + -0x28b8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b8)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b8" identifier + number_literal) ))))) )) (compound_statement "{\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }" { (expression_statement "(*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);" (call_expression "(*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd)" (parenthesized_expression "(*(code *)PTR_kill_0002d1dc)" ( (pointer_expression "*(code *)PTR_kill_0002d1dc" * (cast_expression "(code *)PTR_kill_0002d1dc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd)" ( (pointer_expression "*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8)" * (cast_expression "(undefined4 *)(PTR_DAT_0002d078 + -0x28b8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b8)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b8" identifier + number_literal) )))) , number_literal ))) ;) })) (if_statement "if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }" if (parenthesized_expression "(*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0)" ( (binary_expression "*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0" (pointer_expression "*(int *)(PTR_DAT_0002d078 + -0x28b0)" * (cast_expression "(int *)(PTR_DAT_0002d078 + -0x28b0)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b0)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b0" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }" { comment comment (expression_statement "(*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));" (call_expression "(*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0))" (parenthesized_expression "(*(code *)PTR_unlink_0002d22c)" ( (pointer_expression "*(code *)PTR_unlink_0002d22c" * (cast_expression "(code *)PTR_unlink_0002d22c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0))" ( (pointer_expression "*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0)" * (cast_expression "(undefined4 *)(PTR_DAT_0002d078 + -0x28b0)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b0)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b0" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void cleanup(EVP_PKEY_CTX *ctx)\n\n{\n  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }\n  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }\n  return;\n}\n\n" (function_definition "void cleanup(EVP_PKEY_CTX *ctx)\n\n{\n  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }\n  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "cleanup(EVP_PKEY_CTX *ctx)" identifier (parameter_list "(EVP_PKEY_CTX *ctx)" ( (parameter_declaration "EVP_PKEY_CTX *ctx" type_identifier (pointer_declarator "*ctx" * identifier)) ))) (compound_statement "{\n  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }\n  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }\n  return;\n}" { (if_statement "if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }" if (parenthesized_expression "(0 < *(int *)(PTR_DAT_0002d078 + -0x28b8))" ( (binary_expression "0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)" number_literal < (pointer_expression "*(int *)(PTR_DAT_0002d078 + -0x28b8)" * (cast_expression "(int *)(PTR_DAT_0002d078 + -0x28b8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b8)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b8" identifier + number_literal) ))))) )) (compound_statement "{\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }" { (expression_statement "(*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);" (call_expression "(*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd)" (parenthesized_expression "(*(code *)PTR_kill_0002d1dc)" ( (pointer_expression "*(code *)PTR_kill_0002d1dc" * (cast_expression "(code *)PTR_kill_0002d1dc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd)" ( (pointer_expression "*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8)" * (cast_expression "(undefined4 *)(PTR_DAT_0002d078 + -0x28b8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b8)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b8" identifier + number_literal) )))) , number_literal ))) ;) })) (if_statement "if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }" if (parenthesized_expression "(*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0)" ( (binary_expression "*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0" (pointer_expression "*(int *)(PTR_DAT_0002d078 + -0x28b0)" * (cast_expression "(int *)(PTR_DAT_0002d078 + -0x28b0)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b0)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b0" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }" { comment comment (expression_statement "(*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));" (call_expression "(*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0))" (parenthesized_expression "(*(code *)PTR_unlink_0002d22c)" ( (pointer_expression "*(code *)PTR_unlink_0002d22c" * (cast_expression "(code *)PTR_unlink_0002d22c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0))" ( (pointer_expression "*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0)" * (cast_expression "(undefined4 *)(PTR_DAT_0002d078 + -0x28b0)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b0)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b0" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void FUN_00012cec(void)\n\n{\n  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }\n  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    \n                    \n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }\n  return;\n}\n\n" (function_definition "void FUN_00012cec(void)\n\n{\n  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }\n  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    \n                    \n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_00012cec(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }\n  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    \n                    \n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }\n  return;\n}" { (if_statement "if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }" if (parenthesized_expression "(0 < *(int *)(PTR_DAT_0002d078 + -0x28b8))" ( (binary_expression "0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)" number_literal < (pointer_expression "*(int *)(PTR_DAT_0002d078 + -0x28b8)" * (cast_expression "(int *)(PTR_DAT_0002d078 + -0x28b8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b8)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b8" identifier + number_literal) ))))) )) (compound_statement "{\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }" { (expression_statement "(*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);" (call_expression "(*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd)" (parenthesized_expression "(*(code *)PTR_kill_0002d1dc)" ( (pointer_expression "*(code *)PTR_kill_0002d1dc" * (cast_expression "(code *)PTR_kill_0002d1dc" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd)" ( (pointer_expression "*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8)" * (cast_expression "(undefined4 *)(PTR_DAT_0002d078 + -0x28b8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b8)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b8" identifier + number_literal) )))) , number_literal ))) ;) })) (if_statement "if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    \n                    \n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }" if (parenthesized_expression "(*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0)" ( (binary_expression "*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0" (pointer_expression "*(int *)(PTR_DAT_0002d078 + -0x28b0)" * (cast_expression "(int *)(PTR_DAT_0002d078 + -0x28b0)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b0)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b0" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n                    \n                    \n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }" { (expression_statement "(*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));" (call_expression "(*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0))" (parenthesized_expression "(*(code *)PTR_unlink_0002d22c)" ( (pointer_expression "*(code *)PTR_unlink_0002d22c" * (cast_expression "(code *)PTR_unlink_0002d22c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0))" ( (pointer_expression "*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0)" * (cast_expression "(undefined4 *)(PTR_DAT_0002d078 + -0x28b0)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b0)" ( (binary_expression "PTR_DAT_0002d078 + -0x28b0" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression LIT < (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (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) )))) , LIT ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) != 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) )))) ))) ;) (return_statement return ;) })) (return_statement return ;) })))
(function_definition "void FUN_00012cec(void)\n\n{\n  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }\n  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    \n                    \n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }\n  return;\n}" (primitive_type "void") (function_declarator "FUN_00012cec(void)" (identifier "FUN_00012cec") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }\n  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    \n                    \n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }\n  return;\n}" ({ "{") (if_statement "if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }" (if "if") (parenthesized_expression "(0 < *(int *)(PTR_DAT_0002d078 + -0x28b8))" (( "(") (binary_expression "0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)" (number_literal "0") (< "<") (pointer_expression "*(int *)(PTR_DAT_0002d078 + -0x28b8)" (* "*") (cast_expression "(int *)(PTR_DAT_0002d078 + -0x28b8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b8)" (( "(") (binary_expression "PTR_DAT_0002d078 + -0x28b8" (identifier "PTR_DAT_0002d078") (+ "+") (number_literal "-0x28b8")) () ")"))))) () ")")) (compound_statement "{\n    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);\n  }" ({ "{") (expression_statement "(*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);" (call_expression "(*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd)" (parenthesized_expression "(*(code *)PTR_kill_0002d1dc)" (( "(") (pointer_expression "*(code *)PTR_kill_0002d1dc" (* "*") (cast_expression "(code *)PTR_kill_0002d1dc" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_kill_0002d1dc"))) () ")")) (argument_list "(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd)" (( "(") (pointer_expression "*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8)" (* "*") (cast_expression "(undefined4 *)(PTR_DAT_0002d078 + -0x28b8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b8)" (( "(") (binary_expression "PTR_DAT_0002d078 + -0x28b8" (identifier "PTR_DAT_0002d078") (+ "+") (number_literal "-0x28b8")) () ")")))) (, ",") (number_literal "0xd") () ")"))) (; ";")) (} "}"))) (if_statement "if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {\n                    \n                    \n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }" (if "if") (parenthesized_expression "(*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0)" (( "(") (binary_expression "*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0" (pointer_expression "*(int *)(PTR_DAT_0002d078 + -0x28b0)" (* "*") (cast_expression "(int *)(PTR_DAT_0002d078 + -0x28b0)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b0)" (( "(") (binary_expression "PTR_DAT_0002d078 + -0x28b0" (identifier "PTR_DAT_0002d078") (+ "+") (number_literal "-0x28b0")) () ")")))) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n                    \n                    \n    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));\n    return;\n  }" ({ "{") (expression_statement "(*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));" (call_expression "(*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0))" (parenthesized_expression "(*(code *)PTR_unlink_0002d22c)" (( "(") (pointer_expression "*(code *)PTR_unlink_0002d22c" (* "*") (cast_expression "(code *)PTR_unlink_0002d22c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_unlink_0002d22c"))) () ")")) (argument_list "(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0))" (( "(") (pointer_expression "*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0)" (* "*") (cast_expression "(undefined4 *)(PTR_DAT_0002d078 + -0x28b0)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_0002d078 + -0x28b0)" (( "(") (binary_expression "PTR_DAT_0002d078 + -0x28b0" (identifier "PTR_DAT_0002d078") (+ "+") (number_literal "-0x28b0")) () ")")))) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *ctx)

{
  if (0 < *(int *)(var_1 + -0x28b8)) {
    (*(type_2 *)PTR_kill_0002d1dc)(*(type_3 *)(var_1 + -0x28b8),0xd);
  }
  if (*(int *)(var_1 + -0x28b0) != 0) {
                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(type_2 *)PTR_unlink_0002d22c)(*(type_3 *)(var_1 + -0x28b0));
    return;
  }
  return;
}


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

void MASKED(void)

{
  if (0 < *(int *)(PTR_DAT_0002d078 + -0x28b8)) {
    (*(code *)PTR_kill_0002d1dc)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b8),0xd);
  }
  if (*(int *)(PTR_DAT_0002d078 + -0x28b0) != 0) {
                    /* WARNING: Could not recover jumptable at 0x00012d44. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)PTR_unlink_0002d22c)(*(undefined4 *)(PTR_DAT_0002d078 + -0x28b0));
    return;
  }
  return;
}

