
void ResetStringInfo(StringInfo *string_info)

{
  if (string_info == (StringInfo *)0x0) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"
                 );
  }
  if (string_info->signature == 0xabacadab) {
    memset(string_info->datum,0,string_info->length);
    return;
  }
                    /* WARNING: Subroutine does not return */
  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,
                "ResetStringInfo");
}



void ResetStringInfo(long param_1)

{
  if (param_1 == 0) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"
                 );
  }
  if (*(long *)(param_1 + 0x18) == 0xabacadab) {
    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));
    return;
  }
                    /* WARNING: Subroutine does not return */
  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,
                "ResetStringInfo");
}


SUB RSP,0x8
TEST RDI,RDI
JZ 0x002d20a3
MOV RAX,RDI
MOV EDX,0xabacadab
CMP qword ptr [RDI + 0x18],RDX
JNZ 0x002d20c2
MOV RDI,qword ptr [RDI + 0x8]
MOV RDX,qword ptr [RAX + 0x10]
MOV ESI,0x0
CALL 0x00149d30
ADD RSP,0x8
RET
LEA RCX,[0x433f80]
MOV EDX,0x60b
LEA RSI,[0x433b42]
LEA RDI,[0x433cf0]
CALL 0x0014a360
LEA RCX,[0x433f80]
MOV EDX,0x60c
LEA RSI,[0x433b42]
LEA RDI,[0x433d18]
CALL 0x0014a360
(translation_unit "void ResetStringInfo(long param_1)\n\n{\n  if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }\n  if (*(long *)(param_1 + 0x18) == 0xabacadab) {\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");\n}\n\n" (function_definition "void ResetStringInfo(long param_1)\n\n{\n  if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }\n  if (*(long *)(param_1 + 0x18) == 0xabacadab) {\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");\n}" primitive_type (function_declarator "ResetStringInfo(long param_1)" identifier (parameter_list "(long param_1)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) ))) (compound_statement "{\n  if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }\n  if (*(long *)(param_1 + 0x18) == 0xabacadab) {\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");\n}" { (if_statement "if (param_1 == 0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }" { comment (expression_statement "__assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );" (call_expression "__assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 )" identifier (argument_list "("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 )" ( (string_literal ""string_info != (StringInfo *) NULL"" " string_content ") , (string_literal ""MagickCore/string.c"" " string_content ") , number_literal , (string_literal ""ResetStringInfo"" " string_content ") ))) ;) })) (if_statement "if (*(long *)(param_1 + 0x18) == 0xabacadab) {\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }" if (parenthesized_expression "(*(long *)(param_1 + 0x18) == 0xabacadab)" ( (binary_expression "*(long *)(param_1 + 0x18) == 0xabacadab" (pointer_expression "*(long *)(param_1 + 0x18)" * (cast_expression "(long *)(param_1 + 0x18)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x18)" ( (binary_expression "param_1 + 0x18" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }" { (expression_statement "memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));" (call_expression "memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10))" identifier (argument_list "(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10))" ( (pointer_expression "*(void **)(param_1 + 8)" * (cast_expression "(void **)(param_1 + 8)" ( (type_descriptor "void **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) , number_literal , (pointer_expression "*(size_t *)(param_1 + 0x10)" * (cast_expression "(size_t *)(param_1 + 0x10)" ( (type_descriptor "size_t *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x10)" ( (binary_expression "param_1 + 0x10" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })) comment (expression_statement "__assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");" (call_expression "__assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo")" identifier (argument_list "("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo")" ( (string_literal ""string_info->signature == MagickCoreSignature"" " string_content ") , (string_literal ""MagickCore/string.c"" " string_content ") , number_literal , (string_literal ""ResetStringInfo"" " string_content ") ))) ;) })))
(translation_unit "void ResetStringInfo(StringInfo *string_info)\n\n{\n  if (string_info == (StringInfo *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }\n  if (string_info->signature == 0xabacadab) {\n    memset(string_info->datum,0,string_info->length);\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");\n}\n\n" (function_definition "void ResetStringInfo(StringInfo *string_info)\n\n{\n  if (string_info == (StringInfo *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }\n  if (string_info->signature == 0xabacadab) {\n    memset(string_info->datum,0,string_info->length);\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");\n}" primitive_type (function_declarator "ResetStringInfo(StringInfo *string_info)" identifier (parameter_list "(StringInfo *string_info)" ( (parameter_declaration "StringInfo *string_info" type_identifier (pointer_declarator "*string_info" * identifier)) ))) (compound_statement "{\n  if (string_info == (StringInfo *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }\n  if (string_info->signature == 0xabacadab) {\n    memset(string_info->datum,0,string_info->length);\n    return;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");\n}" { (if_statement "if (string_info == (StringInfo *)0x0) {\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }" if (parenthesized_expression "(string_info == (StringInfo *)0x0)" ( (binary_expression "string_info == (StringInfo *)0x0" identifier == (cast_expression "(StringInfo *)0x0" ( (type_descriptor "StringInfo *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }" { comment (expression_statement "__assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );" (call_expression "__assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 )" identifier (argument_list "("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 )" ( (string_literal ""string_info != (StringInfo *) NULL"" " string_content ") , (string_literal ""MagickCore/string.c"" " string_content ") , number_literal , (string_literal ""ResetStringInfo"" " string_content ") ))) ;) })) (if_statement "if (string_info->signature == 0xabacadab) {\n    memset(string_info->datum,0,string_info->length);\n    return;\n  }" if (parenthesized_expression "(string_info->signature == 0xabacadab)" ( (binary_expression "string_info->signature == 0xabacadab" (field_expression "string_info->signature" identifier -> field_identifier) == number_literal) )) (compound_statement "{\n    memset(string_info->datum,0,string_info->length);\n    return;\n  }" { (expression_statement "memset(string_info->datum,0,string_info->length);" (call_expression "memset(string_info->datum,0,string_info->length)" identifier (argument_list "(string_info->datum,0,string_info->length)" ( (field_expression "string_info->datum" identifier -> field_identifier) , number_literal , (field_expression "string_info->length" identifier -> field_identifier) ))) ;) (return_statement "return;" return ;) })) comment (expression_statement "__assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");" (call_expression "__assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo")" identifier (argument_list "("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo")" ( (string_literal ""string_info->signature == MagickCoreSignature"" " string_content ") , (string_literal ""MagickCore/string.c"" " string_content ") , number_literal , (string_literal ""ResetStringInfo"" " string_content ") ))) ;) })))
(translation_unit "void ResetStringInfo(long param_1)\n\n{\n  if (param_1 == 0) {\n                    \n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }\n  if (*(long *)(param_1 + 0x18) == 0xabacadab) {\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }\n                    \n  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");\n}\n\n" (function_definition "void ResetStringInfo(long param_1)\n\n{\n  if (param_1 == 0) {\n                    \n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }\n  if (*(long *)(param_1 + 0x18) == 0xabacadab) {\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }\n                    \n  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");\n}" primitive_type (function_declarator "ResetStringInfo(long param_1)" identifier (parameter_list "(long param_1)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) ))) (compound_statement "{\n  if (param_1 == 0) {\n                    \n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }\n  if (*(long *)(param_1 + 0x18) == 0xabacadab) {\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }\n                    \n  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");\n}" { (if_statement "if (param_1 == 0) {\n                    \n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }" if (parenthesized_expression "(param_1 == 0)" ( (binary_expression "param_1 == 0" identifier == number_literal) )) (compound_statement "{\n                    \n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }" { (expression_statement "__assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );" (call_expression "__assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 )" identifier (argument_list "("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 )" ( (string_literal ""string_info != (StringInfo *) NULL"" " string_content ") , (string_literal ""MagickCore/string.c"" " string_content ") , number_literal , (string_literal ""ResetStringInfo"" " string_content ") ))) ;) })) (if_statement "if (*(long *)(param_1 + 0x18) == 0xabacadab) {\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }" if (parenthesized_expression "(*(long *)(param_1 + 0x18) == 0xabacadab)" ( (binary_expression "*(long *)(param_1 + 0x18) == 0xabacadab" (pointer_expression "*(long *)(param_1 + 0x18)" * (cast_expression "(long *)(param_1 + 0x18)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x18)" ( (binary_expression "param_1 + 0x18" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }" { (expression_statement "memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));" (call_expression "memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10))" identifier (argument_list "(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10))" ( (pointer_expression "*(void **)(param_1 + 8)" * (cast_expression "(void **)(param_1 + 8)" ( (type_descriptor "void **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) , number_literal , (pointer_expression "*(size_t *)(param_1 + 0x10)" * (cast_expression "(size_t *)(param_1 + 0x10)" ( (type_descriptor "size_t *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x10)" ( (binary_expression "param_1 + 0x10" identifier + number_literal) )))) ))) ;) (return_statement "return;" return ;) })) (expression_statement "__assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");" (call_expression "__assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo")" identifier (argument_list "("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo")" ( (string_literal ""string_info->signature == MagickCoreSignature"" " string_content ") , (string_literal ""MagickCore/string.c"" " string_content ") , number_literal , (string_literal ""ResetStringInfo"" " string_content ") ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration (sized_type_specifier long) IDENT) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) == LIT) )) (compound_statement { (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) )))) , LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) (return_statement return ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })))
(function_definition "void ResetStringInfo(long param_1)\n\n{\n  if (param_1 == 0) {\n                    \n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }\n  if (*(long *)(param_1 + 0x18) == 0xabacadab) {\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }\n                    \n  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");\n}" (primitive_type "void") (function_declarator "ResetStringInfo(long param_1)" (identifier "ResetStringInfo") (parameter_list "(long param_1)" (( "(") (parameter_declaration "long param_1" (sized_type_specifier "long" (long "long")) (identifier "param_1")) () ")"))) (compound_statement "{\n  if (param_1 == 0) {\n                    \n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }\n  if (*(long *)(param_1 + 0x18) == 0xabacadab) {\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }\n                    \n  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");\n}" ({ "{") (if_statement "if (param_1 == 0) {\n                    \n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }" (if "if") (parenthesized_expression "(param_1 == 0)" (( "(") (binary_expression "param_1 == 0" (identifier "param_1") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n                    \n    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );\n  }" ({ "{") (expression_statement "__assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 );" (call_expression "__assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 )" (identifier "__assert_fail") (argument_list "("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"\n                 )" (( "(") (string_literal ""string_info != (StringInfo *) NULL"" (" """) (string_content "string_info != (StringInfo *) NULL") (" """)) (, ",") (string_literal ""MagickCore/string.c"" (" """) (string_content "MagickCore/string.c") (" """)) (, ",") (number_literal "0x60b") (, ",") (string_literal ""ResetStringInfo"" (" """) (string_content "ResetStringInfo") (" """)) () ")"))) (; ";")) (} "}"))) (if_statement "if (*(long *)(param_1 + 0x18) == 0xabacadab) {\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }" (if "if") (parenthesized_expression "(*(long *)(param_1 + 0x18) == 0xabacadab)" (( "(") (binary_expression "*(long *)(param_1 + 0x18) == 0xabacadab" (pointer_expression "*(long *)(param_1 + 0x18)" (* "*") (cast_expression "(long *)(param_1 + 0x18)" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x18)" (( "(") (binary_expression "param_1 + 0x18" (identifier "param_1") (+ "+") (number_literal "0x18")) () ")")))) (== "==") (number_literal "0xabacadab")) () ")")) (compound_statement "{\n    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));\n    return;\n  }" ({ "{") (expression_statement "memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));" (call_expression "memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10))" (identifier "memset") (argument_list "(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10))" (( "(") (pointer_expression "*(void **)(param_1 + 8)" (* "*") (cast_expression "(void **)(param_1 + 8)" (( "(") (type_descriptor "void **" (primitive_type "void") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(param_1 + 8)" (( "(") (binary_expression "param_1 + 8" (identifier "param_1") (+ "+") (number_literal "8")) () ")")))) (, ",") (number_literal "0") (, ",") (pointer_expression "*(size_t *)(param_1 + 0x10)" (* "*") (cast_expression "(size_t *)(param_1 + 0x10)" (( "(") (type_descriptor "size_t *" (primitive_type "size_t") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x10)" (( "(") (binary_expression "param_1 + 0x10" (identifier "param_1") (+ "+") (number_literal "0x10")) () ")")))) () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "__assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo");" (call_expression "__assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo")" (identifier "__assert_fail") (argument_list "("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,\n                "ResetStringInfo")" (( "(") (string_literal ""string_info->signature == MagickCoreSignature"" (" """) (string_content "string_info->signature == MagickCoreSignature") (" """)) (, ",") (string_literal ""MagickCore/string.c"" (" """) (string_content "MagickCore/string.c") (" """)) (, ",") (number_literal "0x60c") (, ",") (string_literal ""ResetStringInfo"" (" """) (string_content "ResetStringInfo") (" """)) () ")"))) (; ";")) (} "}")))

void function_1(type_1 *var_1)

{
  if (var_1 == (type_1 *)0x0) {
                    /* WARNING: Subroutine does not return */
    var_2("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"ResetStringInfo"
                 );
  }
  if (var_1->signature == 0xabacadab) {
    var_3(var_1->datum,0,var_1->length);
    return;
  }
                    /* WARNING: Subroutine does not return */
  var_2("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,
                "ResetStringInfo");
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (sized_type_specifier) declarator: (identifier)))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal) (string_literal (string_content))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) consequence: (compound_statement (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))))) (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))))) (return_statement))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (string_literal (string_content)) (number_literal) (string_literal (string_content))))))))

void MASKED(long param_1)

{
  if (param_1 == 0) {
                    /* WARNING: Subroutine does not return */
    __assert_fail("string_info != (StringInfo *) NULL","MagickCore/string.c",0x60b,"MASKED"
                 );
  }
  if (*(long *)(param_1 + 0x18) == 0xabacadab) {
    memset(*(void **)(param_1 + 8),0,*(size_t *)(param_1 + 0x10));
    return;
  }
                    /* WARNING: Subroutine does not return */
  __assert_fail("string_info->signature == MagickCoreSignature","MagickCore/string.c",0x60c,
                "MASKED");
}

