
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

void print_object_filename_posix(char *filename)

{
  if ((filename_per_file != 0) && (filename_per_symbol == 0)) {
    printf("%s:\n",filename);
    return;
  }
  return;
}



/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void FUN_00014730(undefined4 param_1)

{
  if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {
    printf("%s:\n",param_1);
    return;
  }
  return;
}


PUSH EBX
CALL 0x00012a60
ADD EBX,0x88ca
SUB ESP,0x8
MOV EDX,dword ptr [EBX + 0x3e4]
TEST EDX,EDX
JZ 0x00014753
MOV EAX,dword ptr [EBX + 0x3e0]
TEST EAX,EAX
JZ 0x00014760
ADD ESP,0x8
POP EBX
RET
SUB ESP,0x8
LEA EAX,[EBX + 0xffffb012]
PUSH dword ptr [ESP + 0x18]
PUSH EAX
CALL 0x00012080
ADD ESP,0x10
ADD ESP,0x8
POP EBX
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid FUN_00014730(undefined4 param_1)\n\n{\n  if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {\n    printf("%s:\n",param_1);\n    return;\n  }\n  return;\n}\n\n" comment (function_definition "void FUN_00014730(undefined4 param_1)\n\n{\n  if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {\n    printf("%s:\n",param_1);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_00014730(undefined4 param_1)" identifier (parameter_list "(undefined4 param_1)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) ))) (compound_statement "{\n  if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {\n    printf("%s:\n",param_1);\n    return;\n  }\n  return;\n}" { (if_statement "if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {\n    printf("%s:\n",param_1);\n    return;\n  }" if (parenthesized_expression "((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0))" ( (binary_expression "(DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)" (parenthesized_expression "(DAT_0001d3e4 != 0)" ( (binary_expression "DAT_0001d3e4 != 0" identifier != number_literal) )) && (parenthesized_expression "(DAT_0001d3e0 == 0)" ( (binary_expression "DAT_0001d3e0 == 0" identifier == number_literal) ))) )) (compound_statement "{\n    printf("%s:\n",param_1);\n    return;\n  }" { (expression_statement "printf("%s:\n",param_1);" (call_expression "printf("%s:\n",param_1)" identifier (argument_list "("%s:\n",param_1)" ( (string_literal ""%s:\n"" " string_content escape_sequence ") , identifier ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Unknown calling convention */\n\nvoid print_object_filename_posix(char *filename)\n\n{\n  if ((filename_per_file != 0) && (filename_per_symbol == 0)) {\n    printf("%s:\n",filename);\n    return;\n  }\n  return;\n}\n\n" comment comment (function_definition "void print_object_filename_posix(char *filename)\n\n{\n  if ((filename_per_file != 0) && (filename_per_symbol == 0)) {\n    printf("%s:\n",filename);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "print_object_filename_posix(char *filename)" identifier (parameter_list "(char *filename)" ( (parameter_declaration "char *filename" primitive_type (pointer_declarator "*filename" * identifier)) ))) (compound_statement "{\n  if ((filename_per_file != 0) && (filename_per_symbol == 0)) {\n    printf("%s:\n",filename);\n    return;\n  }\n  return;\n}" { (if_statement "if ((filename_per_file != 0) && (filename_per_symbol == 0)) {\n    printf("%s:\n",filename);\n    return;\n  }" if (parenthesized_expression "((filename_per_file != 0) && (filename_per_symbol == 0))" ( (binary_expression "(filename_per_file != 0) && (filename_per_symbol == 0)" (parenthesized_expression "(filename_per_file != 0)" ( (binary_expression "filename_per_file != 0" identifier != number_literal) )) && (parenthesized_expression "(filename_per_symbol == 0)" ( (binary_expression "filename_per_symbol == 0" identifier == number_literal) ))) )) (compound_statement "{\n    printf("%s:\n",filename);\n    return;\n  }" { (expression_statement "printf("%s:\n",filename);" (call_expression "printf("%s:\n",filename)" identifier (argument_list "("%s:\n",filename)" ( (string_literal ""%s:\n"" " string_content escape_sequence ") , identifier ))) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void FUN_00014730(undefined4 param_1)\n\n{\n  if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {\n    printf("%s:\n",param_1);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void FUN_00014730(undefined4 param_1)\n\n{\n  if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {\n    printf("%s:\n",param_1);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "FUN_00014730(undefined4 param_1)" identifier (parameter_list "(undefined4 param_1)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) ))) (compound_statement "{\n  if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {\n    printf("%s:\n",param_1);\n    return;\n  }\n  return;\n}" { (if_statement "if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {\n    printf("%s:\n",param_1);\n    return;\n  }" if (parenthesized_expression "((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0))" ( (binary_expression "(DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)" (parenthesized_expression "(DAT_0001d3e4 != 0)" ( (binary_expression "DAT_0001d3e4 != 0" identifier != number_literal) )) && (parenthesized_expression "(DAT_0001d3e0 == 0)" ( (binary_expression "DAT_0001d3e0 == 0" identifier == number_literal) ))) )) (compound_statement "{\n    printf("%s:\n",param_1);\n    return;\n  }" { (expression_statement "printf("%s:\n",param_1);" (call_expression "printf("%s:\n",param_1)" identifier (argument_list "("%s:\n",param_1)" ( (string_literal ""%s:\n"" " string_content escape_sequence ") , identifier ))) ;) (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 (parenthesized_expression ( (binary_expression IDENT != LIT) )) && (parenthesized_expression ( (binary_expression IDENT == LIT) ))) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content escape_sequence ") , IDENT ))) ;) (return_statement return ;) })) (return_statement return ;) })))
(function_definition "void FUN_00014730(undefined4 param_1)\n\n{\n  if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {\n    printf("%s:\n",param_1);\n    return;\n  }\n  return;\n}" (primitive_type "void") (function_declarator "FUN_00014730(undefined4 param_1)" (identifier "FUN_00014730") (parameter_list "(undefined4 param_1)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) () ")"))) (compound_statement "{\n  if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {\n    printf("%s:\n",param_1);\n    return;\n  }\n  return;\n}" ({ "{") (if_statement "if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {\n    printf("%s:\n",param_1);\n    return;\n  }" (if "if") (parenthesized_expression "((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0))" (( "(") (binary_expression "(DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)" (parenthesized_expression "(DAT_0001d3e4 != 0)" (( "(") (binary_expression "DAT_0001d3e4 != 0" (identifier "DAT_0001d3e4") (!= "!=") (number_literal "0")) () ")")) (&& "&&") (parenthesized_expression "(DAT_0001d3e0 == 0)" (( "(") (binary_expression "DAT_0001d3e0 == 0" (identifier "DAT_0001d3e0") (== "==") (number_literal "0")) () ")"))) () ")")) (compound_statement "{\n    printf("%s:\n",param_1);\n    return;\n  }" ({ "{") (expression_statement "printf("%s:\n",param_1);" (call_expression "printf("%s:\n",param_1)" (identifier "printf") (argument_list "("%s:\n",param_1)" (( "(") (string_literal ""%s:\n"" (" """) (string_content "%s:") (escape_sequence "\n") (" """)) (, ",") (identifier "param_1") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

void function_1(char *filename)

{
  if ((var_1 != 0) && (var_2 == 0)) {
    var_3("%s:\n",filename);
    return;
  }
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content) (escape_sequence)) (identifier)))) (return_statement))) (return_statement))))

/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

void MASKED(undefined4 param_1)

{
  if ((DAT_0001d3e4 != 0) && (DAT_0001d3e0 == 0)) {
    printf("%s:\n",param_1);
    return;
  }
  return;
}

