
reg_errcode_t clean_state_log_if_needed(re_match_context_t *mctx,Idx next_state_log_idx)

{
  int iVar1;
  reg_errcode_t rVar2;
  int iVar3;
  
  iVar1 = (mctx->input).bufs_len;
  iVar3 = mctx->state_log_top;
  if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) {
    iVar1 = (mctx->input).valid_len;
    if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) goto LAB_0007243c;
    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);
  }
  else {
    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);
  }
  if (rVar2 != _REG_NOERROR) {
    return rVar2;
  }
LAB_0007243c:
  if (next_state_log_idx <= iVar3) {
    return _REG_NOERROR;
  }
  (*(code *)PTR_memset_000afd94)(mctx->state_log + iVar3 + 1,0,(next_state_log_idx - iVar3) * 4);
  mctx->state_log_top = next_state_log_idx;
  return _REG_NOERROR;
}



int FUN_000723d4(int param_1,int param_2)

{
  int iVar1;
  int iVar2;
  
  iVar2 = *(int *)(param_1 + 0x68);
  if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))
     ) {
    if ((param_2 < *(int *)(param_1 + 0x1c)) ||
       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;
    iVar1 = FUN_00072208(param_1,param_2 + 1);
  }
  else {
    iVar1 = FUN_00072208(param_1,param_2 + 1);
  }
  if (iVar1 != 0) {
    return iVar1;
  }
LAB_0007243c:
  if (param_2 <= iVar2) {
    return 0;
  }
  (*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);
  *(int *)(param_1 + 0x68) = param_2;
  return 0;
}


lui gp,0x4
addiu gp,gp,0x505c
addu gp,gp,t9
addiu sp,sp,-0x28
lw v0,0x24(a0)
slt v1,a1,v0
sw gp,0x10(sp)
sw s2,0x20(sp)
sw s1,0x1c(sp)
or s1,a1,zero
sw s0,0x18(sp)
or s0,a0,zero
sw ra,0x24(sp)
bne v1,zero,0x0007245c
_lw s2,0x68(a0)
lw v1,0x30(a0)
slt v0,v0,v1
beq v0,zero,0x0007245c
_lw t9,-0x7a10(gp)
addiu a1,s1,0x1
addiu t9,t9,0x2208
bal 0x00072208
_or a0,s0,zero
bne v0,zero,0x00072444
_lw gp,0x10(sp)
slt v0,s2,s1
bne v0,zero,0x000724a0
_or v0,zero,zero
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x28
lw v0,0x1c(s0)
slt v1,s1,v0
bne v1,zero,0x00072438
_nop
lw v1,0x30(s0)
slt v0,v0,v1
beq v0,zero,0x0007243c
_slt v0,s2,s1
lw t9,-0x7a10(gp)
addiu a1,s1,0x1
addiu t9,t9,0x2208
bal 0x00072208
_or a0,s0,zero
beq v0,zero,0x00072438
_lw gp,0x10(sp)
b 0x00072448
_lw ra,0x24(sp)
addiu v0,s2,0x1
lw a0,0x64(s0)
subu a2,s1,s2
lw t9,-0x769c(gp)
sll v0,v0,0x2
sll a2,a2,0x2
or a1,zero,zero
jalr t9
_addu a0,a0,v0
or v0,zero,zero
lw ra,0x24(sp)
lw s2,0x20(sp)
sw s1,0x68(s0)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x28
(translation_unit "int FUN_000723d4(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = *(int *)(param_1 + 0x68);\n  if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     ) {\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  if (iVar1 != 0) {\n    return iVar1;\n  }\nLAB_0007243c:\n  if (param_2 <= iVar2) {\n    return 0;\n  }\n  (*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);\n  *(int *)(param_1 + 0x68) = param_2;\n  return 0;\n}\n\n" (function_definition "int FUN_000723d4(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = *(int *)(param_1 + 0x68);\n  if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     ) {\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  if (iVar1 != 0) {\n    return iVar1;\n  }\nLAB_0007243c:\n  if (param_2 <= iVar2) {\n    return 0;\n  }\n  (*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);\n  *(int *)(param_1 + 0x68) = param_2;\n  return 0;\n}" primitive_type (function_declarator "FUN_000723d4(int param_1,int param_2)" identifier (parameter_list "(int param_1,int param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = *(int *)(param_1 + 0x68);\n  if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     ) {\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  if (iVar1 != 0) {\n    return iVar1;\n  }\nLAB_0007243c:\n  if (param_2 <= iVar2) {\n    return 0;\n  }\n  (*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);\n  *(int *)(param_1 + 0x68) = param_2;\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (expression_statement "iVar2 = *(int *)(param_1 + 0x68);" (assignment_expression "iVar2 = *(int *)(param_1 + 0x68)" identifier = (pointer_expression "*(int *)(param_1 + 0x68)" * (cast_expression "(int *)(param_1 + 0x68)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x68)" ( (binary_expression "param_1 + 0x68" identifier + number_literal) ))))) ;) (if_statement "if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     ) {\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" if (parenthesized_expression "((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     )" ( (binary_expression "(param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))" (parenthesized_expression "(param_2 < *(int *)(param_1 + 0x24))" ( (binary_expression "param_2 < *(int *)(param_1 + 0x24)" identifier < (pointer_expression "*(int *)(param_1 + 0x24)" * (cast_expression "(int *)(param_1 + 0x24)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x24)" ( (binary_expression "param_1 + 0x24" identifier + number_literal) ))))) )) || (parenthesized_expression "(*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))" ( (binary_expression "*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24)" (pointer_expression "*(int *)(param_1 + 0x30)" * (cast_expression "(int *)(param_1 + 0x30)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x30)" ( (binary_expression "param_1 + 0x30" identifier + number_literal) )))) <= (pointer_expression "*(int *)(param_1 + 0x24)" * (cast_expression "(int *)(param_1 + 0x24)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x24)" ( (binary_expression "param_1 + 0x24" identifier + number_literal) ))))) ))) )) (compound_statement "{\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" { (if_statement "if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;" if (parenthesized_expression "((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c)))" ( (binary_expression "(param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))" (parenthesized_expression "(param_2 < *(int *)(param_1 + 0x1c))" ( (binary_expression "param_2 < *(int *)(param_1 + 0x1c)" identifier < (pointer_expression "*(int *)(param_1 + 0x1c)" * (cast_expression "(int *)(param_1 + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c)" ( (binary_expression "param_1 + 0x1c" identifier + number_literal) ))))) )) || (parenthesized_expression "(*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))" ( (binary_expression "*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c)" (pointer_expression "*(int *)(param_1 + 0x30)" * (cast_expression "(int *)(param_1 + 0x30)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x30)" ( (binary_expression "param_1 + 0x30" identifier + number_literal) )))) <= (pointer_expression "*(int *)(param_1 + 0x1c)" * (cast_expression "(int *)(param_1 + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c)" ( (binary_expression "param_1 + 0x1c" identifier + number_literal) ))))) ))) )) (goto_statement "goto LAB_0007243c;" goto statement_identifier ;)) (expression_statement "iVar1 = FUN_00072208(param_1,param_2 + 1);" (assignment_expression "iVar1 = FUN_00072208(param_1,param_2 + 1)" identifier = (call_expression "FUN_00072208(param_1,param_2 + 1)" identifier (argument_list "(param_1,param_2 + 1)" ( identifier , (binary_expression "param_2 + 1" identifier + number_literal) )))) ;) }) (else_clause "else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" else (compound_statement "{\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" { (expression_statement "iVar1 = FUN_00072208(param_1,param_2 + 1);" (assignment_expression "iVar1 = FUN_00072208(param_1,param_2 + 1)" identifier = (call_expression "FUN_00072208(param_1,param_2 + 1)" identifier (argument_list "(param_1,param_2 + 1)" ( identifier , (binary_expression "param_2 + 1" identifier + number_literal) )))) ;) }))) (if_statement "if (iVar1 != 0) {\n    return iVar1;\n  }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n    return iVar1;\n  }" { (return_statement "return iVar1;" return identifier ;) })) (labeled_statement "LAB_0007243c:\n  if (param_2 <= iVar2) {\n    return 0;\n  }" statement_identifier : (if_statement "if (param_2 <= iVar2) {\n    return 0;\n  }" if (parenthesized_expression "(param_2 <= iVar2)" ( (binary_expression "param_2 <= iVar2" identifier <= identifier) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) }))) (expression_statement "(*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);" (call_expression "(*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4)" (parenthesized_expression "(*(code *)PTR_memset_000afd94)" ( (pointer_expression "*(code *)PTR_memset_000afd94" * (cast_expression "(code *)PTR_memset_000afd94" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4)" ( (binary_expression "*(int *)(param_1 + 100) + (iVar2 + 1) * 4" (pointer_expression "*(int *)(param_1 + 100)" * (cast_expression "(int *)(param_1 + 100)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 100)" ( (binary_expression "param_1 + 100" identifier + number_literal) )))) + (binary_expression "(iVar2 + 1) * 4" (parenthesized_expression "(iVar2 + 1)" ( (binary_expression "iVar2 + 1" identifier + number_literal) )) * number_literal)) , number_literal , (binary_expression "(param_2 - iVar2) * 4" (parenthesized_expression "(param_2 - iVar2)" ( (binary_expression "param_2 - iVar2" identifier - identifier) )) * number_literal) ))) ;) (expression_statement "*(int *)(param_1 + 0x68) = param_2;" (assignment_expression "*(int *)(param_1 + 0x68) = param_2" (pointer_expression "*(int *)(param_1 + 0x68)" * (cast_expression "(int *)(param_1 + 0x68)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x68)" ( (binary_expression "param_1 + 0x68" identifier + number_literal) )))) = identifier) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "reg_errcode_t clean_state_log_if_needed(re_match_context_t *mctx,Idx next_state_log_idx)\n\n{\n  int iVar1;\n  reg_errcode_t rVar2;\n  int iVar3;\n  \n  iVar1 = (mctx->input).bufs_len;\n  iVar3 = mctx->state_log_top;\n  if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) {\n    iVar1 = (mctx->input).valid_len;\n    if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) goto LAB_0007243c;\n    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);\n  }\n  else {\n    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);\n  }\n  if (rVar2 != _REG_NOERROR) {\n    return rVar2;\n  }\nLAB_0007243c:\n  if (next_state_log_idx <= iVar3) {\n    return _REG_NOERROR;\n  }\n  (*(code *)PTR_memset_000afd94)(mctx->state_log + iVar3 + 1,0,(next_state_log_idx - iVar3) * 4);\n  mctx->state_log_top = next_state_log_idx;\n  return _REG_NOERROR;\n}\n\n" (function_definition "reg_errcode_t clean_state_log_if_needed(re_match_context_t *mctx,Idx next_state_log_idx)\n\n{\n  int iVar1;\n  reg_errcode_t rVar2;\n  int iVar3;\n  \n  iVar1 = (mctx->input).bufs_len;\n  iVar3 = mctx->state_log_top;\n  if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) {\n    iVar1 = (mctx->input).valid_len;\n    if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) goto LAB_0007243c;\n    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);\n  }\n  else {\n    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);\n  }\n  if (rVar2 != _REG_NOERROR) {\n    return rVar2;\n  }\nLAB_0007243c:\n  if (next_state_log_idx <= iVar3) {\n    return _REG_NOERROR;\n  }\n  (*(code *)PTR_memset_000afd94)(mctx->state_log + iVar3 + 1,0,(next_state_log_idx - iVar3) * 4);\n  mctx->state_log_top = next_state_log_idx;\n  return _REG_NOERROR;\n}" type_identifier (function_declarator "clean_state_log_if_needed(re_match_context_t *mctx,Idx next_state_log_idx)" identifier (parameter_list "(re_match_context_t *mctx,Idx next_state_log_idx)" ( (parameter_declaration "re_match_context_t *mctx" type_identifier (pointer_declarator "*mctx" * identifier)) , (parameter_declaration "Idx next_state_log_idx" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  reg_errcode_t rVar2;\n  int iVar3;\n  \n  iVar1 = (mctx->input).bufs_len;\n  iVar3 = mctx->state_log_top;\n  if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) {\n    iVar1 = (mctx->input).valid_len;\n    if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) goto LAB_0007243c;\n    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);\n  }\n  else {\n    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);\n  }\n  if (rVar2 != _REG_NOERROR) {\n    return rVar2;\n  }\nLAB_0007243c:\n  if (next_state_log_idx <= iVar3) {\n    return _REG_NOERROR;\n  }\n  (*(code *)PTR_memset_000afd94)(mctx->state_log + iVar3 + 1,0,(next_state_log_idx - iVar3) * 4);\n  mctx->state_log_top = next_state_log_idx;\n  return _REG_NOERROR;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "reg_errcode_t rVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (expression_statement "iVar1 = (mctx->input).bufs_len;" (assignment_expression "iVar1 = (mctx->input).bufs_len" identifier = (field_expression "(mctx->input).bufs_len" (parenthesized_expression "(mctx->input)" ( (field_expression "mctx->input" identifier -> field_identifier) )) . field_identifier)) ;) (expression_statement "iVar3 = mctx->state_log_top;" (assignment_expression "iVar3 = mctx->state_log_top" identifier = (field_expression "mctx->state_log_top" identifier -> field_identifier)) ;) (if_statement "if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) {\n    iVar1 = (mctx->input).valid_len;\n    if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) goto LAB_0007243c;\n    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);\n  }\n  else {\n    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);\n  }" if (parenthesized_expression "((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1))" ( (binary_expression "(next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)" (parenthesized_expression "(next_state_log_idx < iVar1)" ( (binary_expression "next_state_log_idx < iVar1" identifier < identifier) )) || (parenthesized_expression "((mctx->input).len <= iVar1)" ( (binary_expression "(mctx->input).len <= iVar1" (field_expression "(mctx->input).len" (parenthesized_expression "(mctx->input)" ( (field_expression "mctx->input" identifier -> field_identifier) )) . field_identifier) <= identifier) ))) )) (compound_statement "{\n    iVar1 = (mctx->input).valid_len;\n    if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) goto LAB_0007243c;\n    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);\n  }" { (expression_statement "iVar1 = (mctx->input).valid_len;" (assignment_expression "iVar1 = (mctx->input).valid_len" identifier = (field_expression "(mctx->input).valid_len" (parenthesized_expression "(mctx->input)" ( (field_expression "mctx->input" identifier -> field_identifier) )) . field_identifier)) ;) (if_statement "if ((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)) goto LAB_0007243c;" if (parenthesized_expression "((next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1))" ( (binary_expression "(next_state_log_idx < iVar1) || ((mctx->input).len <= iVar1)" (parenthesized_expression "(next_state_log_idx < iVar1)" ( (binary_expression "next_state_log_idx < iVar1" identifier < identifier) )) || (parenthesized_expression "((mctx->input).len <= iVar1)" ( (binary_expression "(mctx->input).len <= iVar1" (field_expression "(mctx->input).len" (parenthesized_expression "(mctx->input)" ( (field_expression "mctx->input" identifier -> field_identifier) )) . field_identifier) <= identifier) ))) )) (goto_statement "goto LAB_0007243c;" goto statement_identifier ;)) (expression_statement "rVar2 = extend_buffers(mctx,next_state_log_idx + 1);" (assignment_expression "rVar2 = extend_buffers(mctx,next_state_log_idx + 1)" identifier = (call_expression "extend_buffers(mctx,next_state_log_idx + 1)" identifier (argument_list "(mctx,next_state_log_idx + 1)" ( identifier , (binary_expression "next_state_log_idx + 1" identifier + number_literal) )))) ;) }) (else_clause "else {\n    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);\n  }" else (compound_statement "{\n    rVar2 = extend_buffers(mctx,next_state_log_idx + 1);\n  }" { (expression_statement "rVar2 = extend_buffers(mctx,next_state_log_idx + 1);" (assignment_expression "rVar2 = extend_buffers(mctx,next_state_log_idx + 1)" identifier = (call_expression "extend_buffers(mctx,next_state_log_idx + 1)" identifier (argument_list "(mctx,next_state_log_idx + 1)" ( identifier , (binary_expression "next_state_log_idx + 1" identifier + number_literal) )))) ;) }))) (if_statement "if (rVar2 != _REG_NOERROR) {\n    return rVar2;\n  }" if (parenthesized_expression "(rVar2 != _REG_NOERROR)" ( (binary_expression "rVar2 != _REG_NOERROR" identifier != identifier) )) (compound_statement "{\n    return rVar2;\n  }" { (return_statement "return rVar2;" return identifier ;) })) (labeled_statement "LAB_0007243c:\n  if (next_state_log_idx <= iVar3) {\n    return _REG_NOERROR;\n  }" statement_identifier : (if_statement "if (next_state_log_idx <= iVar3) {\n    return _REG_NOERROR;\n  }" if (parenthesized_expression "(next_state_log_idx <= iVar3)" ( (binary_expression "next_state_log_idx <= iVar3" identifier <= identifier) )) (compound_statement "{\n    return _REG_NOERROR;\n  }" { (return_statement "return _REG_NOERROR;" return identifier ;) }))) (expression_statement "(*(code *)PTR_memset_000afd94)(mctx->state_log + iVar3 + 1,0,(next_state_log_idx - iVar3) * 4);" (call_expression "(*(code *)PTR_memset_000afd94)(mctx->state_log + iVar3 + 1,0,(next_state_log_idx - iVar3) * 4)" (parenthesized_expression "(*(code *)PTR_memset_000afd94)" ( (pointer_expression "*(code *)PTR_memset_000afd94" * (cast_expression "(code *)PTR_memset_000afd94" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(mctx->state_log + iVar3 + 1,0,(next_state_log_idx - iVar3) * 4)" ( (binary_expression "mctx->state_log + iVar3 + 1" (binary_expression "mctx->state_log + iVar3" (field_expression "mctx->state_log" identifier -> field_identifier) + identifier) + number_literal) , number_literal , (binary_expression "(next_state_log_idx - iVar3) * 4" (parenthesized_expression "(next_state_log_idx - iVar3)" ( (binary_expression "next_state_log_idx - iVar3" identifier - identifier) )) * number_literal) ))) ;) (expression_statement "mctx->state_log_top = next_state_log_idx;" (assignment_expression "mctx->state_log_top = next_state_log_idx" (field_expression "mctx->state_log_top" identifier -> field_identifier) = identifier) ;) (return_statement "return _REG_NOERROR;" return identifier ;) })))
(translation_unit "int FUN_000723d4(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = *(int *)(param_1 + 0x68);\n  if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     ) {\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  if (iVar1 != 0) {\n    return iVar1;\n  }\nLAB_0007243c:\n  if (param_2 <= iVar2) {\n    return 0;\n  }\n  (*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);\n  *(int *)(param_1 + 0x68) = param_2;\n  return 0;\n}\n\n" (function_definition "int FUN_000723d4(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = *(int *)(param_1 + 0x68);\n  if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     ) {\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  if (iVar1 != 0) {\n    return iVar1;\n  }\nLAB_0007243c:\n  if (param_2 <= iVar2) {\n    return 0;\n  }\n  (*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);\n  *(int *)(param_1 + 0x68) = param_2;\n  return 0;\n}" primitive_type (function_declarator "FUN_000723d4(int param_1,int param_2)" identifier (parameter_list "(int param_1,int param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = *(int *)(param_1 + 0x68);\n  if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     ) {\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  if (iVar1 != 0) {\n    return iVar1;\n  }\nLAB_0007243c:\n  if (param_2 <= iVar2) {\n    return 0;\n  }\n  (*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);\n  *(int *)(param_1 + 0x68) = param_2;\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (expression_statement "iVar2 = *(int *)(param_1 + 0x68);" (assignment_expression "iVar2 = *(int *)(param_1 + 0x68)" identifier = (pointer_expression "*(int *)(param_1 + 0x68)" * (cast_expression "(int *)(param_1 + 0x68)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x68)" ( (binary_expression "param_1 + 0x68" identifier + number_literal) ))))) ;) (if_statement "if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     ) {\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" if (parenthesized_expression "((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     )" ( (binary_expression "(param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))" (parenthesized_expression "(param_2 < *(int *)(param_1 + 0x24))" ( (binary_expression "param_2 < *(int *)(param_1 + 0x24)" identifier < (pointer_expression "*(int *)(param_1 + 0x24)" * (cast_expression "(int *)(param_1 + 0x24)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x24)" ( (binary_expression "param_1 + 0x24" identifier + number_literal) ))))) )) || (parenthesized_expression "(*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))" ( (binary_expression "*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24)" (pointer_expression "*(int *)(param_1 + 0x30)" * (cast_expression "(int *)(param_1 + 0x30)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x30)" ( (binary_expression "param_1 + 0x30" identifier + number_literal) )))) <= (pointer_expression "*(int *)(param_1 + 0x24)" * (cast_expression "(int *)(param_1 + 0x24)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x24)" ( (binary_expression "param_1 + 0x24" identifier + number_literal) ))))) ))) )) (compound_statement "{\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" { (if_statement "if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;" if (parenthesized_expression "((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c)))" ( (binary_expression "(param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))" (parenthesized_expression "(param_2 < *(int *)(param_1 + 0x1c))" ( (binary_expression "param_2 < *(int *)(param_1 + 0x1c)" identifier < (pointer_expression "*(int *)(param_1 + 0x1c)" * (cast_expression "(int *)(param_1 + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c)" ( (binary_expression "param_1 + 0x1c" identifier + number_literal) ))))) )) || (parenthesized_expression "(*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))" ( (binary_expression "*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c)" (pointer_expression "*(int *)(param_1 + 0x30)" * (cast_expression "(int *)(param_1 + 0x30)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x30)" ( (binary_expression "param_1 + 0x30" identifier + number_literal) )))) <= (pointer_expression "*(int *)(param_1 + 0x1c)" * (cast_expression "(int *)(param_1 + 0x1c)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c)" ( (binary_expression "param_1 + 0x1c" identifier + number_literal) ))))) ))) )) (goto_statement "goto LAB_0007243c;" goto statement_identifier ;)) (expression_statement "iVar1 = FUN_00072208(param_1,param_2 + 1);" (assignment_expression "iVar1 = FUN_00072208(param_1,param_2 + 1)" identifier = (call_expression "FUN_00072208(param_1,param_2 + 1)" identifier (argument_list "(param_1,param_2 + 1)" ( identifier , (binary_expression "param_2 + 1" identifier + number_literal) )))) ;) }) (else_clause "else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" else (compound_statement "{\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" { (expression_statement "iVar1 = FUN_00072208(param_1,param_2 + 1);" (assignment_expression "iVar1 = FUN_00072208(param_1,param_2 + 1)" identifier = (call_expression "FUN_00072208(param_1,param_2 + 1)" identifier (argument_list "(param_1,param_2 + 1)" ( identifier , (binary_expression "param_2 + 1" identifier + number_literal) )))) ;) }))) (if_statement "if (iVar1 != 0) {\n    return iVar1;\n  }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n    return iVar1;\n  }" { (return_statement "return iVar1;" return identifier ;) })) (labeled_statement "LAB_0007243c:\n  if (param_2 <= iVar2) {\n    return 0;\n  }" statement_identifier : (if_statement "if (param_2 <= iVar2) {\n    return 0;\n  }" if (parenthesized_expression "(param_2 <= iVar2)" ( (binary_expression "param_2 <= iVar2" identifier <= identifier) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) }))) (expression_statement "(*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);" (call_expression "(*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4)" (parenthesized_expression "(*(code *)PTR_memset_000afd94)" ( (pointer_expression "*(code *)PTR_memset_000afd94" * (cast_expression "(code *)PTR_memset_000afd94" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4)" ( (binary_expression "*(int *)(param_1 + 100) + (iVar2 + 1) * 4" (pointer_expression "*(int *)(param_1 + 100)" * (cast_expression "(int *)(param_1 + 100)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 100)" ( (binary_expression "param_1 + 100" identifier + number_literal) )))) + (binary_expression "(iVar2 + 1) * 4" (parenthesized_expression "(iVar2 + 1)" ( (binary_expression "iVar2 + 1" identifier + number_literal) )) * number_literal)) , number_literal , (binary_expression "(param_2 - iVar2) * 4" (parenthesized_expression "(param_2 - iVar2)" ( (binary_expression "param_2 - iVar2" identifier - identifier) )) * number_literal) ))) ;) (expression_statement "*(int *)(param_1 + 0x68) = param_2;" (assignment_expression "*(int *)(param_1 + 0x68) = param_2" (pointer_expression "*(int *)(param_1 + 0x68)" * (cast_expression "(int *)(param_1 + 0x68)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x68)" ( (binary_expression "param_1 + 0x68" identifier + number_literal) )))) = identifier) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT < (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) || (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) <= (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ))) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT < (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) || (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) <= (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ))) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , (binary_expression IDENT + LIT) )))) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , (binary_expression IDENT + LIT) )))) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (return_statement return IDENT ;) })) (labeled_statement statement_identifier : (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (return_statement return LIT ;) }))) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) * LIT)) , LIT , (binary_expression (parenthesized_expression ( (binary_expression IDENT - IDENT) )) * LIT) ))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = IDENT) ;) (return_statement return LIT ;) })))
(function_definition "int FUN_000723d4(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = *(int *)(param_1 + 0x68);\n  if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     ) {\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  if (iVar1 != 0) {\n    return iVar1;\n  }\nLAB_0007243c:\n  if (param_2 <= iVar2) {\n    return 0;\n  }\n  (*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);\n  *(int *)(param_1 + 0x68) = param_2;\n  return 0;\n}" (primitive_type "int") (function_declarator "FUN_000723d4(int param_1,int param_2)" (identifier "FUN_000723d4") (parameter_list "(int param_1,int param_2)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) () ")"))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = *(int *)(param_1 + 0x68);\n  if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     ) {\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  if (iVar1 != 0) {\n    return iVar1;\n  }\nLAB_0007243c:\n  if (param_2 <= iVar2) {\n    return 0;\n  }\n  (*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);\n  *(int *)(param_1 + 0x68) = param_2;\n  return 0;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (expression_statement "iVar2 = *(int *)(param_1 + 0x68);" (assignment_expression "iVar2 = *(int *)(param_1 + 0x68)" (identifier "iVar2") (= "=") (pointer_expression "*(int *)(param_1 + 0x68)" (* "*") (cast_expression "(int *)(param_1 + 0x68)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x68)" (( "(") (binary_expression "param_1 + 0x68" (identifier "param_1") (+ "+") (number_literal "0x68")) () ")"))))) (; ";")) (if_statement "if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     ) {\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }\n  else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" (if "if") (parenthesized_expression "((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))\n     )" (( "(") (binary_expression "(param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))" (parenthesized_expression "(param_2 < *(int *)(param_1 + 0x24))" (( "(") (binary_expression "param_2 < *(int *)(param_1 + 0x24)" (identifier "param_2") (< "<") (pointer_expression "*(int *)(param_1 + 0x24)" (* "*") (cast_expression "(int *)(param_1 + 0x24)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x24)" (( "(") (binary_expression "param_1 + 0x24" (identifier "param_1") (+ "+") (number_literal "0x24")) () ")"))))) () ")")) (|| "||") (parenthesized_expression "(*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))" (( "(") (binary_expression "*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24)" (pointer_expression "*(int *)(param_1 + 0x30)" (* "*") (cast_expression "(int *)(param_1 + 0x30)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x30)" (( "(") (binary_expression "param_1 + 0x30" (identifier "param_1") (+ "+") (number_literal "0x30")) () ")")))) (<= "<=") (pointer_expression "*(int *)(param_1 + 0x24)" (* "*") (cast_expression "(int *)(param_1 + 0x24)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x24)" (( "(") (binary_expression "param_1 + 0x24" (identifier "param_1") (+ "+") (number_literal "0x24")) () ")"))))) () ")"))) () ")")) (compound_statement "{\n    if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" ({ "{") (if_statement "if ((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;" (if "if") (parenthesized_expression "((param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c)))" (( "(") (binary_expression "(param_2 < *(int *)(param_1 + 0x1c)) ||\n       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))" (parenthesized_expression "(param_2 < *(int *)(param_1 + 0x1c))" (( "(") (binary_expression "param_2 < *(int *)(param_1 + 0x1c)" (identifier "param_2") (< "<") (pointer_expression "*(int *)(param_1 + 0x1c)" (* "*") (cast_expression "(int *)(param_1 + 0x1c)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1c)" (( "(") (binary_expression "param_1 + 0x1c" (identifier "param_1") (+ "+") (number_literal "0x1c")) () ")"))))) () ")")) (|| "||") (parenthesized_expression "(*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))" (( "(") (binary_expression "*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c)" (pointer_expression "*(int *)(param_1 + 0x30)" (* "*") (cast_expression "(int *)(param_1 + 0x30)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x30)" (( "(") (binary_expression "param_1 + 0x30" (identifier "param_1") (+ "+") (number_literal "0x30")) () ")")))) (<= "<=") (pointer_expression "*(int *)(param_1 + 0x1c)" (* "*") (cast_expression "(int *)(param_1 + 0x1c)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1c)" (( "(") (binary_expression "param_1 + 0x1c" (identifier "param_1") (+ "+") (number_literal "0x1c")) () ")"))))) () ")"))) () ")")) (goto_statement "goto LAB_0007243c;" (goto "goto") (statement_identifier "LAB_0007243c") (; ";"))) (expression_statement "iVar1 = FUN_00072208(param_1,param_2 + 1);" (assignment_expression "iVar1 = FUN_00072208(param_1,param_2 + 1)" (identifier "iVar1") (= "=") (call_expression "FUN_00072208(param_1,param_2 + 1)" (identifier "FUN_00072208") (argument_list "(param_1,param_2 + 1)" (( "(") (identifier "param_1") (, ",") (binary_expression "param_2 + 1" (identifier "param_2") (+ "+") (number_literal "1")) () ")")))) (; ";")) (} "}")) (else_clause "else {\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" (else "else") (compound_statement "{\n    iVar1 = FUN_00072208(param_1,param_2 + 1);\n  }" ({ "{") (expression_statement "iVar1 = FUN_00072208(param_1,param_2 + 1);" (assignment_expression "iVar1 = FUN_00072208(param_1,param_2 + 1)" (identifier "iVar1") (= "=") (call_expression "FUN_00072208(param_1,param_2 + 1)" (identifier "FUN_00072208") (argument_list "(param_1,param_2 + 1)" (( "(") (identifier "param_1") (, ",") (binary_expression "param_2 + 1" (identifier "param_2") (+ "+") (number_literal "1")) () ")")))) (; ";")) (} "}")))) (if_statement "if (iVar1 != 0) {\n    return iVar1;\n  }" (if "if") (parenthesized_expression "(iVar1 != 0)" (( "(") (binary_expression "iVar1 != 0" (identifier "iVar1") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    return iVar1;\n  }" ({ "{") (return_statement "return iVar1;" (return "return") (identifier "iVar1") (; ";")) (} "}"))) (labeled_statement "LAB_0007243c:\n  if (param_2 <= iVar2) {\n    return 0;\n  }" (statement_identifier "LAB_0007243c") (: ":") (if_statement "if (param_2 <= iVar2) {\n    return 0;\n  }" (if "if") (parenthesized_expression "(param_2 <= iVar2)" (( "(") (binary_expression "param_2 <= iVar2" (identifier "param_2") (<= "<=") (identifier "iVar2")) () ")")) (compound_statement "{\n    return 0;\n  }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))) (expression_statement "(*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);" (call_expression "(*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4)" (parenthesized_expression "(*(code *)PTR_memset_000afd94)" (( "(") (pointer_expression "*(code *)PTR_memset_000afd94" (* "*") (cast_expression "(code *)PTR_memset_000afd94" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_memset_000afd94"))) () ")")) (argument_list "(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4)" (( "(") (binary_expression "*(int *)(param_1 + 100) + (iVar2 + 1) * 4" (pointer_expression "*(int *)(param_1 + 100)" (* "*") (cast_expression "(int *)(param_1 + 100)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 100)" (( "(") (binary_expression "param_1 + 100" (identifier "param_1") (+ "+") (number_literal "100")) () ")")))) (+ "+") (binary_expression "(iVar2 + 1) * 4" (parenthesized_expression "(iVar2 + 1)" (( "(") (binary_expression "iVar2 + 1" (identifier "iVar2") (+ "+") (number_literal "1")) () ")")) (* "*") (number_literal "4"))) (, ",") (number_literal "0") (, ",") (binary_expression "(param_2 - iVar2) * 4" (parenthesized_expression "(param_2 - iVar2)" (( "(") (binary_expression "param_2 - iVar2" (identifier "param_2") (- "-") (identifier "iVar2")) () ")")) (* "*") (number_literal "4")) () ")"))) (; ";")) (expression_statement "*(int *)(param_1 + 0x68) = param_2;" (assignment_expression "*(int *)(param_1 + 0x68) = param_2" (pointer_expression "*(int *)(param_1 + 0x68)" (* "*") (cast_expression "(int *)(param_1 + 0x68)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x68)" (( "(") (binary_expression "param_1 + 0x68" (identifier "param_1") (+ "+") (number_literal "0x68")) () ")")))) (= "=") (identifier "param_2")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))

type_1 function_1(type_2 *mctx,type_3 var_1)

{
  int var_2;
  type_1 var_4;
  int var_6;
  
  var_2 = (mctx->input).bufs_len;
  var_6 = mctx->state_log_top;
  if ((var_1 < var_2) || ((mctx->input).len <= var_2)) {
    var_2 = (mctx->input).valid_len;
    if ((var_1 < var_2) || ((mctx->input).len <= var_2)) goto LAB_0007243c;
    var_4 = var_3(mctx,var_1 + 1);
  }
  else {
    var_4 = var_3(mctx,var_1 + 1);
  }
  if (var_4 != var_5) {
    return var_4;
  }
LAB_0007243c:
  if (var_1 <= var_6) {
    return var_5;
  }
  (*(type_4 *)PTR_memset_000afd94)(mctx->state_log + var_6 + 1,0,(var_1 - var_6) * 4);
  mctx->state_log_top = var_1;
  return var_5;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (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))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (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))))))) right: (parenthesized_expression (binary_expression left: (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))))) right: (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))))))))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (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))))))) right: (parenthesized_expression (binary_expression left: (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))))) right: (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))))))))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (binary_expression left: (identifier) right: (number_literal))))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (binary_expression left: (identifier) right: (number_literal))))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (identifier)))) (labeled_statement label: (statement_identifier) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (return_statement (number_literal))))) (expression_statement (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (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))))) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) (number_literal) (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) right: (number_literal))))) (expression_statement (assignment_expression left: (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))))) right: (identifier))) (return_statement (number_literal)))))

int MASKED(int param_1,int param_2)

{
  int iVar1;
  int iVar2;
  
  iVar2 = *(int *)(param_1 + 0x68);
  if ((param_2 < *(int *)(param_1 + 0x24)) || (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x24))
     ) {
    if ((param_2 < *(int *)(param_1 + 0x1c)) ||
       (*(int *)(param_1 + 0x30) <= *(int *)(param_1 + 0x1c))) goto LAB_0007243c;
    iVar1 = FUN_00072208(param_1,param_2 + 1);
  }
  else {
    iVar1 = FUN_00072208(param_1,param_2 + 1);
  }
  if (iVar1 != 0) {
    return iVar1;
  }
LAB_0007243c:
  if (param_2 <= iVar2) {
    return 0;
  }
  (*(code *)PTR_memset_000afd94)(*(int *)(param_1 + 100) + (iVar2 + 1) * 4,0,(param_2 - iVar2) * 4);
  *(int *)(param_1 + 0x68) = param_2;
  return 0;
}

