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

void error(char *s)

{
  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",linenum,s);
  errors = errors + 1;
  return;
}



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

void error(undefined4 param_1)

{
  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);
  DAT_00017af4 = DAT_00017af4 + 1;
  return;
}


PUSH EBX
CALL 0x00011610
ADD EBX,0x4bf6
SUB ESP,0x14
PUSH dword ptr [ESP + 0x1c]
LEA EAX,[EBX + 0xb54]
PUSH dword ptr [EAX]
LEA EAX,[EBX + 0xffffd084]
PUSH EAX
MOV EAX,dword ptr [EBX + 0x48]
PUSH 0x1
PUSH dword ptr [EAX]
CALL 0x00011100
LEA EAX,[EBX + 0xb58]
ADD dword ptr [EAX],0x1
ADD ESP,0x28
POP EBX
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid error(undefined4 param_1)\n\n{\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);\n  DAT_00017af4 = DAT_00017af4 + 1;\n  return;\n}\n\n" comment (function_definition "void error(undefined4 param_1)\n\n{\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);\n  DAT_00017af4 = DAT_00017af4 + 1;\n  return;\n}" primitive_type (function_declarator "error(undefined4 param_1)" identifier (parameter_list "(undefined4 param_1)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) ))) (compound_statement "{\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);\n  DAT_00017af4 = DAT_00017af4 + 1;\n  return;\n}" { (expression_statement "__fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);" (call_expression "__fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1)" identifier (argument_list "(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1)" ( (pointer_expression "*(undefined4 *)PTR_stderr_00016fe4" * (cast_expression "(undefined4 *)PTR_stderr_00016fe4" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (string_literal ""line %d: %s\n"" " string_content escape_sequence ") , identifier , identifier ))) ;) (expression_statement "DAT_00017af4 = DAT_00017af4 + 1;" (assignment_expression "DAT_00017af4 = DAT_00017af4 + 1" identifier = (binary_expression "DAT_00017af4 + 1" identifier + number_literal)) ;) (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 error(char *s)\n\n{\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",linenum,s);\n  errors = errors + 1;\n  return;\n}\n\n" comment comment (function_definition "void error(char *s)\n\n{\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",linenum,s);\n  errors = errors + 1;\n  return;\n}" primitive_type (function_declarator "error(char *s)" identifier (parameter_list "(char *s)" ( (parameter_declaration "char *s" primitive_type (pointer_declarator "*s" * identifier)) ))) (compound_statement "{\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",linenum,s);\n  errors = errors + 1;\n  return;\n}" { (expression_statement "__fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",linenum,s);" (call_expression "__fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",linenum,s)" identifier (argument_list "(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",linenum,s)" ( (pointer_expression "*(undefined4 *)PTR_stderr_00016fe4" * (cast_expression "(undefined4 *)PTR_stderr_00016fe4" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (string_literal ""line %d: %s\n"" " string_content escape_sequence ") , identifier , identifier ))) ;) (expression_statement "errors = errors + 1;" (assignment_expression "errors = errors + 1" identifier = (binary_expression "errors + 1" identifier + number_literal)) ;) (return_statement "return;" return ;) })))
(translation_unit "void error(undefined4 param_1)\n\n{\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);\n  DAT_00017af4 = DAT_00017af4 + 1;\n  return;\n}\n\n" (function_definition "void error(undefined4 param_1)\n\n{\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);\n  DAT_00017af4 = DAT_00017af4 + 1;\n  return;\n}" primitive_type (function_declarator "error(undefined4 param_1)" identifier (parameter_list "(undefined4 param_1)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) ))) (compound_statement "{\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);\n  DAT_00017af4 = DAT_00017af4 + 1;\n  return;\n}" { (expression_statement "__fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);" (call_expression "__fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1)" identifier (argument_list "(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1)" ( (pointer_expression "*(undefined4 *)PTR_stderr_00016fe4" * (cast_expression "(undefined4 *)PTR_stderr_00016fe4" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (string_literal ""line %d: %s\n"" " string_content escape_sequence ") , identifier , identifier ))) ;) (expression_statement "DAT_00017af4 = DAT_00017af4 + 1;" (assignment_expression "DAT_00017af4 = DAT_00017af4 + 1" identifier = (binary_expression "DAT_00017af4 + 1" identifier + number_literal)) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) ))) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) , LIT , (string_literal " string_content escape_sequence ") , IDENT , IDENT ))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (return_statement return ;) })))
(function_definition "void error(undefined4 param_1)\n\n{\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);\n  DAT_00017af4 = DAT_00017af4 + 1;\n  return;\n}" (primitive_type "void") (function_declarator "error(undefined4 param_1)" (identifier "error") (parameter_list "(undefined4 param_1)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) () ")"))) (compound_statement "{\n  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);\n  DAT_00017af4 = DAT_00017af4 + 1;\n  return;\n}" ({ "{") (expression_statement "__fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);" (call_expression "__fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1)" (identifier "__fprintf_chk") (argument_list "(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1)" (( "(") (pointer_expression "*(undefined4 *)PTR_stderr_00016fe4" (* "*") (cast_expression "(undefined4 *)PTR_stderr_00016fe4" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_stderr_00016fe4"))) (, ",") (number_literal "1") (, ",") (string_literal ""line %d: %s\n"" (" """) (string_content "line %d: %s") (escape_sequence "\n") (" """)) (, ",") (identifier "DAT_00017af0") (, ",") (identifier "param_1") () ")"))) (; ";")) (expression_statement "DAT_00017af4 = DAT_00017af4 + 1;" (assignment_expression "DAT_00017af4 = DAT_00017af4 + 1" (identifier "DAT_00017af4") (= "=") (binary_expression "DAT_00017af4 + 1" (identifier "DAT_00017af4") (+ "+") (number_literal "1"))) (; ";")) (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 *s)

{
  var_1(*(type_1 *)PTR_stderr_00016fe4,1,"line %d: %s\n",linenum,s);
  var_2 = var_2 + 1;
  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 (expression_statement (call_expression function: (identifier) arguments: (argument_list (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier))) (number_literal) (string_literal (string_content) (escape_sequence)) (identifier) (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (return_statement))))

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

void MASKED(undefined4 param_1)

{
  __fprintf_chk(*(undefined4 *)PTR_stderr_00016fe4,1,"line %d: %s\n",DAT_00017af0,param_1);
  DAT_00017af4 = DAT_00017af4 + 1;
  return;
}

