
/* WARNING: Switch with 1 destination removed at 0x0001b400 */
/* WARNING: Unknown calling convention */

mp_bitcnt_t __gmpf_get_prec(mpf_srcptr x)

{
  return (x->_mp_prec + 0x7ffffff) * 0x20;
}



/* WARNING: Switch with 1 destination removed at 0x0001b400 */

int __gmpf_get_prec(int *param_1)

{
  return (*param_1 + 0x7ffffff) * 0x20;
}


JMP dword ptr [EBX + 0xfc]
(translation_unit "/* WARNING: Switch with 1 destination removed at 0x0001b400 */\n\nint __gmpf_get_prec(int *param_1)\n\n{\n  return (*param_1 + 0x7ffffff) * 0x20;\n}\n\n" comment (function_definition "int __gmpf_get_prec(int *param_1)\n\n{\n  return (*param_1 + 0x7ffffff) * 0x20;\n}" primitive_type (function_declarator "__gmpf_get_prec(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  return (*param_1 + 0x7ffffff) * 0x20;\n}" { (return_statement "return (*param_1 + 0x7ffffff) * 0x20;" return (binary_expression "(*param_1 + 0x7ffffff) * 0x20" (parenthesized_expression "(*param_1 + 0x7ffffff)" ( (binary_expression "*param_1 + 0x7ffffff" (pointer_expression "*param_1" * identifier) + number_literal) )) * number_literal) ;) })))
(translation_unit "/* WARNING: Switch with 1 destination removed at 0x0001b400 */\n/* WARNING: Unknown calling convention */\n\nmp_bitcnt_t __gmpf_get_prec(mpf_srcptr x)\n\n{\n  return (x->_mp_prec + 0x7ffffff) * 0x20;\n}\n\n" comment comment (function_definition "mp_bitcnt_t __gmpf_get_prec(mpf_srcptr x)\n\n{\n  return (x->_mp_prec + 0x7ffffff) * 0x20;\n}" type_identifier (function_declarator "__gmpf_get_prec(mpf_srcptr x)" identifier (parameter_list "(mpf_srcptr x)" ( (parameter_declaration "mpf_srcptr x" type_identifier identifier) ))) (compound_statement "{\n  return (x->_mp_prec + 0x7ffffff) * 0x20;\n}" { (return_statement "return (x->_mp_prec + 0x7ffffff) * 0x20;" return (binary_expression "(x->_mp_prec + 0x7ffffff) * 0x20" (parenthesized_expression "(x->_mp_prec + 0x7ffffff)" ( (binary_expression "x->_mp_prec + 0x7ffffff" (field_expression "x->_mp_prec" identifier -> field_identifier) + number_literal) )) * number_literal) ;) })))
(translation_unit "int __gmpf_get_prec(int *param_1)\n\n{\n  return (*param_1 + 0x7ffffff) * 0x20;\n}\n\n" (function_definition "int __gmpf_get_prec(int *param_1)\n\n{\n  return (*param_1 + 0x7ffffff) * 0x20;\n}" primitive_type (function_declarator "__gmpf_get_prec(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  return (*param_1 + 0x7ffffff) * 0x20;\n}" { (return_statement "return (*param_1 + 0x7ffffff) * 0x20;" return (binary_expression "(*param_1 + 0x7ffffff) * 0x20" (parenthesized_expression "(*param_1 + 0x7ffffff)" ( (binary_expression "*param_1 + 0x7ffffff" (pointer_expression "*param_1" * identifier) + number_literal) )) * number_literal) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (return_statement return (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + LIT) )) * LIT) ;) })))
(function_definition "int __gmpf_get_prec(int *param_1)\n\n{\n  return (*param_1 + 0x7ffffff) * 0x20;\n}" (primitive_type "int") (function_declarator "__gmpf_get_prec(int *param_1)" (identifier "__gmpf_get_prec") (parameter_list "(int *param_1)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  return (*param_1 + 0x7ffffff) * 0x20;\n}" ({ "{") (return_statement "return (*param_1 + 0x7ffffff) * 0x20;" (return "return") (binary_expression "(*param_1 + 0x7ffffff) * 0x20" (parenthesized_expression "(*param_1 + 0x7ffffff)" (( "(") (binary_expression "*param_1 + 0x7ffffff" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (+ "+") (number_literal "0x7ffffff")) () ")")) (* "*") (number_literal "0x20")) (; ";")) (} "}")))

/* WARNING: Switch with 1 destination removed at 0x0001b400 */
/* WARNING: Unknown calling convention */

type_1 function_1(type_2 x)

{
  return (x->_mp_prec + 0x7ffffff) * 0x20;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (return_statement (binary_expression left: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) right: (number_literal))))))

/* WARNING: Switch with 1 destination removed at 0x0001b400 */

int MASKED(int *param_1)

{
  return (*param_1 + 0x7ffffff) * 0x20;
}

