
void sqlite3_mutex_leave(sqlite3_mutex *p)

{
  if (p != (sqlite3_mutex *)0x0) {
    (*sqlite3Config.mutex.xMutexLeave)(p);
    return;
  }
  return;
}



void FUN_0012a8f6(long param_1)

{
  if (param_1 != 0) {
    (*DAT_0022f6e0)();
    return;
  }
  return;
}


TEST RDI,RDI
JZ 0x0012a90a
SUB RSP,0x8
CALL qword ptr [0x0022f6e0]
ADD RSP,0x8
RET
RET
(translation_unit "void FUN_0012a8f6(long param_1)\n\n{\n  if (param_1 != 0) {\n    (*DAT_0022f6e0)();\n    return;\n  }\n  return;\n}\n\n" (function_definition "void FUN_0012a8f6(long param_1)\n\n{\n  if (param_1 != 0) {\n    (*DAT_0022f6e0)();\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_0012a8f6(long param_1)" identifier (parameter_list "(long param_1)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) ))) (compound_statement "{\n  if (param_1 != 0) {\n    (*DAT_0022f6e0)();\n    return;\n  }\n  return;\n}" { (if_statement "if (param_1 != 0) {\n    (*DAT_0022f6e0)();\n    return;\n  }" if (parenthesized_expression "(param_1 != 0)" ( (binary_expression "param_1 != 0" identifier != number_literal) )) (compound_statement "{\n    (*DAT_0022f6e0)();\n    return;\n  }" { (expression_statement "(*DAT_0022f6e0)();" (call_expression "(*DAT_0022f6e0)()" (parenthesized_expression "(*DAT_0022f6e0)" ( (pointer_expression "*DAT_0022f6e0" * identifier) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void sqlite3_mutex_leave(sqlite3_mutex *p)\n\n{\n  if (p != (sqlite3_mutex *)0x0) {\n    (*sqlite3Config.mutex.xMutexLeave)(p);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void sqlite3_mutex_leave(sqlite3_mutex *p)\n\n{\n  if (p != (sqlite3_mutex *)0x0) {\n    (*sqlite3Config.mutex.xMutexLeave)(p);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "sqlite3_mutex_leave(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    (*sqlite3Config.mutex.xMutexLeave)(p);\n    return;\n  }\n  return;\n}" { (if_statement "if (p != (sqlite3_mutex *)0x0) {\n    (*sqlite3Config.mutex.xMutexLeave)(p);\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    (*sqlite3Config.mutex.xMutexLeave)(p);\n    return;\n  }" { (expression_statement "(*sqlite3Config.mutex.xMutexLeave)(p);" (call_expression "(*sqlite3Config.mutex.xMutexLeave)(p)" (parenthesized_expression "(*sqlite3Config.mutex.xMutexLeave)" ( (pointer_expression "*sqlite3Config.mutex.xMutexLeave" * (field_expression "sqlite3Config.mutex.xMutexLeave" (field_expression "sqlite3Config.mutex" identifier . field_identifier) . field_identifier)) )) (argument_list "(p)" ( identifier ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void FUN_0012a8f6(long param_1)\n\n{\n  if (param_1 != 0) {\n    (*DAT_0022f6e0)();\n    return;\n  }\n  return;\n}\n\n" (function_definition "void FUN_0012a8f6(long param_1)\n\n{\n  if (param_1 != 0) {\n    (*DAT_0022f6e0)();\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_0012a8f6(long param_1)" identifier (parameter_list "(long param_1)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) ))) (compound_statement "{\n  if (param_1 != 0) {\n    (*DAT_0022f6e0)();\n    return;\n  }\n  return;\n}" { (if_statement "if (param_1 != 0) {\n    (*DAT_0022f6e0)();\n    return;\n  }" if (parenthesized_expression "(param_1 != 0)" ( (binary_expression "param_1 != 0" identifier != number_literal) )) (compound_statement "{\n    (*DAT_0022f6e0)();\n    return;\n  }" { (expression_statement "(*DAT_0022f6e0)();" (call_expression "(*DAT_0022f6e0)()" (parenthesized_expression "(*DAT_0022f6e0)" ( (pointer_expression "*DAT_0022f6e0" * identifier) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration (sized_type_specifier long) IDENT) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( ))) ;) (return_statement return ;) })) (return_statement return ;) })))
(function_definition "void FUN_0012a8f6(long param_1)\n\n{\n  if (param_1 != 0) {\n    (*DAT_0022f6e0)();\n    return;\n  }\n  return;\n}" (primitive_type "void") (function_declarator "FUN_0012a8f6(long param_1)" (identifier "FUN_0012a8f6") (parameter_list "(long param_1)" (( "(") (parameter_declaration "long param_1" (sized_type_specifier "long" (long "long")) (identifier "param_1")) () ")"))) (compound_statement "{\n  if (param_1 != 0) {\n    (*DAT_0022f6e0)();\n    return;\n  }\n  return;\n}" ({ "{") (if_statement "if (param_1 != 0) {\n    (*DAT_0022f6e0)();\n    return;\n  }" (if "if") (parenthesized_expression "(param_1 != 0)" (( "(") (binary_expression "param_1 != 0" (identifier "param_1") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    (*DAT_0022f6e0)();\n    return;\n  }" ({ "{") (expression_statement "(*DAT_0022f6e0)();" (call_expression "(*DAT_0022f6e0)()" (parenthesized_expression "(*DAT_0022f6e0)" (( "(") (pointer_expression "*DAT_0022f6e0" (* "*") (identifier "DAT_0022f6e0")) () ")")) (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) {
    (*sqlite3Config.mutex.xMutexLeave)(var_1);
    return;
  }
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (sized_type_specifier) 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: (identifier))) arguments: (argument_list))) (return_statement))) (return_statement))))

void MASKED(long param_1)

{
  if (param_1 != 0) {
    (*DAT_0022f6e0)();
    return;
  }
  return;
}

