
void hash_walk(HASH_TABLE *table,hash_wfunc *func)

{
  int iVar1;
  BUCKET_CONTENTS *pBVar2;
  int iVar3;
  
  if (((table != (HASH_TABLE *)0x0) && (table->nentries != 0)) &&
     (iVar1 = table->nbuckets, 0 < iVar1)) {
    iVar3 = 0;
    do {
      pBVar2 = table->bucket_array[iVar3];
      if (pBVar2 != (BUCKET_CONTENTS *)0x0) {
        do {
          iVar1 = (*func)(pBVar2);
          if (iVar1 < 0) {
            return;
          }
          pBVar2 = pBVar2->next;
        } while (pBVar2 != (bucket_contents *)0x0);
        iVar1 = table->nbuckets;
      }
      iVar3 = iVar3 + 1;
    } while (iVar3 < iVar1);
    return;
  }
  return;
}



void hash_walk(int *param_1,code *param_2)

{
  int iVar1;
  int *piVar2;
  int iVar3;
  
  if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {
    iVar3 = 0;
    do {
      piVar2 = *(int **)(*param_1 + iVar3 * 4);
      if (piVar2 != (int *)0x0) {
        do {
          iVar1 = (*param_2)(piVar2);
          if (iVar1 < 0) {
            return;
          }
          piVar2 = (int *)*piVar2;
        } while (piVar2 != (int *)0x0);
        iVar1 = param_1[1];
      }
      iVar3 = iVar3 + 1;
    } while (iVar3 < iVar1);
    return;
  }
  return;
}


beq a0,zero,0x000866f8
_nop
lw v0,0x8(a0)
beq v0,zero,0x000866f8
_nop
lw v1,0x4(a0)
blez v1,0x000866f8
_nop
addiu sp,sp,-0x30
sw s3,0x28(sp)
or s3,zero,zero
sw s2,0x24(sp)
or s2,a0,zero
sw s1,0x20(sp)
or s1,a1,zero
sw ra,0x2c(sp)
sw s0,0x1c(sp)
lw v0,0x0(s2)
sll a0,s3,0x2
addu v0,v0,a0
lw s0,0x0(v0)
bne s0,zero,0x000866b4
_or t9,s1,zero
b 0x000866e4
_addiu s3,s3,0x1
lw s0,0x0(s0)
beq s0,zero,0x000866dc
_or t9,s1,zero
jalr t9
_or a0,s0,zero
bgez v0,0x000866a8
_lw ra,0x2c(sp)
lw s3,0x28(sp)
lw s2,0x24(sp)
lw s1,0x20(sp)
lw s0,0x1c(sp)
jr ra
_addiu sp,sp,0x30
lw v1,0x4(s2)
addiu s3,s3,0x1
slt v0,s3,v1
bne v0,zero,0x00086688
_lw ra,0x2c(sp)
b 0x000866c8
_lw s3,0x28(sp)
jr ra
_nop
(translation_unit "void hash_walk(int *param_1,code *param_2)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  \n  if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void hash_walk(int *param_1,code *param_2)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  \n  if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "hash_walk(int *param_1,code *param_2)" identifier (parameter_list "(int *param_1,code *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "code *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  \n  if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (if_statement "if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }" if (parenthesized_expression "(((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1))" ( (binary_expression "((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)" (parenthesized_expression "((param_1 != (int *)0x0) && (param_1[2] != 0))" ( (binary_expression "(param_1 != (int *)0x0) && (param_1[2] != 0)" (parenthesized_expression "(param_1 != (int *)0x0)" ( (binary_expression "param_1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) && (parenthesized_expression "(param_1[2] != 0)" ( (binary_expression "param_1[2] != 0" (subscript_expression "param_1[2]" identifier [ number_literal ]) != number_literal) ))) )) && (parenthesized_expression "(iVar1 = param_1[1], 0 < iVar1)" ( (comma_expression "iVar1 = param_1[1], 0 < iVar1" (assignment_expression "iVar1 = param_1[1]" identifier = (subscript_expression "param_1[1]" identifier [ number_literal ])) , (binary_expression "0 < iVar1" number_literal < identifier)) ))) )) (compound_statement "{\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }" { (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);" do (compound_statement "{\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    }" { (expression_statement "piVar2 = *(int **)(*param_1 + iVar3 * 4);" (assignment_expression "piVar2 = *(int **)(*param_1 + iVar3 * 4)" identifier = (pointer_expression "*(int **)(*param_1 + iVar3 * 4)" * (cast_expression "(int **)(*param_1 + iVar3 * 4)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*param_1 + iVar3 * 4)" ( (binary_expression "*param_1 + iVar3 * 4" (pointer_expression "*param_1" * identifier) + (binary_expression "iVar3 * 4" identifier * number_literal)) ))))) ;) (if_statement "if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\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        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }" { (do_statement "do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);" do (compound_statement "{\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        }" { (expression_statement "iVar1 = (*param_2)(piVar2);" (assignment_expression "iVar1 = (*param_2)(piVar2)" identifier = (call_expression "(*param_2)(piVar2)" (parenthesized_expression "(*param_2)" ( (pointer_expression "*param_2" * identifier) )) (argument_list "(piVar2)" ( identifier )))) ;) (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 *)*piVar2;" (assignment_expression "piVar2 = (int *)*piVar2" identifier = (cast_expression "(int *)*piVar2" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*piVar2" * identifier))) ;) }) while (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)) )) ;) (expression_statement "iVar1 = param_1[1];" (assignment_expression "iVar1 = param_1[1]" identifier = (subscript_expression "param_1[1]" identifier [ number_literal ])) ;) })) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar3 < iVar1)" ( (binary_expression "iVar3 < iVar1" identifier < identifier) )) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void hash_walk(HASH_TABLE *table,hash_wfunc *func)\n\n{\n  int iVar1;\n  BUCKET_CONTENTS *pBVar2;\n  int iVar3;\n  \n  if (((table != (HASH_TABLE *)0x0) && (table->nentries != 0)) &&\n     (iVar1 = table->nbuckets, 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      pBVar2 = table->bucket_array[iVar3];\n      if (pBVar2 != (BUCKET_CONTENTS *)0x0) {\n        do {\n          iVar1 = (*func)(pBVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          pBVar2 = pBVar2->next;\n        } while (pBVar2 != (bucket_contents *)0x0);\n        iVar1 = table->nbuckets;\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void hash_walk(HASH_TABLE *table,hash_wfunc *func)\n\n{\n  int iVar1;\n  BUCKET_CONTENTS *pBVar2;\n  int iVar3;\n  \n  if (((table != (HASH_TABLE *)0x0) && (table->nentries != 0)) &&\n     (iVar1 = table->nbuckets, 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      pBVar2 = table->bucket_array[iVar3];\n      if (pBVar2 != (BUCKET_CONTENTS *)0x0) {\n        do {\n          iVar1 = (*func)(pBVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          pBVar2 = pBVar2->next;\n        } while (pBVar2 != (bucket_contents *)0x0);\n        iVar1 = table->nbuckets;\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "hash_walk(HASH_TABLE *table,hash_wfunc *func)" identifier (parameter_list "(HASH_TABLE *table,hash_wfunc *func)" ( (parameter_declaration "HASH_TABLE *table" type_identifier (pointer_declarator "*table" * identifier)) , (parameter_declaration "hash_wfunc *func" type_identifier (pointer_declarator "*func" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  BUCKET_CONTENTS *pBVar2;\n  int iVar3;\n  \n  if (((table != (HASH_TABLE *)0x0) && (table->nentries != 0)) &&\n     (iVar1 = table->nbuckets, 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      pBVar2 = table->bucket_array[iVar3];\n      if (pBVar2 != (BUCKET_CONTENTS *)0x0) {\n        do {\n          iVar1 = (*func)(pBVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          pBVar2 = pBVar2->next;\n        } while (pBVar2 != (bucket_contents *)0x0);\n        iVar1 = table->nbuckets;\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "BUCKET_CONTENTS *pBVar2;" type_identifier (pointer_declarator "*pBVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (if_statement "if (((table != (HASH_TABLE *)0x0) && (table->nentries != 0)) &&\n     (iVar1 = table->nbuckets, 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      pBVar2 = table->bucket_array[iVar3];\n      if (pBVar2 != (BUCKET_CONTENTS *)0x0) {\n        do {\n          iVar1 = (*func)(pBVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          pBVar2 = pBVar2->next;\n        } while (pBVar2 != (bucket_contents *)0x0);\n        iVar1 = table->nbuckets;\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }" if (parenthesized_expression "(((table != (HASH_TABLE *)0x0) && (table->nentries != 0)) &&\n     (iVar1 = table->nbuckets, 0 < iVar1))" ( (binary_expression "((table != (HASH_TABLE *)0x0) && (table->nentries != 0)) &&\n     (iVar1 = table->nbuckets, 0 < iVar1)" (parenthesized_expression "((table != (HASH_TABLE *)0x0) && (table->nentries != 0))" ( (binary_expression "(table != (HASH_TABLE *)0x0) && (table->nentries != 0)" (parenthesized_expression "(table != (HASH_TABLE *)0x0)" ( (binary_expression "table != (HASH_TABLE *)0x0" identifier != (cast_expression "(HASH_TABLE *)0x0" ( (type_descriptor "HASH_TABLE *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) && (parenthesized_expression "(table->nentries != 0)" ( (binary_expression "table->nentries != 0" (field_expression "table->nentries" identifier -> field_identifier) != number_literal) ))) )) && (parenthesized_expression "(iVar1 = table->nbuckets, 0 < iVar1)" ( (comma_expression "iVar1 = table->nbuckets, 0 < iVar1" (assignment_expression "iVar1 = table->nbuckets" identifier = (field_expression "table->nbuckets" identifier -> field_identifier)) , (binary_expression "0 < iVar1" number_literal < identifier)) ))) )) (compound_statement "{\n    iVar3 = 0;\n    do {\n      pBVar2 = table->bucket_array[iVar3];\n      if (pBVar2 != (BUCKET_CONTENTS *)0x0) {\n        do {\n          iVar1 = (*func)(pBVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          pBVar2 = pBVar2->next;\n        } while (pBVar2 != (bucket_contents *)0x0);\n        iVar1 = table->nbuckets;\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }" { (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n      pBVar2 = table->bucket_array[iVar3];\n      if (pBVar2 != (BUCKET_CONTENTS *)0x0) {\n        do {\n          iVar1 = (*func)(pBVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          pBVar2 = pBVar2->next;\n        } while (pBVar2 != (bucket_contents *)0x0);\n        iVar1 = table->nbuckets;\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);" do (compound_statement "{\n      pBVar2 = table->bucket_array[iVar3];\n      if (pBVar2 != (BUCKET_CONTENTS *)0x0) {\n        do {\n          iVar1 = (*func)(pBVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          pBVar2 = pBVar2->next;\n        } while (pBVar2 != (bucket_contents *)0x0);\n        iVar1 = table->nbuckets;\n      }\n      iVar3 = iVar3 + 1;\n    }" { (expression_statement "pBVar2 = table->bucket_array[iVar3];" (assignment_expression "pBVar2 = table->bucket_array[iVar3]" identifier = (subscript_expression "table->bucket_array[iVar3]" (field_expression "table->bucket_array" identifier -> field_identifier) [ identifier ])) ;) (if_statement "if (pBVar2 != (BUCKET_CONTENTS *)0x0) {\n        do {\n          iVar1 = (*func)(pBVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          pBVar2 = pBVar2->next;\n        } while (pBVar2 != (bucket_contents *)0x0);\n        iVar1 = table->nbuckets;\n      }" if (parenthesized_expression "(pBVar2 != (BUCKET_CONTENTS *)0x0)" ( (binary_expression "pBVar2 != (BUCKET_CONTENTS *)0x0" identifier != (cast_expression "(BUCKET_CONTENTS *)0x0" ( (type_descriptor "BUCKET_CONTENTS *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        do {\n          iVar1 = (*func)(pBVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          pBVar2 = pBVar2->next;\n        } while (pBVar2 != (bucket_contents *)0x0);\n        iVar1 = table->nbuckets;\n      }" { (do_statement "do {\n          iVar1 = (*func)(pBVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          pBVar2 = pBVar2->next;\n        } while (pBVar2 != (bucket_contents *)0x0);" do (compound_statement "{\n          iVar1 = (*func)(pBVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          pBVar2 = pBVar2->next;\n        }" { (expression_statement "iVar1 = (*func)(pBVar2);" (assignment_expression "iVar1 = (*func)(pBVar2)" identifier = (call_expression "(*func)(pBVar2)" (parenthesized_expression "(*func)" ( (pointer_expression "*func" * identifier) )) (argument_list "(pBVar2)" ( identifier )))) ;) (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 "pBVar2 = pBVar2->next;" (assignment_expression "pBVar2 = pBVar2->next" identifier = (field_expression "pBVar2->next" identifier -> field_identifier)) ;) }) while (parenthesized_expression "(pBVar2 != (bucket_contents *)0x0)" ( (binary_expression "pBVar2 != (bucket_contents *)0x0" identifier != (cast_expression "(bucket_contents *)0x0" ( (type_descriptor "bucket_contents *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) (expression_statement "iVar1 = table->nbuckets;" (assignment_expression "iVar1 = table->nbuckets" identifier = (field_expression "table->nbuckets" identifier -> field_identifier)) ;) })) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar3 < iVar1)" ( (binary_expression "iVar3 < iVar1" identifier < identifier) )) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit "void hash_walk(int *param_1,code *param_2)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  \n  if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }\n  return;\n}\n\n" (function_definition "void hash_walk(int *param_1,code *param_2)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  \n  if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }\n  return;\n}" primitive_type (function_declarator "hash_walk(int *param_1,code *param_2)" identifier (parameter_list "(int *param_1,code *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "code *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  \n  if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (if_statement "if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }" if (parenthesized_expression "(((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1))" ( (binary_expression "((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)" (parenthesized_expression "((param_1 != (int *)0x0) && (param_1[2] != 0))" ( (binary_expression "(param_1 != (int *)0x0) && (param_1[2] != 0)" (parenthesized_expression "(param_1 != (int *)0x0)" ( (binary_expression "param_1 != (int *)0x0" identifier != (cast_expression "(int *)0x0" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) && (parenthesized_expression "(param_1[2] != 0)" ( (binary_expression "param_1[2] != 0" (subscript_expression "param_1[2]" identifier [ number_literal ]) != number_literal) ))) )) && (parenthesized_expression "(iVar1 = param_1[1], 0 < iVar1)" ( (comma_expression "iVar1 = param_1[1], 0 < iVar1" (assignment_expression "iVar1 = param_1[1]" identifier = (subscript_expression "param_1[1]" identifier [ number_literal ])) , (binary_expression "0 < iVar1" number_literal < identifier)) ))) )) (compound_statement "{\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }" { (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);" do (compound_statement "{\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    }" { (expression_statement "piVar2 = *(int **)(*param_1 + iVar3 * 4);" (assignment_expression "piVar2 = *(int **)(*param_1 + iVar3 * 4)" identifier = (pointer_expression "*(int **)(*param_1 + iVar3 * 4)" * (cast_expression "(int **)(*param_1 + iVar3 * 4)" ( (type_descriptor "int **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*param_1 + iVar3 * 4)" ( (binary_expression "*param_1 + iVar3 * 4" (pointer_expression "*param_1" * identifier) + (binary_expression "iVar3 * 4" identifier * number_literal)) ))))) ;) (if_statement "if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\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        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }" { (do_statement "do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);" do (compound_statement "{\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        }" { (expression_statement "iVar1 = (*param_2)(piVar2);" (assignment_expression "iVar1 = (*param_2)(piVar2)" identifier = (call_expression "(*param_2)(piVar2)" (parenthesized_expression "(*param_2)" ( (pointer_expression "*param_2" * identifier) )) (argument_list "(piVar2)" ( identifier )))) ;) (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 *)*piVar2;" (assignment_expression "piVar2 = (int *)*piVar2" identifier = (cast_expression "(int *)*piVar2" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*piVar2" * identifier))) ;) }) while (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)) )) ;) (expression_statement "iVar1 = param_1[1];" (assignment_expression "iVar1 = param_1[1]" identifier = (subscript_expression "param_1[1]" identifier [ number_literal ])) ;) })) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar3 < iVar1)" ( (binary_expression "iVar3 < iVar1" identifier < identifier) )) ;) (return_statement "return;" return ;) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) && (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) != LIT) ))) )) && (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) , (binary_expression LIT < IDENT)) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + (binary_expression IDENT * LIT)) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( IDENT )))) ;) (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 *)) ) (pointer_expression * IDENT))) ;) }) while (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT < IDENT) )) ;) (return_statement return ;) })) (return_statement return ;) })))
(function_definition "void hash_walk(int *param_1,code *param_2)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  \n  if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }\n  return;\n}" (primitive_type "void") (function_declarator "hash_walk(int *param_1,code *param_2)" (identifier "hash_walk") (parameter_list "(int *param_1,code *param_2)" (( "(") (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"))) () ")"))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  \n  if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }\n  return;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int *piVar2;" (primitive_type "int") (pointer_declarator "*piVar2" (* "*") (identifier "piVar2")) (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (if_statement "if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }" (if "if") (parenthesized_expression "(((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1))" (( "(") (binary_expression "((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)" (parenthesized_expression "((param_1 != (int *)0x0) && (param_1[2] != 0))" (( "(") (binary_expression "(param_1 != (int *)0x0) && (param_1[2] != 0)" (parenthesized_expression "(param_1 != (int *)0x0)" (( "(") (binary_expression "param_1 != (int *)0x0" (identifier "param_1") (!= "!=") (cast_expression "(int *)0x0" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (&& "&&") (parenthesized_expression "(param_1[2] != 0)" (( "(") (binary_expression "param_1[2] != 0" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (!= "!=") (number_literal "0")) () ")"))) () ")")) (&& "&&") (parenthesized_expression "(iVar1 = param_1[1], 0 < iVar1)" (( "(") (comma_expression "iVar1 = param_1[1], 0 < iVar1" (assignment_expression "iVar1 = param_1[1]" (identifier "iVar1") (= "=") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]"))) (, ",") (binary_expression "0 < iVar1" (number_literal "0") (< "<") (identifier "iVar1"))) () ")"))) () ")")) (compound_statement "{\n    iVar3 = 0;\n    do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);\n    return;\n  }" ({ "{") (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" (identifier "iVar3") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    } while (iVar3 < iVar1);" (do "do") (compound_statement "{\n      piVar2 = *(int **)(*param_1 + iVar3 * 4);\n      if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }\n      iVar3 = iVar3 + 1;\n    }" ({ "{") (expression_statement "piVar2 = *(int **)(*param_1 + iVar3 * 4);" (assignment_expression "piVar2 = *(int **)(*param_1 + iVar3 * 4)" (identifier "piVar2") (= "=") (pointer_expression "*(int **)(*param_1 + iVar3 * 4)" (* "*") (cast_expression "(int **)(*param_1 + iVar3 * 4)" (( "(") (type_descriptor "int **" (primitive_type "int") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(*param_1 + iVar3 * 4)" (( "(") (binary_expression "*param_1 + iVar3 * 4" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (+ "+") (binary_expression "iVar3 * 4" (identifier "iVar3") (* "*") (number_literal "4"))) () ")"))))) (; ";")) (if_statement "if (piVar2 != (int *)0x0) {\n        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\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        do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);\n        iVar1 = param_1[1];\n      }" ({ "{") (do_statement "do {\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        } while (piVar2 != (int *)0x0);" (do "do") (compound_statement "{\n          iVar1 = (*param_2)(piVar2);\n          if (iVar1 < 0) {\n            return;\n          }\n          piVar2 = (int *)*piVar2;\n        }" ({ "{") (expression_statement "iVar1 = (*param_2)(piVar2);" (assignment_expression "iVar1 = (*param_2)(piVar2)" (identifier "iVar1") (= "=") (call_expression "(*param_2)(piVar2)" (parenthesized_expression "(*param_2)" (( "(") (pointer_expression "*param_2" (* "*") (identifier "param_2")) () ")")) (argument_list "(piVar2)" (( "(") (identifier "piVar2") () ")")))) (; ";")) (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 *)*piVar2;" (assignment_expression "piVar2 = (int *)*piVar2" (identifier "piVar2") (= "=") (cast_expression "(int *)*piVar2" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*piVar2" (* "*") (identifier "piVar2")))) (; ";")) (} "}")) (while "while") (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"))) () ")")) (; ";")) (expression_statement "iVar1 = param_1[1];" (assignment_expression "iVar1 = param_1[1]" (identifier "iVar1") (= "=") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]"))) (; ";")) (} "}"))) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" (identifier "iVar3") (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar3 < iVar1)" (( "(") (binary_expression "iVar3 < iVar1" (identifier "iVar3") (< "<") (identifier "iVar1")) () ")")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *var_1,type_2 *func)

{
  int var_2;
  type_3 *var_3;
  int var_4;
  
  if (((var_1 != (type_1 *)0x0) && (var_1->nentries != 0)) &&
     (var_2 = var_1->nbuckets, 0 < var_2)) {
    var_4 = 0;
    do {
      var_3 = var_1->bucket_array[var_4];
      if (var_3 != (type_3 *)0x0) {
        do {
          var_2 = (*func)(var_3);
          if (var_2 < 0) {
            return;
          }
          var_3 = var_3->next;
        } while (var_3 != (type_4 *)0x0);
        var_2 = var_1->nbuckets;
      }
      var_4 = var_4 + 1;
    } while (var_4 < var_2);
    return;
  }
  return;
}


(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))))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal)))) right: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))))) right: (parenthesized_expression (comma_expression left: (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal))) right: (binary_expression left: (number_literal) right: (identifier)))))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (identifier) right: (number_literal)))))))) (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 (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (identifier))) arguments: (argument_list (identifier))))) (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: (pointer_expression argument: (identifier)))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier)))) (return_statement))) (return_statement))))

void MASKED(int *param_1,code *param_2)

{
  int iVar1;
  int *piVar2;
  int iVar3;
  
  if (((param_1 != (int *)0x0) && (param_1[2] != 0)) && (iVar1 = param_1[1], 0 < iVar1)) {
    iVar3 = 0;
    do {
      piVar2 = *(int **)(*param_1 + iVar3 * 4);
      if (piVar2 != (int *)0x0) {
        do {
          iVar1 = (*param_2)(piVar2);
          if (iVar1 < 0) {
            return;
          }
          piVar2 = (int *)*piVar2;
        } while (piVar2 != (int *)0x0);
        iVar1 = param_1[1];
      }
      iVar3 = iVar3 + 1;
    } while (iVar3 < iVar1);
    return;
  }
  return;
}

