
reg_errcode_t preorder(bin_tree_t *root,_func_reg_errcode_t_void_ptr_bin_tree_t_ptr *fn,void *extra)

{
  bin_tree_t **ppbVar1;
  reg_errcode_t rVar2;
  bin_tree_t *pbVar3;
  bin_tree_t *pbVar4;
  
  rVar2 = (*fn)(extra,root);
  do {
    if (rVar2 != _REG_NOERROR) {
      return rVar2;
    }
    pbVar3 = root->left;
    pbVar4 = pbVar3;
    if (pbVar3 == (bin_tree_t *)0x0) {
      while ((pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0))) {
        ppbVar1 = &root->parent;
        pbVar4 = root;
        root = *ppbVar1;
        if (*ppbVar1 == (bin_tree_t *)0x0) {
          return _REG_NOERROR;
        }
      }
    }
    rVar2 = (*fn)(extra,pbVar3);
    root = pbVar3;
  } while( true );
}



void FUN_00025b00(int *param_1,code *param_2,undefined4 param_3)

{
  int iVar1;
  int *piVar2;
  int *piVar3;
  
  iVar1 = (*param_2)(param_3,param_1);
  do {
    if (iVar1 != 0) {
      return;
    }
    piVar2 = (int *)param_1[1];
    piVar3 = piVar2;
    if (piVar2 == (int *)0x0) {
      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {
        piVar2 = (int *)*param_1;
        piVar3 = param_1;
        param_1 = piVar2;
        if (piVar2 == (int *)0x0) {
          return;
        }
      }
    }
    iVar1 = (*param_2)(param_3,piVar2);
    param_1 = piVar2;
  } while( true );
}


addiu sp,sp,-0x28
sw s2,0x20(sp)
or s2,a1,zero
sw s1,0x1c(sp)
or s1,a2,zero
sw s0,0x18(sp)
or s0,a0,zero
sw ra,0x24(sp)
or a1,s0,zero
or t9,s2,zero
jalr t9
_or a0,s1,zero
bne v0,zero,0x00025b60
_lw ra,0x24(sp)
lw v1,0x4(s0)
beq v1,zero,0x00025b78
_nop
or s0,v1,zero
or a1,s0,zero
or t9,s2,zero
jalr t9
_or a0,s1,zero
beq v0,zero,0x00025b38
_lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x28
or s0,a0,zero
lw a0,0x8(s0)
beq a0,v1,0x00025b8c
_nop
bne a0,zero,0x00025bb0
_nop
lw a0,0x0(s0)
bne a0,zero,0x00025b74
_or v1,s0,zero
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x28
or v1,a0,zero
b 0x00025b48
_or s0,v1,zero
(translation_unit "void FUN_00025b00(int *param_1,code *param_2,undefined4 param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  iVar1 = (*param_2)(param_3,param_1);\n  do {\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  } while( true );\n}\n\n" (function_definition "void FUN_00025b00(int *param_1,code *param_2,undefined4 param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  iVar1 = (*param_2)(param_3,param_1);\n  do {\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  } while( true );\n}" primitive_type (function_declarator "FUN_00025b00(int *param_1,code *param_2,undefined4 param_3)" identifier (parameter_list "(int *param_1,code *param_2,undefined4 param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "code *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "undefined4 param_3" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  iVar1 = (*param_2)(param_3,param_1);\n  do {\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  } while( true );\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (expression_statement "iVar1 = (*param_2)(param_3,param_1);" (assignment_expression "iVar1 = (*param_2)(param_3,param_1)" identifier = (call_expression "(*param_2)(param_3,param_1)" (parenthesized_expression "(*param_2)" ( (pointer_expression "*param_2" * identifier) )) (argument_list "(param_3,param_1)" ( identifier , identifier )))) ;) (do_statement "do {\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  } while( true );" do (compound_statement "{\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  }" { (if_statement "if (iVar1 != 0) {\n      return;\n    }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (expression_statement "piVar2 = (int *)param_1[1];" (assignment_expression "piVar2 = (int *)param_1[1]" identifier = (cast_expression "(int *)param_1[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) ;) (expression_statement "piVar3 = piVar2;" (assignment_expression "piVar3 = piVar2" identifier = identifier) ;) (if_statement "if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }" if (parenthesized_expression "(piVar2 == (int *)0x0)" ( (binary_expression "piVar2 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }" { (while_statement "while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }" while (parenthesized_expression "((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0)))" ( (parenthesized_expression "(piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))" ( (comma_expression "piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0)" (assignment_expression "piVar2 = (int *)param_1[2]" identifier = (cast_expression "(int *)param_1[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[2]" identifier [ number_literal ]))) , (binary_expression "piVar2 == piVar3 || (piVar2 == (int *)0x0)" (binary_expression "piVar2 == piVar3" identifier == identifier) || (parenthesized_expression "(piVar2 == (int *)0x0)" ( (binary_expression "piVar2 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )))) )) )) (compound_statement "{\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }" { (expression_statement "piVar2 = (int *)*param_1;" (assignment_expression "piVar2 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (expression_statement "piVar3 = param_1;" (assignment_expression "piVar3 = param_1" identifier = identifier) ;) (expression_statement "param_1 = piVar2;" (assignment_expression "param_1 = piVar2" identifier = identifier) ;) (if_statement "if (piVar2 == (int *)0x0) {\n          return;\n        }" if (parenthesized_expression "(piVar2 == (int *)0x0)" ( (binary_expression "piVar2 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n          return;\n        }" { (return_statement "return;" return ;) })) })) })) (expression_statement "iVar1 = (*param_2)(param_3,piVar2);" (assignment_expression "iVar1 = (*param_2)(param_3,piVar2)" identifier = (call_expression "(*param_2)(param_3,piVar2)" (parenthesized_expression "(*param_2)" ( (pointer_expression "*param_2" * identifier) )) (argument_list "(param_3,piVar2)" ( identifier , identifier )))) ;) (expression_statement "param_1 = piVar2;" (assignment_expression "param_1 = piVar2" identifier = identifier) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "reg_errcode_t preorder(bin_tree_t *root,_func_reg_errcode_t_void_ptr_bin_tree_t_ptr *fn,void *extra)\n\n{\n  bin_tree_t **ppbVar1;\n  reg_errcode_t rVar2;\n  bin_tree_t *pbVar3;\n  bin_tree_t *pbVar4;\n  \n  rVar2 = (*fn)(extra,root);\n  do {\n    if (rVar2 != _REG_NOERROR) {\n      return rVar2;\n    }\n    pbVar3 = root->left;\n    pbVar4 = pbVar3;\n    if (pbVar3 == (bin_tree_t *)0x0) {\n      while ((pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0))) {\n        ppbVar1 = &root->parent;\n        pbVar4 = root;\n        root = *ppbVar1;\n        if (*ppbVar1 == (bin_tree_t *)0x0) {\n          return _REG_NOERROR;\n        }\n      }\n    }\n    rVar2 = (*fn)(extra,pbVar3);\n    root = pbVar3;\n  } while( true );\n}\n\n" (function_definition "reg_errcode_t preorder(bin_tree_t *root,_func_reg_errcode_t_void_ptr_bin_tree_t_ptr *fn,void *extra)\n\n{\n  bin_tree_t **ppbVar1;\n  reg_errcode_t rVar2;\n  bin_tree_t *pbVar3;\n  bin_tree_t *pbVar4;\n  \n  rVar2 = (*fn)(extra,root);\n  do {\n    if (rVar2 != _REG_NOERROR) {\n      return rVar2;\n    }\n    pbVar3 = root->left;\n    pbVar4 = pbVar3;\n    if (pbVar3 == (bin_tree_t *)0x0) {\n      while ((pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0))) {\n        ppbVar1 = &root->parent;\n        pbVar4 = root;\n        root = *ppbVar1;\n        if (*ppbVar1 == (bin_tree_t *)0x0) {\n          return _REG_NOERROR;\n        }\n      }\n    }\n    rVar2 = (*fn)(extra,pbVar3);\n    root = pbVar3;\n  } while( true );\n}" type_identifier (function_declarator "preorder(bin_tree_t *root,_func_reg_errcode_t_void_ptr_bin_tree_t_ptr *fn,void *extra)" identifier (parameter_list "(bin_tree_t *root,_func_reg_errcode_t_void_ptr_bin_tree_t_ptr *fn,void *extra)" ( (parameter_declaration "bin_tree_t *root" type_identifier (pointer_declarator "*root" * identifier)) , (parameter_declaration "_func_reg_errcode_t_void_ptr_bin_tree_t_ptr *fn" type_identifier (pointer_declarator "*fn" * identifier)) , (parameter_declaration "void *extra" primitive_type (pointer_declarator "*extra" * identifier)) ))) (compound_statement "{\n  bin_tree_t **ppbVar1;\n  reg_errcode_t rVar2;\n  bin_tree_t *pbVar3;\n  bin_tree_t *pbVar4;\n  \n  rVar2 = (*fn)(extra,root);\n  do {\n    if (rVar2 != _REG_NOERROR) {\n      return rVar2;\n    }\n    pbVar3 = root->left;\n    pbVar4 = pbVar3;\n    if (pbVar3 == (bin_tree_t *)0x0) {\n      while ((pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0))) {\n        ppbVar1 = &root->parent;\n        pbVar4 = root;\n        root = *ppbVar1;\n        if (*ppbVar1 == (bin_tree_t *)0x0) {\n          return _REG_NOERROR;\n        }\n      }\n    }\n    rVar2 = (*fn)(extra,pbVar3);\n    root = pbVar3;\n  } while( true );\n}" { (declaration "bin_tree_t **ppbVar1;" type_identifier (pointer_declarator "**ppbVar1" * (pointer_declarator "*ppbVar1" * identifier)) ;) (declaration "reg_errcode_t rVar2;" type_identifier identifier ;) (declaration "bin_tree_t *pbVar3;" type_identifier (pointer_declarator "*pbVar3" * identifier) ;) (declaration "bin_tree_t *pbVar4;" type_identifier (pointer_declarator "*pbVar4" * identifier) ;) (expression_statement "rVar2 = (*fn)(extra,root);" (assignment_expression "rVar2 = (*fn)(extra,root)" identifier = (call_expression "(*fn)(extra,root)" (parenthesized_expression "(*fn)" ( (pointer_expression "*fn" * identifier) )) (argument_list "(extra,root)" ( identifier , identifier )))) ;) (do_statement "do {\n    if (rVar2 != _REG_NOERROR) {\n      return rVar2;\n    }\n    pbVar3 = root->left;\n    pbVar4 = pbVar3;\n    if (pbVar3 == (bin_tree_t *)0x0) {\n      while ((pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0))) {\n        ppbVar1 = &root->parent;\n        pbVar4 = root;\n        root = *ppbVar1;\n        if (*ppbVar1 == (bin_tree_t *)0x0) {\n          return _REG_NOERROR;\n        }\n      }\n    }\n    rVar2 = (*fn)(extra,pbVar3);\n    root = pbVar3;\n  } while( true );" do (compound_statement "{\n    if (rVar2 != _REG_NOERROR) {\n      return rVar2;\n    }\n    pbVar3 = root->left;\n    pbVar4 = pbVar3;\n    if (pbVar3 == (bin_tree_t *)0x0) {\n      while ((pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0))) {\n        ppbVar1 = &root->parent;\n        pbVar4 = root;\n        root = *ppbVar1;\n        if (*ppbVar1 == (bin_tree_t *)0x0) {\n          return _REG_NOERROR;\n        }\n      }\n    }\n    rVar2 = (*fn)(extra,pbVar3);\n    root = pbVar3;\n  }" { (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 ;) })) (expression_statement "pbVar3 = root->left;" (assignment_expression "pbVar3 = root->left" identifier = (field_expression "root->left" identifier -> field_identifier)) ;) (expression_statement "pbVar4 = pbVar3;" (assignment_expression "pbVar4 = pbVar3" identifier = identifier) ;) (if_statement "if (pbVar3 == (bin_tree_t *)0x0) {\n      while ((pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0))) {\n        ppbVar1 = &root->parent;\n        pbVar4 = root;\n        root = *ppbVar1;\n        if (*ppbVar1 == (bin_tree_t *)0x0) {\n          return _REG_NOERROR;\n        }\n      }\n    }" if (parenthesized_expression "(pbVar3 == (bin_tree_t *)0x0)" ( (binary_expression "pbVar3 == (bin_tree_t *)0x0" identifier == (cast_expression "(bin_tree_t *)0x0" ( (type_descriptor "bin_tree_t *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      while ((pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0))) {\n        ppbVar1 = &root->parent;\n        pbVar4 = root;\n        root = *ppbVar1;\n        if (*ppbVar1 == (bin_tree_t *)0x0) {\n          return _REG_NOERROR;\n        }\n      }\n    }" { (while_statement "while ((pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0))) {\n        ppbVar1 = &root->parent;\n        pbVar4 = root;\n        root = *ppbVar1;\n        if (*ppbVar1 == (bin_tree_t *)0x0) {\n          return _REG_NOERROR;\n        }\n      }" while (parenthesized_expression "((pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0)))" ( (parenthesized_expression "(pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0))" ( (comma_expression "pbVar3 = root->right, pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0)" (assignment_expression "pbVar3 = root->right" identifier = (field_expression "root->right" identifier -> field_identifier)) , (binary_expression "pbVar3 == pbVar4 || (pbVar3 == (bin_tree_t *)0x0)" (binary_expression "pbVar3 == pbVar4" identifier == identifier) || (parenthesized_expression "(pbVar3 == (bin_tree_t *)0x0)" ( (binary_expression "pbVar3 == (bin_tree_t *)0x0" identifier == (cast_expression "(bin_tree_t *)0x0" ( (type_descriptor "bin_tree_t *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )))) )) )) (compound_statement "{\n        ppbVar1 = &root->parent;\n        pbVar4 = root;\n        root = *ppbVar1;\n        if (*ppbVar1 == (bin_tree_t *)0x0) {\n          return _REG_NOERROR;\n        }\n      }" { (expression_statement "ppbVar1 = &root->parent;" (assignment_expression "ppbVar1 = &root->parent" identifier = (pointer_expression "&root->parent" & (field_expression "root->parent" identifier -> field_identifier))) ;) (expression_statement "pbVar4 = root;" (assignment_expression "pbVar4 = root" identifier = identifier) ;) (expression_statement "root = *ppbVar1;" (assignment_expression "root = *ppbVar1" identifier = (pointer_expression "*ppbVar1" * identifier)) ;) (if_statement "if (*ppbVar1 == (bin_tree_t *)0x0) {\n          return _REG_NOERROR;\n        }" if (parenthesized_expression "(*ppbVar1 == (bin_tree_t *)0x0)" ( (binary_expression "*ppbVar1 == (bin_tree_t *)0x0" (pointer_expression "*ppbVar1" * identifier) == (cast_expression "(bin_tree_t *)0x0" ( (type_descriptor "bin_tree_t *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n          return _REG_NOERROR;\n        }" { (return_statement "return _REG_NOERROR;" return identifier ;) })) })) })) (expression_statement "rVar2 = (*fn)(extra,pbVar3);" (assignment_expression "rVar2 = (*fn)(extra,pbVar3)" identifier = (call_expression "(*fn)(extra,pbVar3)" (parenthesized_expression "(*fn)" ( (pointer_expression "*fn" * identifier) )) (argument_list "(extra,pbVar3)" ( identifier , identifier )))) ;) (expression_statement "root = pbVar3;" (assignment_expression "root = pbVar3" identifier = identifier) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "void FUN_00025b00(int *param_1,code *param_2,undefined4 param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  iVar1 = (*param_2)(param_3,param_1);\n  do {\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  } while( true );\n}\n\n" (function_definition "void FUN_00025b00(int *param_1,code *param_2,undefined4 param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  iVar1 = (*param_2)(param_3,param_1);\n  do {\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  } while( true );\n}" primitive_type (function_declarator "FUN_00025b00(int *param_1,code *param_2,undefined4 param_3)" identifier (parameter_list "(int *param_1,code *param_2,undefined4 param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "code *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "undefined4 param_3" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  iVar1 = (*param_2)(param_3,param_1);\n  do {\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  } while( true );\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (expression_statement "iVar1 = (*param_2)(param_3,param_1);" (assignment_expression "iVar1 = (*param_2)(param_3,param_1)" identifier = (call_expression "(*param_2)(param_3,param_1)" (parenthesized_expression "(*param_2)" ( (pointer_expression "*param_2" * identifier) )) (argument_list "(param_3,param_1)" ( identifier , identifier )))) ;) (do_statement "do {\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  } while( true );" do (compound_statement "{\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  }" { (if_statement "if (iVar1 != 0) {\n      return;\n    }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (expression_statement "piVar2 = (int *)param_1[1];" (assignment_expression "piVar2 = (int *)param_1[1]" identifier = (cast_expression "(int *)param_1[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) ;) (expression_statement "piVar3 = piVar2;" (assignment_expression "piVar3 = piVar2" identifier = identifier) ;) (if_statement "if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }" if (parenthesized_expression "(piVar2 == (int *)0x0)" ( (binary_expression "piVar2 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }" { (while_statement "while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }" while (parenthesized_expression "((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0)))" ( (parenthesized_expression "(piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))" ( (comma_expression "piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0)" (assignment_expression "piVar2 = (int *)param_1[2]" identifier = (cast_expression "(int *)param_1[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[2]" identifier [ number_literal ]))) , (binary_expression "piVar2 == piVar3 || (piVar2 == (int *)0x0)" (binary_expression "piVar2 == piVar3" identifier == identifier) || (parenthesized_expression "(piVar2 == (int *)0x0)" ( (binary_expression "piVar2 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )))) )) )) (compound_statement "{\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }" { (expression_statement "piVar2 = (int *)*param_1;" (assignment_expression "piVar2 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (expression_statement "piVar3 = param_1;" (assignment_expression "piVar3 = param_1" identifier = identifier) ;) (expression_statement "param_1 = piVar2;" (assignment_expression "param_1 = piVar2" identifier = identifier) ;) (if_statement "if (piVar2 == (int *)0x0) {\n          return;\n        }" if (parenthesized_expression "(piVar2 == (int *)0x0)" ( (binary_expression "piVar2 == (int *)0x0" identifier == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n          return;\n        }" { (return_statement "return;" return ;) })) })) })) (expression_statement "iVar1 = (*param_2)(param_3,piVar2);" (assignment_expression "iVar1 = (*param_2)(param_3,piVar2)" identifier = (call_expression "(*param_2)(param_3,piVar2)" (parenthesized_expression "(*param_2)" ( (pointer_expression "*param_2" * identifier) )) (argument_list "(param_3,piVar2)" ( identifier , identifier )))) ;) (expression_statement "param_1 = piVar2;" (assignment_expression "param_1 = piVar2" identifier = identifier) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( IDENT , IDENT )))) ;) (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (while_statement while (parenthesized_expression ( (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) , (binary_expression (binary_expression IDENT == IDENT) || (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )))) )) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (return_statement return ;) })) })) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( IDENT , IDENT )))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }) while (parenthesized_expression ( BOOL )) ;) })))
(function_definition "void FUN_00025b00(int *param_1,code *param_2,undefined4 param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  iVar1 = (*param_2)(param_3,param_1);\n  do {\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  } while( true );\n}" (primitive_type "void") (function_declarator "FUN_00025b00(int *param_1,code *param_2,undefined4 param_3)" (identifier "FUN_00025b00") (parameter_list "(int *param_1,code *param_2,undefined4 param_3)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "code *param_2" (type_identifier "code") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "undefined4 param_3" (type_identifier "undefined4") (identifier "param_3")) () ")"))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  iVar1 = (*param_2)(param_3,param_1);\n  do {\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  } while( true );\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int *piVar2;" (primitive_type "int") (pointer_declarator "*piVar2" (* "*") (identifier "piVar2")) (; ";")) (declaration "int *piVar3;" (primitive_type "int") (pointer_declarator "*piVar3" (* "*") (identifier "piVar3")) (; ";")) (expression_statement "iVar1 = (*param_2)(param_3,param_1);" (assignment_expression "iVar1 = (*param_2)(param_3,param_1)" (identifier "iVar1") (= "=") (call_expression "(*param_2)(param_3,param_1)" (parenthesized_expression "(*param_2)" (( "(") (pointer_expression "*param_2" (* "*") (identifier "param_2")) () ")")) (argument_list "(param_3,param_1)" (( "(") (identifier "param_3") (, ",") (identifier "param_1") () ")")))) (; ";")) (do_statement "do {\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  } while( true );" (do "do") (compound_statement "{\n    if (iVar1 != 0) {\n      return;\n    }\n    piVar2 = (int *)param_1[1];\n    piVar3 = piVar2;\n    if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }\n    iVar1 = (*param_2)(param_3,piVar2);\n    param_1 = piVar2;\n  }" ({ "{") (if_statement "if (iVar1 != 0) {\n      return;\n    }" (if "if") (parenthesized_expression "(iVar1 != 0)" (( "(") (binary_expression "iVar1 != 0" (identifier "iVar1") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      return;\n    }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "piVar2 = (int *)param_1[1];" (assignment_expression "piVar2 = (int *)param_1[1]" (identifier "piVar2") (= "=") (cast_expression "(int *)param_1[1]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")))) (; ";")) (expression_statement "piVar3 = piVar2;" (assignment_expression "piVar3 = piVar2" (identifier "piVar3") (= "=") (identifier "piVar2")) (; ";")) (if_statement "if (piVar2 == (int *)0x0) {\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }" (if "if") (parenthesized_expression "(piVar2 == (int *)0x0)" (( "(") (binary_expression "piVar2 == (int *)0x0" (identifier "piVar2") (== "==") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }\n    }" ({ "{") (while_statement "while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }" (while "while") (parenthesized_expression "((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0)))" (( "(") (parenthesized_expression "(piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))" (( "(") (comma_expression "piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0)" (assignment_expression "piVar2 = (int *)param_1[2]" (identifier "piVar2") (= "=") (cast_expression "(int *)param_1[2]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")))) (, ",") (binary_expression "piVar2 == piVar3 || (piVar2 == (int *)0x0)" (binary_expression "piVar2 == piVar3" (identifier "piVar2") (== "==") (identifier "piVar3")) (|| "||") (parenthesized_expression "(piVar2 == (int *)0x0)" (( "(") (binary_expression "piVar2 == (int *)0x0" (identifier "piVar2") (== "==") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")))) () ")")) () ")")) (compound_statement "{\n        piVar2 = (int *)*param_1;\n        piVar3 = param_1;\n        param_1 = piVar2;\n        if (piVar2 == (int *)0x0) {\n          return;\n        }\n      }" ({ "{") (expression_statement "piVar2 = (int *)*param_1;" (assignment_expression "piVar2 = (int *)*param_1" (identifier "piVar2") (= "=") (cast_expression "(int *)*param_1" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) (; ";")) (expression_statement "piVar3 = param_1;" (assignment_expression "piVar3 = param_1" (identifier "piVar3") (= "=") (identifier "param_1")) (; ";")) (expression_statement "param_1 = piVar2;" (assignment_expression "param_1 = piVar2" (identifier "param_1") (= "=") (identifier "piVar2")) (; ";")) (if_statement "if (piVar2 == (int *)0x0) {\n          return;\n        }" (if "if") (parenthesized_expression "(piVar2 == (int *)0x0)" (( "(") (binary_expression "piVar2 == (int *)0x0" (identifier "piVar2") (== "==") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n          return;\n        }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (} "}"))) (} "}"))) (expression_statement "iVar1 = (*param_2)(param_3,piVar2);" (assignment_expression "iVar1 = (*param_2)(param_3,piVar2)" (identifier "iVar1") (= "=") (call_expression "(*param_2)(param_3,piVar2)" (parenthesized_expression "(*param_2)" (( "(") (pointer_expression "*param_2" (* "*") (identifier "param_2")) () ")")) (argument_list "(param_3,piVar2)" (( "(") (identifier "param_3") (, ",") (identifier "piVar2") () ")")))) (; ";")) (expression_statement "param_1 = piVar2;" (assignment_expression "param_1 = piVar2" (identifier "param_1") (= "=") (identifier "piVar2")) (; ";")) (} "}")) (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (; ";")) (} "}")))
(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: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (identifier))) arguments: (argument_list (identifier) (identifier))))) (do_statement body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (while_statement condition: (parenthesized_expression (parenthesized_expression (comma_expression left: (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal)))) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal)))))))) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (return_statement))))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (identifier))) arguments: (argument_list (identifier) (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (identifier)))) condition: (parenthesized_expression (true))))))

void MASKED(int *param_1,code *param_2,undefined4 param_3)

{
  int iVar1;
  int *piVar2;
  int *piVar3;
  
  iVar1 = (*param_2)(param_3,param_1);
  do {
    if (iVar1 != 0) {
      return;
    }
    piVar2 = (int *)param_1[1];
    piVar3 = piVar2;
    if (piVar2 == (int *)0x0) {
      while ((piVar2 = (int *)param_1[2], piVar2 == piVar3 || (piVar2 == (int *)0x0))) {
        piVar2 = (int *)*param_1;
        piVar3 = param_1;
        param_1 = piVar2;
        if (piVar2 == (int *)0x0) {
          return;
        }
      }
    }
    iVar1 = (*param_2)(param_3,piVar2);
    param_1 = piVar2;
  } while( true );
}

