
void FUN_0014f62b(void)

{
  void *unaff_RBX;
  locale *unaff_R13;
  
  free(*(void **)((long)unaff_RBX + 8));
  std::locale::~locale(unaff_R13);
  operator_delete(unaff_RBX);
  __scoped_lock::~__scoped_lock((__scoped_lock *)&stack0x00000000);
                    /* WARNING: Subroutine does not return */
  _Unwind_Resume();
}



void FUN_0014f62b(void)

{
  long unaff_RBX;
  
  free(*(void **)(unaff_RBX + 8));
  FUN_002dd1a0();
  FUN_002dac60();
  FUN_002dc9f0(&stack0x00000000);
                    /* WARNING: Subroutine does not return */
  FUN_003688d0();
}


MOV RDI,qword ptr [RBX + 0x8]
CALL 0x00147470
MOV RDI,R13
CALL 0x002dd1a0
MOV RDI,RBX
MOV RBX,RBP
CALL 0x002dac60
JMP 0x0014f651
(translation_unit "void FUN_0014f62b(void)\n\n{\n  long unaff_RBX;\n  \n  free(*(void **)(unaff_RBX + 8));\n  FUN_002dd1a0();\n  FUN_002dac60();\n  FUN_002dc9f0(&stack0x00000000);\n                    /* WARNING: Subroutine does not return */\n  FUN_003688d0();\n}\n\n" (function_definition "void FUN_0014f62b(void)\n\n{\n  long unaff_RBX;\n  \n  free(*(void **)(unaff_RBX + 8));\n  FUN_002dd1a0();\n  FUN_002dac60();\n  FUN_002dc9f0(&stack0x00000000);\n                    /* WARNING: Subroutine does not return */\n  FUN_003688d0();\n}" primitive_type (function_declarator "FUN_0014f62b(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  long unaff_RBX;\n  \n  free(*(void **)(unaff_RBX + 8));\n  FUN_002dd1a0();\n  FUN_002dac60();\n  FUN_002dc9f0(&stack0x00000000);\n                    /* WARNING: Subroutine does not return */\n  FUN_003688d0();\n}" { (declaration "long unaff_RBX;" (sized_type_specifier "long" long) identifier ;) (expression_statement "free(*(void **)(unaff_RBX + 8));" (call_expression "free(*(void **)(unaff_RBX + 8))" identifier (argument_list "(*(void **)(unaff_RBX + 8))" ( (pointer_expression "*(void **)(unaff_RBX + 8)" * (cast_expression "(void **)(unaff_RBX + 8)" ( (type_descriptor "void **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(unaff_RBX + 8)" ( (binary_expression "unaff_RBX + 8" identifier + number_literal) )))) ))) ;) (expression_statement "FUN_002dd1a0();" (call_expression "FUN_002dd1a0()" identifier (argument_list "()" ( ))) ;) (expression_statement "FUN_002dac60();" (call_expression "FUN_002dac60()" identifier (argument_list "()" ( ))) ;) (expression_statement "FUN_002dc9f0(&stack0x00000000);" (call_expression "FUN_002dc9f0(&stack0x00000000)" identifier (argument_list "(&stack0x00000000)" ( (pointer_expression "&stack0x00000000" & identifier) ))) ;) comment (expression_statement "FUN_003688d0();" (call_expression "FUN_003688d0()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit "void FUN_0014f62b(void)\n\n{\n  void *unaff_RBX;\n  locale *unaff_R13;\n  \n  free(*(void **)((long)unaff_RBX + 8));\n  std::locale::~locale(unaff_R13);\n  operator_delete(unaff_RBX);\n  __scoped_lock::~__scoped_lock((__scoped_lock *)&stack0x00000000);\n                    /* WARNING: Subroutine does not return */\n  _Unwind_Resume();\n}\n\n" (function_definition "void FUN_0014f62b(void)\n\n{\n  void *unaff_RBX;\n  locale *unaff_R13;\n  \n  free(*(void **)((long)unaff_RBX + 8));\n  std::locale::~locale(unaff_R13);\n  operator_delete(unaff_RBX);\n  __scoped_lock::~__scoped_lock((__scoped_lock *)&stack0x00000000);\n                    /* WARNING: Subroutine does not return */\n  _Unwind_Resume();\n}" primitive_type (function_declarator "FUN_0014f62b(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  void *unaff_RBX;\n  locale *unaff_R13;\n  \n  free(*(void **)((long)unaff_RBX + 8));\n  std::locale::~locale(unaff_R13);\n  operator_delete(unaff_RBX);\n  __scoped_lock::~__scoped_lock((__scoped_lock *)&stack0x00000000);\n                    /* WARNING: Subroutine does not return */\n  _Unwind_Resume();\n}" { (declaration "void *unaff_RBX;" primitive_type (pointer_declarator "*unaff_RBX" * identifier) ;) (declaration "locale *unaff_R13;" type_identifier (pointer_declarator "*unaff_R13" * identifier) ;) (expression_statement "free(*(void **)((long)unaff_RBX + 8));" (call_expression "free(*(void **)((long)unaff_RBX + 8))" identifier (argument_list "(*(void **)((long)unaff_RBX + 8))" ( (pointer_expression "*(void **)((long)unaff_RBX + 8)" * (cast_expression "(void **)((long)unaff_RBX + 8)" ( (type_descriptor "void **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "((long)unaff_RBX + 8)" ( (binary_expression "(long)unaff_RBX + 8" (cast_expression "(long)unaff_RBX" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) + number_literal) )))) ))) ;) (labeled_statement "std::locale::~locale(unaff_R13);" statement_identifier : (ERROR ":" :) (labeled_statement "locale::~locale(unaff_R13);" statement_identifier : (ERROR ":" :) (expression_statement "~locale(unaff_R13);" (unary_expression "~locale(unaff_R13)" ~ (call_expression "locale(unaff_R13)" identifier (argument_list "(unaff_R13)" ( identifier )))) ;))) (expression_statement "operator_delete(unaff_RBX);" (call_expression "operator_delete(unaff_RBX)" identifier (argument_list "(unaff_RBX)" ( identifier ))) ;) (labeled_statement "__scoped_lock::~__scoped_lock((__scoped_lock *)&stack0x00000000);" statement_identifier : (ERROR ":" :) (expression_statement "~__scoped_lock((__scoped_lock *)&stack0x00000000);" (unary_expression "~__scoped_lock((__scoped_lock *)&stack0x00000000)" ~ (call_expression "__scoped_lock((__scoped_lock *)&stack0x00000000)" identifier (argument_list "((__scoped_lock *)&stack0x00000000)" ( (cast_expression "(__scoped_lock *)&stack0x00000000" ( (type_descriptor "__scoped_lock *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&stack0x00000000" & identifier)) )))) ;)) comment (expression_statement "_Unwind_Resume();" (call_expression "_Unwind_Resume()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit "void FUN_0014f62b(void)\n\n{\n  long unaff_RBX;\n  \n  free(*(void **)(unaff_RBX + 8));\n  FUN_002dd1a0();\n  FUN_002dac60();\n  FUN_002dc9f0(&stack0x00000000);\n                    \n  FUN_003688d0();\n}\n\n" (function_definition "void FUN_0014f62b(void)\n\n{\n  long unaff_RBX;\n  \n  free(*(void **)(unaff_RBX + 8));\n  FUN_002dd1a0();\n  FUN_002dac60();\n  FUN_002dc9f0(&stack0x00000000);\n                    \n  FUN_003688d0();\n}" primitive_type (function_declarator "FUN_0014f62b(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  long unaff_RBX;\n  \n  free(*(void **)(unaff_RBX + 8));\n  FUN_002dd1a0();\n  FUN_002dac60();\n  FUN_002dc9f0(&stack0x00000000);\n                    \n  FUN_003688d0();\n}" { (declaration "long unaff_RBX;" (sized_type_specifier "long" long) identifier ;) (expression_statement "free(*(void **)(unaff_RBX + 8));" (call_expression "free(*(void **)(unaff_RBX + 8))" identifier (argument_list "(*(void **)(unaff_RBX + 8))" ( (pointer_expression "*(void **)(unaff_RBX + 8)" * (cast_expression "(void **)(unaff_RBX + 8)" ( (type_descriptor "void **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(unaff_RBX + 8)" ( (binary_expression "unaff_RBX + 8" identifier + number_literal) )))) ))) ;) (expression_statement "FUN_002dd1a0();" (call_expression "FUN_002dd1a0()" identifier (argument_list "()" ( ))) ;) (expression_statement "FUN_002dac60();" (call_expression "FUN_002dac60()" identifier (argument_list "()" ( ))) ;) (expression_statement "FUN_002dc9f0(&stack0x00000000);" (call_expression "FUN_002dc9f0(&stack0x00000000)" identifier (argument_list "(&stack0x00000000)" ( (pointer_expression "&stack0x00000000" & identifier) ))) ;) (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 * (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 ( (pointer_expression & IDENT) ))) ;) (expression_statement (call_expression IDENT (argument_list ( ))) ;) })))
(function_definition "void FUN_0014f62b(void)\n\n{\n  long unaff_RBX;\n  \n  free(*(void **)(unaff_RBX + 8));\n  FUN_002dd1a0();\n  FUN_002dac60();\n  FUN_002dc9f0(&stack0x00000000);\n                    \n  FUN_003688d0();\n}" (primitive_type "void") (function_declarator "FUN_0014f62b(void)" (identifier "FUN_0014f62b") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  long unaff_RBX;\n  \n  free(*(void **)(unaff_RBX + 8));\n  FUN_002dd1a0();\n  FUN_002dac60();\n  FUN_002dc9f0(&stack0x00000000);\n                    \n  FUN_003688d0();\n}" ({ "{") (declaration "long unaff_RBX;" (sized_type_specifier "long" (long "long")) (identifier "unaff_RBX") (; ";")) (expression_statement "free(*(void **)(unaff_RBX + 8));" (call_expression "free(*(void **)(unaff_RBX + 8))" (identifier "free") (argument_list "(*(void **)(unaff_RBX + 8))" (( "(") (pointer_expression "*(void **)(unaff_RBX + 8)" (* "*") (cast_expression "(void **)(unaff_RBX + 8)" (( "(") (type_descriptor "void **" (primitive_type "void") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(unaff_RBX + 8)" (( "(") (binary_expression "unaff_RBX + 8" (identifier "unaff_RBX") (+ "+") (number_literal "8")) () ")")))) () ")"))) (; ";")) (expression_statement "FUN_002dd1a0();" (call_expression "FUN_002dd1a0()" (identifier "FUN_002dd1a0") (argument_list "()" (( "(") () ")"))) (; ";")) (expression_statement "FUN_002dac60();" (call_expression "FUN_002dac60()" (identifier "FUN_002dac60") (argument_list "()" (( "(") () ")"))) (; ";")) (expression_statement "FUN_002dc9f0(&stack0x00000000);" (call_expression "FUN_002dc9f0(&stack0x00000000)" (identifier "FUN_002dc9f0") (argument_list "(&stack0x00000000)" (( "(") (pointer_expression "&stack0x00000000" (& "&") (identifier "stack0x00000000")) () ")"))) (; ";")) (expression_statement "FUN_003688d0();" (call_expression "FUN_003688d0()" (identifier "FUN_003688d0") (argument_list "()" (( "(") () ")"))) (; ";")) (} "}")))

void function_1(void)

{
  void *unaff_RBX;
  type_1 *unaff_R13;
  
  var_1(*(void **)((long)unaff_RBX + 8));
  std::locale::~type_1(unaff_R13);
  var_2(unaff_RBX);
  __scoped_lock::~var_3((var_3 *)&stack0x00000000);
                    /* WARNING: Subroutine does not return */
  var_4();
}


(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: (primitive_type) declarator: (abstract_pointer_declarator 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 (pointer_expression argument: (identifier))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list))))))

void MASKED(void)

{
  long unaff_RBX;
  
  free(*(void **)(unaff_RBX + 8));
  FUN_002dd1a0();
  FUN_002dac60();
  FUN_002dc9f0(&stack0x00000000);
                    /* WARNING: Subroutine does not return */
  FUN_003688d0();
}

