
size_t hash_get_max_bucket_length(Hash_table *table)

{
  bool bVar1;
  uint uVar2;
  hash_entry *phVar3;
  size_t sVar4;
  hash_entry *phVar5;
  
  phVar5 = table->bucket;
  if (phVar5 < table->bucket_limit) {
    uVar2 = 0;
    do {
      if (phVar5->data != (void *)0x0) {
        phVar3 = phVar5->next;
        sVar4 = 1;
        if (phVar3 == (hash_entry *)0x0) {
          bVar1 = uVar2 == 0;
        }
        else {
          do {
            phVar3 = phVar3->next;
            sVar4 = sVar4 + 1;
          } while (phVar3 != (hash_entry *)0x0);
          bVar1 = uVar2 < sVar4;
        }
        if (bVar1) {
          uVar2 = sVar4;
        }
      }
      phVar5 = phVar5 + 1;
    } while (phVar5 < table->bucket_limit);
    return uVar2;
  }
  return 0;
}



uint hash_get_max_bucket_length(undefined4 *param_1)

{
  bool bVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  int *piVar5;
  
  piVar5 = (int *)*param_1;
  if (piVar5 < (int *)param_1[1]) {
    uVar2 = 0;
    do {
      if (*piVar5 != 0) {
        iVar3 = piVar5[1];
        uVar4 = 1;
        if (iVar3 == 0) {
          bVar1 = uVar2 == 0;
        }
        else {
          do {
            iVar3 = *(int *)(iVar3 + 4);
            uVar4 = uVar4 + 1;
          } while (iVar3 != 0);
          bVar1 = uVar2 < uVar4;
        }
        if (bVar1) {
          uVar2 = uVar4;
        }
      }
      piVar5 = piVar5 + 2;
    } while (piVar5 < (int *)param_1[1]);
    return uVar2;
  }
  return 0;
}


lw a1,0x0(a0)
lw a2,0x4(a0)
sltu v0,a1,a2
beq v0,zero,0x0001d554
_nop
b 0x0001d520
_or v0,zero,zero
sltu v1,v0,a0
movn v0,a0,v1
addiu a1,a1,0x8
sltu v1,a1,a2
beq v1,zero,0x0001d54c
_nop
lw v1,0x0(a1)
beq v1,zero,0x0001d510
_nop
lw v1,0x4(a1)
beq v1,zero,0x0001d508
_li a0,0x1
lw v1,0x4(v1)
bne v1,zero,0x0001d538
_addiu a0,a0,0x1
b 0x0001d50c
_sltu v1,v0,a0
jr ra
_nop
jr ra
_or v0,zero,zero
(translation_unit "uint hash_get_max_bucket_length(undefined4 *param_1)\n\n{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  piVar5 = (int *)*param_1;\n  if (piVar5 < (int *)param_1[1]) {\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }\n  return 0;\n}\n\n" (function_definition "uint hash_get_max_bucket_length(undefined4 *param_1)\n\n{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  piVar5 = (int *)*param_1;\n  if (piVar5 < (int *)param_1[1]) {\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }\n  return 0;\n}" type_identifier (function_declarator "hash_get_max_bucket_length(undefined4 *param_1)" identifier (parameter_list "(undefined4 *param_1)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  piVar5 = (int *)*param_1;\n  if (piVar5 < (int *)param_1[1]) {\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }\n  return 0;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (expression_statement "piVar5 = (int *)*param_1;" (assignment_expression "piVar5 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (if_statement "if (piVar5 < (int *)param_1[1]) {\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }" if (parenthesized_expression "(piVar5 < (int *)param_1[1])" ( (binary_expression "piVar5 < (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 ]))) )) (compound_statement "{\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }" { (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (do_statement "do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);" do (compound_statement "{\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    }" { (if_statement "if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }" if (parenthesized_expression "(*piVar5 != 0)" ( (binary_expression "*piVar5 != 0" (pointer_expression "*piVar5" * identifier) != number_literal) )) (compound_statement "{\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }" { (expression_statement "iVar3 = piVar5[1];" (assignment_expression "iVar3 = piVar5[1]" identifier = (subscript_expression "piVar5[1]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = 1;" (assignment_expression "uVar4 = 1" identifier = number_literal) ;) (if_statement "if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }" if (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (compound_statement "{\n          bVar1 = uVar2 == 0;\n        }" { (expression_statement "bVar1 = uVar2 == 0;" (assignment_expression "bVar1 = uVar2 == 0" identifier = (binary_expression "uVar2 == 0" identifier == number_literal)) ;) }) (else_clause "else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }" else (compound_statement "{\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }" { (do_statement "do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);" do (compound_statement "{\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          }" { (expression_statement "iVar3 = *(int *)(iVar3 + 4);" (assignment_expression "iVar3 = *(int *)(iVar3 + 4)" identifier = (pointer_expression "*(int *)(iVar3 + 4)" * (cast_expression "(int *)(iVar3 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar3 + 4)" ( (binary_expression "iVar3 + 4" identifier + number_literal) ))))) ;) (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar3 != 0)" ( (binary_expression "iVar3 != 0" identifier != number_literal) )) ;) (expression_statement "bVar1 = uVar2 < uVar4;" (assignment_expression "bVar1 = uVar2 < uVar4" identifier = (binary_expression "uVar2 < uVar4" identifier < identifier)) ;) }))) (if_statement "if (bVar1) {\n          uVar2 = uVar4;\n        }" if (parenthesized_expression "(bVar1)" ( identifier )) (compound_statement "{\n          uVar2 = uVar4;\n        }" { (expression_statement "uVar2 = uVar4;" (assignment_expression "uVar2 = uVar4" identifier = identifier) ;) })) })) (expression_statement "piVar5 = piVar5 + 2;" (assignment_expression "piVar5 = piVar5 + 2" identifier = (binary_expression "piVar5 + 2" identifier + number_literal)) ;) }) while (parenthesized_expression "(piVar5 < (int *)param_1[1])" ( (binary_expression "piVar5 < (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 ]))) )) ;) (return_statement "return uVar2;" return identifier ;) })) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "size_t hash_get_max_bucket_length(Hash_table *table)\n\n{\n  bool bVar1;\n  uint uVar2;\n  hash_entry *phVar3;\n  size_t sVar4;\n  hash_entry *phVar5;\n  \n  phVar5 = table->bucket;\n  if (phVar5 < table->bucket_limit) {\n    uVar2 = 0;\n    do {\n      if (phVar5->data != (void *)0x0) {\n        phVar3 = phVar5->next;\n        sVar4 = 1;\n        if (phVar3 == (hash_entry *)0x0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }\n        if (bVar1) {\n          uVar2 = sVar4;\n        }\n      }\n      phVar5 = phVar5 + 1;\n    } while (phVar5 < table->bucket_limit);\n    return uVar2;\n  }\n  return 0;\n}\n\n" (function_definition "size_t hash_get_max_bucket_length(Hash_table *table)\n\n{\n  bool bVar1;\n  uint uVar2;\n  hash_entry *phVar3;\n  size_t sVar4;\n  hash_entry *phVar5;\n  \n  phVar5 = table->bucket;\n  if (phVar5 < table->bucket_limit) {\n    uVar2 = 0;\n    do {\n      if (phVar5->data != (void *)0x0) {\n        phVar3 = phVar5->next;\n        sVar4 = 1;\n        if (phVar3 == (hash_entry *)0x0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }\n        if (bVar1) {\n          uVar2 = sVar4;\n        }\n      }\n      phVar5 = phVar5 + 1;\n    } while (phVar5 < table->bucket_limit);\n    return uVar2;\n  }\n  return 0;\n}" primitive_type (function_declarator "hash_get_max_bucket_length(Hash_table *table)" identifier (parameter_list "(Hash_table *table)" ( (parameter_declaration "Hash_table *table" type_identifier (pointer_declarator "*table" * identifier)) ))) (compound_statement "{\n  bool bVar1;\n  uint uVar2;\n  hash_entry *phVar3;\n  size_t sVar4;\n  hash_entry *phVar5;\n  \n  phVar5 = table->bucket;\n  if (phVar5 < table->bucket_limit) {\n    uVar2 = 0;\n    do {\n      if (phVar5->data != (void *)0x0) {\n        phVar3 = phVar5->next;\n        sVar4 = 1;\n        if (phVar3 == (hash_entry *)0x0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }\n        if (bVar1) {\n          uVar2 = sVar4;\n        }\n      }\n      phVar5 = phVar5 + 1;\n    } while (phVar5 < table->bucket_limit);\n    return uVar2;\n  }\n  return 0;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "hash_entry *phVar3;" type_identifier (pointer_declarator "*phVar3" * identifier) ;) (declaration "size_t sVar4;" primitive_type identifier ;) (declaration "hash_entry *phVar5;" type_identifier (pointer_declarator "*phVar5" * identifier) ;) (expression_statement "phVar5 = table->bucket;" (assignment_expression "phVar5 = table->bucket" identifier = (field_expression "table->bucket" identifier -> field_identifier)) ;) (if_statement "if (phVar5 < table->bucket_limit) {\n    uVar2 = 0;\n    do {\n      if (phVar5->data != (void *)0x0) {\n        phVar3 = phVar5->next;\n        sVar4 = 1;\n        if (phVar3 == (hash_entry *)0x0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }\n        if (bVar1) {\n          uVar2 = sVar4;\n        }\n      }\n      phVar5 = phVar5 + 1;\n    } while (phVar5 < table->bucket_limit);\n    return uVar2;\n  }" if (parenthesized_expression "(phVar5 < table->bucket_limit)" ( (binary_expression "phVar5 < table->bucket_limit" identifier < (field_expression "table->bucket_limit" identifier -> field_identifier)) )) (compound_statement "{\n    uVar2 = 0;\n    do {\n      if (phVar5->data != (void *)0x0) {\n        phVar3 = phVar5->next;\n        sVar4 = 1;\n        if (phVar3 == (hash_entry *)0x0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }\n        if (bVar1) {\n          uVar2 = sVar4;\n        }\n      }\n      phVar5 = phVar5 + 1;\n    } while (phVar5 < table->bucket_limit);\n    return uVar2;\n  }" { (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (do_statement "do {\n      if (phVar5->data != (void *)0x0) {\n        phVar3 = phVar5->next;\n        sVar4 = 1;\n        if (phVar3 == (hash_entry *)0x0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }\n        if (bVar1) {\n          uVar2 = sVar4;\n        }\n      }\n      phVar5 = phVar5 + 1;\n    } while (phVar5 < table->bucket_limit);" do (compound_statement "{\n      if (phVar5->data != (void *)0x0) {\n        phVar3 = phVar5->next;\n        sVar4 = 1;\n        if (phVar3 == (hash_entry *)0x0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }\n        if (bVar1) {\n          uVar2 = sVar4;\n        }\n      }\n      phVar5 = phVar5 + 1;\n    }" { (if_statement "if (phVar5->data != (void *)0x0) {\n        phVar3 = phVar5->next;\n        sVar4 = 1;\n        if (phVar3 == (hash_entry *)0x0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }\n        if (bVar1) {\n          uVar2 = sVar4;\n        }\n      }" if (parenthesized_expression "(phVar5->data != (void *)0x0)" ( (binary_expression "phVar5->data != (void *)0x0" (field_expression "phVar5->data" identifier -> field_identifier) != (cast_expression "(void *)0x0" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        phVar3 = phVar5->next;\n        sVar4 = 1;\n        if (phVar3 == (hash_entry *)0x0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }\n        if (bVar1) {\n          uVar2 = sVar4;\n        }\n      }" { (expression_statement "phVar3 = phVar5->next;" (assignment_expression "phVar3 = phVar5->next" identifier = (field_expression "phVar5->next" identifier -> field_identifier)) ;) (expression_statement "sVar4 = 1;" (assignment_expression "sVar4 = 1" identifier = number_literal) ;) (if_statement "if (phVar3 == (hash_entry *)0x0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }" if (parenthesized_expression "(phVar3 == (hash_entry *)0x0)" ( (binary_expression "phVar3 == (hash_entry *)0x0" identifier == (cast_expression "(hash_entry *)0x0" ( (type_descriptor "hash_entry *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n          bVar1 = uVar2 == 0;\n        }" { (expression_statement "bVar1 = uVar2 == 0;" (assignment_expression "bVar1 = uVar2 == 0" identifier = (binary_expression "uVar2 == 0" identifier == number_literal)) ;) }) (else_clause "else {\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }" else (compound_statement "{\n          do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);\n          bVar1 = uVar2 < sVar4;\n        }" { (do_statement "do {\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          } while (phVar3 != (hash_entry *)0x0);" do (compound_statement "{\n            phVar3 = phVar3->next;\n            sVar4 = sVar4 + 1;\n          }" { (expression_statement "phVar3 = phVar3->next;" (assignment_expression "phVar3 = phVar3->next" identifier = (field_expression "phVar3->next" identifier -> field_identifier)) ;) (expression_statement "sVar4 = sVar4 + 1;" (assignment_expression "sVar4 = sVar4 + 1" identifier = (binary_expression "sVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(phVar3 != (hash_entry *)0x0)" ( (binary_expression "phVar3 != (hash_entry *)0x0" identifier != (cast_expression "(hash_entry *)0x0" ( (type_descriptor "hash_entry *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) (expression_statement "bVar1 = uVar2 < sVar4;" (assignment_expression "bVar1 = uVar2 < sVar4" identifier = (binary_expression "uVar2 < sVar4" identifier < identifier)) ;) }))) (if_statement "if (bVar1) {\n          uVar2 = sVar4;\n        }" if (parenthesized_expression "(bVar1)" ( identifier )) (compound_statement "{\n          uVar2 = sVar4;\n        }" { (expression_statement "uVar2 = sVar4;" (assignment_expression "uVar2 = sVar4" identifier = identifier) ;) })) })) (expression_statement "phVar5 = phVar5 + 1;" (assignment_expression "phVar5 = phVar5 + 1" identifier = (binary_expression "phVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(phVar5 < table->bucket_limit)" ( (binary_expression "phVar5 < table->bucket_limit" identifier < (field_expression "table->bucket_limit" identifier -> field_identifier)) )) ;) (return_statement "return uVar2;" return identifier ;) })) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "uint hash_get_max_bucket_length(undefined4 *param_1)\n\n{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  piVar5 = (int *)*param_1;\n  if (piVar5 < (int *)param_1[1]) {\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }\n  return 0;\n}\n\n" (function_definition "uint hash_get_max_bucket_length(undefined4 *param_1)\n\n{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  piVar5 = (int *)*param_1;\n  if (piVar5 < (int *)param_1[1]) {\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }\n  return 0;\n}" type_identifier (function_declarator "hash_get_max_bucket_length(undefined4 *param_1)" identifier (parameter_list "(undefined4 *param_1)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  piVar5 = (int *)*param_1;\n  if (piVar5 < (int *)param_1[1]) {\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }\n  return 0;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (expression_statement "piVar5 = (int *)*param_1;" (assignment_expression "piVar5 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (if_statement "if (piVar5 < (int *)param_1[1]) {\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }" if (parenthesized_expression "(piVar5 < (int *)param_1[1])" ( (binary_expression "piVar5 < (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 ]))) )) (compound_statement "{\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }" { (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (do_statement "do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);" do (compound_statement "{\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    }" { (if_statement "if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }" if (parenthesized_expression "(*piVar5 != 0)" ( (binary_expression "*piVar5 != 0" (pointer_expression "*piVar5" * identifier) != number_literal) )) (compound_statement "{\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }" { (expression_statement "iVar3 = piVar5[1];" (assignment_expression "iVar3 = piVar5[1]" identifier = (subscript_expression "piVar5[1]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = 1;" (assignment_expression "uVar4 = 1" identifier = number_literal) ;) (if_statement "if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }" if (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (compound_statement "{\n          bVar1 = uVar2 == 0;\n        }" { (expression_statement "bVar1 = uVar2 == 0;" (assignment_expression "bVar1 = uVar2 == 0" identifier = (binary_expression "uVar2 == 0" identifier == number_literal)) ;) }) (else_clause "else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }" else (compound_statement "{\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }" { (do_statement "do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);" do (compound_statement "{\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          }" { (expression_statement "iVar3 = *(int *)(iVar3 + 4);" (assignment_expression "iVar3 = *(int *)(iVar3 + 4)" identifier = (pointer_expression "*(int *)(iVar3 + 4)" * (cast_expression "(int *)(iVar3 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar3 + 4)" ( (binary_expression "iVar3 + 4" identifier + number_literal) ))))) ;) (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar3 != 0)" ( (binary_expression "iVar3 != 0" identifier != number_literal) )) ;) (expression_statement "bVar1 = uVar2 < uVar4;" (assignment_expression "bVar1 = uVar2 < uVar4" identifier = (binary_expression "uVar2 < uVar4" identifier < identifier)) ;) }))) (if_statement "if (bVar1) {\n          uVar2 = uVar4;\n        }" if (parenthesized_expression "(bVar1)" ( identifier )) (compound_statement "{\n          uVar2 = uVar4;\n        }" { (expression_statement "uVar2 = uVar4;" (assignment_expression "uVar2 = uVar4" identifier = identifier) ;) })) })) (expression_statement "piVar5 = piVar5 + 2;" (assignment_expression "piVar5 = piVar5 + 2" identifier = (binary_expression "piVar5 + 2" identifier + number_literal)) ;) }) while (parenthesized_expression "(piVar5 < (int *)param_1[1])" ( (binary_expression "piVar5 < (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 ]))) )) ;) (return_statement "return uVar2;" return identifier ;) })) (return_statement "return 0;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT == LIT)) ;) }) (else_clause else (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT < IDENT)) ;) }))) (if_statement if (parenthesized_expression ( IDENT )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT < (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) )) ;) (return_statement return IDENT ;) })) (return_statement return LIT ;) })))
(function_definition "uint hash_get_max_bucket_length(undefined4 *param_1)\n\n{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  piVar5 = (int *)*param_1;\n  if (piVar5 < (int *)param_1[1]) {\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }\n  return 0;\n}" (type_identifier "uint") (function_declarator "hash_get_max_bucket_length(undefined4 *param_1)" (identifier "hash_get_max_bucket_length") (parameter_list "(undefined4 *param_1)" (( "(") (parameter_declaration "undefined4 *param_1" (type_identifier "undefined4") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  bool bVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  int *piVar5;\n  \n  piVar5 = (int *)*param_1;\n  if (piVar5 < (int *)param_1[1]) {\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }\n  return 0;\n}" ({ "{") (declaration "bool bVar1;" (primitive_type "bool") (identifier "bVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "int *piVar5;" (primitive_type "int") (pointer_declarator "*piVar5" (* "*") (identifier "piVar5")) (; ";")) (expression_statement "piVar5 = (int *)*param_1;" (assignment_expression "piVar5 = (int *)*param_1" (identifier "piVar5") (= "=") (cast_expression "(int *)*param_1" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) (; ";")) (if_statement "if (piVar5 < (int *)param_1[1]) {\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }" (if "if") (parenthesized_expression "(piVar5 < (int *)param_1[1])" (( "(") (binary_expression "piVar5 < (int *)param_1[1]" (identifier "piVar5") (< "<") (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") (] "]")))) () ")")) (compound_statement "{\n    uVar2 = 0;\n    do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);\n    return uVar2;\n  }" ({ "{") (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" (identifier "uVar2") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    } while (piVar5 < (int *)param_1[1]);" (do "do") (compound_statement "{\n      if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }\n      piVar5 = piVar5 + 2;\n    }" ({ "{") (if_statement "if (*piVar5 != 0) {\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }" (if "if") (parenthesized_expression "(*piVar5 != 0)" (( "(") (binary_expression "*piVar5 != 0" (pointer_expression "*piVar5" (* "*") (identifier "piVar5")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n        iVar3 = piVar5[1];\n        uVar4 = 1;\n        if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }\n        if (bVar1) {\n          uVar2 = uVar4;\n        }\n      }" ({ "{") (expression_statement "iVar3 = piVar5[1];" (assignment_expression "iVar3 = piVar5[1]" (identifier "iVar3") (= "=") (subscript_expression "piVar5[1]" (identifier "piVar5") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "uVar4 = 1;" (assignment_expression "uVar4 = 1" (identifier "uVar4") (= "=") (number_literal "1")) (; ";")) (if_statement "if (iVar3 == 0) {\n          bVar1 = uVar2 == 0;\n        }\n        else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }" (if "if") (parenthesized_expression "(iVar3 == 0)" (( "(") (binary_expression "iVar3 == 0" (identifier "iVar3") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n          bVar1 = uVar2 == 0;\n        }" ({ "{") (expression_statement "bVar1 = uVar2 == 0;" (assignment_expression "bVar1 = uVar2 == 0" (identifier "bVar1") (= "=") (binary_expression "uVar2 == 0" (identifier "uVar2") (== "==") (number_literal "0"))) (; ";")) (} "}")) (else_clause "else {\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }" (else "else") (compound_statement "{\n          do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);\n          bVar1 = uVar2 < uVar4;\n        }" ({ "{") (do_statement "do {\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          } while (iVar3 != 0);" (do "do") (compound_statement "{\n            iVar3 = *(int *)(iVar3 + 4);\n            uVar4 = uVar4 + 1;\n          }" ({ "{") (expression_statement "iVar3 = *(int *)(iVar3 + 4);" (assignment_expression "iVar3 = *(int *)(iVar3 + 4)" (identifier "iVar3") (= "=") (pointer_expression "*(int *)(iVar3 + 4)" (* "*") (cast_expression "(int *)(iVar3 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar3 + 4)" (( "(") (binary_expression "iVar3 + 4" (identifier "iVar3") (+ "+") (number_literal "4")) () ")"))))) (; ";")) (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" (identifier "uVar4") (= "=") (binary_expression "uVar4 + 1" (identifier "uVar4") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar3 != 0)" (( "(") (binary_expression "iVar3 != 0" (identifier "iVar3") (!= "!=") (number_literal "0")) () ")")) (; ";")) (expression_statement "bVar1 = uVar2 < uVar4;" (assignment_expression "bVar1 = uVar2 < uVar4" (identifier "bVar1") (= "=") (binary_expression "uVar2 < uVar4" (identifier "uVar2") (< "<") (identifier "uVar4"))) (; ";")) (} "}")))) (if_statement "if (bVar1) {\n          uVar2 = uVar4;\n        }" (if "if") (parenthesized_expression "(bVar1)" (( "(") (identifier "bVar1") () ")")) (compound_statement "{\n          uVar2 = uVar4;\n        }" ({ "{") (expression_statement "uVar2 = uVar4;" (assignment_expression "uVar2 = uVar4" (identifier "uVar2") (= "=") (identifier "uVar4")) (; ";")) (} "}"))) (} "}"))) (expression_statement "piVar5 = piVar5 + 2;" (assignment_expression "piVar5 = piVar5 + 2" (identifier "piVar5") (= "=") (binary_expression "piVar5 + 2" (identifier "piVar5") (+ "+") (number_literal "2"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(piVar5 < (int *)param_1[1])" (( "(") (binary_expression "piVar5 < (int *)param_1[1]" (identifier "piVar5") (< "<") (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") (] "]")))) () ")")) (; ";")) (return_statement "return uVar2;" (return "return") (identifier "uVar2") (; ";")) (} "}"))) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))

size_t function_1(type_1 *table)

{
  bool bVar1;
  type_2 var_3;
  type_3 *var_2;
  size_t var_4;
  type_3 *var_1;
  
  var_1 = table->bucket;
  if (var_1 < table->bucket_limit) {
    var_3 = 0;
    do {
      if (var_1->data != (void *)0x0) {
        var_2 = var_1->next;
        var_4 = 1;
        if (var_2 == (type_3 *)0x0) {
          bVar1 = var_3 == 0;
        }
        else {
          do {
            var_2 = var_2->next;
            var_4 = var_4 + 1;
          } while (var_2 != (type_3 *)0x0);
          bVar1 = var_3 < var_4;
        }
        if (bVar1) {
          var_3 = var_4;
        }
      }
      var_1 = var_1 + 1;
    } while (var_1 < table->bucket_limit);
    return var_3;
  }
  return 0;
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) 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: (pointer_expression argument: (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) alternative: (else_clause (compound_statement (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)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))))) (if_statement condition: (parenthesized_expression (identifier)) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal)))))) (return_statement (identifier)))) (return_statement (number_literal)))))

uint MASKED(undefined4 *param_1)

{
  bool bVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  int *piVar5;
  
  piVar5 = (int *)*param_1;
  if (piVar5 < (int *)param_1[1]) {
    uVar2 = 0;
    do {
      if (*piVar5 != 0) {
        iVar3 = piVar5[1];
        uVar4 = 1;
        if (iVar3 == 0) {
          bVar1 = uVar2 == 0;
        }
        else {
          do {
            iVar3 = *(int *)(iVar3 + 4);
            uVar4 = uVar4 + 1;
          } while (iVar3 != 0);
          bVar1 = uVar2 < uVar4;
        }
        if (bVar1) {
          uVar2 = uVar4;
        }
      }
      piVar5 = piVar5 + 2;
    } while (piVar5 < (int *)param_1[1]);
    return uVar2;
  }
  return 0;
}

