
/* std::string::_M_disjunct(char const*) const */

bool __thiscall std::string::_M_disjunct(string *this,char *param_1)

{
  bool bVar1;
  
  bVar1 = true;
  if (*(char **)this <= param_1) {
    bVar1 = *(char **)this + *(int *)(this + 4) < param_1;
  }
  return bVar1;
}



bool FUN_001ee710(uint *param_1,uint param_2)

{
  bool bVar1;
  
  bVar1 = true;
  if (*param_1 <= param_2) {
    bVar1 = *param_1 + param_1[1] < param_2;
  }
  return bVar1;
}


PUSH EBX
MOV EBX,dword ptr [ESP + 0x8]
MOV EAX,0x1
MOV ECX,dword ptr [ESP + 0xc]
MOV EDX,dword ptr [EBX]
CMP EDX,ECX
JA 0x001ee72c
ADD EDX,dword ptr [EBX + 0x4]
CMP ECX,EDX
SETA AL
POP EBX
RET
(translation_unit "bool FUN_001ee710(uint *param_1,uint param_2)\n\n{\n  bool bVar1;\n  \n  bVar1 = true;\n  if (*param_1 <= param_2) {\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }\n  return bVar1;\n}\n\n" (function_definition "bool FUN_001ee710(uint *param_1,uint param_2)\n\n{\n  bool bVar1;\n  \n  bVar1 = true;\n  if (*param_1 <= param_2) {\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }\n  return bVar1;\n}" primitive_type (function_declarator "FUN_001ee710(uint *param_1,uint param_2)" identifier (parameter_list "(uint *param_1,uint param_2)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint param_2" type_identifier identifier) ))) (compound_statement "{\n  bool bVar1;\n  \n  bVar1 = true;\n  if (*param_1 <= param_2) {\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }\n  return bVar1;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (expression_statement "bVar1 = true;" (assignment_expression "bVar1 = true" identifier = true) ;) (if_statement "if (*param_1 <= param_2) {\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }" if (parenthesized_expression "(*param_1 <= param_2)" ( (binary_expression "*param_1 <= param_2" (pointer_expression "*param_1" * identifier) <= identifier) )) (compound_statement "{\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }" { (expression_statement "bVar1 = *param_1 + param_1[1] < param_2;" (assignment_expression "bVar1 = *param_1 + param_1[1] < param_2" identifier = (binary_expression "*param_1 + param_1[1] < param_2" (binary_expression "*param_1 + param_1[1]" (pointer_expression "*param_1" * identifier) + (subscript_expression "param_1[1]" identifier [ number_literal ])) < identifier)) ;) })) (return_statement "return bVar1;" return identifier ;) })))
(translation_unit "/* std::string::_M_disjunct(char const*) const */\n\nbool __thiscall std::string::_M_disjunct(string *this,char *param_1)\n\n{\n  bool bVar1;\n  \n  bVar1 = true;\n  if (*(char **)this <= param_1) {\n    bVar1 = *(char **)this + *(int *)(this + 4) < param_1;\n  }\n  return bVar1;\n}\n\n" comment (function_definition "bool __thiscall std::string::_M_disjunct(string *this,char *param_1)\n\n{\n  bool bVar1;\n  \n  bVar1 = true;\n  if (*(char **)this <= param_1) {\n    bVar1 = *(char **)this + *(int *)(this + 4) < param_1;\n  }\n  return bVar1;\n}" primitive_type (ms_call_modifier "__thiscall" __thiscall) (ERROR "std::string::" identifier : : identifier : :) (function_declarator "_M_disjunct(string *this,char *param_1)" identifier (parameter_list "(string *this,char *param_1)" ( (parameter_declaration "string *this" type_identifier (pointer_declarator "*this" * identifier)) , (parameter_declaration "char *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  bool bVar1;\n  \n  bVar1 = true;\n  if (*(char **)this <= param_1) {\n    bVar1 = *(char **)this + *(int *)(this + 4) < param_1;\n  }\n  return bVar1;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (expression_statement "bVar1 = true;" (assignment_expression "bVar1 = true" identifier = true) ;) (if_statement "if (*(char **)this <= param_1) {\n    bVar1 = *(char **)this + *(int *)(this + 4) < param_1;\n  }" if (parenthesized_expression "(*(char **)this <= param_1)" ( (binary_expression "*(char **)this <= param_1" (pointer_expression "*(char **)this" * (cast_expression "(char **)this" ( (type_descriptor "char **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) <= identifier) )) (compound_statement "{\n    bVar1 = *(char **)this + *(int *)(this + 4) < param_1;\n  }" { (expression_statement "bVar1 = *(char **)this + *(int *)(this + 4) < param_1;" (assignment_expression "bVar1 = *(char **)this + *(int *)(this + 4) < param_1" identifier = (binary_expression "*(char **)this + *(int *)(this + 4) < param_1" (binary_expression "*(char **)this + *(int *)(this + 4)" (pointer_expression "*(char **)this" * (cast_expression "(char **)this" ( (type_descriptor "char **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) + (pointer_expression "*(int *)(this + 4)" * (cast_expression "(int *)(this + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(this + 4)" ( (binary_expression "this + 4" identifier + number_literal) ))))) < identifier)) ;) })) (return_statement "return bVar1;" return identifier ;) })))
(translation_unit "bool FUN_001ee710(uint *param_1,uint param_2)\n\n{\n  bool bVar1;\n  \n  bVar1 = true;\n  if (*param_1 <= param_2) {\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }\n  return bVar1;\n}\n\n" (function_definition "bool FUN_001ee710(uint *param_1,uint param_2)\n\n{\n  bool bVar1;\n  \n  bVar1 = true;\n  if (*param_1 <= param_2) {\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }\n  return bVar1;\n}" primitive_type (function_declarator "FUN_001ee710(uint *param_1,uint param_2)" identifier (parameter_list "(uint *param_1,uint param_2)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint param_2" type_identifier identifier) ))) (compound_statement "{\n  bool bVar1;\n  \n  bVar1 = true;\n  if (*param_1 <= param_2) {\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }\n  return bVar1;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (expression_statement "bVar1 = true;" (assignment_expression "bVar1 = true" identifier = true) ;) (if_statement "if (*param_1 <= param_2) {\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }" if (parenthesized_expression "(*param_1 <= param_2)" ( (binary_expression "*param_1 <= param_2" (pointer_expression "*param_1" * identifier) <= identifier) )) (compound_statement "{\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }" { (expression_statement "bVar1 = *param_1 + param_1[1] < param_2;" (assignment_expression "bVar1 = *param_1 + param_1[1] < param_2" identifier = (binary_expression "*param_1 + param_1[1] < param_2" (binary_expression "*param_1 + param_1[1]" (pointer_expression "*param_1" * identifier) + (subscript_expression "param_1[1]" identifier [ number_literal ])) < identifier)) ;) })) (return_statement "return bVar1;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = BOOL) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (pointer_expression * IDENT) + (subscript_expression IDENT [ LIT ])) < IDENT)) ;) })) (return_statement return IDENT ;) })))
(function_definition "bool FUN_001ee710(uint *param_1,uint param_2)\n\n{\n  bool bVar1;\n  \n  bVar1 = true;\n  if (*param_1 <= param_2) {\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }\n  return bVar1;\n}" (primitive_type "bool") (function_declarator "FUN_001ee710(uint *param_1,uint param_2)" (identifier "FUN_001ee710") (parameter_list "(uint *param_1,uint param_2)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint param_2" (type_identifier "uint") (identifier "param_2")) () ")"))) (compound_statement "{\n  bool bVar1;\n  \n  bVar1 = true;\n  if (*param_1 <= param_2) {\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }\n  return bVar1;\n}" ({ "{") (declaration "bool bVar1;" (primitive_type "bool") (identifier "bVar1") (; ";")) (expression_statement "bVar1 = true;" (assignment_expression "bVar1 = true" (identifier "bVar1") (= "=") (true "true")) (; ";")) (if_statement "if (*param_1 <= param_2) {\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }" (if "if") (parenthesized_expression "(*param_1 <= param_2)" (( "(") (binary_expression "*param_1 <= param_2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (<= "<=") (identifier "param_2")) () ")")) (compound_statement "{\n    bVar1 = *param_1 + param_1[1] < param_2;\n  }" ({ "{") (expression_statement "bVar1 = *param_1 + param_1[1] < param_2;" (assignment_expression "bVar1 = *param_1 + param_1[1] < param_2" (identifier "bVar1") (= "=") (binary_expression "*param_1 + param_1[1] < param_2" (binary_expression "*param_1 + param_1[1]" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (+ "+") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]"))) (< "<") (identifier "param_2"))) (; ";")) (} "}"))) (return_statement "return bVar1;" (return "return") (identifier "bVar1") (; ";")) (} "}")))

/* std::string::_M_disjunct(char const*) const */

bool __thiscall std::type_1::function_1(type_1 *var_2,char *var_1)

{
  bool bVar1;
  
  bVar1 = true;
  if (*(char **)var_2 <= var_1) {
    bVar1 = *(char **)var_2 + *(int *)(var_2 + 4) < var_1;
  }
  return bVar1;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (true))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (pointer_expression argument: (identifier)) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (identifier)))))) (return_statement (identifier)))))

bool MASKED(uint *param_1,uint param_2)

{
  bool bVar1;
  
  bVar1 = true;
  if (*param_1 <= param_2) {
    bVar1 = *param_1 + param_1[1] < param_2;
  }
  return bVar1;
}

