
/* WARNING: Unknown calling convention -- yet parameter storage is locked */

void sqlite3_reset_auto_extension(void)

{
  undefined *puVar1;
  int iVar2;
  undefined4 uVar3;
  
  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();
  if (iVar2 == 0) {
    uVar3 = 0;
    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {
      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);
    }
    puVar1 = PTR_DAT_0015b5d8;
    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);
    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));
    *(undefined4 *)(puVar1 + -0x43c8) = 0;
    *(undefined4 *)(puVar1 + -0x43cc) = 0;
    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);
    return;
  }
  return;
}



void sqlite3_reset_auto_extension(void)

{
  undefined *puVar1;
  int iVar2;
  undefined4 uVar3;
  
  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();
  if (iVar2 == 0) {
    uVar3 = 0;
    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {
      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);
    }
    puVar1 = PTR_DAT_0015b5d8;
    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);
    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));
    *(undefined4 *)(puVar1 + -0x43c8) = 0;
    *(undefined4 *)(puVar1 + -0x43cc) = 0;
    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);
    return;
  }
  return;
}


lui gp,0x3
addiu gp,gp,0x5e90
addu gp,gp,t9
addiu sp,sp,-0x28
lw t9,-0x7e5c(gp)
sw gp,0x10(sp)
sw ra,0x24(sp)
sw s2,0x20(sp)
sw s1,0x1c(sp)
jalr t9
_sw s0,0x18(sp)
bne v0,zero,0x0012d7cc
_lw gp,0x10(sp)
lw v0,-0x7fd8(gp)
addiu v0,v0,-0x5dd8
lw v1,0x4(v0)
beq v1,zero,0x0012d77c
_or s2,zero,zero
lw t9,0x54(v0)
jalr t9
_li a0,0x2
lw gp,0x10(sp)
or s2,v0,zero
lw t9,-0x7f00(gp)
lw s0,-0x7fd8(gp)
jalr t9
_or a0,s2,zero
lw gp,0x10(sp)
addiu s1,s0,-0x43cc
lw t9,-0x7f90(gp)
jalr t9
_lw a0,0x4(s1)
or a0,s2,zero
lw gp,0x10(sp)
lw ra,0x24(sp)
lw s2,0x20(sp)
sw zero,0x4(s1)
sw zero,-0x43cc(s0)
lw s1,0x1c(sp)
lw s0,0x18(sp)
lw t9,-0x7efc(gp)
jr t9
_addiu sp,sp,0x28
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x28
(translation_unit "void sqlite3_reset_auto_extension(void)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();\n  if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void sqlite3_reset_auto_extension(void)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();\n  if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "sqlite3_reset_auto_extension(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();\n  if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (expression_statement "iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();" (assignment_expression "iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)()" identifier = (call_expression "(*(code *)PTR_sqlite3_initialize_0015b754)()" (parenthesized_expression "(*(code *)PTR_sqlite3_initialize_0015b754)" ( (pointer_expression "*(code *)PTR_sqlite3_initialize_0015b754" * (cast_expression "(code *)PTR_sqlite3_initialize_0015b754" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( )))) ;) (if_statement "if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }" if (parenthesized_expression "(iVar2 == 0)" ( (binary_expression "iVar2 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }" { (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (if_statement "if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }" if (parenthesized_expression "(*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0)" ( (binary_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd4)" * (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x5dd4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5dd4)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5dd4" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }" { (expression_statement "uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);" (assignment_expression "uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2)" identifier = (call_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2)" (parenthesized_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5d84))" ( (pointer_expression "**(code **)(PTR_DAT_0015b5d8 + -0x5d84)" * (pointer_expression "*(code **)(PTR_DAT_0015b5d8 + -0x5d84)" * (cast_expression "(code **)(PTR_DAT_0015b5d8 + -0x5d84)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5d84)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5d84" identifier + number_literal) ))))) )) (argument_list "(2)" ( number_literal )))) ;) })) (expression_statement "puVar1 = PTR_DAT_0015b5d8;" (assignment_expression "puVar1 = PTR_DAT_0015b5d8" identifier = identifier) ;) (expression_statement "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);" (call_expression "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3)" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)" ( (pointer_expression "*(code *)PTR_sqlite3_mutex_enter_0015b6b0" * (cast_expression "(code *)PTR_sqlite3_mutex_enter_0015b6b0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(uVar3)" ( identifier ))) ;) (expression_statement "(*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));" (call_expression "(*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8))" (parenthesized_expression "(*(code *)PTR_sqlite3_free_0015b620)" ( (pointer_expression "*(code *)PTR_sqlite3_free_0015b620" * (cast_expression "(code *)PTR_sqlite3_free_0015b620" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(puVar1 + -0x43c8))" ( (pointer_expression "*(undefined4 *)(puVar1 + -0x43c8)" * (cast_expression "(undefined4 *)(puVar1 + -0x43c8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + -0x43c8)" ( (binary_expression "puVar1 + -0x43c8" identifier + number_literal) )))) ))) ;) (expression_statement "*(undefined4 *)(puVar1 + -0x43c8) = 0;" (assignment_expression "*(undefined4 *)(puVar1 + -0x43c8) = 0" (pointer_expression "*(undefined4 *)(puVar1 + -0x43c8)" * (cast_expression "(undefined4 *)(puVar1 + -0x43c8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + -0x43c8)" ( (binary_expression "puVar1 + -0x43c8" identifier + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(puVar1 + -0x43cc) = 0;" (assignment_expression "*(undefined4 *)(puVar1 + -0x43cc) = 0" (pointer_expression "*(undefined4 *)(puVar1 + -0x43cc)" * (cast_expression "(undefined4 *)(puVar1 + -0x43cc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + -0x43cc)" ( (binary_expression "puVar1 + -0x43cc" identifier + number_literal) )))) = number_literal) ;) (expression_statement "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);" (call_expression "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3)" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)" ( (pointer_expression "*(code *)PTR_sqlite3_mutex_leave_0015b6b4" * (cast_expression "(code *)PTR_sqlite3_mutex_leave_0015b6b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(uVar3)" ( identifier ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Unknown calling convention -- yet parameter storage is locked */\n\nvoid sqlite3_reset_auto_extension(void)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();\n  if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }\n  return;\n}\n\n" comment (function_definition "void sqlite3_reset_auto_extension(void)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();\n  if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "sqlite3_reset_auto_extension(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();\n  if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (expression_statement "iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();" (assignment_expression "iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)()" identifier = (call_expression "(*(code *)PTR_sqlite3_initialize_0015b754)()" (parenthesized_expression "(*(code *)PTR_sqlite3_initialize_0015b754)" ( (pointer_expression "*(code *)PTR_sqlite3_initialize_0015b754" * (cast_expression "(code *)PTR_sqlite3_initialize_0015b754" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( )))) ;) (if_statement "if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }" if (parenthesized_expression "(iVar2 == 0)" ( (binary_expression "iVar2 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }" { (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (if_statement "if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }" if (parenthesized_expression "(*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0)" ( (binary_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd4)" * (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x5dd4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5dd4)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5dd4" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }" { (expression_statement "uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);" (assignment_expression "uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2)" identifier = (call_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2)" (parenthesized_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5d84))" ( (pointer_expression "**(code **)(PTR_DAT_0015b5d8 + -0x5d84)" * (pointer_expression "*(code **)(PTR_DAT_0015b5d8 + -0x5d84)" * (cast_expression "(code **)(PTR_DAT_0015b5d8 + -0x5d84)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5d84)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5d84" identifier + number_literal) ))))) )) (argument_list "(2)" ( number_literal )))) ;) })) (expression_statement "puVar1 = PTR_DAT_0015b5d8;" (assignment_expression "puVar1 = PTR_DAT_0015b5d8" identifier = identifier) ;) (expression_statement "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);" (call_expression "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3)" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)" ( (pointer_expression "*(code *)PTR_sqlite3_mutex_enter_0015b6b0" * (cast_expression "(code *)PTR_sqlite3_mutex_enter_0015b6b0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(uVar3)" ( identifier ))) ;) (expression_statement "(*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));" (call_expression "(*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8))" (parenthesized_expression "(*(code *)PTR_sqlite3_free_0015b620)" ( (pointer_expression "*(code *)PTR_sqlite3_free_0015b620" * (cast_expression "(code *)PTR_sqlite3_free_0015b620" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(puVar1 + -0x43c8))" ( (pointer_expression "*(undefined4 *)(puVar1 + -0x43c8)" * (cast_expression "(undefined4 *)(puVar1 + -0x43c8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + -0x43c8)" ( (binary_expression "puVar1 + -0x43c8" identifier + number_literal) )))) ))) ;) (expression_statement "*(undefined4 *)(puVar1 + -0x43c8) = 0;" (assignment_expression "*(undefined4 *)(puVar1 + -0x43c8) = 0" (pointer_expression "*(undefined4 *)(puVar1 + -0x43c8)" * (cast_expression "(undefined4 *)(puVar1 + -0x43c8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + -0x43c8)" ( (binary_expression "puVar1 + -0x43c8" identifier + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(puVar1 + -0x43cc) = 0;" (assignment_expression "*(undefined4 *)(puVar1 + -0x43cc) = 0" (pointer_expression "*(undefined4 *)(puVar1 + -0x43cc)" * (cast_expression "(undefined4 *)(puVar1 + -0x43cc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + -0x43cc)" ( (binary_expression "puVar1 + -0x43cc" identifier + number_literal) )))) = number_literal) ;) (expression_statement "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);" (call_expression "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3)" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)" ( (pointer_expression "*(code *)PTR_sqlite3_mutex_leave_0015b6b4" * (cast_expression "(code *)PTR_sqlite3_mutex_leave_0015b6b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(uVar3)" ( identifier ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void sqlite3_reset_auto_extension(void)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();\n  if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void sqlite3_reset_auto_extension(void)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();\n  if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "sqlite3_reset_auto_extension(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();\n  if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }\n  return;\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (expression_statement "iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();" (assignment_expression "iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)()" identifier = (call_expression "(*(code *)PTR_sqlite3_initialize_0015b754)()" (parenthesized_expression "(*(code *)PTR_sqlite3_initialize_0015b754)" ( (pointer_expression "*(code *)PTR_sqlite3_initialize_0015b754" * (cast_expression "(code *)PTR_sqlite3_initialize_0015b754" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( )))) ;) (if_statement "if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }" if (parenthesized_expression "(iVar2 == 0)" ( (binary_expression "iVar2 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }" { (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (if_statement "if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }" if (parenthesized_expression "(*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0)" ( (binary_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd4)" * (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x5dd4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5dd4)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5dd4" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }" { (expression_statement "uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);" (assignment_expression "uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2)" identifier = (call_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2)" (parenthesized_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5d84))" ( (pointer_expression "**(code **)(PTR_DAT_0015b5d8 + -0x5d84)" * (pointer_expression "*(code **)(PTR_DAT_0015b5d8 + -0x5d84)" * (cast_expression "(code **)(PTR_DAT_0015b5d8 + -0x5d84)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5d84)" ( (binary_expression "PTR_DAT_0015b5d8 + -0x5d84" identifier + number_literal) ))))) )) (argument_list "(2)" ( number_literal )))) ;) })) (expression_statement "puVar1 = PTR_DAT_0015b5d8;" (assignment_expression "puVar1 = PTR_DAT_0015b5d8" identifier = identifier) ;) (expression_statement "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);" (call_expression "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3)" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)" ( (pointer_expression "*(code *)PTR_sqlite3_mutex_enter_0015b6b0" * (cast_expression "(code *)PTR_sqlite3_mutex_enter_0015b6b0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(uVar3)" ( identifier ))) ;) (expression_statement "(*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));" (call_expression "(*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8))" (parenthesized_expression "(*(code *)PTR_sqlite3_free_0015b620)" ( (pointer_expression "*(code *)PTR_sqlite3_free_0015b620" * (cast_expression "(code *)PTR_sqlite3_free_0015b620" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(puVar1 + -0x43c8))" ( (pointer_expression "*(undefined4 *)(puVar1 + -0x43c8)" * (cast_expression "(undefined4 *)(puVar1 + -0x43c8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + -0x43c8)" ( (binary_expression "puVar1 + -0x43c8" identifier + number_literal) )))) ))) ;) (expression_statement "*(undefined4 *)(puVar1 + -0x43c8) = 0;" (assignment_expression "*(undefined4 *)(puVar1 + -0x43c8) = 0" (pointer_expression "*(undefined4 *)(puVar1 + -0x43c8)" * (cast_expression "(undefined4 *)(puVar1 + -0x43c8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + -0x43c8)" ( (binary_expression "puVar1 + -0x43c8" identifier + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(puVar1 + -0x43cc) = 0;" (assignment_expression "*(undefined4 *)(puVar1 + -0x43cc) = 0" (pointer_expression "*(undefined4 *)(puVar1 + -0x43cc)" * (cast_expression "(undefined4 *)(puVar1 + -0x43cc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + -0x43cc)" ( (binary_expression "puVar1 + -0x43cc" identifier + number_literal) )))) = number_literal) ;) (expression_statement "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);" (call_expression "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3)" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)" ( (pointer_expression "*(code *)PTR_sqlite3_mutex_leave_0015b6b4" * (cast_expression "(code *)PTR_sqlite3_mutex_leave_0015b6b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(uVar3)" ( identifier ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = 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 (assignment_expression IDENT = (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 ( LIT )))) ;) })) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT ))) ;) (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 (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = LIT) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT ))) ;) (return_statement return ;) })) (return_statement return ;) })))
(function_definition "void sqlite3_reset_auto_extension(void)\n\n{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();\n  if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }\n  return;\n}" (primitive_type "void") (function_declarator "sqlite3_reset_auto_extension(void)" (identifier "sqlite3_reset_auto_extension") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  undefined *puVar1;\n  int iVar2;\n  undefined4 uVar3;\n  \n  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();\n  if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }\n  return;\n}" ({ "{") (declaration "undefined *puVar1;" (type_identifier "undefined") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "undefined4 uVar3;" (type_identifier "undefined4") (identifier "uVar3") (; ";")) (expression_statement "iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();" (assignment_expression "iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)()" (identifier "iVar2") (= "=") (call_expression "(*(code *)PTR_sqlite3_initialize_0015b754)()" (parenthesized_expression "(*(code *)PTR_sqlite3_initialize_0015b754)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_initialize_0015b754" (* "*") (cast_expression "(code *)PTR_sqlite3_initialize_0015b754" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_initialize_0015b754"))) () ")")) (argument_list "()" (( "(") () ")")))) (; ";")) (if_statement "if (iVar2 == 0) {\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }" (if "if") (parenthesized_expression "(iVar2 == 0)" (( "(") (binary_expression "iVar2 == 0" (identifier "iVar2") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    uVar3 = 0;\n    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }\n    puVar1 = PTR_DAT_0015b5d8;\n    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);\n    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));\n    *(undefined4 *)(puVar1 + -0x43c8) = 0;\n    *(undefined4 *)(puVar1 + -0x43cc) = 0;\n    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);\n    return;\n  }" ({ "{") (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" (identifier "uVar3") (= "=") (number_literal "0")) (; ";")) (if_statement "if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }" (if "if") (parenthesized_expression "(*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0)" (( "(") (binary_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0" (pointer_expression "*(int *)(PTR_DAT_0015b5d8 + -0x5dd4)" (* "*") (cast_expression "(int *)(PTR_DAT_0015b5d8 + -0x5dd4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5dd4)" (( "(") (binary_expression "PTR_DAT_0015b5d8 + -0x5dd4" (identifier "PTR_DAT_0015b5d8") (+ "+") (number_literal "-0x5dd4")) () ")")))) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);\n    }" ({ "{") (expression_statement "uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);" (assignment_expression "uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2)" (identifier "uVar3") (= "=") (call_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2)" (parenthesized_expression "(**(code **)(PTR_DAT_0015b5d8 + -0x5d84))" (( "(") (pointer_expression "**(code **)(PTR_DAT_0015b5d8 + -0x5d84)" (* "*") (pointer_expression "*(code **)(PTR_DAT_0015b5d8 + -0x5d84)" (* "*") (cast_expression "(code **)(PTR_DAT_0015b5d8 + -0x5d84)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(PTR_DAT_0015b5d8 + -0x5d84)" (( "(") (binary_expression "PTR_DAT_0015b5d8 + -0x5d84" (identifier "PTR_DAT_0015b5d8") (+ "+") (number_literal "-0x5d84")) () ")"))))) () ")")) (argument_list "(2)" (( "(") (number_literal "2") () ")")))) (; ";")) (} "}"))) (expression_statement "puVar1 = PTR_DAT_0015b5d8;" (assignment_expression "puVar1 = PTR_DAT_0015b5d8" (identifier "puVar1") (= "=") (identifier "PTR_DAT_0015b5d8")) (; ";")) (expression_statement "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);" (call_expression "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3)" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_enter_0015b6b0)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_mutex_enter_0015b6b0" (* "*") (cast_expression "(code *)PTR_sqlite3_mutex_enter_0015b6b0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_mutex_enter_0015b6b0"))) () ")")) (argument_list "(uVar3)" (( "(") (identifier "uVar3") () ")"))) (; ";")) (expression_statement "(*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));" (call_expression "(*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8))" (parenthesized_expression "(*(code *)PTR_sqlite3_free_0015b620)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_free_0015b620" (* "*") (cast_expression "(code *)PTR_sqlite3_free_0015b620" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_free_0015b620"))) () ")")) (argument_list "(*(undefined4 *)(puVar1 + -0x43c8))" (( "(") (pointer_expression "*(undefined4 *)(puVar1 + -0x43c8)" (* "*") (cast_expression "(undefined4 *)(puVar1 + -0x43c8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar1 + -0x43c8)" (( "(") (binary_expression "puVar1 + -0x43c8" (identifier "puVar1") (+ "+") (number_literal "-0x43c8")) () ")")))) () ")"))) (; ";")) (expression_statement "*(undefined4 *)(puVar1 + -0x43c8) = 0;" (assignment_expression "*(undefined4 *)(puVar1 + -0x43c8) = 0" (pointer_expression "*(undefined4 *)(puVar1 + -0x43c8)" (* "*") (cast_expression "(undefined4 *)(puVar1 + -0x43c8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar1 + -0x43c8)" (( "(") (binary_expression "puVar1 + -0x43c8" (identifier "puVar1") (+ "+") (number_literal "-0x43c8")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "*(undefined4 *)(puVar1 + -0x43cc) = 0;" (assignment_expression "*(undefined4 *)(puVar1 + -0x43cc) = 0" (pointer_expression "*(undefined4 *)(puVar1 + -0x43cc)" (* "*") (cast_expression "(undefined4 *)(puVar1 + -0x43cc)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar1 + -0x43cc)" (( "(") (binary_expression "puVar1 + -0x43cc" (identifier "puVar1") (+ "+") (number_literal "-0x43cc")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);" (call_expression "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3)" (parenthesized_expression "(*(code *)PTR_sqlite3_mutex_leave_0015b6b4)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_mutex_leave_0015b6b4" (* "*") (cast_expression "(code *)PTR_sqlite3_mutex_leave_0015b6b4" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_mutex_leave_0015b6b4"))) () ")")) (argument_list "(uVar3)" (( "(") (identifier "uVar3") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Unknown calling convention -- yet parameter storage is locked */

void function_1(void)

{
  type_1 *var_3;
  int var_1;
  type_2 uVar3;
  
  var_1 = (*(type_3 *)PTR_sqlite3_initialize_0015b754)();
  if (var_1 == 0) {
    uVar3 = 0;
    if (*(int *)(var_2 + -0x5dd4) != 0) {
      uVar3 = (**(type_3 **)(var_2 + -0x5d84))(2);
    }
    var_3 = var_2;
    (*(type_3 *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);
    (*(type_3 *)PTR_sqlite3_free_0015b620)(*(type_2 *)(var_3 + -0x43c8));
    *(type_2 *)(var_3 + -0x43c8) = 0;
    *(type_2 *)(var_3 + -0x43cc) = 0;
    (*(type_3 *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);
    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 (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (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)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (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 (assignment_expression left: (identifier) right: (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 (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (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 (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 (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 (assignment_expression left: (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))))) right: (number_literal))) (expression_statement (assignment_expression left: (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))))) 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))) (return_statement))))

void MASKED(void)

{
  undefined *puVar1;
  int iVar2;
  undefined4 uVar3;
  
  iVar2 = (*(code *)PTR_sqlite3_initialize_0015b754)();
  if (iVar2 == 0) {
    uVar3 = 0;
    if (*(int *)(PTR_DAT_0015b5d8 + -0x5dd4) != 0) {
      uVar3 = (**(code **)(PTR_DAT_0015b5d8 + -0x5d84))(2);
    }
    puVar1 = PTR_DAT_0015b5d8;
    (*(code *)PTR_sqlite3_mutex_enter_0015b6b0)(uVar3);
    (*(code *)PTR_sqlite3_free_0015b620)(*(undefined4 *)(puVar1 + -0x43c8));
    *(undefined4 *)(puVar1 + -0x43c8) = 0;
    *(undefined4 *)(puVar1 + -0x43cc) = 0;
    (*(code *)PTR_sqlite3_mutex_leave_0015b6b4)(uVar3);
    return;
  }
  return;
}

