
_Bool src_to_dest_compare(void *x,void *y)

{
                    /* WARNING: Load size is inaccurate */
                    /* WARNING: Load size is inaccurate */
  if (*(int *)((int)x + 4) != *(int *)((int)y + 4) || *x != *y) {
    return false;
  }
  return *(int *)((int)x + 8) == *(int *)((int)y + 8) &&
         *(int *)((int)x + 0xc) == *(int *)((int)y + 0xc);
}



undefined4 FUN_0001a450(int *param_1,int *param_2)

{
  if (param_1[1] != param_2[1] || *param_1 != *param_2) {
    return 0;
  }
  return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),
                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);
}


PUSH ESI
PUSH EBX
MOV ESI,dword ptr [ESP + 0xc]
MOV EBX,dword ptr [ESP + 0x10]
MOV EDX,dword ptr [ESI]
MOV ECX,dword ptr [ESI + 0x4]
XOR EDX,dword ptr [EBX]
XOR ECX,dword ptr [EBX + 0x4]
OR ECX,EDX
JZ 0x0001a470
XOR EAX,EAX
POP EBX
POP ESI
RET
MOV EDX,dword ptr [ESI + 0x8]
MOV EAX,dword ptr [ESI + 0xc]
XOR EDX,dword ptr [EBX + 0x8]
XOR EAX,dword ptr [EBX + 0xc]
OR EDX,EAX
POP EBX
POP ESI
SETZ AL
RET
(translation_unit "undefined4 FUN_0001a450(int *param_1,int *param_2)\n\n{\n  if (param_1[1] != param_2[1] || *param_1 != *param_2) {\n    return 0;\n  }\n  return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);\n}\n\n" (function_definition "undefined4 FUN_0001a450(int *param_1,int *param_2)\n\n{\n  if (param_1[1] != param_2[1] || *param_1 != *param_2) {\n    return 0;\n  }\n  return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);\n}" type_identifier (function_declarator "FUN_0001a450(int *param_1,int *param_2)" identifier (parameter_list "(int *param_1,int *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  if (param_1[1] != param_2[1] || *param_1 != *param_2) {\n    return 0;\n  }\n  return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);\n}" { (if_statement "if (param_1[1] != param_2[1] || *param_1 != *param_2) {\n    return 0;\n  }" if (parenthesized_expression "(param_1[1] != param_2[1] || *param_1 != *param_2)" ( (binary_expression "param_1[1] != param_2[1] || *param_1 != *param_2" (binary_expression "param_1[1] != param_2[1]" (subscript_expression "param_1[1]" identifier [ number_literal ]) != (subscript_expression "param_2[1]" identifier [ number_literal ])) || (binary_expression "*param_1 != *param_2" (pointer_expression "*param_1" * identifier) != (pointer_expression "*param_2" * identifier))) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (return_statement "return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);" return (call_expression "CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0)" identifier (argument_list "((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0)" ( (call_expression "(int3)((uint)(param_1[3] ^ param_2[3]) >> 8)" (parenthesized_expression "(int3)" ( identifier )) (argument_list "((uint)(param_1[3] ^ param_2[3]) >> 8)" ( (binary_expression "(uint)(param_1[3] ^ param_2[3]) >> 8" (call_expression "(uint)(param_1[3] ^ param_2[3])" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_1[3] ^ param_2[3])" ( (binary_expression "param_1[3] ^ param_2[3]" (subscript_expression "param_1[3]" identifier [ number_literal ]) ^ (subscript_expression "param_2[3]" identifier [ number_literal ])) ))) >> number_literal) ))) , (binary_expression "param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0" (binary_expression "param_1[2] == param_2[2]" (subscript_expression "param_1[2]" identifier [ number_literal ]) == (subscript_expression "param_2[2]" identifier [ number_literal ])) && (binary_expression "(param_1[3] ^ param_2[3]) == 0" (parenthesized_expression "(param_1[3] ^ param_2[3])" ( (binary_expression "param_1[3] ^ param_2[3]" (subscript_expression "param_1[3]" identifier [ number_literal ]) ^ (subscript_expression "param_2[3]" identifier [ number_literal ])) )) == number_literal)) ))) ;) })))
(translation_unit "_Bool src_to_dest_compare(void *x,void *y)\n\n{\n                    /* WARNING: Load size is inaccurate */\n                    /* WARNING: Load size is inaccurate */\n  if (*(int *)((int)x + 4) != *(int *)((int)y + 4) || *x != *y) {\n    return false;\n  }\n  return *(int *)((int)x + 8) == *(int *)((int)y + 8) &&\n         *(int *)((int)x + 0xc) == *(int *)((int)y + 0xc);\n}\n\n" (function_definition "_Bool src_to_dest_compare(void *x,void *y)\n\n{\n                    /* WARNING: Load size is inaccurate */\n                    /* WARNING: Load size is inaccurate */\n  if (*(int *)((int)x + 4) != *(int *)((int)y + 4) || *x != *y) {\n    return false;\n  }\n  return *(int *)((int)x + 8) == *(int *)((int)y + 8) &&\n         *(int *)((int)x + 0xc) == *(int *)((int)y + 0xc);\n}" type_identifier (function_declarator "src_to_dest_compare(void *x,void *y)" identifier (parameter_list "(void *x,void *y)" ( (parameter_declaration "void *x" primitive_type (pointer_declarator "*x" * identifier)) , (parameter_declaration "void *y" primitive_type (pointer_declarator "*y" * identifier)) ))) (compound_statement "{\n                    /* WARNING: Load size is inaccurate */\n                    /* WARNING: Load size is inaccurate */\n  if (*(int *)((int)x + 4) != *(int *)((int)y + 4) || *x != *y) {\n    return false;\n  }\n  return *(int *)((int)x + 8) == *(int *)((int)y + 8) &&\n         *(int *)((int)x + 0xc) == *(int *)((int)y + 0xc);\n}" { comment comment (if_statement "if (*(int *)((int)x + 4) != *(int *)((int)y + 4) || *x != *y) {\n    return false;\n  }" if (parenthesized_expression "(*(int *)((int)x + 4) != *(int *)((int)y + 4) || *x != *y)" ( (binary_expression "*(int *)((int)x + 4) != *(int *)((int)y + 4) || *x != *y" (binary_expression "*(int *)((int)x + 4) != *(int *)((int)y + 4)" (pointer_expression "*(int *)((int)x + 4)" * (cast_expression "(int *)((int)x + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)x + 4)" ( (binary_expression "(int)x + 4" (cast_expression "(int)x" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) != (pointer_expression "*(int *)((int)y + 4)" * (cast_expression "(int *)((int)y + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)y + 4)" ( (binary_expression "(int)y + 4" (cast_expression "(int)y" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) ))))) || (binary_expression "*x != *y" (pointer_expression "*x" * identifier) != (pointer_expression "*y" * identifier))) )) (compound_statement "{\n    return false;\n  }" { (return_statement "return false;" return false ;) })) (return_statement "return *(int *)((int)x + 8) == *(int *)((int)y + 8) &&\n         *(int *)((int)x + 0xc) == *(int *)((int)y + 0xc);" return (binary_expression "*(int *)((int)x + 8) == *(int *)((int)y + 8) &&\n         *(int *)((int)x + 0xc) == *(int *)((int)y + 0xc)" (binary_expression "*(int *)((int)x + 8) == *(int *)((int)y + 8)" (pointer_expression "*(int *)((int)x + 8)" * (cast_expression "(int *)((int)x + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)x + 8)" ( (binary_expression "(int)x + 8" (cast_expression "(int)x" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (pointer_expression "*(int *)((int)y + 8)" * (cast_expression "(int *)((int)y + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)y + 8)" ( (binary_expression "(int)y + 8" (cast_expression "(int)y" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) ))))) && (binary_expression "*(int *)((int)x + 0xc) == *(int *)((int)y + 0xc)" (pointer_expression "*(int *)((int)x + 0xc)" * (cast_expression "(int *)((int)x + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)x + 0xc)" ( (binary_expression "(int)x + 0xc" (cast_expression "(int)x" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (pointer_expression "*(int *)((int)y + 0xc)" * (cast_expression "(int *)((int)y + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)y + 0xc)" ( (binary_expression "(int)y + 0xc" (cast_expression "(int)y" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))))) ;) })))
(translation_unit "undefined4 FUN_0001a450(int *param_1,int *param_2)\n\n{\n  if (param_1[1] != param_2[1] || *param_1 != *param_2) {\n    return 0;\n  }\n  return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);\n}\n\n" (function_definition "undefined4 FUN_0001a450(int *param_1,int *param_2)\n\n{\n  if (param_1[1] != param_2[1] || *param_1 != *param_2) {\n    return 0;\n  }\n  return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);\n}" type_identifier (function_declarator "FUN_0001a450(int *param_1,int *param_2)" identifier (parameter_list "(int *param_1,int *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  if (param_1[1] != param_2[1] || *param_1 != *param_2) {\n    return 0;\n  }\n  return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);\n}" { (if_statement "if (param_1[1] != param_2[1] || *param_1 != *param_2) {\n    return 0;\n  }" if (parenthesized_expression "(param_1[1] != param_2[1] || *param_1 != *param_2)" ( (binary_expression "param_1[1] != param_2[1] || *param_1 != *param_2" (binary_expression "param_1[1] != param_2[1]" (subscript_expression "param_1[1]" identifier [ number_literal ]) != (subscript_expression "param_2[1]" identifier [ number_literal ])) || (binary_expression "*param_1 != *param_2" (pointer_expression "*param_1" * identifier) != (pointer_expression "*param_2" * identifier))) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (return_statement "return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);" return (call_expression "CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0)" identifier (argument_list "((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0)" ( (call_expression "(int3)((uint)(param_1[3] ^ param_2[3]) >> 8)" (parenthesized_expression "(int3)" ( identifier )) (argument_list "((uint)(param_1[3] ^ param_2[3]) >> 8)" ( (binary_expression "(uint)(param_1[3] ^ param_2[3]) >> 8" (call_expression "(uint)(param_1[3] ^ param_2[3])" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_1[3] ^ param_2[3])" ( (binary_expression "param_1[3] ^ param_2[3]" (subscript_expression "param_1[3]" identifier [ number_literal ]) ^ (subscript_expression "param_2[3]" identifier [ number_literal ])) ))) >> number_literal) ))) , (binary_expression "param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0" (binary_expression "param_1[2] == param_2[2]" (subscript_expression "param_1[2]" identifier [ number_literal ]) == (subscript_expression "param_2[2]" identifier [ number_literal ])) && (binary_expression "(param_1[3] ^ param_2[3]) == 0" (parenthesized_expression "(param_1[3] ^ param_2[3])" ( (binary_expression "param_1[3] ^ param_2[3]" (subscript_expression "param_1[3]" identifier [ number_literal ]) ^ (subscript_expression "param_2[3]" identifier [ number_literal ])) )) == number_literal)) ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) != (subscript_expression IDENT [ LIT ])) || (binary_expression (pointer_expression * IDENT) != (pointer_expression * IDENT))) )) (compound_statement { (return_statement return LIT ;) })) (return_statement return (call_expression IDENT (argument_list ( (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (subscript_expression IDENT [ LIT ]) ^ (subscript_expression IDENT [ LIT ])) ))) >> LIT) ))) , (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) == (subscript_expression IDENT [ LIT ])) && (binary_expression (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) ^ (subscript_expression IDENT [ LIT ])) )) == LIT)) ))) ;) })))
(function_definition "undefined4 FUN_0001a450(int *param_1,int *param_2)\n\n{\n  if (param_1[1] != param_2[1] || *param_1 != *param_2) {\n    return 0;\n  }\n  return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);\n}" (type_identifier "undefined4") (function_declarator "FUN_0001a450(int *param_1,int *param_2)" (identifier "FUN_0001a450") (parameter_list "(int *param_1,int *param_2)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "int *param_2" (primitive_type "int") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) () ")"))) (compound_statement "{\n  if (param_1[1] != param_2[1] || *param_1 != *param_2) {\n    return 0;\n  }\n  return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);\n}" ({ "{") (if_statement "if (param_1[1] != param_2[1] || *param_1 != *param_2) {\n    return 0;\n  }" (if "if") (parenthesized_expression "(param_1[1] != param_2[1] || *param_1 != *param_2)" (( "(") (binary_expression "param_1[1] != param_2[1] || *param_1 != *param_2" (binary_expression "param_1[1] != param_2[1]" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (!= "!=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (|| "||") (binary_expression "*param_1 != *param_2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (!= "!=") (pointer_expression "*param_2" (* "*") (identifier "param_2")))) () ")")) (compound_statement "{\n    return 0;\n  }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (return_statement "return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);" (return "return") (call_expression "CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0)" (identifier "CONCAT31") (argument_list "((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),\n                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0)" (( "(") (call_expression "(int3)((uint)(param_1[3] ^ param_2[3]) >> 8)" (parenthesized_expression "(int3)" (( "(") (identifier "int3") () ")")) (argument_list "((uint)(param_1[3] ^ param_2[3]) >> 8)" (( "(") (binary_expression "(uint)(param_1[3] ^ param_2[3]) >> 8" (call_expression "(uint)(param_1[3] ^ param_2[3])" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(param_1[3] ^ param_2[3])" (( "(") (binary_expression "param_1[3] ^ param_2[3]" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (^ "^") (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]"))) () ")"))) (>> ">>") (number_literal "8")) () ")"))) (, ",") (binary_expression "param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0" (binary_expression "param_1[2] == param_2[2]" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (== "==") (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]"))) (&& "&&") (binary_expression "(param_1[3] ^ param_2[3]) == 0" (parenthesized_expression "(param_1[3] ^ param_2[3])" (( "(") (binary_expression "param_1[3] ^ param_2[3]" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (^ "^") (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]"))) () ")")) (== "==") (number_literal "0"))) () ")"))) (; ";")) (} "}")))

type_1 function_1(void *x,void *y)

{
                    /* WARNING: Load size is inaccurate */
                    /* WARNING: Load size is inaccurate */
  if (*(int *)((int)x + 4) != *(int *)((int)y + 4) || *x != *y) {
    return false;
  }
  return *(int *)((int)x + 8) == *(int *)((int)y + 8) &&
         *(int *)((int)x + 0xc) == *(int *)((int)y + 0xc);
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier))))) consequence: (compound_statement (return_statement (number_literal)))) (return_statement (call_expression function: (identifier) arguments: (argument_list (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))))) right: (number_literal)))) (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal)))) right: (number_literal)))))))))

undefined4 MASKED(int *param_1,int *param_2)

{
  if (param_1[1] != param_2[1] || *param_1 != *param_2) {
    return 0;
  }
  return CONCAT31((int3)((uint)(param_1[3] ^ param_2[3]) >> 8),
                  param_1[2] == param_2[2] && (param_1[3] ^ param_2[3]) == 0);
}

