
/* std::wstring::erase(unsigned long, unsigned long) */

wstring * __thiscall std::wstring::erase(wstring *this,ulong param_1,ulong param_2)

{
  ulong uVar1;
  
  uVar1 = *(ulong *)(*(long *)this + -0x18) - param_1;
  if (uVar1 <= param_2) {
    param_2 = uVar1;
  }
  if (param_1 <= *(ulong *)(*(long *)this + -0x18)) {
    _M_mutate(this,param_1,param_2,0);
    return this;
  }
                    /* WARNING: Subroutine does not return */
  __throw_out_of_range_fmt
            ("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",param_1)
  ;
}



long * FUN_0031def0(long *param_1,ulong param_2,ulong param_3)

{
  ulong uVar1;
  
  uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;
  if (uVar1 <= param_3) {
    param_3 = uVar1;
  }
  if (param_2 <= *(ulong *)(*param_1 + -0x18)) {
    FUN_0031dac0(param_1,param_2,param_3,0);
    return param_1;
  }
                    /* WARNING: Subroutine does not return */
  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",
               param_2);
}


PUSH RBX
MOV RAX,qword ptr [RDI]
MOV RBX,RDI
MOV RCX,qword ptr [RAX + -0x18]
MOV RDI,RCX
SUB RDI,RSI
CMP RDI,RDX
CMOVBE RDX,RDI
CMP RSI,RCX
JA 0x0031df1c
MOV RDI,RBX
XOR ECX,ECX
CALL 0x0031dac0
MOV RAX,RBX
POP RBX
RET
MOV RDX,RSI
LEA RDI,[0x342fd0]
XOR EAX,EAX
LEA RSI,[0x351d14]
CALL 0x002e1330
(translation_unit "long * FUN_0031def0(long *param_1,ulong param_2,ulong param_3)\n\n{\n  ulong uVar1;\n  \n  uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;\n  if (uVar1 <= param_3) {\n    param_3 = uVar1;\n  }\n  if (param_2 <= *(ulong *)(*param_1 + -0x18)) {\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }\n                    /* WARNING: Subroutine does not return */\n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2);\n}\n\n" (function_definition "long * FUN_0031def0(long *param_1,ulong param_2,ulong param_3)\n\n{\n  ulong uVar1;\n  \n  uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;\n  if (uVar1 <= param_3) {\n    param_3 = uVar1;\n  }\n  if (param_2 <= *(ulong *)(*param_1 + -0x18)) {\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }\n                    /* WARNING: Subroutine does not return */\n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2);\n}" (sized_type_specifier "long" long) (pointer_declarator "* FUN_0031def0(long *param_1,ulong param_2,ulong param_3)" * (function_declarator "FUN_0031def0(long *param_1,ulong param_2,ulong param_3)" identifier (parameter_list "(long *param_1,ulong param_2,ulong param_3)" ( (parameter_declaration "long *param_1" (sized_type_specifier "long" long) (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulong param_2" type_identifier identifier) , (parameter_declaration "ulong param_3" type_identifier identifier) )))) (compound_statement "{\n  ulong uVar1;\n  \n  uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;\n  if (uVar1 <= param_3) {\n    param_3 = uVar1;\n  }\n  if (param_2 <= *(ulong *)(*param_1 + -0x18)) {\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }\n                    /* WARNING: Subroutine does not return */\n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2);\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (expression_statement "uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;" (assignment_expression "uVar1 = *(ulong *)(*param_1 + -0x18) - param_2" identifier = (binary_expression "*(ulong *)(*param_1 + -0x18) - param_2" (pointer_expression "*(ulong *)(*param_1 + -0x18)" * (cast_expression "(ulong *)(*param_1 + -0x18)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_1 + -0x18)" ( (binary_expression "*param_1 + -0x18" (pointer_expression "*param_1" * identifier) + number_literal) )))) - identifier)) ;) (if_statement "if (uVar1 <= param_3) {\n    param_3 = uVar1;\n  }" if (parenthesized_expression "(uVar1 <= param_3)" ( (binary_expression "uVar1 <= param_3" identifier <= identifier) )) (compound_statement "{\n    param_3 = uVar1;\n  }" { (expression_statement "param_3 = uVar1;" (assignment_expression "param_3 = uVar1" identifier = identifier) ;) })) (if_statement "if (param_2 <= *(ulong *)(*param_1 + -0x18)) {\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }" if (parenthesized_expression "(param_2 <= *(ulong *)(*param_1 + -0x18))" ( (binary_expression "param_2 <= *(ulong *)(*param_1 + -0x18)" identifier <= (pointer_expression "*(ulong *)(*param_1 + -0x18)" * (cast_expression "(ulong *)(*param_1 + -0x18)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_1 + -0x18)" ( (binary_expression "*param_1 + -0x18" (pointer_expression "*param_1" * identifier) + number_literal) ))))) )) (compound_statement "{\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }" { (expression_statement "FUN_0031dac0(param_1,param_2,param_3,0);" (call_expression "FUN_0031dac0(param_1,param_2,param_3,0)" identifier (argument_list "(param_1,param_2,param_3,0)" ( identifier , identifier , identifier , number_literal ))) ;) (return_statement "return param_1;" return identifier ;) })) comment (expression_statement "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2);" (call_expression "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2)" identifier (argument_list "("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2)" ( (string_literal ""%s: __pos (which is %zu) > this->size() (which is %zu)"" " string_content ") , (string_literal ""basic_string::erase"" " string_content ") , identifier ))) ;) })))
(translation_unit "/* std::wstring::erase(unsigned long, unsigned long) */\n\nwstring * __thiscall std::wstring::erase(wstring *this,ulong param_1,ulong param_2)\n\n{\n  ulong uVar1;\n  \n  uVar1 = *(ulong *)(*(long *)this + -0x18) - param_1;\n  if (uVar1 <= param_2) {\n    param_2 = uVar1;\n  }\n  if (param_1 <= *(ulong *)(*(long *)this + -0x18)) {\n    _M_mutate(this,param_1,param_2,0);\n    return this;\n  }\n                    /* WARNING: Subroutine does not return */\n  __throw_out_of_range_fmt\n            ("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",param_1)\n  ;\n}\n\n" comment (ERROR "wstring * __thiscall std::wstring::erase(wstring *this,ulong param_1,ulong param_2)" (binary_expression "wstring * __thiscall std::wstring::erase(wstring *this" (binary_expression "wstring * __thiscall" identifier * identifier) (ERROR "std::wstring::erase(wstring" identifier : : identifier : : identifier ( identifier) * identifier) , type_identifier identifier , identifier identifier )) (compound_statement "{\n  ulong uVar1;\n  \n  uVar1 = *(ulong *)(*(long *)this + -0x18) - param_1;\n  if (uVar1 <= param_2) {\n    param_2 = uVar1;\n  }\n  if (param_1 <= *(ulong *)(*(long *)this + -0x18)) {\n    _M_mutate(this,param_1,param_2,0);\n    return this;\n  }\n                    /* WARNING: Subroutine does not return */\n  __throw_out_of_range_fmt\n            ("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",param_1)\n  ;\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (expression_statement "uVar1 = *(ulong *)(*(long *)this + -0x18) - param_1;" (assignment_expression "uVar1 = *(ulong *)(*(long *)this + -0x18) - param_1" identifier = (binary_expression "*(ulong *)(*(long *)this + -0x18) - param_1" (pointer_expression "*(ulong *)(*(long *)this + -0x18)" * (cast_expression "(ulong *)(*(long *)this + -0x18)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(long *)this + -0x18)" ( (binary_expression "*(long *)this + -0x18" (pointer_expression "*(long *)this" * (cast_expression "(long *)this" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) identifier)) + number_literal) )))) - identifier)) ;) (if_statement "if (uVar1 <= param_2) {\n    param_2 = uVar1;\n  }" if (parenthesized_expression "(uVar1 <= param_2)" ( (binary_expression "uVar1 <= param_2" identifier <= identifier) )) (compound_statement "{\n    param_2 = uVar1;\n  }" { (expression_statement "param_2 = uVar1;" (assignment_expression "param_2 = uVar1" identifier = identifier) ;) })) (if_statement "if (param_1 <= *(ulong *)(*(long *)this + -0x18)) {\n    _M_mutate(this,param_1,param_2,0);\n    return this;\n  }" if (parenthesized_expression "(param_1 <= *(ulong *)(*(long *)this + -0x18))" ( (binary_expression "param_1 <= *(ulong *)(*(long *)this + -0x18)" identifier <= (pointer_expression "*(ulong *)(*(long *)this + -0x18)" * (cast_expression "(ulong *)(*(long *)this + -0x18)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(long *)this + -0x18)" ( (binary_expression "*(long *)this + -0x18" (pointer_expression "*(long *)this" * (cast_expression "(long *)this" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) identifier)) + number_literal) ))))) )) (compound_statement "{\n    _M_mutate(this,param_1,param_2,0);\n    return this;\n  }" { (expression_statement "_M_mutate(this,param_1,param_2,0);" (call_expression "_M_mutate(this,param_1,param_2,0)" identifier (argument_list "(this,param_1,param_2,0)" ( identifier , identifier , identifier , number_literal ))) ;) (return_statement "return this;" return identifier ;) })) comment (expression_statement "__throw_out_of_range_fmt\n            ("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",param_1)\n  ;" (call_expression "__throw_out_of_range_fmt\n            ("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",param_1)" identifier (argument_list "("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",param_1)" ( (string_literal ""%s: __pos (which is %zu) > this->size() (which is %zu)"" " string_content ") , (string_literal ""basic_string::erase"" " string_content ") , identifier ))) ;) }))
(translation_unit "long * FUN_0031def0(long *param_1,ulong param_2,ulong param_3)\n\n{\n  ulong uVar1;\n  \n  uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;\n  if (uVar1 <= param_3) {\n    param_3 = uVar1;\n  }\n  if (param_2 <= *(ulong *)(*param_1 + -0x18)) {\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }\n                    \n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2);\n}\n\n" (function_definition "long * FUN_0031def0(long *param_1,ulong param_2,ulong param_3)\n\n{\n  ulong uVar1;\n  \n  uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;\n  if (uVar1 <= param_3) {\n    param_3 = uVar1;\n  }\n  if (param_2 <= *(ulong *)(*param_1 + -0x18)) {\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }\n                    \n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2);\n}" (sized_type_specifier "long" long) (pointer_declarator "* FUN_0031def0(long *param_1,ulong param_2,ulong param_3)" * (function_declarator "FUN_0031def0(long *param_1,ulong param_2,ulong param_3)" identifier (parameter_list "(long *param_1,ulong param_2,ulong param_3)" ( (parameter_declaration "long *param_1" (sized_type_specifier "long" long) (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulong param_2" type_identifier identifier) , (parameter_declaration "ulong param_3" type_identifier identifier) )))) (compound_statement "{\n  ulong uVar1;\n  \n  uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;\n  if (uVar1 <= param_3) {\n    param_3 = uVar1;\n  }\n  if (param_2 <= *(ulong *)(*param_1 + -0x18)) {\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }\n                    \n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2);\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (expression_statement "uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;" (assignment_expression "uVar1 = *(ulong *)(*param_1 + -0x18) - param_2" identifier = (binary_expression "*(ulong *)(*param_1 + -0x18) - param_2" (pointer_expression "*(ulong *)(*param_1 + -0x18)" * (cast_expression "(ulong *)(*param_1 + -0x18)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_1 + -0x18)" ( (binary_expression "*param_1 + -0x18" (pointer_expression "*param_1" * identifier) + number_literal) )))) - identifier)) ;) (if_statement "if (uVar1 <= param_3) {\n    param_3 = uVar1;\n  }" if (parenthesized_expression "(uVar1 <= param_3)" ( (binary_expression "uVar1 <= param_3" identifier <= identifier) )) (compound_statement "{\n    param_3 = uVar1;\n  }" { (expression_statement "param_3 = uVar1;" (assignment_expression "param_3 = uVar1" identifier = identifier) ;) })) (if_statement "if (param_2 <= *(ulong *)(*param_1 + -0x18)) {\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }" if (parenthesized_expression "(param_2 <= *(ulong *)(*param_1 + -0x18))" ( (binary_expression "param_2 <= *(ulong *)(*param_1 + -0x18)" identifier <= (pointer_expression "*(ulong *)(*param_1 + -0x18)" * (cast_expression "(ulong *)(*param_1 + -0x18)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_1 + -0x18)" ( (binary_expression "*param_1 + -0x18" (pointer_expression "*param_1" * identifier) + number_literal) ))))) )) (compound_statement "{\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }" { (expression_statement "FUN_0031dac0(param_1,param_2,param_3,0);" (call_expression "FUN_0031dac0(param_1,param_2,param_3,0)" identifier (argument_list "(param_1,param_2,param_3,0)" ( identifier , identifier , identifier , number_literal ))) ;) (return_statement "return param_1;" return identifier ;) })) (expression_statement "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2);" (call_expression "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2)" identifier (argument_list "("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2)" ( (string_literal ""%s: __pos (which is %zu) > this->size() (which is %zu)"" " string_content ") , (string_literal ""basic_string::erase"" " string_content ") , identifier ))) ;) })))
(translation_unit (function_definition (sized_type_specifier long) (pointer_declarator * (function_declarator IDENT (parameter_list ( (parameter_declaration (sized_type_specifier long) (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) )))) (compound_statement { (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + LIT) )))) - IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + LIT) ))))) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT , LIT ))) ;) (return_statement return IDENT ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , IDENT ))) ;) })))
(function_definition "long * FUN_0031def0(long *param_1,ulong param_2,ulong param_3)\n\n{\n  ulong uVar1;\n  \n  uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;\n  if (uVar1 <= param_3) {\n    param_3 = uVar1;\n  }\n  if (param_2 <= *(ulong *)(*param_1 + -0x18)) {\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }\n                    \n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2);\n}" (sized_type_specifier "long" (long "long")) (pointer_declarator "* FUN_0031def0(long *param_1,ulong param_2,ulong param_3)" (* "*") (function_declarator "FUN_0031def0(long *param_1,ulong param_2,ulong param_3)" (identifier "FUN_0031def0") (parameter_list "(long *param_1,ulong param_2,ulong param_3)" (( "(") (parameter_declaration "long *param_1" (sized_type_specifier "long" (long "long")) (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "ulong param_2" (type_identifier "ulong") (identifier "param_2")) (, ",") (parameter_declaration "ulong param_3" (type_identifier "ulong") (identifier "param_3")) () ")")))) (compound_statement "{\n  ulong uVar1;\n  \n  uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;\n  if (uVar1 <= param_3) {\n    param_3 = uVar1;\n  }\n  if (param_2 <= *(ulong *)(*param_1 + -0x18)) {\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }\n                    \n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2);\n}" ({ "{") (declaration "ulong uVar1;" (type_identifier "ulong") (identifier "uVar1") (; ";")) (expression_statement "uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;" (assignment_expression "uVar1 = *(ulong *)(*param_1 + -0x18) - param_2" (identifier "uVar1") (= "=") (binary_expression "*(ulong *)(*param_1 + -0x18) - param_2" (pointer_expression "*(ulong *)(*param_1 + -0x18)" (* "*") (cast_expression "(ulong *)(*param_1 + -0x18)" (( "(") (type_descriptor "ulong *" (type_identifier "ulong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*param_1 + -0x18)" (( "(") (binary_expression "*param_1 + -0x18" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (+ "+") (number_literal "-0x18")) () ")")))) (- "-") (identifier "param_2"))) (; ";")) (if_statement "if (uVar1 <= param_3) {\n    param_3 = uVar1;\n  }" (if "if") (parenthesized_expression "(uVar1 <= param_3)" (( "(") (binary_expression "uVar1 <= param_3" (identifier "uVar1") (<= "<=") (identifier "param_3")) () ")")) (compound_statement "{\n    param_3 = uVar1;\n  }" ({ "{") (expression_statement "param_3 = uVar1;" (assignment_expression "param_3 = uVar1" (identifier "param_3") (= "=") (identifier "uVar1")) (; ";")) (} "}"))) (if_statement "if (param_2 <= *(ulong *)(*param_1 + -0x18)) {\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }" (if "if") (parenthesized_expression "(param_2 <= *(ulong *)(*param_1 + -0x18))" (( "(") (binary_expression "param_2 <= *(ulong *)(*param_1 + -0x18)" (identifier "param_2") (<= "<=") (pointer_expression "*(ulong *)(*param_1 + -0x18)" (* "*") (cast_expression "(ulong *)(*param_1 + -0x18)" (( "(") (type_descriptor "ulong *" (type_identifier "ulong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*param_1 + -0x18)" (( "(") (binary_expression "*param_1 + -0x18" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (+ "+") (number_literal "-0x18")) () ")"))))) () ")")) (compound_statement "{\n    FUN_0031dac0(param_1,param_2,param_3,0);\n    return param_1;\n  }" ({ "{") (expression_statement "FUN_0031dac0(param_1,param_2,param_3,0);" (call_expression "FUN_0031dac0(param_1,param_2,param_3,0)" (identifier "FUN_0031dac0") (argument_list "(param_1,param_2,param_3,0)" (( "(") (identifier "param_1") (, ",") (identifier "param_2") (, ",") (identifier "param_3") (, ",") (number_literal "0") () ")"))) (; ";")) (return_statement "return param_1;" (return "return") (identifier "param_1") (; ";")) (} "}"))) (expression_statement "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2);" (call_expression "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2)" (identifier "FUN_002e1330") (argument_list "("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",\n               param_2)" (( "(") (string_literal ""%s: __pos (which is %zu) > this->size() (which is %zu)"" (" """) (string_content "%s: __pos (which is %zu) > this->size() (which is %zu)") (" """)) (, ",") (string_literal ""basic_string::erase"" (" """) (string_content "basic_string::erase") (" """)) (, ",") (identifier "param_2") () ")"))) (; ";")) (} "}")))

/* std::wstring::erase(unsigned long, unsigned long) */

wstring * __thiscall std::wstring::erase(wstring *this,type_1 var_1,type_1 var_3)

{
  type_1 var_2;
  
  var_2 = *(type_1 *)(*(long *)this + -0x18) - var_1;
  if (var_2 <= var_3) {
    var_3 = var_2;
  }
  if (var_1 <= *(type_1 *)(*(long *)this + -0x18)) {
    var_4(this,var_1,var_3,0);
    return this;
  }
                    /* WARNING: Subroutine does not return */
  var_5
            ("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",var_1)
  ;
}


(translation_unit (function_definition type: (sized_type_specifier) declarator: (pointer_declarator declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (sized_type_specifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier))))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))))) right: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))))))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier) (identifier) (number_literal)))) (return_statement (identifier)))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (identifier)))))))

long * MASKED(long *param_1,ulong param_2,ulong param_3)

{
  ulong uVar1;
  
  uVar1 = *(ulong *)(*param_1 + -0x18) - param_2;
  if (uVar1 <= param_3) {
    param_3 = uVar1;
  }
  if (param_2 <= *(ulong *)(*param_1 + -0x18)) {
    FUN_0031dac0(param_1,param_2,param_3,0);
    return param_1;
  }
                    /* WARNING: Subroutine does not return */
  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::erase",
               param_2);
}

