
int32 pstm_copy(pstm_int *a,pstm_int *b)

{
  int32 iVar1;
  int iVar2;
  pstm_digit *ppVar3;
  pstm_digit *ppVar4;
  pstm_digit *ppVar5;
  int size;
  
  if (a == b) {
    return 0;
  }
  size = a->used;
  if (b->alloc < size) {
    iVar1 = pstm_grow(b,size);
    if (iVar1 != 0) {
      return iVar1;
    }
    size = a->used;
  }
  ppVar3 = b->dp;
  iVar2 = 0;
  if (0 < size) {
    ppVar4 = ppVar3;
    ppVar5 = a->dp;
    do {
      ppVar3 = ppVar4 + 1;
      iVar2 = iVar2 + 1;
      *ppVar4 = *ppVar5;
      size = a->used;
      ppVar4 = ppVar3;
      ppVar5 = ppVar5 + 1;
    } while (iVar2 < size);
  }
  if (iVar2 < b->used) {
    do {
      *ppVar3 = 0;
      iVar2 = iVar2 + 1;
      ppVar3 = ppVar3 + 1;
    } while (iVar2 < b->used);
    size = a->used;
  }
  iVar2 = a->sign;
  b->used = size;
  b->sign = iVar2;
  return 0;
}



int pstm_copy(int *param_1,int *param_2)

{
  int iVar1;
  undefined4 *puVar2;
  undefined4 *puVar3;
  undefined4 *puVar4;
  int iVar5;
  
  if (param_1 == param_2) {
    return 0;
  }
  iVar5 = *param_1;
  if (param_2[1] < iVar5) {
    iVar5 = pstm_grow(param_2);
    if (iVar5 != 0) {
      return iVar5;
    }
    iVar5 = *param_1;
  }
  puVar2 = (undefined4 *)param_2[3];
  iVar1 = 0;
  if (0 < iVar5) {
    puVar3 = puVar2;
    puVar4 = (undefined4 *)param_1[3];
    do {
      puVar2 = puVar3 + 1;
      iVar1 = iVar1 + 1;
      *puVar3 = *puVar4;
      iVar5 = *param_1;
      puVar3 = puVar2;
      puVar4 = puVar4 + 1;
    } while (iVar1 < iVar5);
  }
  if (iVar1 < *param_2) {
    do {
      *puVar2 = 0;
      iVar1 = iVar1 + 1;
      puVar2 = puVar2 + 1;
    } while (iVar1 < *param_2);
    iVar5 = *param_1;
  }
  iVar1 = param_1[2];
  *param_2 = iVar5;
  param_2[2] = iVar1;
  return 0;
}


lui gp,0xe
addiu gp,gp,0x4704
addu gp,gp,t9
bne a0,a1,0x0004da68
_or v0,zero,zero
jr ra
_nop
addiu sp,sp,-0x28
sw s0,0x1c(sp)
or s0,a1,zero
sw gp,0x10(sp)
sw s1,0x20(sp)
sw ra,0x24(sp)
lw a1,0x0(a0)
lw v0,0x4(s0)
slt v0,v0,a1
beq v0,zero,0x0004daac
_or s1,a0,zero
lw t9,-0x7b38(gp)
bal 0x0004d6d4
_or a0,s0,zero
bne v0,zero,0x0004db04
_lw ra,0x24(sp)
lw a1,0x0(s1)
lw v1,0xc(s0)
blez a1,0x0004dae0
_or v0,zero,zero
lw a0,0xc(s1)
addiu a0,a0,0x4
lw a1,-0x4(a0)
addiu v1,v1,0x4
addiu v0,v0,0x1
sw a1,-0x4(v1)
lw a1,0x0(s1)
slt a2,v0,a1
bne a2,zero,0x0004dac0
_addiu a0,a0,0x4
lw a0,0x0(s0)
slt a0,v0,a0
bne a0,zero,0x0004db14
_addiu v1,v1,0x4
lw v1,0x8(s1)
or v0,zero,zero
sw a1,0x0(s0)
sw v1,0x8(s0)
lw ra,0x24(sp)
lw s1,0x20(sp)
lw s0,0x1c(sp)
jr ra
_addiu sp,sp,0x28
sw zero,-0x4(v1)
lw a0,0x0(s0)
addiu v0,v0,0x1
slt a0,v0,a0
bne a0,zero,0x0004db14
_addiu v1,v1,0x4
b 0x0004daf0
_lw a1,0x0(s1)
(translation_unit "int pstm_copy(int *param_1,int *param_2)\n\n{\n  int iVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  \n  if (param_1 == param_2) {\n    return 0;\n  }\n  iVar5 = *param_1;\n  if (param_2[1] < iVar5) {\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }\n  puVar2 = (undefined4 *)param_2[3];\n  iVar1 = 0;\n  if (0 < iVar5) {\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }\n  if (iVar1 < *param_2) {\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }\n  iVar1 = param_1[2];\n  *param_2 = iVar5;\n  param_2[2] = iVar1;\n  return 0;\n}\n\n" (function_definition "int pstm_copy(int *param_1,int *param_2)\n\n{\n  int iVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  \n  if (param_1 == param_2) {\n    return 0;\n  }\n  iVar5 = *param_1;\n  if (param_2[1] < iVar5) {\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }\n  puVar2 = (undefined4 *)param_2[3];\n  iVar1 = 0;\n  if (0 < iVar5) {\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }\n  if (iVar1 < *param_2) {\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }\n  iVar1 = param_1[2];\n  *param_2 = iVar5;\n  param_2[2] = iVar1;\n  return 0;\n}" primitive_type (function_declarator "pstm_copy(int *param_1,int *param_2)" identifier (parameter_list "(int *param_1,int *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  \n  if (param_1 == param_2) {\n    return 0;\n  }\n  iVar5 = *param_1;\n  if (param_2[1] < iVar5) {\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }\n  puVar2 = (undefined4 *)param_2[3];\n  iVar1 = 0;\n  if (0 < iVar5) {\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }\n  if (iVar1 < *param_2) {\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }\n  iVar1 = param_1[2];\n  *param_2 = iVar5;\n  param_2[2] = iVar1;\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "undefined4 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined4 *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "undefined4 *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "int iVar5;" primitive_type identifier ;) (if_statement "if (param_1 == param_2) {\n    return 0;\n  }" if (parenthesized_expression "(param_1 == param_2)" ( (binary_expression "param_1 == param_2" identifier == identifier) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (if_statement "if (param_2[1] < iVar5) {\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }" if (parenthesized_expression "(param_2[1] < iVar5)" ( (binary_expression "param_2[1] < iVar5" (subscript_expression "param_2[1]" identifier [ number_literal ]) < identifier) )) (compound_statement "{\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }" { (expression_statement "iVar5 = pstm_grow(param_2);" (assignment_expression "iVar5 = pstm_grow(param_2)" identifier = (call_expression "pstm_grow(param_2)" identifier (argument_list "(param_2)" ( identifier )))) ;) (if_statement "if (iVar5 != 0) {\n      return iVar5;\n    }" if (parenthesized_expression "(iVar5 != 0)" ( (binary_expression "iVar5 != 0" identifier != number_literal) )) (compound_statement "{\n      return iVar5;\n    }" { (return_statement "return iVar5;" return identifier ;) })) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "puVar2 = (undefined4 *)param_2[3];" (assignment_expression "puVar2 = (undefined4 *)param_2[3]" identifier = (cast_expression "(undefined4 *)param_2[3]" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_2[3]" identifier [ number_literal ]))) ;) (expression_statement "iVar1 = 0;" (assignment_expression "iVar1 = 0" identifier = number_literal) ;) (if_statement "if (0 < iVar5) {\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }" if (parenthesized_expression "(0 < iVar5)" ( (binary_expression "0 < iVar5" number_literal < identifier) )) (compound_statement "{\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }" { (expression_statement "puVar3 = puVar2;" (assignment_expression "puVar3 = puVar2" identifier = identifier) ;) (expression_statement "puVar4 = (undefined4 *)param_1[3];" (assignment_expression "puVar4 = (undefined4 *)param_1[3]" identifier = (cast_expression "(undefined4 *)param_1[3]" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[3]" identifier [ number_literal ]))) ;) (do_statement "do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);" do (compound_statement "{\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    }" { (expression_statement "puVar2 = puVar3 + 1;" (assignment_expression "puVar2 = puVar3 + 1" identifier = (binary_expression "puVar3 + 1" identifier + number_literal)) ;) (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" identifier = (binary_expression "iVar1 + 1" identifier + number_literal)) ;) (expression_statement "*puVar3 = *puVar4;" (assignment_expression "*puVar3 = *puVar4" (pointer_expression "*puVar3" * identifier) = (pointer_expression "*puVar4" * identifier)) ;) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "puVar3 = puVar2;" (assignment_expression "puVar3 = puVar2" identifier = identifier) ;) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar1 < iVar5)" ( (binary_expression "iVar1 < iVar5" identifier < identifier) )) ;) })) (if_statement "if (iVar1 < *param_2) {\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }" if (parenthesized_expression "(iVar1 < *param_2)" ( (binary_expression "iVar1 < *param_2" identifier < (pointer_expression "*param_2" * identifier)) )) (compound_statement "{\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }" { (do_statement "do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);" do (compound_statement "{\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    }" { (expression_statement "*puVar2 = 0;" (assignment_expression "*puVar2 = 0" (pointer_expression "*puVar2" * identifier) = number_literal) ;) (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" identifier = (binary_expression "iVar1 + 1" identifier + number_literal)) ;) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" identifier = (binary_expression "puVar2 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar1 < *param_2)" ( (binary_expression "iVar1 < *param_2" identifier < (pointer_expression "*param_2" * identifier)) )) ;) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "iVar1 = param_1[2];" (assignment_expression "iVar1 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (expression_statement "*param_2 = iVar5;" (assignment_expression "*param_2 = iVar5" (pointer_expression "*param_2" * identifier) = identifier) ;) (expression_statement "param_2[2] = iVar1;" (assignment_expression "param_2[2] = iVar1" (subscript_expression "param_2[2]" identifier [ number_literal ]) = identifier) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "int32 pstm_copy(pstm_int *a,pstm_int *b)\n\n{\n  int32 iVar1;\n  int iVar2;\n  pstm_digit *ppVar3;\n  pstm_digit *ppVar4;\n  pstm_digit *ppVar5;\n  int size;\n  \n  if (a == b) {\n    return 0;\n  }\n  size = a->used;\n  if (b->alloc < size) {\n    iVar1 = pstm_grow(b,size);\n    if (iVar1 != 0) {\n      return iVar1;\n    }\n    size = a->used;\n  }\n  ppVar3 = b->dp;\n  iVar2 = 0;\n  if (0 < size) {\n    ppVar4 = ppVar3;\n    ppVar5 = a->dp;\n    do {\n      ppVar3 = ppVar4 + 1;\n      iVar2 = iVar2 + 1;\n      *ppVar4 = *ppVar5;\n      size = a->used;\n      ppVar4 = ppVar3;\n      ppVar5 = ppVar5 + 1;\n    } while (iVar2 < size);\n  }\n  if (iVar2 < b->used) {\n    do {\n      *ppVar3 = 0;\n      iVar2 = iVar2 + 1;\n      ppVar3 = ppVar3 + 1;\n    } while (iVar2 < b->used);\n    size = a->used;\n  }\n  iVar2 = a->sign;\n  b->used = size;\n  b->sign = iVar2;\n  return 0;\n}\n\n" (function_definition "int32 pstm_copy(pstm_int *a,pstm_int *b)\n\n{\n  int32 iVar1;\n  int iVar2;\n  pstm_digit *ppVar3;\n  pstm_digit *ppVar4;\n  pstm_digit *ppVar5;\n  int size;\n  \n  if (a == b) {\n    return 0;\n  }\n  size = a->used;\n  if (b->alloc < size) {\n    iVar1 = pstm_grow(b,size);\n    if (iVar1 != 0) {\n      return iVar1;\n    }\n    size = a->used;\n  }\n  ppVar3 = b->dp;\n  iVar2 = 0;\n  if (0 < size) {\n    ppVar4 = ppVar3;\n    ppVar5 = a->dp;\n    do {\n      ppVar3 = ppVar4 + 1;\n      iVar2 = iVar2 + 1;\n      *ppVar4 = *ppVar5;\n      size = a->used;\n      ppVar4 = ppVar3;\n      ppVar5 = ppVar5 + 1;\n    } while (iVar2 < size);\n  }\n  if (iVar2 < b->used) {\n    do {\n      *ppVar3 = 0;\n      iVar2 = iVar2 + 1;\n      ppVar3 = ppVar3 + 1;\n    } while (iVar2 < b->used);\n    size = a->used;\n  }\n  iVar2 = a->sign;\n  b->used = size;\n  b->sign = iVar2;\n  return 0;\n}" type_identifier (function_declarator "pstm_copy(pstm_int *a,pstm_int *b)" identifier (parameter_list "(pstm_int *a,pstm_int *b)" ( (parameter_declaration "pstm_int *a" type_identifier (pointer_declarator "*a" * identifier)) , (parameter_declaration "pstm_int *b" type_identifier (pointer_declarator "*b" * identifier)) ))) (compound_statement "{\n  int32 iVar1;\n  int iVar2;\n  pstm_digit *ppVar3;\n  pstm_digit *ppVar4;\n  pstm_digit *ppVar5;\n  int size;\n  \n  if (a == b) {\n    return 0;\n  }\n  size = a->used;\n  if (b->alloc < size) {\n    iVar1 = pstm_grow(b,size);\n    if (iVar1 != 0) {\n      return iVar1;\n    }\n    size = a->used;\n  }\n  ppVar3 = b->dp;\n  iVar2 = 0;\n  if (0 < size) {\n    ppVar4 = ppVar3;\n    ppVar5 = a->dp;\n    do {\n      ppVar3 = ppVar4 + 1;\n      iVar2 = iVar2 + 1;\n      *ppVar4 = *ppVar5;\n      size = a->used;\n      ppVar4 = ppVar3;\n      ppVar5 = ppVar5 + 1;\n    } while (iVar2 < size);\n  }\n  if (iVar2 < b->used) {\n    do {\n      *ppVar3 = 0;\n      iVar2 = iVar2 + 1;\n      ppVar3 = ppVar3 + 1;\n    } while (iVar2 < b->used);\n    size = a->used;\n  }\n  iVar2 = a->sign;\n  b->used = size;\n  b->sign = iVar2;\n  return 0;\n}" { (declaration "int32 iVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "pstm_digit *ppVar3;" type_identifier (pointer_declarator "*ppVar3" * identifier) ;) (declaration "pstm_digit *ppVar4;" type_identifier (pointer_declarator "*ppVar4" * identifier) ;) (declaration "pstm_digit *ppVar5;" type_identifier (pointer_declarator "*ppVar5" * identifier) ;) (declaration "int size;" primitive_type identifier ;) (if_statement "if (a == b) {\n    return 0;\n  }" if (parenthesized_expression "(a == b)" ( (binary_expression "a == b" identifier == identifier) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "size = a->used;" (assignment_expression "size = a->used" identifier = (field_expression "a->used" identifier -> field_identifier)) ;) (if_statement "if (b->alloc < size) {\n    iVar1 = pstm_grow(b,size);\n    if (iVar1 != 0) {\n      return iVar1;\n    }\n    size = a->used;\n  }" if (parenthesized_expression "(b->alloc < size)" ( (binary_expression "b->alloc < size" (field_expression "b->alloc" identifier -> field_identifier) < identifier) )) (compound_statement "{\n    iVar1 = pstm_grow(b,size);\n    if (iVar1 != 0) {\n      return iVar1;\n    }\n    size = a->used;\n  }" { (expression_statement "iVar1 = pstm_grow(b,size);" (assignment_expression "iVar1 = pstm_grow(b,size)" identifier = (call_expression "pstm_grow(b,size)" identifier (argument_list "(b,size)" ( identifier , identifier )))) ;) (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 ;) })) (expression_statement "size = a->used;" (assignment_expression "size = a->used" identifier = (field_expression "a->used" identifier -> field_identifier)) ;) })) (expression_statement "ppVar3 = b->dp;" (assignment_expression "ppVar3 = b->dp" identifier = (field_expression "b->dp" identifier -> field_identifier)) ;) (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) (if_statement "if (0 < size) {\n    ppVar4 = ppVar3;\n    ppVar5 = a->dp;\n    do {\n      ppVar3 = ppVar4 + 1;\n      iVar2 = iVar2 + 1;\n      *ppVar4 = *ppVar5;\n      size = a->used;\n      ppVar4 = ppVar3;\n      ppVar5 = ppVar5 + 1;\n    } while (iVar2 < size);\n  }" if (parenthesized_expression "(0 < size)" ( (binary_expression "0 < size" number_literal < identifier) )) (compound_statement "{\n    ppVar4 = ppVar3;\n    ppVar5 = a->dp;\n    do {\n      ppVar3 = ppVar4 + 1;\n      iVar2 = iVar2 + 1;\n      *ppVar4 = *ppVar5;\n      size = a->used;\n      ppVar4 = ppVar3;\n      ppVar5 = ppVar5 + 1;\n    } while (iVar2 < size);\n  }" { (expression_statement "ppVar4 = ppVar3;" (assignment_expression "ppVar4 = ppVar3" identifier = identifier) ;) (expression_statement "ppVar5 = a->dp;" (assignment_expression "ppVar5 = a->dp" identifier = (field_expression "a->dp" identifier -> field_identifier)) ;) (do_statement "do {\n      ppVar3 = ppVar4 + 1;\n      iVar2 = iVar2 + 1;\n      *ppVar4 = *ppVar5;\n      size = a->used;\n      ppVar4 = ppVar3;\n      ppVar5 = ppVar5 + 1;\n    } while (iVar2 < size);" do (compound_statement "{\n      ppVar3 = ppVar4 + 1;\n      iVar2 = iVar2 + 1;\n      *ppVar4 = *ppVar5;\n      size = a->used;\n      ppVar4 = ppVar3;\n      ppVar5 = ppVar5 + 1;\n    }" { (expression_statement "ppVar3 = ppVar4 + 1;" (assignment_expression "ppVar3 = ppVar4 + 1" identifier = (binary_expression "ppVar4 + 1" identifier + number_literal)) ;) (expression_statement "iVar2 = iVar2 + 1;" (assignment_expression "iVar2 = iVar2 + 1" identifier = (binary_expression "iVar2 + 1" identifier + number_literal)) ;) (expression_statement "*ppVar4 = *ppVar5;" (assignment_expression "*ppVar4 = *ppVar5" (pointer_expression "*ppVar4" * identifier) = (pointer_expression "*ppVar5" * identifier)) ;) (expression_statement "size = a->used;" (assignment_expression "size = a->used" identifier = (field_expression "a->used" identifier -> field_identifier)) ;) (expression_statement "ppVar4 = ppVar3;" (assignment_expression "ppVar4 = ppVar3" identifier = identifier) ;) (expression_statement "ppVar5 = ppVar5 + 1;" (assignment_expression "ppVar5 = ppVar5 + 1" identifier = (binary_expression "ppVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar2 < size)" ( (binary_expression "iVar2 < size" identifier < identifier) )) ;) })) (if_statement "if (iVar2 < b->used) {\n    do {\n      *ppVar3 = 0;\n      iVar2 = iVar2 + 1;\n      ppVar3 = ppVar3 + 1;\n    } while (iVar2 < b->used);\n    size = a->used;\n  }" if (parenthesized_expression "(iVar2 < b->used)" ( (binary_expression "iVar2 < b->used" identifier < (field_expression "b->used" identifier -> field_identifier)) )) (compound_statement "{\n    do {\n      *ppVar3 = 0;\n      iVar2 = iVar2 + 1;\n      ppVar3 = ppVar3 + 1;\n    } while (iVar2 < b->used);\n    size = a->used;\n  }" { (do_statement "do {\n      *ppVar3 = 0;\n      iVar2 = iVar2 + 1;\n      ppVar3 = ppVar3 + 1;\n    } while (iVar2 < b->used);" do (compound_statement "{\n      *ppVar3 = 0;\n      iVar2 = iVar2 + 1;\n      ppVar3 = ppVar3 + 1;\n    }" { (expression_statement "*ppVar3 = 0;" (assignment_expression "*ppVar3 = 0" (pointer_expression "*ppVar3" * identifier) = number_literal) ;) (expression_statement "iVar2 = iVar2 + 1;" (assignment_expression "iVar2 = iVar2 + 1" identifier = (binary_expression "iVar2 + 1" identifier + number_literal)) ;) (expression_statement "ppVar3 = ppVar3 + 1;" (assignment_expression "ppVar3 = ppVar3 + 1" identifier = (binary_expression "ppVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar2 < b->used)" ( (binary_expression "iVar2 < b->used" identifier < (field_expression "b->used" identifier -> field_identifier)) )) ;) (expression_statement "size = a->used;" (assignment_expression "size = a->used" identifier = (field_expression "a->used" identifier -> field_identifier)) ;) })) (expression_statement "iVar2 = a->sign;" (assignment_expression "iVar2 = a->sign" identifier = (field_expression "a->sign" identifier -> field_identifier)) ;) (expression_statement "b->used = size;" (assignment_expression "b->used = size" (field_expression "b->used" identifier -> field_identifier) = identifier) ;) (expression_statement "b->sign = iVar2;" (assignment_expression "b->sign = iVar2" (field_expression "b->sign" identifier -> field_identifier) = identifier) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "int pstm_copy(int *param_1,int *param_2)\n\n{\n  int iVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  \n  if (param_1 == param_2) {\n    return 0;\n  }\n  iVar5 = *param_1;\n  if (param_2[1] < iVar5) {\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }\n  puVar2 = (undefined4 *)param_2[3];\n  iVar1 = 0;\n  if (0 < iVar5) {\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }\n  if (iVar1 < *param_2) {\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }\n  iVar1 = param_1[2];\n  *param_2 = iVar5;\n  param_2[2] = iVar1;\n  return 0;\n}\n\n" (function_definition "int pstm_copy(int *param_1,int *param_2)\n\n{\n  int iVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  \n  if (param_1 == param_2) {\n    return 0;\n  }\n  iVar5 = *param_1;\n  if (param_2[1] < iVar5) {\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }\n  puVar2 = (undefined4 *)param_2[3];\n  iVar1 = 0;\n  if (0 < iVar5) {\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }\n  if (iVar1 < *param_2) {\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }\n  iVar1 = param_1[2];\n  *param_2 = iVar5;\n  param_2[2] = iVar1;\n  return 0;\n}" primitive_type (function_declarator "pstm_copy(int *param_1,int *param_2)" identifier (parameter_list "(int *param_1,int *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  \n  if (param_1 == param_2) {\n    return 0;\n  }\n  iVar5 = *param_1;\n  if (param_2[1] < iVar5) {\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }\n  puVar2 = (undefined4 *)param_2[3];\n  iVar1 = 0;\n  if (0 < iVar5) {\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }\n  if (iVar1 < *param_2) {\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }\n  iVar1 = param_1[2];\n  *param_2 = iVar5;\n  param_2[2] = iVar1;\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "undefined4 *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "undefined4 *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "undefined4 *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "int iVar5;" primitive_type identifier ;) (if_statement "if (param_1 == param_2) {\n    return 0;\n  }" if (parenthesized_expression "(param_1 == param_2)" ( (binary_expression "param_1 == param_2" identifier == identifier) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (if_statement "if (param_2[1] < iVar5) {\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }" if (parenthesized_expression "(param_2[1] < iVar5)" ( (binary_expression "param_2[1] < iVar5" (subscript_expression "param_2[1]" identifier [ number_literal ]) < identifier) )) (compound_statement "{\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }" { (expression_statement "iVar5 = pstm_grow(param_2);" (assignment_expression "iVar5 = pstm_grow(param_2)" identifier = (call_expression "pstm_grow(param_2)" identifier (argument_list "(param_2)" ( identifier )))) ;) (if_statement "if (iVar5 != 0) {\n      return iVar5;\n    }" if (parenthesized_expression "(iVar5 != 0)" ( (binary_expression "iVar5 != 0" identifier != number_literal) )) (compound_statement "{\n      return iVar5;\n    }" { (return_statement "return iVar5;" return identifier ;) })) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "puVar2 = (undefined4 *)param_2[3];" (assignment_expression "puVar2 = (undefined4 *)param_2[3]" identifier = (cast_expression "(undefined4 *)param_2[3]" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_2[3]" identifier [ number_literal ]))) ;) (expression_statement "iVar1 = 0;" (assignment_expression "iVar1 = 0" identifier = number_literal) ;) (if_statement "if (0 < iVar5) {\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }" if (parenthesized_expression "(0 < iVar5)" ( (binary_expression "0 < iVar5" number_literal < identifier) )) (compound_statement "{\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }" { (expression_statement "puVar3 = puVar2;" (assignment_expression "puVar3 = puVar2" identifier = identifier) ;) (expression_statement "puVar4 = (undefined4 *)param_1[3];" (assignment_expression "puVar4 = (undefined4 *)param_1[3]" identifier = (cast_expression "(undefined4 *)param_1[3]" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[3]" identifier [ number_literal ]))) ;) (do_statement "do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);" do (compound_statement "{\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    }" { (expression_statement "puVar2 = puVar3 + 1;" (assignment_expression "puVar2 = puVar3 + 1" identifier = (binary_expression "puVar3 + 1" identifier + number_literal)) ;) (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" identifier = (binary_expression "iVar1 + 1" identifier + number_literal)) ;) (expression_statement "*puVar3 = *puVar4;" (assignment_expression "*puVar3 = *puVar4" (pointer_expression "*puVar3" * identifier) = (pointer_expression "*puVar4" * identifier)) ;) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "puVar3 = puVar2;" (assignment_expression "puVar3 = puVar2" identifier = identifier) ;) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar1 < iVar5)" ( (binary_expression "iVar1 < iVar5" identifier < identifier) )) ;) })) (if_statement "if (iVar1 < *param_2) {\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }" if (parenthesized_expression "(iVar1 < *param_2)" ( (binary_expression "iVar1 < *param_2" identifier < (pointer_expression "*param_2" * identifier)) )) (compound_statement "{\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }" { (do_statement "do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);" do (compound_statement "{\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    }" { (expression_statement "*puVar2 = 0;" (assignment_expression "*puVar2 = 0" (pointer_expression "*puVar2" * identifier) = number_literal) ;) (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" identifier = (binary_expression "iVar1 + 1" identifier + number_literal)) ;) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" identifier = (binary_expression "puVar2 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar1 < *param_2)" ( (binary_expression "iVar1 < *param_2" identifier < (pointer_expression "*param_2" * identifier)) )) ;) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "iVar1 = param_1[2];" (assignment_expression "iVar1 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (expression_statement "*param_2 = iVar5;" (assignment_expression "*param_2 = iVar5" (pointer_expression "*param_2" * identifier) = identifier) ;) (expression_statement "param_2[2] = iVar1;" (assignment_expression "param_2[2] = iVar1" (subscript_expression "param_2[2]" identifier [ number_literal ]) = identifier) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (compound_statement { (return_statement return LIT ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT < IDENT) )) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT < (pointer_expression * IDENT)) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT < (pointer_expression * IDENT)) )) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return LIT ;) })))
(function_definition "int pstm_copy(int *param_1,int *param_2)\n\n{\n  int iVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  \n  if (param_1 == param_2) {\n    return 0;\n  }\n  iVar5 = *param_1;\n  if (param_2[1] < iVar5) {\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }\n  puVar2 = (undefined4 *)param_2[3];\n  iVar1 = 0;\n  if (0 < iVar5) {\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }\n  if (iVar1 < *param_2) {\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }\n  iVar1 = param_1[2];\n  *param_2 = iVar5;\n  param_2[2] = iVar1;\n  return 0;\n}" (primitive_type "int") (function_declarator "pstm_copy(int *param_1,int *param_2)" (identifier "pstm_copy") (parameter_list "(int *param_1,int *param_2)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "int *param_2" (primitive_type "int") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) () ")"))) (compound_statement "{\n  int iVar1;\n  undefined4 *puVar2;\n  undefined4 *puVar3;\n  undefined4 *puVar4;\n  int iVar5;\n  \n  if (param_1 == param_2) {\n    return 0;\n  }\n  iVar5 = *param_1;\n  if (param_2[1] < iVar5) {\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }\n  puVar2 = (undefined4 *)param_2[3];\n  iVar1 = 0;\n  if (0 < iVar5) {\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }\n  if (iVar1 < *param_2) {\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }\n  iVar1 = param_1[2];\n  *param_2 = iVar5;\n  param_2[2] = iVar1;\n  return 0;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "undefined4 *puVar2;" (type_identifier "undefined4") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "undefined4 *puVar3;" (type_identifier "undefined4") (pointer_declarator "*puVar3" (* "*") (identifier "puVar3")) (; ";")) (declaration "undefined4 *puVar4;" (type_identifier "undefined4") (pointer_declarator "*puVar4" (* "*") (identifier "puVar4")) (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (if_statement "if (param_1 == param_2) {\n    return 0;\n  }" (if "if") (parenthesized_expression "(param_1 == param_2)" (( "(") (binary_expression "param_1 == param_2" (identifier "param_1") (== "==") (identifier "param_2")) () ")")) (compound_statement "{\n    return 0;\n  }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" (identifier "iVar5") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (if_statement "if (param_2[1] < iVar5) {\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }" (if "if") (parenthesized_expression "(param_2[1] < iVar5)" (( "(") (binary_expression "param_2[1] < iVar5" (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]")) (< "<") (identifier "iVar5")) () ")")) (compound_statement "{\n    iVar5 = pstm_grow(param_2);\n    if (iVar5 != 0) {\n      return iVar5;\n    }\n    iVar5 = *param_1;\n  }" ({ "{") (expression_statement "iVar5 = pstm_grow(param_2);" (assignment_expression "iVar5 = pstm_grow(param_2)" (identifier "iVar5") (= "=") (call_expression "pstm_grow(param_2)" (identifier "pstm_grow") (argument_list "(param_2)" (( "(") (identifier "param_2") () ")")))) (; ";")) (if_statement "if (iVar5 != 0) {\n      return iVar5;\n    }" (if "if") (parenthesized_expression "(iVar5 != 0)" (( "(") (binary_expression "iVar5 != 0" (identifier "iVar5") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      return iVar5;\n    }" ({ "{") (return_statement "return iVar5;" (return "return") (identifier "iVar5") (; ";")) (} "}"))) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" (identifier "iVar5") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (} "}"))) (expression_statement "puVar2 = (undefined4 *)param_2[3];" (assignment_expression "puVar2 = (undefined4 *)param_2[3]" (identifier "puVar2") (= "=") (cast_expression "(undefined4 *)param_2[3]" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]")))) (; ";")) (expression_statement "iVar1 = 0;" (assignment_expression "iVar1 = 0" (identifier "iVar1") (= "=") (number_literal "0")) (; ";")) (if_statement "if (0 < iVar5) {\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }" (if "if") (parenthesized_expression "(0 < iVar5)" (( "(") (binary_expression "0 < iVar5" (number_literal "0") (< "<") (identifier "iVar5")) () ")")) (compound_statement "{\n    puVar3 = puVar2;\n    puVar4 = (undefined4 *)param_1[3];\n    do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);\n  }" ({ "{") (expression_statement "puVar3 = puVar2;" (assignment_expression "puVar3 = puVar2" (identifier "puVar3") (= "=") (identifier "puVar2")) (; ";")) (expression_statement "puVar4 = (undefined4 *)param_1[3];" (assignment_expression "puVar4 = (undefined4 *)param_1[3]" (identifier "puVar4") (= "=") (cast_expression "(undefined4 *)param_1[3]" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")))) (; ";")) (do_statement "do {\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    } while (iVar1 < iVar5);" (do "do") (compound_statement "{\n      puVar2 = puVar3 + 1;\n      iVar1 = iVar1 + 1;\n      *puVar3 = *puVar4;\n      iVar5 = *param_1;\n      puVar3 = puVar2;\n      puVar4 = puVar4 + 1;\n    }" ({ "{") (expression_statement "puVar2 = puVar3 + 1;" (assignment_expression "puVar2 = puVar3 + 1" (identifier "puVar2") (= "=") (binary_expression "puVar3 + 1" (identifier "puVar3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" (identifier "iVar1") (= "=") (binary_expression "iVar1 + 1" (identifier "iVar1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*puVar3 = *puVar4;" (assignment_expression "*puVar3 = *puVar4" (pointer_expression "*puVar3" (* "*") (identifier "puVar3")) (= "=") (pointer_expression "*puVar4" (* "*") (identifier "puVar4"))) (; ";")) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" (identifier "iVar5") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "puVar3 = puVar2;" (assignment_expression "puVar3 = puVar2" (identifier "puVar3") (= "=") (identifier "puVar2")) (; ";")) (expression_statement "puVar4 = puVar4 + 1;" (assignment_expression "puVar4 = puVar4 + 1" (identifier "puVar4") (= "=") (binary_expression "puVar4 + 1" (identifier "puVar4") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar1 < iVar5)" (( "(") (binary_expression "iVar1 < iVar5" (identifier "iVar1") (< "<") (identifier "iVar5")) () ")")) (; ";")) (} "}"))) (if_statement "if (iVar1 < *param_2) {\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }" (if "if") (parenthesized_expression "(iVar1 < *param_2)" (( "(") (binary_expression "iVar1 < *param_2" (identifier "iVar1") (< "<") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) () ")")) (compound_statement "{\n    do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);\n    iVar5 = *param_1;\n  }" ({ "{") (do_statement "do {\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    } while (iVar1 < *param_2);" (do "do") (compound_statement "{\n      *puVar2 = 0;\n      iVar1 = iVar1 + 1;\n      puVar2 = puVar2 + 1;\n    }" ({ "{") (expression_statement "*puVar2 = 0;" (assignment_expression "*puVar2 = 0" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" (identifier "iVar1") (= "=") (binary_expression "iVar1 + 1" (identifier "iVar1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "puVar2 = puVar2 + 1;" (assignment_expression "puVar2 = puVar2 + 1" (identifier "puVar2") (= "=") (binary_expression "puVar2 + 1" (identifier "puVar2") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar1 < *param_2)" (( "(") (binary_expression "iVar1 < *param_2" (identifier "iVar1") (< "<") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) () ")")) (; ";")) (expression_statement "iVar5 = *param_1;" (assignment_expression "iVar5 = *param_1" (identifier "iVar5") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (} "}"))) (expression_statement "iVar1 = param_1[2];" (assignment_expression "iVar1 = param_1[2]" (identifier "iVar1") (= "=") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]"))) (; ";")) (expression_statement "*param_2 = iVar5;" (assignment_expression "*param_2 = iVar5" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (= "=") (identifier "iVar5")) (; ";")) (expression_statement "param_2[2] = iVar1;" (assignment_expression "param_2[2] = iVar1" (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "iVar1")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))

type_1 function_1(type_2 *var_1,type_2 *var_2)

{
  type_1 var_5;
  int var_7;
  type_3 *var_9;
  type_3 *var_6;
  type_3 *var_8;
  int var_3;
  
  if (var_1 == var_2) {
    return 0;
  }
  var_3 = var_1->used;
  if (var_2->alloc < var_3) {
    var_5 = var_4(var_2,var_3);
    if (var_5 != 0) {
      return var_5;
    }
    var_3 = var_1->used;
  }
  var_9 = var_2->dp;
  var_7 = 0;
  if (0 < var_3) {
    var_6 = var_9;
    var_8 = var_1->dp;
    do {
      var_9 = var_6 + 1;
      var_7 = var_7 + 1;
      *var_6 = *var_8;
      var_3 = var_1->used;
      var_6 = var_9;
      var_8 = var_8 + 1;
    } while (var_7 < var_3);
  }
  if (var_7 < var_2->used) {
    do {
      *var_9 = 0;
      var_7 = var_7 + 1;
      var_9 = var_9 + 1;
    } while (var_7 < var_2->used);
    var_3 = var_1->used;
  }
  var_7 = var_1->sign;
  var_2->used = var_3;
  var_2->sign = var_7;
  return 0;
}


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

int MASKED(int *param_1,int *param_2)

{
  int iVar1;
  undefined4 *puVar2;
  undefined4 *puVar3;
  undefined4 *puVar4;
  int iVar5;
  
  if (param_1 == param_2) {
    return 0;
  }
  iVar5 = *param_1;
  if (param_2[1] < iVar5) {
    iVar5 = pstm_grow(param_2);
    if (iVar5 != 0) {
      return iVar5;
    }
    iVar5 = *param_1;
  }
  puVar2 = (undefined4 *)param_2[3];
  iVar1 = 0;
  if (0 < iVar5) {
    puVar3 = puVar2;
    puVar4 = (undefined4 *)param_1[3];
    do {
      puVar2 = puVar3 + 1;
      iVar1 = iVar1 + 1;
      *puVar3 = *puVar4;
      iVar5 = *param_1;
      puVar3 = puVar2;
      puVar4 = puVar4 + 1;
    } while (iVar1 < iVar5);
  }
  if (iVar1 < *param_2) {
    do {
      *puVar2 = 0;
      iVar1 = iVar1 + 1;
      puVar2 = puVar2 + 1;
    } while (iVar1 < *param_2);
    iVar5 = *param_1;
  }
  iVar1 = param_1[2];
  *param_2 = iVar5;
  param_2[2] = iVar1;
  return 0;
}

