
/* std::string::append(std::string const&, unsigned long, unsigned long) */

void std::string::append(string *param_1,ulong param_2,ulong param_3)

{
  ulong uVar1;
  ulong uVar2;
  ulong in_RCX;
  undefined8 in_R9;
  
  uVar1 = *(ulong *)(param_2 + 8);
  uVar2 = uVar1 - param_3;
  if (in_RCX < uVar1 - param_3) {
    uVar2 = in_RCX;
  }
  if (param_3 <= uVar1) {
    _M_append(param_1,(char *)(*(long *)param_2 + param_3),uVar2);
    return;
  }
                    /* WARNING: Subroutine does not return */
  __throw_out_of_range_fmt
            ("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",param_3
             ,uVar1,uVar1,in_R9,uVar2);
}



void FUN_002aacb0(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,
                 undefined8 param_6)

{
  ulong uVar1;
  ulong uVar2;
  
  uVar1 = param_2[1];
  uVar2 = uVar1 - param_3;
  if (param_4 < uVar1 - param_3) {
    uVar2 = param_4;
  }
  if (param_3 <= uVar1) {
    FUN_002aac00(param_1,*param_2 + param_3,uVar2);
    return;
  }
                    /* WARNING: Subroutine does not return */
  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",
               param_3,uVar1,uVar1,param_6,uVar2);
}


MOV R8,qword ptr [RSI + 0x8]
MOV RSI,qword ptr [RSI]
MOV RAX,R8
SUB RAX,RDX
CMP RAX,RCX
CMOVA RAX,RCX
CMP RDX,R8
JA 0x002aacd4
ADD RSI,RDX
MOV RDX,RAX
JMP 0x002aac00
PUSH RAX
MOV RCX,R8
LEA RSI,[0x33f22b]
XOR EAX,EAX
LEA RDI,[0x342fd0]
CALL 0x002e1330
(translation_unit "void FUN_002aacb0(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,\n                 undefined8 param_6)\n\n{\n  ulong uVar1;\n  ulong uVar2;\n  \n  uVar1 = param_2[1];\n  uVar2 = uVar1 - param_3;\n  if (param_4 < uVar1 - param_3) {\n    uVar2 = param_4;\n  }\n  if (param_3 <= uVar1) {\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2);\n}\n\n" (function_definition "void FUN_002aacb0(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,\n                 undefined8 param_6)\n\n{\n  ulong uVar1;\n  ulong uVar2;\n  \n  uVar1 = param_2[1];\n  uVar2 = uVar1 - param_3;\n  if (param_4 < uVar1 - param_3) {\n    uVar2 = param_4;\n  }\n  if (param_3 <= uVar1) {\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2);\n}" primitive_type (function_declarator "FUN_002aacb0(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,\n                 undefined8 param_6)" identifier (parameter_list "(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,\n                 undefined8 param_6)" ( (parameter_declaration "undefined8 param_1" type_identifier identifier) , (parameter_declaration "long *param_2" (sized_type_specifier "long" long) (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "ulong param_3" type_identifier identifier) , (parameter_declaration "ulong param_4" type_identifier identifier) , (parameter_declaration "undefined8 param_5" type_identifier identifier) , (parameter_declaration "undefined8 param_6" type_identifier identifier) ))) (compound_statement "{\n  ulong uVar1;\n  ulong uVar2;\n  \n  uVar1 = param_2[1];\n  uVar2 = uVar1 - param_3;\n  if (param_4 < uVar1 - param_3) {\n    uVar2 = param_4;\n  }\n  if (param_3 <= uVar1) {\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2);\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (declaration "ulong uVar2;" type_identifier identifier ;) (expression_statement "uVar1 = param_2[1];" (assignment_expression "uVar1 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar2 = uVar1 - param_3;" (assignment_expression "uVar2 = uVar1 - param_3" identifier = (binary_expression "uVar1 - param_3" identifier - identifier)) ;) (if_statement "if (param_4 < uVar1 - param_3) {\n    uVar2 = param_4;\n  }" if (parenthesized_expression "(param_4 < uVar1 - param_3)" ( (binary_expression "param_4 < uVar1 - param_3" identifier < (binary_expression "uVar1 - param_3" identifier - identifier)) )) (compound_statement "{\n    uVar2 = param_4;\n  }" { (expression_statement "uVar2 = param_4;" (assignment_expression "uVar2 = param_4" identifier = identifier) ;) })) (if_statement "if (param_3 <= uVar1) {\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }" if (parenthesized_expression "(param_3 <= uVar1)" ( (binary_expression "param_3 <= uVar1" identifier <= identifier) )) (compound_statement "{\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }" { (expression_statement "FUN_002aac00(param_1,*param_2 + param_3,uVar2);" (call_expression "FUN_002aac00(param_1,*param_2 + param_3,uVar2)" identifier (argument_list "(param_1,*param_2 + param_3,uVar2)" ( identifier , (binary_expression "*param_2 + param_3" (pointer_expression "*param_2" * identifier) + identifier) , identifier ))) ;) (return_statement "return;" return ;) })) comment (expression_statement "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2);" (call_expression "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2)" identifier (argument_list "("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2)" ( (string_literal ""%s: __pos (which is %zu) > this->size() (which is %zu)"" " string_content ") , (string_literal ""basic_string::append"" " string_content ") , identifier , identifier , identifier , identifier , identifier ))) ;) })))
(translation_unit "/* std::string::append(std::string const&, unsigned long, unsigned long) */\n\nvoid std::string::append(string *param_1,ulong param_2,ulong param_3)\n\n{\n  ulong uVar1;\n  ulong uVar2;\n  ulong in_RCX;\n  undefined8 in_R9;\n  \n  uVar1 = *(ulong *)(param_2 + 8);\n  uVar2 = uVar1 - param_3;\n  if (in_RCX < uVar1 - param_3) {\n    uVar2 = in_RCX;\n  }\n  if (param_3 <= uVar1) {\n    _M_append(param_1,(char *)(*(long *)param_2 + param_3),uVar2);\n    return;\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::append",param_3\n             ,uVar1,uVar1,in_R9,uVar2);\n}\n\n" comment (function_definition "void std::string::append(string *param_1,ulong param_2,ulong param_3)\n\n{\n  ulong uVar1;\n  ulong uVar2;\n  ulong in_RCX;\n  undefined8 in_R9;\n  \n  uVar1 = *(ulong *)(param_2 + 8);\n  uVar2 = uVar1 - param_3;\n  if (in_RCX < uVar1 - param_3) {\n    uVar2 = in_RCX;\n  }\n  if (param_3 <= uVar1) {\n    _M_append(param_1,(char *)(*(long *)param_2 + param_3),uVar2);\n    return;\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::append",param_3\n             ,uVar1,uVar1,in_R9,uVar2);\n}" primitive_type (ERROR "std::string::" identifier : : identifier : :) (function_declarator "append(string *param_1,ulong param_2,ulong param_3)" identifier (parameter_list "(string *param_1,ulong param_2,ulong param_3)" ( (parameter_declaration "string *param_1" type_identifier (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  ulong uVar2;\n  ulong in_RCX;\n  undefined8 in_R9;\n  \n  uVar1 = *(ulong *)(param_2 + 8);\n  uVar2 = uVar1 - param_3;\n  if (in_RCX < uVar1 - param_3) {\n    uVar2 = in_RCX;\n  }\n  if (param_3 <= uVar1) {\n    _M_append(param_1,(char *)(*(long *)param_2 + param_3),uVar2);\n    return;\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::append",param_3\n             ,uVar1,uVar1,in_R9,uVar2);\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (declaration "ulong uVar2;" type_identifier identifier ;) (declaration "ulong in_RCX;" type_identifier identifier ;) (declaration "undefined8 in_R9;" type_identifier identifier ;) (expression_statement "uVar1 = *(ulong *)(param_2 + 8);" (assignment_expression "uVar1 = *(ulong *)(param_2 + 8)" identifier = (pointer_expression "*(ulong *)(param_2 + 8)" * (cast_expression "(ulong *)(param_2 + 8)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 8)" ( (binary_expression "param_2 + 8" identifier + number_literal) ))))) ;) (expression_statement "uVar2 = uVar1 - param_3;" (assignment_expression "uVar2 = uVar1 - param_3" identifier = (binary_expression "uVar1 - param_3" identifier - identifier)) ;) (if_statement "if (in_RCX < uVar1 - param_3) {\n    uVar2 = in_RCX;\n  }" if (parenthesized_expression "(in_RCX < uVar1 - param_3)" ( (binary_expression "in_RCX < uVar1 - param_3" identifier < (binary_expression "uVar1 - param_3" identifier - identifier)) )) (compound_statement "{\n    uVar2 = in_RCX;\n  }" { (expression_statement "uVar2 = in_RCX;" (assignment_expression "uVar2 = in_RCX" identifier = identifier) ;) })) (if_statement "if (param_3 <= uVar1) {\n    _M_append(param_1,(char *)(*(long *)param_2 + param_3),uVar2);\n    return;\n  }" if (parenthesized_expression "(param_3 <= uVar1)" ( (binary_expression "param_3 <= uVar1" identifier <= identifier) )) (compound_statement "{\n    _M_append(param_1,(char *)(*(long *)param_2 + param_3),uVar2);\n    return;\n  }" { (expression_statement "_M_append(param_1,(char *)(*(long *)param_2 + param_3),uVar2);" (call_expression "_M_append(param_1,(char *)(*(long *)param_2 + param_3),uVar2)" identifier (argument_list "(param_1,(char *)(*(long *)param_2 + param_3),uVar2)" ( identifier , (cast_expression "(char *)(*(long *)param_2 + param_3)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(long *)param_2 + param_3)" ( (binary_expression "*(long *)param_2 + param_3" (pointer_expression "*(long *)param_2" * (cast_expression "(long *)param_2" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) identifier)) + identifier) ))) , identifier ))) ;) (return_statement "return;" return ;) })) comment (expression_statement "__throw_out_of_range_fmt\n            ("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",param_3\n             ,uVar1,uVar1,in_R9,uVar2);" (call_expression "__throw_out_of_range_fmt\n            ("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",param_3\n             ,uVar1,uVar1,in_R9,uVar2)" identifier (argument_list "("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",param_3\n             ,uVar1,uVar1,in_R9,uVar2)" ( (string_literal ""%s: __pos (which is %zu) > this->size() (which is %zu)"" " string_content ") , (string_literal ""basic_string::append"" " string_content ") , identifier , identifier , identifier , identifier , identifier ))) ;) })))
(translation_unit "void FUN_002aacb0(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,\n                 undefined8 param_6)\n\n{\n  ulong uVar1;\n  ulong uVar2;\n  \n  uVar1 = param_2[1];\n  uVar2 = uVar1 - param_3;\n  if (param_4 < uVar1 - param_3) {\n    uVar2 = param_4;\n  }\n  if (param_3 <= uVar1) {\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }\n                    \n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2);\n}\n\n" (function_definition "void FUN_002aacb0(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,\n                 undefined8 param_6)\n\n{\n  ulong uVar1;\n  ulong uVar2;\n  \n  uVar1 = param_2[1];\n  uVar2 = uVar1 - param_3;\n  if (param_4 < uVar1 - param_3) {\n    uVar2 = param_4;\n  }\n  if (param_3 <= uVar1) {\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }\n                    \n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2);\n}" primitive_type (function_declarator "FUN_002aacb0(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,\n                 undefined8 param_6)" identifier (parameter_list "(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,\n                 undefined8 param_6)" ( (parameter_declaration "undefined8 param_1" type_identifier identifier) , (parameter_declaration "long *param_2" (sized_type_specifier "long" long) (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "ulong param_3" type_identifier identifier) , (parameter_declaration "ulong param_4" type_identifier identifier) , (parameter_declaration "undefined8 param_5" type_identifier identifier) , (parameter_declaration "undefined8 param_6" type_identifier identifier) ))) (compound_statement "{\n  ulong uVar1;\n  ulong uVar2;\n  \n  uVar1 = param_2[1];\n  uVar2 = uVar1 - param_3;\n  if (param_4 < uVar1 - param_3) {\n    uVar2 = param_4;\n  }\n  if (param_3 <= uVar1) {\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }\n                    \n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2);\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (declaration "ulong uVar2;" type_identifier identifier ;) (expression_statement "uVar1 = param_2[1];" (assignment_expression "uVar1 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar2 = uVar1 - param_3;" (assignment_expression "uVar2 = uVar1 - param_3" identifier = (binary_expression "uVar1 - param_3" identifier - identifier)) ;) (if_statement "if (param_4 < uVar1 - param_3) {\n    uVar2 = param_4;\n  }" if (parenthesized_expression "(param_4 < uVar1 - param_3)" ( (binary_expression "param_4 < uVar1 - param_3" identifier < (binary_expression "uVar1 - param_3" identifier - identifier)) )) (compound_statement "{\n    uVar2 = param_4;\n  }" { (expression_statement "uVar2 = param_4;" (assignment_expression "uVar2 = param_4" identifier = identifier) ;) })) (if_statement "if (param_3 <= uVar1) {\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }" if (parenthesized_expression "(param_3 <= uVar1)" ( (binary_expression "param_3 <= uVar1" identifier <= identifier) )) (compound_statement "{\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }" { (expression_statement "FUN_002aac00(param_1,*param_2 + param_3,uVar2);" (call_expression "FUN_002aac00(param_1,*param_2 + param_3,uVar2)" identifier (argument_list "(param_1,*param_2 + param_3,uVar2)" ( identifier , (binary_expression "*param_2 + param_3" (pointer_expression "*param_2" * identifier) + identifier) , identifier ))) ;) (return_statement "return;" return ;) })) (expression_statement "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2);" (call_expression "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2)" identifier (argument_list "("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2)" ( (string_literal ""%s: __pos (which is %zu) > this->size() (which is %zu)"" " string_content ") , (string_literal ""basic_string::append"" " string_content ") , identifier , identifier , identifier , identifier , identifier ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration (sized_type_specifier long) (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < (binary_expression IDENT - IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( IDENT , (binary_expression (pointer_expression * IDENT) + IDENT) , IDENT ))) ;) (return_statement return ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , IDENT , IDENT , IDENT , IDENT , IDENT ))) ;) })))
(function_definition "void FUN_002aacb0(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,\n                 undefined8 param_6)\n\n{\n  ulong uVar1;\n  ulong uVar2;\n  \n  uVar1 = param_2[1];\n  uVar2 = uVar1 - param_3;\n  if (param_4 < uVar1 - param_3) {\n    uVar2 = param_4;\n  }\n  if (param_3 <= uVar1) {\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }\n                    \n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2);\n}" (primitive_type "void") (function_declarator "FUN_002aacb0(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,\n                 undefined8 param_6)" (identifier "FUN_002aacb0") (parameter_list "(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,\n                 undefined8 param_6)" (( "(") (parameter_declaration "undefined8 param_1" (type_identifier "undefined8") (identifier "param_1")) (, ",") (parameter_declaration "long *param_2" (sized_type_specifier "long" (long "long")) (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "ulong param_3" (type_identifier "ulong") (identifier "param_3")) (, ",") (parameter_declaration "ulong param_4" (type_identifier "ulong") (identifier "param_4")) (, ",") (parameter_declaration "undefined8 param_5" (type_identifier "undefined8") (identifier "param_5")) (, ",") (parameter_declaration "undefined8 param_6" (type_identifier "undefined8") (identifier "param_6")) () ")"))) (compound_statement "{\n  ulong uVar1;\n  ulong uVar2;\n  \n  uVar1 = param_2[1];\n  uVar2 = uVar1 - param_3;\n  if (param_4 < uVar1 - param_3) {\n    uVar2 = param_4;\n  }\n  if (param_3 <= uVar1) {\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }\n                    \n  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2);\n}" ({ "{") (declaration "ulong uVar1;" (type_identifier "ulong") (identifier "uVar1") (; ";")) (declaration "ulong uVar2;" (type_identifier "ulong") (identifier "uVar2") (; ";")) (expression_statement "uVar1 = param_2[1];" (assignment_expression "uVar1 = param_2[1]" (identifier "uVar1") (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "uVar2 = uVar1 - param_3;" (assignment_expression "uVar2 = uVar1 - param_3" (identifier "uVar2") (= "=") (binary_expression "uVar1 - param_3" (identifier "uVar1") (- "-") (identifier "param_3"))) (; ";")) (if_statement "if (param_4 < uVar1 - param_3) {\n    uVar2 = param_4;\n  }" (if "if") (parenthesized_expression "(param_4 < uVar1 - param_3)" (( "(") (binary_expression "param_4 < uVar1 - param_3" (identifier "param_4") (< "<") (binary_expression "uVar1 - param_3" (identifier "uVar1") (- "-") (identifier "param_3"))) () ")")) (compound_statement "{\n    uVar2 = param_4;\n  }" ({ "{") (expression_statement "uVar2 = param_4;" (assignment_expression "uVar2 = param_4" (identifier "uVar2") (= "=") (identifier "param_4")) (; ";")) (} "}"))) (if_statement "if (param_3 <= uVar1) {\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }" (if "if") (parenthesized_expression "(param_3 <= uVar1)" (( "(") (binary_expression "param_3 <= uVar1" (identifier "param_3") (<= "<=") (identifier "uVar1")) () ")")) (compound_statement "{\n    FUN_002aac00(param_1,*param_2 + param_3,uVar2);\n    return;\n  }" ({ "{") (expression_statement "FUN_002aac00(param_1,*param_2 + param_3,uVar2);" (call_expression "FUN_002aac00(param_1,*param_2 + param_3,uVar2)" (identifier "FUN_002aac00") (argument_list "(param_1,*param_2 + param_3,uVar2)" (( "(") (identifier "param_1") (, ",") (binary_expression "*param_2 + param_3" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (+ "+") (identifier "param_3")) (, ",") (identifier "uVar2") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2);" (call_expression "FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2)" (identifier "FUN_002e1330") (argument_list "("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",\n               param_3,uVar1,uVar1,param_6,uVar2)" (( "(") (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::append"" (" """) (string_content "basic_string::append") (" """)) (, ",") (identifier "param_3") (, ",") (identifier "uVar1") (, ",") (identifier "uVar1") (, ",") (identifier "param_6") (, ",") (identifier "uVar2") () ")"))) (; ";")) (} "}")))

/* std::string::append(std::string const&, unsigned long, unsigned long) */

void std::type_1::function_1(type_1 *param_1,type_2 var_1,type_2 var_3)

{
  type_2 var_2;
  type_2 uVar2;
  type_2 var_4;
  type_3 in_R9;
  
  var_2 = *(type_2 *)(var_1 + 8);
  uVar2 = var_2 - var_3;
  if (var_4 < var_2 - var_3) {
    uVar2 = var_4;
  }
  if (var_3 <= var_2) {
    var_5(param_1,(char *)(*(long *)var_1 + var_3),uVar2);
    return;
  }
                    /* WARNING: Subroutine does not return */
  var_6
            ("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",var_3
             ,var_2,var_2,in_R9,uVar2);
}


(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: (sized_type_specifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) 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)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (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: (identifier))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier)) (identifier)))) (return_statement))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (identifier) (identifier) (identifier) (identifier) (identifier)))))))

void MASKED(undefined8 param_1,long *param_2,ulong param_3,ulong param_4,undefined8 param_5,
                 undefined8 param_6)

{
  ulong uVar1;
  ulong uVar2;
  
  uVar1 = param_2[1];
  uVar2 = uVar1 - param_3;
  if (param_4 < uVar1 - param_3) {
    uVar2 = param_4;
  }
  if (param_3 <= uVar1) {
    FUN_002aac00(param_1,*param_2 + param_3,uVar2);
    return;
  }
                    /* WARNING: Subroutine does not return */
  FUN_002e1330("%s: __pos (which is %zu) > this->size() (which is %zu)","basic_string::append",
               param_3,uVar1,uVar1,param_6,uVar2);
}

