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

{
  reg_errcode_t rVar1;
  bin_tree_t *pbVar2;
  bin_tree_t *pbVar3;
  
  pbVar2 = root->left;
  if (root->left == (bin_tree_t *)0x0) goto LAB_0001b388;
  do {
    do {
      do {
        root = pbVar2;
        pbVar2 = root->left;
      } while (root->left != (bin_tree_t *)0x0);
LAB_0001b388:
      pbVar2 = root->right;
    } while (root->right != (bin_tree_t *)0x0);
    rVar1 = (*fn)(extra,root);
    while( true ) {
      if ((rVar1 != _REG_NOERROR) || (pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0)) {
        return rVar1;
      }
      pbVar2 = pbVar3->right;
      if ((pbVar2 != root) && (pbVar2 != (bin_tree_t *)0x0)) break;
      rVar1 = (*fn)(extra,pbVar3);
      root = pbVar3;
    }
  } while( true );
}



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

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


addiu sp,sp,-0x28
sw s0,0x18(sp)
or s0,a0,zero
sw s2,0x20(sp)
or s2,a1,zero
sw s1,0x1c(sp)
sw ra,0x24(sp)
lw v0,0x4(s0)
beq v0,zero,0x0001b388
_or s1,a2,zero
or s0,v0,zero
lw v0,0x4(s0)
bne v0,zero,0x0001b378
_nop
lw v0,0x8(s0)
bne v0,zero,0x0001b378
_or a1,s0,zero
or t9,s2,zero
jalr t9
_or a0,s1,zero
bne v0,zero,0x0001b3e0
_lw ra,0x24(sp)
lw v1,0x0(s0)
beq v1,zero,0x0001b3e0
_lw ra,0x24(sp)
lw v0,0x8(v1)
beq v0,s0,0x0001b3c8
_or s0,v1,zero
bne v0,zero,0x0001b378
_nop
or a1,s0,zero
or t9,s2,zero
jalr t9
_or a0,s1,zero
beq v0,zero,0x0001b3a8
_lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x28
(translation_unit "void FUN_0001b350(int *param_1,code *param_2,undefined4 param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  piVar2 = (int *)param_1[1];\n  if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;\n  do {\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\n  } while( true );\n}\n\n" (function_definition "void FUN_0001b350(int *param_1,code *param_2,undefined4 param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  piVar2 = (int *)param_1[1];\n  if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;\n  do {\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\n  } while( true );\n}" primitive_type (function_declarator "FUN_0001b350(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  piVar2 = (int *)param_1[1];\n  if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;\n  do {\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\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 "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 ]))) ;) (if_statement "if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;" if (parenthesized_expression "((int *)param_1[1] == (int *)0x0)" ( (binary_expression "(int *)param_1[1] == (int *)0x0" (cast_expression "(int *)param_1[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ])) == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (goto_statement "goto LAB_0001b388;" goto statement_identifier ;)) (do_statement "do {\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\n  } while( true );" do (compound_statement "{\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\n  }" { (do_statement "do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);" do (compound_statement "{\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    }" { (do_statement "do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);" do (compound_statement "{\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      }" { (expression_statement "param_1 = piVar2;" (assignment_expression "param_1 = piVar2" identifier = identifier) ;) (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 ]))) ;) }) while (parenthesized_expression "((int *)param_1[1] != (int *)0x0)" ( (binary_expression "(int *)param_1[1] != (int *)0x0" (cast_expression "(int *)param_1[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ])) != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) (labeled_statement "LAB_0001b388:\n      piVar2 = (int *)param_1[2];" statement_identifier : (expression_statement "piVar2 = (int *)param_1[2];" (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 ]))) ;)) }) while (parenthesized_expression "((int *)param_1[2] != (int *)0x0)" ( (binary_expression "(int *)param_1[2] != (int *)0x0" (cast_expression "(int *)param_1[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[2]" identifier [ number_literal ])) != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) (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 )))) ;) (while_statement "while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }" { (if_statement "if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }" if (parenthesized_expression "((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0))" ( (binary_expression "(iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)" (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) || (parenthesized_expression "(piVar3 = (int *)*param_1, piVar3 == (int *)0x0)" ( (comma_expression "piVar3 = (int *)*param_1, piVar3 == (int *)0x0" (assignment_expression "piVar3 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) , (binary_expression "piVar3 == (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 "piVar2 = (int *)piVar3[2];" (assignment_expression "piVar2 = (int *)piVar3[2]" identifier = (cast_expression "(int *)piVar3[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "piVar3[2]" identifier [ number_literal ]))) ;) (if_statement "if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;" if (parenthesized_expression "((piVar2 != param_1) && (piVar2 != (int *)0x0))" ( (binary_expression "(piVar2 != param_1) && (piVar2 != (int *)0x0)" (parenthesized_expression "(piVar2 != param_1)" ( (binary_expression "piVar2 != param_1" 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)) ))) )) (break_statement "break;" break ;)) (expression_statement "iVar1 = (*param_2)(param_3,piVar3);" (assignment_expression "iVar1 = (*param_2)(param_3,piVar3)" identifier = (call_expression "(*param_2)(param_3,piVar3)" (parenthesized_expression "(*param_2)" ( (pointer_expression "*param_2" * identifier) )) (argument_list "(param_3,piVar3)" ( identifier , identifier )))) ;) (expression_statement "param_1 = piVar3;" (assignment_expression "param_1 = piVar3" identifier = identifier) ;) })) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "reg_errcode_t\npostorder(bin_tree_t *root,_func_reg_errcode_t_void_ptr_bin_tree_t_ptr *fn,void *extra)\n\n{\n  reg_errcode_t rVar1;\n  bin_tree_t *pbVar2;\n  bin_tree_t *pbVar3;\n  \n  pbVar2 = root->left;\n  if (root->left == (bin_tree_t *)0x0) goto LAB_0001b388;\n  do {\n    do {\n      do {\n        root = pbVar2;\n        pbVar2 = root->left;\n      } while (root->left != (bin_tree_t *)0x0);\nLAB_0001b388:\n      pbVar2 = root->right;\n    } while (root->right != (bin_tree_t *)0x0);\n    rVar1 = (*fn)(extra,root);\n    while( true ) {\n      if ((rVar1 != _REG_NOERROR) || (pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0)) {\n        return rVar1;\n      }\n      pbVar2 = pbVar3->right;\n      if ((pbVar2 != root) && (pbVar2 != (bin_tree_t *)0x0)) break;\n      rVar1 = (*fn)(extra,pbVar3);\n      root = pbVar3;\n    }\n  } while( true );\n}\n\n" (function_definition "reg_errcode_t\npostorder(bin_tree_t *root,_func_reg_errcode_t_void_ptr_bin_tree_t_ptr *fn,void *extra)\n\n{\n  reg_errcode_t rVar1;\n  bin_tree_t *pbVar2;\n  bin_tree_t *pbVar3;\n  \n  pbVar2 = root->left;\n  if (root->left == (bin_tree_t *)0x0) goto LAB_0001b388;\n  do {\n    do {\n      do {\n        root = pbVar2;\n        pbVar2 = root->left;\n      } while (root->left != (bin_tree_t *)0x0);\nLAB_0001b388:\n      pbVar2 = root->right;\n    } while (root->right != (bin_tree_t *)0x0);\n    rVar1 = (*fn)(extra,root);\n    while( true ) {\n      if ((rVar1 != _REG_NOERROR) || (pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0)) {\n        return rVar1;\n      }\n      pbVar2 = pbVar3->right;\n      if ((pbVar2 != root) && (pbVar2 != (bin_tree_t *)0x0)) break;\n      rVar1 = (*fn)(extra,pbVar3);\n      root = pbVar3;\n    }\n  } while( true );\n}" type_identifier (function_declarator "postorder(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  reg_errcode_t rVar1;\n  bin_tree_t *pbVar2;\n  bin_tree_t *pbVar3;\n  \n  pbVar2 = root->left;\n  if (root->left == (bin_tree_t *)0x0) goto LAB_0001b388;\n  do {\n    do {\n      do {\n        root = pbVar2;\n        pbVar2 = root->left;\n      } while (root->left != (bin_tree_t *)0x0);\nLAB_0001b388:\n      pbVar2 = root->right;\n    } while (root->right != (bin_tree_t *)0x0);\n    rVar1 = (*fn)(extra,root);\n    while( true ) {\n      if ((rVar1 != _REG_NOERROR) || (pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0)) {\n        return rVar1;\n      }\n      pbVar2 = pbVar3->right;\n      if ((pbVar2 != root) && (pbVar2 != (bin_tree_t *)0x0)) break;\n      rVar1 = (*fn)(extra,pbVar3);\n      root = pbVar3;\n    }\n  } while( true );\n}" { (declaration "reg_errcode_t rVar1;" type_identifier identifier ;) (declaration "bin_tree_t *pbVar2;" type_identifier (pointer_declarator "*pbVar2" * identifier) ;) (declaration "bin_tree_t *pbVar3;" type_identifier (pointer_declarator "*pbVar3" * identifier) ;) (expression_statement "pbVar2 = root->left;" (assignment_expression "pbVar2 = root->left" identifier = (field_expression "root->left" identifier -> field_identifier)) ;) (if_statement "if (root->left == (bin_tree_t *)0x0) goto LAB_0001b388;" if (parenthesized_expression "(root->left == (bin_tree_t *)0x0)" ( (binary_expression "root->left == (bin_tree_t *)0x0" (field_expression "root->left" identifier -> field_identifier) == (cast_expression "(bin_tree_t *)0x0" ( (type_descriptor "bin_tree_t *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (goto_statement "goto LAB_0001b388;" goto statement_identifier ;)) (do_statement "do {\n    do {\n      do {\n        root = pbVar2;\n        pbVar2 = root->left;\n      } while (root->left != (bin_tree_t *)0x0);\nLAB_0001b388:\n      pbVar2 = root->right;\n    } while (root->right != (bin_tree_t *)0x0);\n    rVar1 = (*fn)(extra,root);\n    while( true ) {\n      if ((rVar1 != _REG_NOERROR) || (pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0)) {\n        return rVar1;\n      }\n      pbVar2 = pbVar3->right;\n      if ((pbVar2 != root) && (pbVar2 != (bin_tree_t *)0x0)) break;\n      rVar1 = (*fn)(extra,pbVar3);\n      root = pbVar3;\n    }\n  } while( true );" do (compound_statement "{\n    do {\n      do {\n        root = pbVar2;\n        pbVar2 = root->left;\n      } while (root->left != (bin_tree_t *)0x0);\nLAB_0001b388:\n      pbVar2 = root->right;\n    } while (root->right != (bin_tree_t *)0x0);\n    rVar1 = (*fn)(extra,root);\n    while( true ) {\n      if ((rVar1 != _REG_NOERROR) || (pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0)) {\n        return rVar1;\n      }\n      pbVar2 = pbVar3->right;\n      if ((pbVar2 != root) && (pbVar2 != (bin_tree_t *)0x0)) break;\n      rVar1 = (*fn)(extra,pbVar3);\n      root = pbVar3;\n    }\n  }" { (do_statement "do {\n      do {\n        root = pbVar2;\n        pbVar2 = root->left;\n      } while (root->left != (bin_tree_t *)0x0);\nLAB_0001b388:\n      pbVar2 = root->right;\n    } while (root->right != (bin_tree_t *)0x0);" do (compound_statement "{\n      do {\n        root = pbVar2;\n        pbVar2 = root->left;\n      } while (root->left != (bin_tree_t *)0x0);\nLAB_0001b388:\n      pbVar2 = root->right;\n    }" { (do_statement "do {\n        root = pbVar2;\n        pbVar2 = root->left;\n      } while (root->left != (bin_tree_t *)0x0);" do (compound_statement "{\n        root = pbVar2;\n        pbVar2 = root->left;\n      }" { (expression_statement "root = pbVar2;" (assignment_expression "root = pbVar2" identifier = identifier) ;) (expression_statement "pbVar2 = root->left;" (assignment_expression "pbVar2 = root->left" identifier = (field_expression "root->left" identifier -> field_identifier)) ;) }) while (parenthesized_expression "(root->left != (bin_tree_t *)0x0)" ( (binary_expression "root->left != (bin_tree_t *)0x0" (field_expression "root->left" identifier -> field_identifier) != (cast_expression "(bin_tree_t *)0x0" ( (type_descriptor "bin_tree_t *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) (labeled_statement "LAB_0001b388:\n      pbVar2 = root->right;" statement_identifier : (expression_statement "pbVar2 = root->right;" (assignment_expression "pbVar2 = root->right" identifier = (field_expression "root->right" identifier -> field_identifier)) ;)) }) while (parenthesized_expression "(root->right != (bin_tree_t *)0x0)" ( (binary_expression "root->right != (bin_tree_t *)0x0" (field_expression "root->right" identifier -> field_identifier) != (cast_expression "(bin_tree_t *)0x0" ( (type_descriptor "bin_tree_t *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) (expression_statement "rVar1 = (*fn)(extra,root);" (assignment_expression "rVar1 = (*fn)(extra,root)" identifier = (call_expression "(*fn)(extra,root)" (parenthesized_expression "(*fn)" ( (pointer_expression "*fn" * identifier) )) (argument_list "(extra,root)" ( identifier , identifier )))) ;) (while_statement "while( true ) {\n      if ((rVar1 != _REG_NOERROR) || (pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0)) {\n        return rVar1;\n      }\n      pbVar2 = pbVar3->right;\n      if ((pbVar2 != root) && (pbVar2 != (bin_tree_t *)0x0)) break;\n      rVar1 = (*fn)(extra,pbVar3);\n      root = pbVar3;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if ((rVar1 != _REG_NOERROR) || (pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0)) {\n        return rVar1;\n      }\n      pbVar2 = pbVar3->right;\n      if ((pbVar2 != root) && (pbVar2 != (bin_tree_t *)0x0)) break;\n      rVar1 = (*fn)(extra,pbVar3);\n      root = pbVar3;\n    }" { (if_statement "if ((rVar1 != _REG_NOERROR) || (pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0)) {\n        return rVar1;\n      }" if (parenthesized_expression "((rVar1 != _REG_NOERROR) || (pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0))" ( (binary_expression "(rVar1 != _REG_NOERROR) || (pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0)" (parenthesized_expression "(rVar1 != _REG_NOERROR)" ( (binary_expression "rVar1 != _REG_NOERROR" identifier != identifier) )) || (parenthesized_expression "(pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0)" ( (comma_expression "pbVar3 = root->parent, pbVar3 == (bin_tree_t *)0x0" (assignment_expression "pbVar3 = root->parent" identifier = (field_expression "root->parent" identifier -> field_identifier)) , (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        return rVar1;\n      }" { (return_statement "return rVar1;" return identifier ;) })) (expression_statement "pbVar2 = pbVar3->right;" (assignment_expression "pbVar2 = pbVar3->right" identifier = (field_expression "pbVar3->right" identifier -> field_identifier)) ;) (if_statement "if ((pbVar2 != root) && (pbVar2 != (bin_tree_t *)0x0)) break;" if (parenthesized_expression "((pbVar2 != root) && (pbVar2 != (bin_tree_t *)0x0))" ( (binary_expression "(pbVar2 != root) && (pbVar2 != (bin_tree_t *)0x0)" (parenthesized_expression "(pbVar2 != root)" ( (binary_expression "pbVar2 != root" identifier != identifier) )) && (parenthesized_expression "(pbVar2 != (bin_tree_t *)0x0)" ( (binary_expression "pbVar2 != (bin_tree_t *)0x0" identifier != (cast_expression "(bin_tree_t *)0x0" ( (type_descriptor "bin_tree_t *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ))) )) (break_statement "break;" break ;)) (expression_statement "rVar1 = (*fn)(extra,pbVar3);" (assignment_expression "rVar1 = (*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_0001b350(int *param_1,code *param_2,undefined4 param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  piVar2 = (int *)param_1[1];\n  if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;\n  do {\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\n  } while( true );\n}\n\n" (function_definition "void FUN_0001b350(int *param_1,code *param_2,undefined4 param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  piVar2 = (int *)param_1[1];\n  if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;\n  do {\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\n  } while( true );\n}" primitive_type (function_declarator "FUN_0001b350(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  piVar2 = (int *)param_1[1];\n  if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;\n  do {\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\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 "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 ]))) ;) (if_statement "if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;" if (parenthesized_expression "((int *)param_1[1] == (int *)0x0)" ( (binary_expression "(int *)param_1[1] == (int *)0x0" (cast_expression "(int *)param_1[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ])) == (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (goto_statement "goto LAB_0001b388;" goto statement_identifier ;)) (do_statement "do {\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\n  } while( true );" do (compound_statement "{\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\n  }" { (do_statement "do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);" do (compound_statement "{\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    }" { (do_statement "do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);" do (compound_statement "{\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      }" { (expression_statement "param_1 = piVar2;" (assignment_expression "param_1 = piVar2" identifier = identifier) ;) (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 ]))) ;) }) while (parenthesized_expression "((int *)param_1[1] != (int *)0x0)" ( (binary_expression "(int *)param_1[1] != (int *)0x0" (cast_expression "(int *)param_1[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ])) != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) (labeled_statement "LAB_0001b388:\n      piVar2 = (int *)param_1[2];" statement_identifier : (expression_statement "piVar2 = (int *)param_1[2];" (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 ]))) ;)) }) while (parenthesized_expression "((int *)param_1[2] != (int *)0x0)" ( (binary_expression "(int *)param_1[2] != (int *)0x0" (cast_expression "(int *)param_1[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[2]" identifier [ number_literal ])) != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) (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 )))) ;) (while_statement "while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }" { (if_statement "if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }" if (parenthesized_expression "((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0))" ( (binary_expression "(iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)" (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) || (parenthesized_expression "(piVar3 = (int *)*param_1, piVar3 == (int *)0x0)" ( (comma_expression "piVar3 = (int *)*param_1, piVar3 == (int *)0x0" (assignment_expression "piVar3 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) , (binary_expression "piVar3 == (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 "piVar2 = (int *)piVar3[2];" (assignment_expression "piVar2 = (int *)piVar3[2]" identifier = (cast_expression "(int *)piVar3[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "piVar3[2]" identifier [ number_literal ]))) ;) (if_statement "if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;" if (parenthesized_expression "((piVar2 != param_1) && (piVar2 != (int *)0x0))" ( (binary_expression "(piVar2 != param_1) && (piVar2 != (int *)0x0)" (parenthesized_expression "(piVar2 != param_1)" ( (binary_expression "piVar2 != param_1" 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)) ))) )) (break_statement "break;" break ;)) (expression_statement "iVar1 = (*param_2)(param_3,piVar3);" (assignment_expression "iVar1 = (*param_2)(param_3,piVar3)" identifier = (call_expression "(*param_2)(param_3,piVar3)" (parenthesized_expression "(*param_2)" ( (pointer_expression "*param_2" * identifier) )) (argument_list "(param_3,piVar3)" ( identifier , identifier )))) ;) (expression_statement "param_1 = piVar3;" (assignment_expression "param_1 = piVar3" 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 = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ])) == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (goto_statement goto statement_identifier ;)) (do_statement do (compound_statement { (do_statement do (compound_statement { (do_statement do (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 ]))) ;) }) while (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ])) != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;)) }) while (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ])) != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( IDENT , IDENT )))) ;) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != LIT) )) || (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) , (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT))) ))) )) (compound_statement { (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != IDENT) )) && (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) ))) )) (break_statement break ;)) (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_0001b350(int *param_1,code *param_2,undefined4 param_3)\n\n{\n  int iVar1;\n  int *piVar2;\n  int *piVar3;\n  \n  piVar2 = (int *)param_1[1];\n  if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;\n  do {\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\n  } while( true );\n}" (primitive_type "void") (function_declarator "FUN_0001b350(int *param_1,code *param_2,undefined4 param_3)" (identifier "FUN_0001b350") (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  piVar2 = (int *)param_1[1];\n  if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;\n  do {\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\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 "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") (] "]")))) (; ";")) (if_statement "if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;" (if "if") (parenthesized_expression "((int *)param_1[1] == (int *)0x0)" (( "(") (binary_expression "(int *)param_1[1] == (int *)0x0" (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") (] "]"))) (== "==") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (goto_statement "goto LAB_0001b388;" (goto "goto") (statement_identifier "LAB_0001b388") (; ";"))) (do_statement "do {\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\n  } while( true );" (do "do") (compound_statement "{\n    do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);\n    iVar1 = (*param_2)(param_3,param_1);\n    while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }\n  }" ({ "{") (do_statement "do {\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    } while ((int *)param_1[2] != (int *)0x0);" (do "do") (compound_statement "{\n      do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);\nLAB_0001b388:\n      piVar2 = (int *)param_1[2];\n    }" ({ "{") (do_statement "do {\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      } while ((int *)param_1[1] != (int *)0x0);" (do "do") (compound_statement "{\n        param_1 = piVar2;\n        piVar2 = (int *)param_1[1];\n      }" ({ "{") (expression_statement "param_1 = piVar2;" (assignment_expression "param_1 = piVar2" (identifier "param_1") (= "=") (identifier "piVar2")) (; ";")) (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") (] "]")))) (; ";")) (} "}")) (while "while") (parenthesized_expression "((int *)param_1[1] != (int *)0x0)" (( "(") (binary_expression "(int *)param_1[1] != (int *)0x0" (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") (] "]"))) (!= "!=") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (; ";")) (labeled_statement "LAB_0001b388:\n      piVar2 = (int *)param_1[2];" (statement_identifier "LAB_0001b388") (: ":") (expression_statement "piVar2 = (int *)param_1[2];" (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") (] "]")))) (; ";"))) (} "}")) (while "while") (parenthesized_expression "((int *)param_1[2] != (int *)0x0)" (( "(") (binary_expression "(int *)param_1[2] != (int *)0x0" (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") (] "]"))) (!= "!=") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (; ";")) (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") () ")")))) (; ";")) (while_statement "while( true ) {\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }\n      piVar2 = (int *)piVar3[2];\n      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;\n      iVar1 = (*param_2)(param_3,piVar3);\n      param_1 = piVar3;\n    }" ({ "{") (if_statement "if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {\n        return;\n      }" (if "if") (parenthesized_expression "((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0))" (( "(") (binary_expression "(iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)" (parenthesized_expression "(iVar1 != 0)" (( "(") (binary_expression "iVar1 != 0" (identifier "iVar1") (!= "!=") (number_literal "0")) () ")")) (|| "||") (parenthesized_expression "(piVar3 = (int *)*param_1, piVar3 == (int *)0x0)" (( "(") (comma_expression "piVar3 = (int *)*param_1, piVar3 == (int *)0x0" (assignment_expression "piVar3 = (int *)*param_1" (identifier "piVar3") (= "=") (cast_expression "(int *)*param_1" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) (, ",") (binary_expression "piVar3 == (int *)0x0" (identifier "piVar3") (== "==") (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 "piVar2 = (int *)piVar3[2];" (assignment_expression "piVar2 = (int *)piVar3[2]" (identifier "piVar2") (= "=") (cast_expression "(int *)piVar3[2]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "piVar3[2]" (identifier "piVar3") ([ "[") (number_literal "2") (] "]")))) (; ";")) (if_statement "if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;" (if "if") (parenthesized_expression "((piVar2 != param_1) && (piVar2 != (int *)0x0))" (( "(") (binary_expression "(piVar2 != param_1) && (piVar2 != (int *)0x0)" (parenthesized_expression "(piVar2 != param_1)" (( "(") (binary_expression "piVar2 != param_1" (identifier "piVar2") (!= "!=") (identifier "param_1")) () ")")) (&& "&&") (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"))) () ")"))) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "iVar1 = (*param_2)(param_3,piVar3);" (assignment_expression "iVar1 = (*param_2)(param_3,piVar3)" (identifier "iVar1") (= "=") (call_expression "(*param_2)(param_3,piVar3)" (parenthesized_expression "(*param_2)" (( "(") (pointer_expression "*param_2" (* "*") (identifier "param_2")) () ")")) (argument_list "(param_3,piVar3)" (( "(") (identifier "param_3") (, ",") (identifier "piVar3") () ")")))) (; ";")) (expression_statement "param_1 = piVar3;" (assignment_expression "param_1 = piVar3" (identifier "param_1") (= "=") (identifier "piVar3")) (; ";")) (} "}"))) (} "}")) (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: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (goto_statement label: (statement_identifier))) (do_statement body: (compound_statement (do_statement body: (compound_statement (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))) (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)))))) condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal))))) (labeled_statement label: (statement_identifier) (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))))))) condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (identifier))) arguments: (argument_list (identifier) (identifier))))) (while_statement condition: (parenthesized_expression (true)) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (parenthesized_expression (comma_expression left: (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier)))) right: (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: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (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)))))) consequence: (break_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;
  
  piVar2 = (int *)param_1[1];
  if ((int *)param_1[1] == (int *)0x0) goto LAB_0001b388;
  do {
    do {
      do {
        param_1 = piVar2;
        piVar2 = (int *)param_1[1];
      } while ((int *)param_1[1] != (int *)0x0);
LAB_0001b388:
      piVar2 = (int *)param_1[2];
    } while ((int *)param_1[2] != (int *)0x0);
    iVar1 = (*param_2)(param_3,param_1);
    while( true ) {
      if ((iVar1 != 0) || (piVar3 = (int *)*param_1, piVar3 == (int *)0x0)) {
        return;
      }
      piVar2 = (int *)piVar3[2];
      if ((piVar2 != param_1) && (piVar2 != (int *)0x0)) break;
      iVar1 = (*param_2)(param_3,piVar3);
      param_1 = piVar3;
    }
  } while( true );
}

