
int sha512_256_init(hash_state *md)

{
  if (md != (hash_state *)0x0) {
    (md->whirlpool).state[0] = 0x22312194fc2bf72c;
    (md->sha3).s[8] = 0;
    (md->chc).length = 0;
    (md->whirlpool).state[1] = 0x9f555fa3c84c64c2;
    (md->whirlpool).state[2] = 0x2393b86b6f53b151;
    (md->whirlpool).state[3] = 0x963877195940eabd;
    (md->whirlpool).state[4] = 0x96283ee2a88effe3;
    (md->whirlpool).state[5] = 0xbe5e1e2553863992;
    (md->whirlpool).state[6] = 0x2b0199fc2c85b8aa;
    (md->whirlpool).state[7] = 0xeb72ddc81c52ca2;
    return 0;
  }
                    /* WARNING: Subroutine does not return */
  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);
}



undefined8 sha512_256_init(undefined8 *param_1)

{
  if (param_1 != (undefined8 *)0x0) {
    param_1[1] = 0x22312194fc2bf72c;
    param_1[9] = 0;
    *param_1 = 0;
    param_1[2] = 0x9f555fa3c84c64c2;
    param_1[3] = 0x2393b86b6f53b151;
    param_1[4] = 0x963877195940eabd;
    param_1[5] = 0x96283ee2a88effe3;
    param_1[6] = 0xbe5e1e2553863992;
    param_1[7] = 0x2b0199fc2c85b8aa;
    param_1[8] = 0xeb72ddc81c52ca2;
    return 0;
  }
                    /* WARNING: Subroutine does not return */
  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);
}


TEST RDI,RDI
JZ 0x001532cb
MOV RAX,0x22312194fc2bf72c
MOV RDX,-0x60aaa05c37b39b3e
MOV RCX,0x2393b86b6f53b151
MOV RSI,-0x69c788e6a6bf1543
MOV R8,-0x69d7c11d5771001d
MOV qword ptr [RDI + 0x8],RAX
XOR EAX,EAX
MOV R9,-0x41a1e1daac79c66e
MOV R10,0x2b0199fc2c85b8aa
MOV qword ptr [RDI + 0x48],0x0
MOV R11,0xeb72ddc81c52ca2
MOV qword ptr [RDI],0x0
MOV qword ptr [RDI + 0x10],RDX
MOV qword ptr [RDI + 0x18],RCX
MOV qword ptr [RDI + 0x20],RSI
MOV qword ptr [RDI + 0x28],R8
MOV qword ptr [RDI + 0x30],R9
MOV qword ptr [RDI + 0x38],R10
MOV qword ptr [RDI + 0x40],R11
RET
PUSH RAX
MOV EDX,0x2b
LEA RSI,[0x1aef73]
LEA RDI,[0x1ae595]
CALL 0x00114270
(translation_unit "undefined8 sha512_256_init(undefined8 *param_1)\n\n{\n  if (param_1 != (undefined8 *)0x0) {\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);\n}\n\n" (function_definition "undefined8 sha512_256_init(undefined8 *param_1)\n\n{\n  if (param_1 != (undefined8 *)0x0) {\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);\n}" type_identifier (function_declarator "sha512_256_init(undefined8 *param_1)" identifier (parameter_list "(undefined8 *param_1)" ( (parameter_declaration "undefined8 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  if (param_1 != (undefined8 *)0x0) {\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);\n}" { (if_statement "if (param_1 != (undefined8 *)0x0) {\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }" if (parenthesized_expression "(param_1 != (undefined8 *)0x0)" ( (binary_expression "param_1 != (undefined8 *)0x0" identifier != (cast_expression "(undefined8 *)0x0" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }" { (expression_statement "param_1[1] = 0x22312194fc2bf72c;" (assignment_expression "param_1[1] = 0x22312194fc2bf72c" (subscript_expression "param_1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[9] = 0;" (assignment_expression "param_1[9] = 0" (subscript_expression "param_1[9]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*param_1 = 0;" (assignment_expression "*param_1 = 0" (pointer_expression "*param_1" * identifier) = number_literal) ;) (expression_statement "param_1[2] = 0x9f555fa3c84c64c2;" (assignment_expression "param_1[2] = 0x9f555fa3c84c64c2" (subscript_expression "param_1[2]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[3] = 0x2393b86b6f53b151;" (assignment_expression "param_1[3] = 0x2393b86b6f53b151" (subscript_expression "param_1[3]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[4] = 0x963877195940eabd;" (assignment_expression "param_1[4] = 0x963877195940eabd" (subscript_expression "param_1[4]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[5] = 0x96283ee2a88effe3;" (assignment_expression "param_1[5] = 0x96283ee2a88effe3" (subscript_expression "param_1[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[6] = 0xbe5e1e2553863992;" (assignment_expression "param_1[6] = 0xbe5e1e2553863992" (subscript_expression "param_1[6]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[7] = 0x2b0199fc2c85b8aa;" (assignment_expression "param_1[7] = 0x2b0199fc2c85b8aa" (subscript_expression "param_1[7]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[8] = 0xeb72ddc81c52ca2;" (assignment_expression "param_1[8] = 0xeb72ddc81c52ca2" (subscript_expression "param_1[8]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return 0;" return number_literal ;) })) comment (expression_statement "crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);" (call_expression "crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b)" identifier (argument_list "("md != NULL","src/hashes/sha2/sha512_256.c",0x2b)" ( (string_literal ""md != NULL"" " string_content ") , (string_literal ""src/hashes/sha2/sha512_256.c"" " string_content ") , number_literal ))) ;) })))
(translation_unit "int sha512_256_init(hash_state *md)\n\n{\n  if (md != (hash_state *)0x0) {\n    (md->whirlpool).state[0] = 0x22312194fc2bf72c;\n    (md->sha3).s[8] = 0;\n    (md->chc).length = 0;\n    (md->whirlpool).state[1] = 0x9f555fa3c84c64c2;\n    (md->whirlpool).state[2] = 0x2393b86b6f53b151;\n    (md->whirlpool).state[3] = 0x963877195940eabd;\n    (md->whirlpool).state[4] = 0x96283ee2a88effe3;\n    (md->whirlpool).state[5] = 0xbe5e1e2553863992;\n    (md->whirlpool).state[6] = 0x2b0199fc2c85b8aa;\n    (md->whirlpool).state[7] = 0xeb72ddc81c52ca2;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);\n}\n\n" (function_definition "int sha512_256_init(hash_state *md)\n\n{\n  if (md != (hash_state *)0x0) {\n    (md->whirlpool).state[0] = 0x22312194fc2bf72c;\n    (md->sha3).s[8] = 0;\n    (md->chc).length = 0;\n    (md->whirlpool).state[1] = 0x9f555fa3c84c64c2;\n    (md->whirlpool).state[2] = 0x2393b86b6f53b151;\n    (md->whirlpool).state[3] = 0x963877195940eabd;\n    (md->whirlpool).state[4] = 0x96283ee2a88effe3;\n    (md->whirlpool).state[5] = 0xbe5e1e2553863992;\n    (md->whirlpool).state[6] = 0x2b0199fc2c85b8aa;\n    (md->whirlpool).state[7] = 0xeb72ddc81c52ca2;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);\n}" primitive_type (function_declarator "sha512_256_init(hash_state *md)" identifier (parameter_list "(hash_state *md)" ( (parameter_declaration "hash_state *md" type_identifier (pointer_declarator "*md" * identifier)) ))) (compound_statement "{\n  if (md != (hash_state *)0x0) {\n    (md->whirlpool).state[0] = 0x22312194fc2bf72c;\n    (md->sha3).s[8] = 0;\n    (md->chc).length = 0;\n    (md->whirlpool).state[1] = 0x9f555fa3c84c64c2;\n    (md->whirlpool).state[2] = 0x2393b86b6f53b151;\n    (md->whirlpool).state[3] = 0x963877195940eabd;\n    (md->whirlpool).state[4] = 0x96283ee2a88effe3;\n    (md->whirlpool).state[5] = 0xbe5e1e2553863992;\n    (md->whirlpool).state[6] = 0x2b0199fc2c85b8aa;\n    (md->whirlpool).state[7] = 0xeb72ddc81c52ca2;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);\n}" { (if_statement "if (md != (hash_state *)0x0) {\n    (md->whirlpool).state[0] = 0x22312194fc2bf72c;\n    (md->sha3).s[8] = 0;\n    (md->chc).length = 0;\n    (md->whirlpool).state[1] = 0x9f555fa3c84c64c2;\n    (md->whirlpool).state[2] = 0x2393b86b6f53b151;\n    (md->whirlpool).state[3] = 0x963877195940eabd;\n    (md->whirlpool).state[4] = 0x96283ee2a88effe3;\n    (md->whirlpool).state[5] = 0xbe5e1e2553863992;\n    (md->whirlpool).state[6] = 0x2b0199fc2c85b8aa;\n    (md->whirlpool).state[7] = 0xeb72ddc81c52ca2;\n    return 0;\n  }" if (parenthesized_expression "(md != (hash_state *)0x0)" ( (binary_expression "md != (hash_state *)0x0" identifier != (cast_expression "(hash_state *)0x0" ( (type_descriptor "hash_state *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    (md->whirlpool).state[0] = 0x22312194fc2bf72c;\n    (md->sha3).s[8] = 0;\n    (md->chc).length = 0;\n    (md->whirlpool).state[1] = 0x9f555fa3c84c64c2;\n    (md->whirlpool).state[2] = 0x2393b86b6f53b151;\n    (md->whirlpool).state[3] = 0x963877195940eabd;\n    (md->whirlpool).state[4] = 0x96283ee2a88effe3;\n    (md->whirlpool).state[5] = 0xbe5e1e2553863992;\n    (md->whirlpool).state[6] = 0x2b0199fc2c85b8aa;\n    (md->whirlpool).state[7] = 0xeb72ddc81c52ca2;\n    return 0;\n  }" { (expression_statement "(md->whirlpool).state[0] = 0x22312194fc2bf72c;" (assignment_expression "(md->whirlpool).state[0] = 0x22312194fc2bf72c" (subscript_expression "(md->whirlpool).state[0]" (field_expression "(md->whirlpool).state" (parenthesized_expression "(md->whirlpool)" ( (field_expression "md->whirlpool" identifier -> field_identifier) )) . field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "(md->sha3).s[8] = 0;" (assignment_expression "(md->sha3).s[8] = 0" (subscript_expression "(md->sha3).s[8]" (field_expression "(md->sha3).s" (parenthesized_expression "(md->sha3)" ( (field_expression "md->sha3" identifier -> field_identifier) )) . field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "(md->chc).length = 0;" (assignment_expression "(md->chc).length = 0" (field_expression "(md->chc).length" (parenthesized_expression "(md->chc)" ( (field_expression "md->chc" identifier -> field_identifier) )) . field_identifier) = number_literal) ;) (expression_statement "(md->whirlpool).state[1] = 0x9f555fa3c84c64c2;" (assignment_expression "(md->whirlpool).state[1] = 0x9f555fa3c84c64c2" (subscript_expression "(md->whirlpool).state[1]" (field_expression "(md->whirlpool).state" (parenthesized_expression "(md->whirlpool)" ( (field_expression "md->whirlpool" identifier -> field_identifier) )) . field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "(md->whirlpool).state[2] = 0x2393b86b6f53b151;" (assignment_expression "(md->whirlpool).state[2] = 0x2393b86b6f53b151" (subscript_expression "(md->whirlpool).state[2]" (field_expression "(md->whirlpool).state" (parenthesized_expression "(md->whirlpool)" ( (field_expression "md->whirlpool" identifier -> field_identifier) )) . field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "(md->whirlpool).state[3] = 0x963877195940eabd;" (assignment_expression "(md->whirlpool).state[3] = 0x963877195940eabd" (subscript_expression "(md->whirlpool).state[3]" (field_expression "(md->whirlpool).state" (parenthesized_expression "(md->whirlpool)" ( (field_expression "md->whirlpool" identifier -> field_identifier) )) . field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "(md->whirlpool).state[4] = 0x96283ee2a88effe3;" (assignment_expression "(md->whirlpool).state[4] = 0x96283ee2a88effe3" (subscript_expression "(md->whirlpool).state[4]" (field_expression "(md->whirlpool).state" (parenthesized_expression "(md->whirlpool)" ( (field_expression "md->whirlpool" identifier -> field_identifier) )) . field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "(md->whirlpool).state[5] = 0xbe5e1e2553863992;" (assignment_expression "(md->whirlpool).state[5] = 0xbe5e1e2553863992" (subscript_expression "(md->whirlpool).state[5]" (field_expression "(md->whirlpool).state" (parenthesized_expression "(md->whirlpool)" ( (field_expression "md->whirlpool" identifier -> field_identifier) )) . field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "(md->whirlpool).state[6] = 0x2b0199fc2c85b8aa;" (assignment_expression "(md->whirlpool).state[6] = 0x2b0199fc2c85b8aa" (subscript_expression "(md->whirlpool).state[6]" (field_expression "(md->whirlpool).state" (parenthesized_expression "(md->whirlpool)" ( (field_expression "md->whirlpool" identifier -> field_identifier) )) . field_identifier) [ number_literal ]) = number_literal) ;) (expression_statement "(md->whirlpool).state[7] = 0xeb72ddc81c52ca2;" (assignment_expression "(md->whirlpool).state[7] = 0xeb72ddc81c52ca2" (subscript_expression "(md->whirlpool).state[7]" (field_expression "(md->whirlpool).state" (parenthesized_expression "(md->whirlpool)" ( (field_expression "md->whirlpool" identifier -> field_identifier) )) . field_identifier) [ number_literal ]) = number_literal) ;) (return_statement "return 0;" return number_literal ;) })) comment (expression_statement "crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);" (call_expression "crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b)" identifier (argument_list "("md != NULL","src/hashes/sha2/sha512_256.c",0x2b)" ( (string_literal ""md != NULL"" " string_content ") , (string_literal ""src/hashes/sha2/sha512_256.c"" " string_content ") , number_literal ))) ;) })))
(translation_unit "undefined8 sha512_256_init(undefined8 *param_1)\n\n{\n  if (param_1 != (undefined8 *)0x0) {\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }\n                    \n  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);\n}\n\n" (function_definition "undefined8 sha512_256_init(undefined8 *param_1)\n\n{\n  if (param_1 != (undefined8 *)0x0) {\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }\n                    \n  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);\n}" type_identifier (function_declarator "sha512_256_init(undefined8 *param_1)" identifier (parameter_list "(undefined8 *param_1)" ( (parameter_declaration "undefined8 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  if (param_1 != (undefined8 *)0x0) {\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }\n                    \n  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);\n}" { (if_statement "if (param_1 != (undefined8 *)0x0) {\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }" if (parenthesized_expression "(param_1 != (undefined8 *)0x0)" ( (binary_expression "param_1 != (undefined8 *)0x0" identifier != (cast_expression "(undefined8 *)0x0" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }" { (expression_statement "param_1[1] = 0x22312194fc2bf72c;" (assignment_expression "param_1[1] = 0x22312194fc2bf72c" (subscript_expression "param_1[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[9] = 0;" (assignment_expression "param_1[9] = 0" (subscript_expression "param_1[9]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*param_1 = 0;" (assignment_expression "*param_1 = 0" (pointer_expression "*param_1" * identifier) = number_literal) ;) (expression_statement "param_1[2] = 0x9f555fa3c84c64c2;" (assignment_expression "param_1[2] = 0x9f555fa3c84c64c2" (subscript_expression "param_1[2]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[3] = 0x2393b86b6f53b151;" (assignment_expression "param_1[3] = 0x2393b86b6f53b151" (subscript_expression "param_1[3]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[4] = 0x963877195940eabd;" (assignment_expression "param_1[4] = 0x963877195940eabd" (subscript_expression "param_1[4]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[5] = 0x96283ee2a88effe3;" (assignment_expression "param_1[5] = 0x96283ee2a88effe3" (subscript_expression "param_1[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[6] = 0xbe5e1e2553863992;" (assignment_expression "param_1[6] = 0xbe5e1e2553863992" (subscript_expression "param_1[6]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[7] = 0x2b0199fc2c85b8aa;" (assignment_expression "param_1[7] = 0x2b0199fc2c85b8aa" (subscript_expression "param_1[7]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_1[8] = 0xeb72ddc81c52ca2;" (assignment_expression "param_1[8] = 0xeb72ddc81c52ca2" (subscript_expression "param_1[8]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);" (call_expression "crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b)" identifier (argument_list "("md != NULL","src/hashes/sha2/sha512_256.c",0x2b)" ( (string_literal ""md != NULL"" " string_content ") , (string_literal ""src/hashes/sha2/sha512_256.c"" " string_content ") , number_literal ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (return_statement return LIT ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT ))) ;) })))
(function_definition "undefined8 sha512_256_init(undefined8 *param_1)\n\n{\n  if (param_1 != (undefined8 *)0x0) {\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }\n                    \n  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);\n}" (type_identifier "undefined8") (function_declarator "sha512_256_init(undefined8 *param_1)" (identifier "sha512_256_init") (parameter_list "(undefined8 *param_1)" (( "(") (parameter_declaration "undefined8 *param_1" (type_identifier "undefined8") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  if (param_1 != (undefined8 *)0x0) {\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }\n                    \n  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);\n}" ({ "{") (if_statement "if (param_1 != (undefined8 *)0x0) {\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }" (if "if") (parenthesized_expression "(param_1 != (undefined8 *)0x0)" (( "(") (binary_expression "param_1 != (undefined8 *)0x0" (identifier "param_1") (!= "!=") (cast_expression "(undefined8 *)0x0" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n    param_1[1] = 0x22312194fc2bf72c;\n    param_1[9] = 0;\n    *param_1 = 0;\n    param_1[2] = 0x9f555fa3c84c64c2;\n    param_1[3] = 0x2393b86b6f53b151;\n    param_1[4] = 0x963877195940eabd;\n    param_1[5] = 0x96283ee2a88effe3;\n    param_1[6] = 0xbe5e1e2553863992;\n    param_1[7] = 0x2b0199fc2c85b8aa;\n    param_1[8] = 0xeb72ddc81c52ca2;\n    return 0;\n  }" ({ "{") (expression_statement "param_1[1] = 0x22312194fc2bf72c;" (assignment_expression "param_1[1] = 0x22312194fc2bf72c" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (number_literal "0x22312194fc2bf72c")) (; ";")) (expression_statement "param_1[9] = 0;" (assignment_expression "param_1[9] = 0" (subscript_expression "param_1[9]" (identifier "param_1") ([ "[") (number_literal "9") (] "]")) (= "=") (number_literal "0")) (; ";")) (expression_statement "*param_1 = 0;" (assignment_expression "*param_1 = 0" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (number_literal "0")) (; ";")) (expression_statement "param_1[2] = 0x9f555fa3c84c64c2;" (assignment_expression "param_1[2] = 0x9f555fa3c84c64c2" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (number_literal "0x9f555fa3c84c64c2")) (; ";")) (expression_statement "param_1[3] = 0x2393b86b6f53b151;" (assignment_expression "param_1[3] = 0x2393b86b6f53b151" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (= "=") (number_literal "0x2393b86b6f53b151")) (; ";")) (expression_statement "param_1[4] = 0x963877195940eabd;" (assignment_expression "param_1[4] = 0x963877195940eabd" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (= "=") (number_literal "0x963877195940eabd")) (; ";")) (expression_statement "param_1[5] = 0x96283ee2a88effe3;" (assignment_expression "param_1[5] = 0x96283ee2a88effe3" (subscript_expression "param_1[5]" (identifier "param_1") ([ "[") (number_literal "5") (] "]")) (= "=") (number_literal "0x96283ee2a88effe3")) (; ";")) (expression_statement "param_1[6] = 0xbe5e1e2553863992;" (assignment_expression "param_1[6] = 0xbe5e1e2553863992" (subscript_expression "param_1[6]" (identifier "param_1") ([ "[") (number_literal "6") (] "]")) (= "=") (number_literal "0xbe5e1e2553863992")) (; ";")) (expression_statement "param_1[7] = 0x2b0199fc2c85b8aa;" (assignment_expression "param_1[7] = 0x2b0199fc2c85b8aa" (subscript_expression "param_1[7]" (identifier "param_1") ([ "[") (number_literal "7") (] "]")) (= "=") (number_literal "0x2b0199fc2c85b8aa")) (; ";")) (expression_statement "param_1[8] = 0xeb72ddc81c52ca2;" (assignment_expression "param_1[8] = 0xeb72ddc81c52ca2" (subscript_expression "param_1[8]" (identifier "param_1") ([ "[") (number_literal "8") (] "]")) (= "=") (number_literal "0xeb72ddc81c52ca2")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);" (call_expression "crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b)" (identifier "crypt_argchk") (argument_list "("md != NULL","src/hashes/sha2/sha512_256.c",0x2b)" (( "(") (string_literal ""md != NULL"" (" """) (string_content "md != NULL") (" """)) (, ",") (string_literal ""src/hashes/sha2/sha512_256.c"" (" """) (string_content "src/hashes/sha2/sha512_256.c") (" """)) (, ",") (number_literal "0x2b") () ")"))) (; ";")) (} "}")))

int function_1(type_1 *var_1)

{
  if (var_1 != (type_1 *)0x0) {
    (var_1->whirlpool).state[0] = 0x22312194fc2bf72c;
    (var_1->sha3).s[8] = 0;
    (var_1->chc).length = 0;
    (var_1->whirlpool).state[1] = 0x9f555fa3c84c64c2;
    (var_1->whirlpool).state[2] = 0x2393b86b6f53b151;
    (var_1->whirlpool).state[3] = 0x963877195940eabd;
    (var_1->whirlpool).state[4] = 0x96283ee2a88effe3;
    (var_1->whirlpool).state[5] = 0xbe5e1e2553863992;
    (var_1->whirlpool).state[6] = 0x2b0199fc2c85b8aa;
    (var_1->whirlpool).state[7] = 0xeb72ddc81c52ca2;
    return 0;
  }
                    /* WARNING: Subroutine does not return */
  var_2("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);
}


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

undefined8 MASKED(undefined8 *param_1)

{
  if (param_1 != (undefined8 *)0x0) {
    param_1[1] = 0x22312194fc2bf72c;
    param_1[9] = 0;
    *param_1 = 0;
    param_1[2] = 0x9f555fa3c84c64c2;
    param_1[3] = 0x2393b86b6f53b151;
    param_1[4] = 0x963877195940eabd;
    param_1[5] = 0x96283ee2a88effe3;
    param_1[6] = 0xbe5e1e2553863992;
    param_1[7] = 0x2b0199fc2c85b8aa;
    param_1[8] = 0xeb72ddc81c52ca2;
    return 0;
  }
                    /* WARNING: Subroutine does not return */
  crypt_argchk("md != NULL","src/hashes/sha2/sha512_256.c",0x2b);
}

