
/* WARNING: Unknown calling convention */
/* WARNING: Enum "gmp_randalg_t": Some values do not have unique names */

void __gmp_randinit_set(gmp_randstate_ptr dst,gmp_randstate_srcptr src)

{
                    /* WARNING: Could not recover jumptable at 0x0007dcc7. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (**(code **)((int)(src->_mp_algdata)._mp_lc + 0xc))();
  return;
}



void __gmp_randinit_set(undefined4 param_1,int param_2)

{
                    /* WARNING: Could not recover jumptable at 0x0007dcc7. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (**(code **)(*(int *)(param_2 + 0x10) + 0xc))();
  return;
}


MOV EAX,dword ptr [ESP + 0x8]
MOV EAX,dword ptr [EAX + 0x10]
JMP dword ptr [EAX + 0xc]
(translation_unit "void __gmp_randinit_set(undefined4 param_1,int param_2)\n\n{\n                    /* WARNING: Could not recover jumptable at 0x0007dcc7. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (**(code **)(*(int *)(param_2 + 0x10) + 0xc))();\n  return;\n}\n\n" (function_definition "void __gmp_randinit_set(undefined4 param_1,int param_2)\n\n{\n                    /* WARNING: Could not recover jumptable at 0x0007dcc7. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (**(code **)(*(int *)(param_2 + 0x10) + 0xc))();\n  return;\n}" primitive_type (function_declarator "__gmp_randinit_set(undefined4 param_1,int param_2)" identifier (parameter_list "(undefined4 param_1,int param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n                    /* WARNING: Could not recover jumptable at 0x0007dcc7. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (**(code **)(*(int *)(param_2 + 0x10) + 0xc))();\n  return;\n}" { comment comment (expression_statement "(**(code **)(*(int *)(param_2 + 0x10) + 0xc))();" (call_expression "(**(code **)(*(int *)(param_2 + 0x10) + 0xc))()" (parenthesized_expression "(**(code **)(*(int *)(param_2 + 0x10) + 0xc))" ( (pointer_expression "**(code **)(*(int *)(param_2 + 0x10) + 0xc)" * (pointer_expression "*(code **)(*(int *)(param_2 + 0x10) + 0xc)" * (cast_expression "(code **)(*(int *)(param_2 + 0x10) + 0xc)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0xc)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0xc" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n/* WARNING: Enum "gmp_randalg_t": Some values do not have unique names */\n\nvoid __gmp_randinit_set(gmp_randstate_ptr dst,gmp_randstate_srcptr src)\n\n{\n                    /* WARNING: Could not recover jumptable at 0x0007dcc7. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (**(code **)((int)(src->_mp_algdata)._mp_lc + 0xc))();\n  return;\n}\n\n" comment comment (function_definition "void __gmp_randinit_set(gmp_randstate_ptr dst,gmp_randstate_srcptr src)\n\n{\n                    /* WARNING: Could not recover jumptable at 0x0007dcc7. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (**(code **)((int)(src->_mp_algdata)._mp_lc + 0xc))();\n  return;\n}" primitive_type (function_declarator "__gmp_randinit_set(gmp_randstate_ptr dst,gmp_randstate_srcptr src)" identifier (parameter_list "(gmp_randstate_ptr dst,gmp_randstate_srcptr src)" ( (parameter_declaration "gmp_randstate_ptr dst" type_identifier identifier) , (parameter_declaration "gmp_randstate_srcptr src" type_identifier identifier) ))) (compound_statement "{\n                    /* WARNING: Could not recover jumptable at 0x0007dcc7. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (**(code **)((int)(src->_mp_algdata)._mp_lc + 0xc))();\n  return;\n}" { comment comment (expression_statement "(**(code **)((int)(src->_mp_algdata)._mp_lc + 0xc))();" (call_expression "(**(code **)((int)(src->_mp_algdata)._mp_lc + 0xc))()" (parenthesized_expression "(**(code **)((int)(src->_mp_algdata)._mp_lc + 0xc))" ( (pointer_expression "**(code **)((int)(src->_mp_algdata)._mp_lc + 0xc)" * (pointer_expression "*(code **)((int)(src->_mp_algdata)._mp_lc + 0xc)" * (cast_expression "(code **)((int)(src->_mp_algdata)._mp_lc + 0xc)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "((int)(src->_mp_algdata)._mp_lc + 0xc)" ( (binary_expression "(int)(src->_mp_algdata)._mp_lc + 0xc" (cast_expression "(int)(src->_mp_algdata)._mp_lc" ( (type_descriptor "int" primitive_type) ) (field_expression "(src->_mp_algdata)._mp_lc" (parenthesized_expression "(src->_mp_algdata)" ( (field_expression "src->_mp_algdata" identifier -> field_identifier) )) . field_identifier)) + number_literal) ))))) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmp_randinit_set(undefined4 param_1,int param_2)\n\n{\n                    \n                    \n  (**(code **)(*(int *)(param_2 + 0x10) + 0xc))();\n  return;\n}\n\n" (function_definition "void __gmp_randinit_set(undefined4 param_1,int param_2)\n\n{\n                    \n                    \n  (**(code **)(*(int *)(param_2 + 0x10) + 0xc))();\n  return;\n}" primitive_type (function_declarator "__gmp_randinit_set(undefined4 param_1,int param_2)" identifier (parameter_list "(undefined4 param_1,int param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n                    \n                    \n  (**(code **)(*(int *)(param_2 + 0x10) + 0xc))();\n  return;\n}" { (expression_statement "(**(code **)(*(int *)(param_2 + 0x10) + 0xc))();" (call_expression "(**(code **)(*(int *)(param_2 + 0x10) + 0xc))()" (parenthesized_expression "(**(code **)(*(int *)(param_2 + 0x10) + 0xc))" ( (pointer_expression "**(code **)(*(int *)(param_2 + 0x10) + 0xc)" * (pointer_expression "*(code **)(*(int *)(param_2 + 0x10) + 0xc)" * (cast_expression "(code **)(*(int *)(param_2 + 0x10) + 0xc)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0xc)" ( (binary_expression "*(int *)(param_2 + 0x10) + 0xc" (pointer_expression "*(int *)(param_2 + 0x10)" * (cast_expression "(int *)(param_2 + 0x10)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x10)" ( (binary_expression "param_2 + 0x10" identifier + number_literal) )))) + number_literal) ))))) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) ))))) )) (argument_list ( ))) ;) (return_statement return ;) })))
(function_definition "void __gmp_randinit_set(undefined4 param_1,int param_2)\n\n{\n                    \n                    \n  (**(code **)(*(int *)(param_2 + 0x10) + 0xc))();\n  return;\n}" (primitive_type "void") (function_declarator "__gmp_randinit_set(undefined4 param_1,int param_2)" (identifier "__gmp_randinit_set") (parameter_list "(undefined4 param_1,int param_2)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) () ")"))) (compound_statement "{\n                    \n                    \n  (**(code **)(*(int *)(param_2 + 0x10) + 0xc))();\n  return;\n}" ({ "{") (expression_statement "(**(code **)(*(int *)(param_2 + 0x10) + 0xc))();" (call_expression "(**(code **)(*(int *)(param_2 + 0x10) + 0xc))()" (parenthesized_expression "(**(code **)(*(int *)(param_2 + 0x10) + 0xc))" (( "(") (pointer_expression "**(code **)(*(int *)(param_2 + 0x10) + 0xc)" (* "*") (pointer_expression "*(code **)(*(int *)(param_2 + 0x10) + 0xc)" (* "*") (cast_expression "(code **)(*(int *)(param_2 + 0x10) + 0xc)" (( "(") (type_descriptor "code **" (type_identifier "code") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(*(int *)(param_2 + 0x10) + 0xc)" (( "(") (binary_expression "*(int *)(param_2 + 0x10) + 0xc" (pointer_expression "*(int *)(param_2 + 0x10)" (* "*") (cast_expression "(int *)(param_2 + 0x10)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x10)" (( "(") (binary_expression "param_2 + 0x10" (identifier "param_2") (+ "+") (number_literal "0x10")) () ")")))) (+ "+") (number_literal "0xc")) () ")"))))) () ")")) (argument_list "()" (( "(") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Unknown calling convention */
/* WARNING: Enum "gmp_randalg_t": Some values do not have unique names */

void function_1(type_1 dst,type_2 src)

{
                    /* WARNING: Could not recover jumptable at 0x0007dcc7. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (**(type_3 **)((int)(src->_mp_algdata)._mp_lc + 0xc))();
  return;
}


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

void MASKED(undefined4 param_1,int param_2)

{
                    /* WARNING: Could not recover jumptable at 0x0007dcc7. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (**(code **)(*(int *)(param_2 + 0x10) + 0xc))();
  return;
}

