
void sqlite3_mutex_enter(sqlite3_mutex *p)

{
  if (p != (sqlite3_mutex *)0x0) {
                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();
    return;
  }
  return;
}



void sqlite3_mutex_enter(int param_1)

{
  if (param_1 != 0) {
                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();
    return;
  }
  return;
}


lui gp,0xe
addiu gp,gp,-0x2cfc
addu gp,gp,t9
beq a0,zero,0x0001ffbc
_lw v0,-0x7fe4(gp)
lw t9,0x40f0(v0)
jr t9
_nop
jr ra
_nop
(translation_unit "void sqlite3_mutex_enter(int param_1)\n\n{\n  if (param_1 != 0) {\n                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }\n  return;\n}\n\n" (function_definition "void sqlite3_mutex_enter(int param_1)\n\n{\n  if (param_1 != 0) {\n                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "sqlite3_mutex_enter(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                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }\n  return;\n}" { (if_statement "if (param_1 != 0) {\n                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }" if (parenthesized_expression "(param_1 != 0)" ( (binary_expression "param_1 != 0" identifier != number_literal) )) (compound_statement "{\n                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }" { comment comment (expression_statement "(**(code **)(PTR_DAT_000f52bc + 0x40f0))();" (call_expression "(**(code **)(PTR_DAT_000f52bc + 0x40f0))()" (parenthesized_expression "(**(code **)(PTR_DAT_000f52bc + 0x40f0))" ( (pointer_expression "**(code **)(PTR_DAT_000f52bc + 0x40f0)" * (pointer_expression "*(code **)(PTR_DAT_000f52bc + 0x40f0)" * (cast_expression "(code **)(PTR_DAT_000f52bc + 0x40f0)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR_DAT_000f52bc + 0x40f0)" ( (binary_expression "PTR_DAT_000f52bc + 0x40f0" identifier + number_literal) ))))) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void sqlite3_mutex_enter(sqlite3_mutex *p)\n\n{\n  if (p != (sqlite3_mutex *)0x0) {\n                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }\n  return;\n}\n\n" (function_definition "void sqlite3_mutex_enter(sqlite3_mutex *p)\n\n{\n  if (p != (sqlite3_mutex *)0x0) {\n                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "sqlite3_mutex_enter(sqlite3_mutex *p)" identifier (parameter_list "(sqlite3_mutex *p)" ( (parameter_declaration "sqlite3_mutex *p" type_identifier (pointer_declarator "*p" * identifier)) ))) (compound_statement "{\n  if (p != (sqlite3_mutex *)0x0) {\n                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }\n  return;\n}" { (if_statement "if (p != (sqlite3_mutex *)0x0) {\n                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }" if (parenthesized_expression "(p != (sqlite3_mutex *)0x0)" ( (binary_expression "p != (sqlite3_mutex *)0x0" identifier != (cast_expression "(sqlite3_mutex *)0x0" ( (type_descriptor "sqlite3_mutex *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }" { comment comment (expression_statement "(**(code **)(PTR_DAT_000f52bc + 0x40f0))();" (call_expression "(**(code **)(PTR_DAT_000f52bc + 0x40f0))()" (parenthesized_expression "(**(code **)(PTR_DAT_000f52bc + 0x40f0))" ( (pointer_expression "**(code **)(PTR_DAT_000f52bc + 0x40f0)" * (pointer_expression "*(code **)(PTR_DAT_000f52bc + 0x40f0)" * (cast_expression "(code **)(PTR_DAT_000f52bc + 0x40f0)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR_DAT_000f52bc + 0x40f0)" ( (binary_expression "PTR_DAT_000f52bc + 0x40f0" identifier + number_literal) ))))) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void sqlite3_mutex_enter(int param_1)\n\n{\n  if (param_1 != 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }\n  return;\n}\n\n" (function_definition "void sqlite3_mutex_enter(int param_1)\n\n{\n  if (param_1 != 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "sqlite3_mutex_enter(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                    \n                    \n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }\n  return;\n}" { (if_statement "if (param_1 != 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }" if (parenthesized_expression "(param_1 != 0)" ( (binary_expression "param_1 != 0" identifier != number_literal) )) (compound_statement "{\n                    \n                    \n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }" { (expression_statement "(**(code **)(PTR_DAT_000f52bc + 0x40f0))();" (call_expression "(**(code **)(PTR_DAT_000f52bc + 0x40f0))()" (parenthesized_expression "(**(code **)(PTR_DAT_000f52bc + 0x40f0))" ( (pointer_expression "**(code **)(PTR_DAT_000f52bc + 0x40f0)" * (pointer_expression "*(code **)(PTR_DAT_000f52bc + 0x40f0)" * (cast_expression "(code **)(PTR_DAT_000f52bc + 0x40f0)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR_DAT_000f52bc + 0x40f0)" ( (binary_expression "PTR_DAT_000f52bc + 0x40f0" identifier + number_literal) ))))) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) (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 * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) (argument_list ( ))) ;) (return_statement return ;) })) (return_statement return ;) })))
(function_definition "void sqlite3_mutex_enter(int param_1)\n\n{\n  if (param_1 != 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }\n  return;\n}" (primitive_type "void") (function_declarator "sqlite3_mutex_enter(int param_1)" (identifier "sqlite3_mutex_enter") (parameter_list "(int param_1)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) () ")"))) (compound_statement "{\n  if (param_1 != 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }\n  return;\n}" ({ "{") (if_statement "if (param_1 != 0) {\n                    \n                    \n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }" (if "if") (parenthesized_expression "(param_1 != 0)" (( "(") (binary_expression "param_1 != 0" (identifier "param_1") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n                    \n                    \n    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();\n    return;\n  }" ({ "{") (expression_statement "(**(code **)(PTR_DAT_000f52bc + 0x40f0))();" (call_expression "(**(code **)(PTR_DAT_000f52bc + 0x40f0))()" (parenthesized_expression "(**(code **)(PTR_DAT_000f52bc + 0x40f0))" (( "(") (pointer_expression "**(code **)(PTR_DAT_000f52bc + 0x40f0)" (* "*") (pointer_expression "*(code **)(PTR_DAT_000f52bc + 0x40f0)" (* "*") (cast_expression "(code **)(PTR_DAT_000f52bc + 0x40f0)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(PTR_DAT_000f52bc + 0x40f0)" (( "(") (binary_expression "PTR_DAT_000f52bc + 0x40f0" (identifier "PTR_DAT_000f52bc") (+ "+") (number_literal "0x40f0")) () ")"))))) () ")")) (argument_list "()" (( "(") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *var_1)

{
  if (var_1 != (type_1 *)0x0) {
                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (**(type_2 **)(var_2 + 0x40f0))();
    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: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) arguments: (argument_list))) (return_statement))) (return_statement))))

void MASKED(int param_1)

{
  if (param_1 != 0) {
                    /* WARNING: Could not recover jumptable at 0x0001ffb4. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (**(code **)(PTR_DAT_000f52bc + 0x40f0))();
    return;
  }
  return;
}

