
void FUN_0014f146(void)

{
  moneypunct<char,false> *unaff_RBX;
  
  std::locale::facet::_M_remove_reference(*(facet **)(unaff_RBX + 0x18));
  std::moneypunct<char,false>::~moneypunct(unaff_RBX);
  operator_delete(unaff_RBX);
                    /* WARNING: Subroutine does not return */
  _Unwind_Resume();
}



void FUN_0014f146(void)

{
  long unaff_RBX;
  
  FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));
  FUN_00320790();
  FUN_002dac60();
                    /* WARNING: Subroutine does not return */
  FUN_003688d0();
}


MOV RDI,qword ptr [RBX + 0x18]
CALL 0x00311a20
MOV RDI,RBX
CALL 0x00320790
JMP 0x0014f062
(translation_unit "void FUN_0014f146(void)\n\n{\n  long unaff_RBX;\n  \n  FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));\n  FUN_00320790();\n  FUN_002dac60();\n                    /* WARNING: Subroutine does not return */\n  FUN_003688d0();\n}\n\n" (function_definition "void FUN_0014f146(void)\n\n{\n  long unaff_RBX;\n  \n  FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));\n  FUN_00320790();\n  FUN_002dac60();\n                    /* WARNING: Subroutine does not return */\n  FUN_003688d0();\n}" primitive_type (function_declarator "FUN_0014f146(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  long unaff_RBX;\n  \n  FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));\n  FUN_00320790();\n  FUN_002dac60();\n                    /* WARNING: Subroutine does not return */\n  FUN_003688d0();\n}" { (declaration "long unaff_RBX;" (sized_type_specifier "long" long) identifier ;) (expression_statement "FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));" (call_expression "FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18))" identifier (argument_list "(*(undefined8 *)(unaff_RBX + 0x18))" ( (pointer_expression "*(undefined8 *)(unaff_RBX + 0x18)" * (cast_expression "(undefined8 *)(unaff_RBX + 0x18)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_RBX + 0x18)" ( (binary_expression "unaff_RBX + 0x18" identifier + number_literal) )))) ))) ;) (expression_statement "FUN_00320790();" (call_expression "FUN_00320790()" identifier (argument_list "()" ( ))) ;) (expression_statement "FUN_002dac60();" (call_expression "FUN_002dac60()" identifier (argument_list "()" ( ))) ;) comment (expression_statement "FUN_003688d0();" (call_expression "FUN_003688d0()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit "void FUN_0014f146(void)\n\n{\n  moneypunct<char,false> *unaff_RBX;\n  \n  std::locale::facet::_M_remove_reference(*(facet **)(unaff_RBX + 0x18));\n  std::moneypunct<char,false>::~moneypunct(unaff_RBX);\n  operator_delete(unaff_RBX);\n                    /* WARNING: Subroutine does not return */\n  _Unwind_Resume();\n}\n\n" (function_definition "void FUN_0014f146(void)\n\n{\n  moneypunct<char,false> *unaff_RBX;\n  \n  std::locale::facet::_M_remove_reference(*(facet **)(unaff_RBX + 0x18));\n  std::moneypunct<char,false>::~moneypunct(unaff_RBX);\n  operator_delete(unaff_RBX);\n                    /* WARNING: Subroutine does not return */\n  _Unwind_Resume();\n}" primitive_type (function_declarator "FUN_0014f146(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  moneypunct<char,false> *unaff_RBX;\n  \n  std::locale::facet::_M_remove_reference(*(facet **)(unaff_RBX + 0x18));\n  std::moneypunct<char,false>::~moneypunct(unaff_RBX);\n  operator_delete(unaff_RBX);\n                    /* WARNING: Subroutine does not return */\n  _Unwind_Resume();\n}" { (expression_statement "moneypunct<char,false> *unaff_RBX;" (comma_expression "moneypunct<char,false> *unaff_RBX" (binary_expression "moneypunct<char" identifier < identifier) , (binary_expression "false> *unaff_RBX" false > (pointer_expression "*unaff_RBX" * identifier))) ;) (labeled_statement "std::locale::facet::_M_remove_reference(*(facet **)(unaff_RBX + 0x18));" statement_identifier : (ERROR ":" :) (labeled_statement "locale::facet::_M_remove_reference(*(facet **)(unaff_RBX + 0x18));" statement_identifier : (ERROR ":" :) (labeled_statement "facet::_M_remove_reference(*(facet **)(unaff_RBX + 0x18));" statement_identifier : (ERROR ":" :) (expression_statement "_M_remove_reference(*(facet **)(unaff_RBX + 0x18));" (call_expression "_M_remove_reference(*(facet **)(unaff_RBX + 0x18))" identifier (argument_list "(*(facet **)(unaff_RBX + 0x18))" ( (pointer_expression "*(facet **)(unaff_RBX + 0x18)" * (cast_expression "(facet **)(unaff_RBX + 0x18)" ( (type_descriptor "facet **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(unaff_RBX + 0x18)" ( (binary_expression "unaff_RBX + 0x18" identifier + number_literal) )))) ))) ;)))) (labeled_statement "std::moneypunct<char,false>::~moneypunct(unaff_RBX);" statement_identifier : (ERROR ":" :) (expression_statement "moneypunct<char,false>::~moneypunct(unaff_RBX);" (comma_expression "moneypunct<char,false>::~moneypunct(unaff_RBX)" (binary_expression "moneypunct<char" identifier < identifier) , (binary_expression "false>::~moneypunct(unaff_RBX)" false > (ERROR "::" : :) (unary_expression "~moneypunct(unaff_RBX)" ~ (call_expression "moneypunct(unaff_RBX)" identifier (argument_list "(unaff_RBX)" ( identifier )))))) ;)) (expression_statement "operator_delete(unaff_RBX);" (call_expression "operator_delete(unaff_RBX)" identifier (argument_list "(unaff_RBX)" ( identifier ))) ;) comment (expression_statement "_Unwind_Resume();" (call_expression "_Unwind_Resume()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit "void FUN_0014f146(void)\n\n{\n  long unaff_RBX;\n  \n  FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));\n  FUN_00320790();\n  FUN_002dac60();\n                    \n  FUN_003688d0();\n}\n\n" (function_definition "void FUN_0014f146(void)\n\n{\n  long unaff_RBX;\n  \n  FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));\n  FUN_00320790();\n  FUN_002dac60();\n                    \n  FUN_003688d0();\n}" primitive_type (function_declarator "FUN_0014f146(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  long unaff_RBX;\n  \n  FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));\n  FUN_00320790();\n  FUN_002dac60();\n                    \n  FUN_003688d0();\n}" { (declaration "long unaff_RBX;" (sized_type_specifier "long" long) identifier ;) (expression_statement "FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));" (call_expression "FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18))" identifier (argument_list "(*(undefined8 *)(unaff_RBX + 0x18))" ( (pointer_expression "*(undefined8 *)(unaff_RBX + 0x18)" * (cast_expression "(undefined8 *)(unaff_RBX + 0x18)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_RBX + 0x18)" ( (binary_expression "unaff_RBX + 0x18" identifier + number_literal) )))) ))) ;) (expression_statement "FUN_00320790();" (call_expression "FUN_00320790()" identifier (argument_list "()" ( ))) ;) (expression_statement "FUN_002dac60();" (call_expression "FUN_002dac60()" identifier (argument_list "()" ( ))) ;) (expression_statement "FUN_003688d0();" (call_expression "FUN_003688d0()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (declaration (sized_type_specifier long) IDENT ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) (expression_statement (call_expression IDENT (argument_list ( ))) ;) (expression_statement (call_expression IDENT (argument_list ( ))) ;) (expression_statement (call_expression IDENT (argument_list ( ))) ;) })))
(function_definition "void FUN_0014f146(void)\n\n{\n  long unaff_RBX;\n  \n  FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));\n  FUN_00320790();\n  FUN_002dac60();\n                    \n  FUN_003688d0();\n}" (primitive_type "void") (function_declarator "FUN_0014f146(void)" (identifier "FUN_0014f146") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  long unaff_RBX;\n  \n  FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));\n  FUN_00320790();\n  FUN_002dac60();\n                    \n  FUN_003688d0();\n}" ({ "{") (declaration "long unaff_RBX;" (sized_type_specifier "long" (long "long")) (identifier "unaff_RBX") (; ";")) (expression_statement "FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));" (call_expression "FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18))" (identifier "FUN_00311a20") (argument_list "(*(undefined8 *)(unaff_RBX + 0x18))" (( "(") (pointer_expression "*(undefined8 *)(unaff_RBX + 0x18)" (* "*") (cast_expression "(undefined8 *)(unaff_RBX + 0x18)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(unaff_RBX + 0x18)" (( "(") (binary_expression "unaff_RBX + 0x18" (identifier "unaff_RBX") (+ "+") (number_literal "0x18")) () ")")))) () ")"))) (; ";")) (expression_statement "FUN_00320790();" (call_expression "FUN_00320790()" (identifier "FUN_00320790") (argument_list "()" (( "(") () ")"))) (; ";")) (expression_statement "FUN_002dac60();" (call_expression "FUN_002dac60()" (identifier "FUN_002dac60") (argument_list "()" (( "(") () ")"))) (; ";")) (expression_statement "FUN_003688d0();" (call_expression "FUN_003688d0()" (identifier "FUN_003688d0") (argument_list "()" (( "(") () ")"))) (; ";")) (} "}")))

void function_1(void)

{
  var_1<var_2,false> *var_4;
  
  std::locale::facet::var_3(*(type_1 **)(var_4 + 0x18));
  std::var_1<var_2,false>::~var_1(var_4);
  var_5(var_4);
                    /* WARNING: Subroutine does not return */
  var_6();
}


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

void MASKED(void)

{
  long unaff_RBX;
  
  FUN_00311a20(*(undefined8 *)(unaff_RBX + 0x18));
  FUN_00320790();
  FUN_002dac60();
                    /* WARNING: Subroutine does not return */
  FUN_003688d0();
}

