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

void __gmp_assert_fail(char *filename,int linenum,char *expr)

{
  __gmp_assert_header(filename,linenum);
  __fprintf_chk(*(undefined4 *)PTR_stderr_0009dd54,1,"GNU MP assertion failed: %s\n",expr);
                    /* WARNING: Subroutine does not return */
  abort();
}



void __regparm2
__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)

{
  int unaff_EBX;
  undefined4 unaff_retaddr;
  
  entry(param_2,0x1c4f6);
  __gmp_assert_header(unaff_retaddr,param_3);
  __fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);
                    /* WARNING: Subroutine does not return */
  abort();
}


PUSH EBX
CALL 0x0001c340
ADD EBX,0x81b0a
SUB ESP,0x10
PUSH dword ptr [ESP + 0x1c]
PUSH dword ptr [ESP + 0x1c]
CALL 0x0001bca0
LEA EAX,[EBX + 0xfffe1009]
PUSH dword ptr [ESP + 0x28]
PUSH EAX
MOV EAX,dword ptr [EBX + 0xfffffd54]
PUSH 0x1
PUSH dword ptr [EAX]
CALL 0x0001c060
ADD ESP,0x20
CALL 0x0001c180
(translation_unit "void __regparm2\n__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)\n\n{\n  int unaff_EBX;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x1c4f6);\n  __gmp_assert_header(unaff_retaddr,param_3);\n  __fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);\n                    /* WARNING: Subroutine does not return */\n  abort();\n}\n\n" (function_definition "void __regparm2\n__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)\n\n{\n  int unaff_EBX;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x1c4f6);\n  __gmp_assert_header(unaff_retaddr,param_3);\n  __fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" primitive_type (ERROR "__regparm2" identifier) (function_declarator "__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "undefined4 param_3" type_identifier identifier) , (parameter_declaration "undefined4 param_4" type_identifier identifier) ))) (compound_statement "{\n  int unaff_EBX;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x1c4f6);\n  __gmp_assert_header(unaff_retaddr,param_3);\n  __fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" { (declaration "int unaff_EBX;" primitive_type identifier ;) (declaration "undefined4 unaff_retaddr;" type_identifier identifier ;) (expression_statement "entry(param_2,0x1c4f6);" (call_expression "entry(param_2,0x1c4f6)" identifier (argument_list "(param_2,0x1c4f6)" ( identifier , number_literal ))) ;) (expression_statement "__gmp_assert_header(unaff_retaddr,param_3);" (call_expression "__gmp_assert_header(unaff_retaddr,param_3)" identifier (argument_list "(unaff_retaddr,param_3)" ( identifier , identifier ))) ;) (expression_statement "__fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);" (call_expression "__fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4)" identifier (argument_list "(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4)" ( (pointer_expression "**(undefined4 **)(&DAT_0008185e + unaff_EBX)" * (pointer_expression "*(undefined4 **)(&DAT_0008185e + unaff_EBX)" * (cast_expression "(undefined4 **)(&DAT_0008185e + unaff_EBX)" ( (type_descriptor "undefined4 **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(&DAT_0008185e + unaff_EBX)" ( (binary_expression "&DAT_0008185e + unaff_EBX" (pointer_expression "&DAT_0008185e" & identifier) + identifier) ))))) , number_literal , (binary_expression "unaff_EBX + 0x62b13" identifier + number_literal) , identifier ))) ;) comment (expression_statement "abort();" (call_expression "abort()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Unknown calling convention */\n\nvoid __gmp_assert_fail(char *filename,int linenum,char *expr)\n\n{\n  __gmp_assert_header(filename,linenum);\n  __fprintf_chk(*(undefined4 *)PTR_stderr_0009dd54,1,"GNU MP assertion failed: %s\n",expr);\n                    /* WARNING: Subroutine does not return */\n  abort();\n}\n\n" comment comment (function_definition "void __gmp_assert_fail(char *filename,int linenum,char *expr)\n\n{\n  __gmp_assert_header(filename,linenum);\n  __fprintf_chk(*(undefined4 *)PTR_stderr_0009dd54,1,"GNU MP assertion failed: %s\n",expr);\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" primitive_type (function_declarator "__gmp_assert_fail(char *filename,int linenum,char *expr)" identifier (parameter_list "(char *filename,int linenum,char *expr)" ( (parameter_declaration "char *filename" primitive_type (pointer_declarator "*filename" * identifier)) , (parameter_declaration "int linenum" primitive_type identifier) , (parameter_declaration "char *expr" primitive_type (pointer_declarator "*expr" * identifier)) ))) (compound_statement "{\n  __gmp_assert_header(filename,linenum);\n  __fprintf_chk(*(undefined4 *)PTR_stderr_0009dd54,1,"GNU MP assertion failed: %s\n",expr);\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" { (expression_statement "__gmp_assert_header(filename,linenum);" (call_expression "__gmp_assert_header(filename,linenum)" identifier (argument_list "(filename,linenum)" ( identifier , identifier ))) ;) (expression_statement "__fprintf_chk(*(undefined4 *)PTR_stderr_0009dd54,1,"GNU MP assertion failed: %s\n",expr);" (call_expression "__fprintf_chk(*(undefined4 *)PTR_stderr_0009dd54,1,"GNU MP assertion failed: %s\n",expr)" identifier (argument_list "(*(undefined4 *)PTR_stderr_0009dd54,1,"GNU MP assertion failed: %s\n",expr)" ( (pointer_expression "*(undefined4 *)PTR_stderr_0009dd54" * (cast_expression "(undefined4 *)PTR_stderr_0009dd54" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) , number_literal , (string_literal ""GNU MP assertion failed: %s\n"" " string_content escape_sequence ") , identifier ))) ;) comment (expression_statement "abort();" (call_expression "abort()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit "void __regparm2\n__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)\n\n{\n  int unaff_EBX;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x1c4f6);\n  __gmp_assert_header(unaff_retaddr,param_3);\n  __fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);\n                    \n  abort();\n}\n\n" (function_definition "void __regparm2\n__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)\n\n{\n  int unaff_EBX;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x1c4f6);\n  __gmp_assert_header(unaff_retaddr,param_3);\n  __fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);\n                    \n  abort();\n}" primitive_type (ERROR "__regparm2" identifier) (function_declarator "__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) , (parameter_declaration "undefined4 param_3" type_identifier identifier) , (parameter_declaration "undefined4 param_4" type_identifier identifier) ))) (compound_statement "{\n  int unaff_EBX;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x1c4f6);\n  __gmp_assert_header(unaff_retaddr,param_3);\n  __fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);\n                    \n  abort();\n}" { (declaration "int unaff_EBX;" primitive_type identifier ;) (declaration "undefined4 unaff_retaddr;" type_identifier identifier ;) (expression_statement "entry(param_2,0x1c4f6);" (call_expression "entry(param_2,0x1c4f6)" identifier (argument_list "(param_2,0x1c4f6)" ( identifier , number_literal ))) ;) (expression_statement "__gmp_assert_header(unaff_retaddr,param_3);" (call_expression "__gmp_assert_header(unaff_retaddr,param_3)" identifier (argument_list "(unaff_retaddr,param_3)" ( identifier , identifier ))) ;) (expression_statement "__fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);" (call_expression "__fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4)" identifier (argument_list "(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4)" ( (pointer_expression "**(undefined4 **)(&DAT_0008185e + unaff_EBX)" * (pointer_expression "*(undefined4 **)(&DAT_0008185e + unaff_EBX)" * (cast_expression "(undefined4 **)(&DAT_0008185e + unaff_EBX)" ( (type_descriptor "undefined4 **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(&DAT_0008185e + unaff_EBX)" ( (binary_expression "&DAT_0008185e + unaff_EBX" (pointer_expression "&DAT_0008185e" & identifier) + identifier) ))))) , number_literal , (binary_expression "unaff_EBX + 0x62b13" identifier + number_literal) , identifier ))) ;) (expression_statement "abort();" (call_expression "abort()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit (function_definition TYPE (ERROR IDENT) (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , LIT ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression (pointer_expression & IDENT) + IDENT) ))))) , LIT , (binary_expression IDENT + LIT) , IDENT ))) ;) (expression_statement (call_expression IDENT (argument_list ( ))) ;) })))
(function_definition "void __regparm2\n__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)\n\n{\n  int unaff_EBX;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x1c4f6);\n  __gmp_assert_header(unaff_retaddr,param_3);\n  __fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);\n                    \n  abort();\n}" (primitive_type "void") (ERROR "__regparm2" (identifier "__regparm2")) (function_declarator "__gmp_assert_fail(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)" (identifier "__gmp_assert_fail") (parameter_list "(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) (, ",") (parameter_declaration "undefined4 param_3" (type_identifier "undefined4") (identifier "param_3")) (, ",") (parameter_declaration "undefined4 param_4" (type_identifier "undefined4") (identifier "param_4")) () ")"))) (compound_statement "{\n  int unaff_EBX;\n  undefined4 unaff_retaddr;\n  \n  entry(param_2,0x1c4f6);\n  __gmp_assert_header(unaff_retaddr,param_3);\n  __fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);\n                    \n  abort();\n}" ({ "{") (declaration "int unaff_EBX;" (primitive_type "int") (identifier "unaff_EBX") (; ";")) (declaration "undefined4 unaff_retaddr;" (type_identifier "undefined4") (identifier "unaff_retaddr") (; ";")) (expression_statement "entry(param_2,0x1c4f6);" (call_expression "entry(param_2,0x1c4f6)" (identifier "entry") (argument_list "(param_2,0x1c4f6)" (( "(") (identifier "param_2") (, ",") (number_literal "0x1c4f6") () ")"))) (; ";")) (expression_statement "__gmp_assert_header(unaff_retaddr,param_3);" (call_expression "__gmp_assert_header(unaff_retaddr,param_3)" (identifier "__gmp_assert_header") (argument_list "(unaff_retaddr,param_3)" (( "(") (identifier "unaff_retaddr") (, ",") (identifier "param_3") () ")"))) (; ";")) (expression_statement "__fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);" (call_expression "__fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4)" (identifier "__fprintf_chk") (argument_list "(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4)" (( "(") (pointer_expression "**(undefined4 **)(&DAT_0008185e + unaff_EBX)" (* "*") (pointer_expression "*(undefined4 **)(&DAT_0008185e + unaff_EBX)" (* "*") (cast_expression "(undefined4 **)(&DAT_0008185e + unaff_EBX)" (( "(") (type_descriptor "undefined4 **" (type_identifier "undefined4") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(&DAT_0008185e + unaff_EBX)" (( "(") (binary_expression "&DAT_0008185e + unaff_EBX" (pointer_expression "&DAT_0008185e" (& "&") (identifier "DAT_0008185e")) (+ "+") (identifier "unaff_EBX")) () ")"))))) (, ",") (number_literal "1") (, ",") (binary_expression "unaff_EBX + 0x62b13" (identifier "unaff_EBX") (+ "+") (number_literal "0x62b13")) (, ",") (identifier "param_4") () ")"))) (; ";")) (expression_statement "abort();" (call_expression "abort()" (identifier "abort") (argument_list "()" (( "(") () ")"))) (; ";")) (} "}")))

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

void function_1(char *filename,int linenum,char *expr)

{
  var_1(filename,linenum);
  var_2(*(type_1 *)PTR_stderr_0009dd54,1,"GNU MP assertion failed: %s\n",expr);
                    /* WARNING: Subroutine does not return */
  var_3();
}


(translation_unit (function_definition type: (primitive_type) (ERROR (identifier)) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (number_literal)))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier)))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (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: (pointer_expression argument: (identifier)) right: (identifier)))))) (number_literal) (binary_expression left: (identifier) right: (number_literal)) (identifier)))) (expression_statement (call_expression function: (identifier) arguments: (argument_list))))))

void __regparm2
MASKED(undefined4 param_1,undefined4 param_2,undefined4 param_3,undefined4 param_4)

{
  int unaff_EBX;
  undefined4 unaff_retaddr;
  
  entry(param_2,0x1c4f6);
  __gmp_assert_header(unaff_retaddr,param_3);
  __fprintf_chk(**(undefined4 **)(&DAT_0008185e + unaff_EBX),1,unaff_EBX + 0x62b13,param_4);
                    /* WARNING: Subroutine does not return */
  abort();
}

