
/* WARNING: Unknown calling convention */

_Bool hash_table_ok(Hash_table *table)

{
  hash_entry *phVar1;
  hash_entry *phVar2;
  size_t sVar3;
  size_t sVar4;
  _Bool _Var5;
  
  sVar3 = 0;
  sVar4 = 0;
  phVar2 = table->bucket;
  do {
    while( true ) {
      if (table->bucket_limit <= phVar2) {
        _Var5 = false;
        if (table->n_buckets_used == sVar4) {
          _Var5 = table->n_entries == sVar3;
        }
        return _Var5;
      }
      if (phVar2->data != (void *)0x0) break;
LAB_000197d0:
      phVar2 = phVar2 + 1;
    }
    phVar1 = phVar2->next;
    sVar4 = sVar4 + 1;
    sVar3 = sVar3 + 1;
    if (phVar1 == (hash_entry *)0x0) goto LAB_000197d0;
    do {
      phVar1 = phVar1->next;
      sVar3 = sVar3 + 1;
    } while (phVar1 != (hash_entry *)0x0);
    phVar2 = phVar2 + 1;
  } while( true );
}



bool FUN_000197b0(undefined4 *param_1)

{
  int iVar1;
  int *piVar2;
  int iVar3;
  int iVar4;
  bool bVar5;
  
  iVar3 = 0;
  iVar4 = 0;
  piVar2 = (int *)*param_1;
  do {
    while( true ) {
      if ((int *)param_1[1] <= piVar2) {
        bVar5 = false;
        if (param_1[3] == iVar4) {
          bVar5 = param_1[4] == iVar3;
        }
        return bVar5;
      }
      if (*piVar2 != 0) break;
LAB_000197d0:
      piVar2 = piVar2 + 2;
    }
    iVar1 = piVar2[1];
    iVar4 = iVar4 + 1;
    iVar3 = iVar3 + 1;
    if (iVar1 == 0) goto LAB_000197d0;
    do {
      iVar1 = *(int *)(iVar1 + 4);
      iVar3 = iVar3 + 1;
    } while (iVar1 != 0);
    piVar2 = piVar2 + 2;
  } while( true );
}


PUSH EDI
XOR EDX,EDX
PUSH ESI
XOR ESI,ESI
PUSH EBX
MOV EDI,dword ptr [ESP + 0x10]
MOV ECX,dword ptr [EDI]
MOV EBX,dword ptr [EDI + 0x4]
CMP ECX,EBX
JC 0x000197d7
JMP 0x00019801
ADD ECX,0x8
CMP ECX,EBX
JNC 0x00019801
MOV EAX,dword ptr [ECX]
TEST EAX,EAX
JZ 0x000197d0
MOV EAX,dword ptr [ECX + 0x4]
ADD ESI,0x1
ADD EDX,0x1
TEST EAX,EAX
JZ 0x000197d0
LEA ESI,[ESI]
MOV EAX,dword ptr [EAX + 0x4]
ADD EDX,0x1
TEST EAX,EAX
JNZ 0x000197f0
ADD ECX,0x8
CMP ECX,EBX
JC 0x000197d7
XOR EAX,EAX
CMP dword ptr [EDI + 0xc],ESI
JNZ 0x0001980e
CMP dword ptr [EDI + 0x10],EDX
SETZ AL
POP EBX
POP ESI
POP EDI
RET
(translation_unit "bool FUN_000197b0(undefined4 *param_1)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  \n  iVar3 = 0;\n  iVar4 = 0;\n  piVar2 = (int *)*param_1;\n  do {\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  } while( true );\n}\n\n" (function_definition "bool FUN_000197b0(undefined4 *param_1)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  \n  iVar3 = 0;\n  iVar4 = 0;\n  piVar2 = (int *)*param_1;\n  do {\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  } while( true );\n}" primitive_type (function_declarator "FUN_000197b0(undefined4 *param_1)" identifier (parameter_list "(undefined4 *param_1)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  \n  iVar3 = 0;\n  iVar4 = 0;\n  piVar2 = (int *)*param_1;\n  do {\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  } while( true );\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) (expression_statement "piVar2 = (int *)*param_1;" (assignment_expression "piVar2 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (do_statement "do {\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  } while( true );" do (compound_statement "{\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  }" { (while_statement "while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }" { (if_statement "if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }" if (parenthesized_expression "((int *)param_1[1] <= piVar2)" ( (binary_expression "(int *)param_1[1] <= piVar2" (cast_expression "(int *)param_1[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ])) <= identifier) )) (compound_statement "{\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }" { (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (if_statement "if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }" if (parenthesized_expression "(param_1[3] == iVar4)" ( (binary_expression "param_1[3] == iVar4" (subscript_expression "param_1[3]" identifier [ number_literal ]) == identifier) )) (compound_statement "{\n          bVar5 = param_1[4] == iVar3;\n        }" { (expression_statement "bVar5 = param_1[4] == iVar3;" (assignment_expression "bVar5 = param_1[4] == iVar3" identifier = (binary_expression "param_1[4] == iVar3" (subscript_expression "param_1[4]" identifier [ number_literal ]) == identifier)) ;) })) (return_statement "return bVar5;" return identifier ;) })) (if_statement "if (*piVar2 != 0) break;" if (parenthesized_expression "(*piVar2 != 0)" ( (binary_expression "*piVar2 != 0" (pointer_expression "*piVar2" * identifier) != number_literal) )) (break_statement "break;" break ;)) (labeled_statement "LAB_000197d0:\n      piVar2 = piVar2 + 2;" statement_identifier : (expression_statement "piVar2 = piVar2 + 2;" (assignment_expression "piVar2 = piVar2 + 2" identifier = (binary_expression "piVar2 + 2" identifier + number_literal)) ;)) })) (expression_statement "iVar1 = piVar2[1];" (assignment_expression "iVar1 = piVar2[1]" identifier = (subscript_expression "piVar2[1]" identifier [ number_literal ])) ;) (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (if_statement "if (iVar1 == 0) goto LAB_000197d0;" if (parenthesized_expression "(iVar1 == 0)" ( (binary_expression "iVar1 == 0" identifier == number_literal) )) (goto_statement "goto LAB_000197d0;" goto statement_identifier ;)) (do_statement "do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);" do (compound_statement "{\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    }" { (expression_statement "iVar1 = *(int *)(iVar1 + 4);" (assignment_expression "iVar1 = *(int *)(iVar1 + 4)" identifier = (pointer_expression "*(int *)(iVar1 + 4)" * (cast_expression "(int *)(iVar1 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 4)" ( (binary_expression "iVar1 + 4" identifier + number_literal) ))))) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) ;) (expression_statement "piVar2 = piVar2 + 2;" (assignment_expression "piVar2 = piVar2 + 2" identifier = (binary_expression "piVar2 + 2" identifier + number_literal)) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\n_Bool hash_table_ok(Hash_table *table)\n\n{\n  hash_entry *phVar1;\n  hash_entry *phVar2;\n  size_t sVar3;\n  size_t sVar4;\n  _Bool _Var5;\n  \n  sVar3 = 0;\n  sVar4 = 0;\n  phVar2 = table->bucket;\n  do {\n    while( true ) {\n      if (table->bucket_limit <= phVar2) {\n        _Var5 = false;\n        if (table->n_buckets_used == sVar4) {\n          _Var5 = table->n_entries == sVar3;\n        }\n        return _Var5;\n      }\n      if (phVar2->data != (void *)0x0) break;\nLAB_000197d0:\n      phVar2 = phVar2 + 1;\n    }\n    phVar1 = phVar2->next;\n    sVar4 = sVar4 + 1;\n    sVar3 = sVar3 + 1;\n    if (phVar1 == (hash_entry *)0x0) goto LAB_000197d0;\n    do {\n      phVar1 = phVar1->next;\n      sVar3 = sVar3 + 1;\n    } while (phVar1 != (hash_entry *)0x0);\n    phVar2 = phVar2 + 1;\n  } while( true );\n}\n\n" comment (function_definition "_Bool hash_table_ok(Hash_table *table)\n\n{\n  hash_entry *phVar1;\n  hash_entry *phVar2;\n  size_t sVar3;\n  size_t sVar4;\n  _Bool _Var5;\n  \n  sVar3 = 0;\n  sVar4 = 0;\n  phVar2 = table->bucket;\n  do {\n    while( true ) {\n      if (table->bucket_limit <= phVar2) {\n        _Var5 = false;\n        if (table->n_buckets_used == sVar4) {\n          _Var5 = table->n_entries == sVar3;\n        }\n        return _Var5;\n      }\n      if (phVar2->data != (void *)0x0) break;\nLAB_000197d0:\n      phVar2 = phVar2 + 1;\n    }\n    phVar1 = phVar2->next;\n    sVar4 = sVar4 + 1;\n    sVar3 = sVar3 + 1;\n    if (phVar1 == (hash_entry *)0x0) goto LAB_000197d0;\n    do {\n      phVar1 = phVar1->next;\n      sVar3 = sVar3 + 1;\n    } while (phVar1 != (hash_entry *)0x0);\n    phVar2 = phVar2 + 1;\n  } while( true );\n}" type_identifier (function_declarator "hash_table_ok(Hash_table *table)" identifier (parameter_list "(Hash_table *table)" ( (parameter_declaration "Hash_table *table" type_identifier (pointer_declarator "*table" * identifier)) ))) (compound_statement "{\n  hash_entry *phVar1;\n  hash_entry *phVar2;\n  size_t sVar3;\n  size_t sVar4;\n  _Bool _Var5;\n  \n  sVar3 = 0;\n  sVar4 = 0;\n  phVar2 = table->bucket;\n  do {\n    while( true ) {\n      if (table->bucket_limit <= phVar2) {\n        _Var5 = false;\n        if (table->n_buckets_used == sVar4) {\n          _Var5 = table->n_entries == sVar3;\n        }\n        return _Var5;\n      }\n      if (phVar2->data != (void *)0x0) break;\nLAB_000197d0:\n      phVar2 = phVar2 + 1;\n    }\n    phVar1 = phVar2->next;\n    sVar4 = sVar4 + 1;\n    sVar3 = sVar3 + 1;\n    if (phVar1 == (hash_entry *)0x0) goto LAB_000197d0;\n    do {\n      phVar1 = phVar1->next;\n      sVar3 = sVar3 + 1;\n    } while (phVar1 != (hash_entry *)0x0);\n    phVar2 = phVar2 + 1;\n  } while( true );\n}" { (declaration "hash_entry *phVar1;" type_identifier (pointer_declarator "*phVar1" * identifier) ;) (declaration "hash_entry *phVar2;" type_identifier (pointer_declarator "*phVar2" * identifier) ;) (declaration "size_t sVar3;" primitive_type identifier ;) (declaration "size_t sVar4;" primitive_type identifier ;) (declaration "_Bool _Var5;" type_identifier identifier ;) (expression_statement "sVar3 = 0;" (assignment_expression "sVar3 = 0" identifier = number_literal) ;) (expression_statement "sVar4 = 0;" (assignment_expression "sVar4 = 0" identifier = number_literal) ;) (expression_statement "phVar2 = table->bucket;" (assignment_expression "phVar2 = table->bucket" identifier = (field_expression "table->bucket" identifier -> field_identifier)) ;) (do_statement "do {\n    while( true ) {\n      if (table->bucket_limit <= phVar2) {\n        _Var5 = false;\n        if (table->n_buckets_used == sVar4) {\n          _Var5 = table->n_entries == sVar3;\n        }\n        return _Var5;\n      }\n      if (phVar2->data != (void *)0x0) break;\nLAB_000197d0:\n      phVar2 = phVar2 + 1;\n    }\n    phVar1 = phVar2->next;\n    sVar4 = sVar4 + 1;\n    sVar3 = sVar3 + 1;\n    if (phVar1 == (hash_entry *)0x0) goto LAB_000197d0;\n    do {\n      phVar1 = phVar1->next;\n      sVar3 = sVar3 + 1;\n    } while (phVar1 != (hash_entry *)0x0);\n    phVar2 = phVar2 + 1;\n  } while( true );" do (compound_statement "{\n    while( true ) {\n      if (table->bucket_limit <= phVar2) {\n        _Var5 = false;\n        if (table->n_buckets_used == sVar4) {\n          _Var5 = table->n_entries == sVar3;\n        }\n        return _Var5;\n      }\n      if (phVar2->data != (void *)0x0) break;\nLAB_000197d0:\n      phVar2 = phVar2 + 1;\n    }\n    phVar1 = phVar2->next;\n    sVar4 = sVar4 + 1;\n    sVar3 = sVar3 + 1;\n    if (phVar1 == (hash_entry *)0x0) goto LAB_000197d0;\n    do {\n      phVar1 = phVar1->next;\n      sVar3 = sVar3 + 1;\n    } while (phVar1 != (hash_entry *)0x0);\n    phVar2 = phVar2 + 1;\n  }" { (while_statement "while( true ) {\n      if (table->bucket_limit <= phVar2) {\n        _Var5 = false;\n        if (table->n_buckets_used == sVar4) {\n          _Var5 = table->n_entries == sVar3;\n        }\n        return _Var5;\n      }\n      if (phVar2->data != (void *)0x0) break;\nLAB_000197d0:\n      phVar2 = phVar2 + 1;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if (table->bucket_limit <= phVar2) {\n        _Var5 = false;\n        if (table->n_buckets_used == sVar4) {\n          _Var5 = table->n_entries == sVar3;\n        }\n        return _Var5;\n      }\n      if (phVar2->data != (void *)0x0) break;\nLAB_000197d0:\n      phVar2 = phVar2 + 1;\n    }" { (if_statement "if (table->bucket_limit <= phVar2) {\n        _Var5 = false;\n        if (table->n_buckets_used == sVar4) {\n          _Var5 = table->n_entries == sVar3;\n        }\n        return _Var5;\n      }" if (parenthesized_expression "(table->bucket_limit <= phVar2)" ( (binary_expression "table->bucket_limit <= phVar2" (field_expression "table->bucket_limit" identifier -> field_identifier) <= identifier) )) (compound_statement "{\n        _Var5 = false;\n        if (table->n_buckets_used == sVar4) {\n          _Var5 = table->n_entries == sVar3;\n        }\n        return _Var5;\n      }" { (expression_statement "_Var5 = false;" (assignment_expression "_Var5 = false" identifier = false) ;) (if_statement "if (table->n_buckets_used == sVar4) {\n          _Var5 = table->n_entries == sVar3;\n        }" if (parenthesized_expression "(table->n_buckets_used == sVar4)" ( (binary_expression "table->n_buckets_used == sVar4" (field_expression "table->n_buckets_used" identifier -> field_identifier) == identifier) )) (compound_statement "{\n          _Var5 = table->n_entries == sVar3;\n        }" { (expression_statement "_Var5 = table->n_entries == sVar3;" (assignment_expression "_Var5 = table->n_entries == sVar3" identifier = (binary_expression "table->n_entries == sVar3" (field_expression "table->n_entries" identifier -> field_identifier) == identifier)) ;) })) (return_statement "return _Var5;" return identifier ;) })) (if_statement "if (phVar2->data != (void *)0x0) break;" if (parenthesized_expression "(phVar2->data != (void *)0x0)" ( (binary_expression "phVar2->data != (void *)0x0" (field_expression "phVar2->data" identifier -> field_identifier) != (cast_expression "(void *)0x0" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (break_statement "break;" break ;)) (labeled_statement "LAB_000197d0:\n      phVar2 = phVar2 + 1;" statement_identifier : (expression_statement "phVar2 = phVar2 + 1;" (assignment_expression "phVar2 = phVar2 + 1" identifier = (binary_expression "phVar2 + 1" identifier + number_literal)) ;)) })) (expression_statement "phVar1 = phVar2->next;" (assignment_expression "phVar1 = phVar2->next" identifier = (field_expression "phVar2->next" identifier -> field_identifier)) ;) (expression_statement "sVar4 = sVar4 + 1;" (assignment_expression "sVar4 = sVar4 + 1" identifier = (binary_expression "sVar4 + 1" identifier + number_literal)) ;) (expression_statement "sVar3 = sVar3 + 1;" (assignment_expression "sVar3 = sVar3 + 1" identifier = (binary_expression "sVar3 + 1" identifier + number_literal)) ;) (if_statement "if (phVar1 == (hash_entry *)0x0) goto LAB_000197d0;" if (parenthesized_expression "(phVar1 == (hash_entry *)0x0)" ( (binary_expression "phVar1 == (hash_entry *)0x0" identifier == (cast_expression "(hash_entry *)0x0" ( (type_descriptor "hash_entry *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (goto_statement "goto LAB_000197d0;" goto statement_identifier ;)) (do_statement "do {\n      phVar1 = phVar1->next;\n      sVar3 = sVar3 + 1;\n    } while (phVar1 != (hash_entry *)0x0);" do (compound_statement "{\n      phVar1 = phVar1->next;\n      sVar3 = sVar3 + 1;\n    }" { (expression_statement "phVar1 = phVar1->next;" (assignment_expression "phVar1 = phVar1->next" identifier = (field_expression "phVar1->next" identifier -> field_identifier)) ;) (expression_statement "sVar3 = sVar3 + 1;" (assignment_expression "sVar3 = sVar3 + 1" identifier = (binary_expression "sVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(phVar1 != (hash_entry *)0x0)" ( (binary_expression "phVar1 != (hash_entry *)0x0" identifier != (cast_expression "(hash_entry *)0x0" ( (type_descriptor "hash_entry *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) ;) (expression_statement "phVar2 = phVar2 + 1;" (assignment_expression "phVar2 = phVar2 + 1" identifier = (binary_expression "phVar2 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "bool FUN_000197b0(undefined4 *param_1)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  \n  iVar3 = 0;\n  iVar4 = 0;\n  piVar2 = (int *)*param_1;\n  do {\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  } while( true );\n}\n\n" (function_definition "bool FUN_000197b0(undefined4 *param_1)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  \n  iVar3 = 0;\n  iVar4 = 0;\n  piVar2 = (int *)*param_1;\n  do {\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  } while( true );\n}" primitive_type (function_declarator "FUN_000197b0(undefined4 *param_1)" identifier (parameter_list "(undefined4 *param_1)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  \n  iVar3 = 0;\n  iVar4 = 0;\n  piVar2 = (int *)*param_1;\n  do {\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  } while( true );\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) (expression_statement "piVar2 = (int *)*param_1;" (assignment_expression "piVar2 = (int *)*param_1" identifier = (cast_expression "(int *)*param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_1" * identifier))) ;) (do_statement "do {\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  } while( true );" do (compound_statement "{\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  }" { (while_statement "while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }" { (if_statement "if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }" if (parenthesized_expression "((int *)param_1[1] <= piVar2)" ( (binary_expression "(int *)param_1[1] <= piVar2" (cast_expression "(int *)param_1[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ])) <= identifier) )) (compound_statement "{\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }" { (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (if_statement "if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }" if (parenthesized_expression "(param_1[3] == iVar4)" ( (binary_expression "param_1[3] == iVar4" (subscript_expression "param_1[3]" identifier [ number_literal ]) == identifier) )) (compound_statement "{\n          bVar5 = param_1[4] == iVar3;\n        }" { (expression_statement "bVar5 = param_1[4] == iVar3;" (assignment_expression "bVar5 = param_1[4] == iVar3" identifier = (binary_expression "param_1[4] == iVar3" (subscript_expression "param_1[4]" identifier [ number_literal ]) == identifier)) ;) })) (return_statement "return bVar5;" return identifier ;) })) (if_statement "if (*piVar2 != 0) break;" if (parenthesized_expression "(*piVar2 != 0)" ( (binary_expression "*piVar2 != 0" (pointer_expression "*piVar2" * identifier) != number_literal) )) (break_statement "break;" break ;)) (labeled_statement "LAB_000197d0:\n      piVar2 = piVar2 + 2;" statement_identifier : (expression_statement "piVar2 = piVar2 + 2;" (assignment_expression "piVar2 = piVar2 + 2" identifier = (binary_expression "piVar2 + 2" identifier + number_literal)) ;)) })) (expression_statement "iVar1 = piVar2[1];" (assignment_expression "iVar1 = piVar2[1]" identifier = (subscript_expression "piVar2[1]" identifier [ number_literal ])) ;) (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (if_statement "if (iVar1 == 0) goto LAB_000197d0;" if (parenthesized_expression "(iVar1 == 0)" ( (binary_expression "iVar1 == 0" identifier == number_literal) )) (goto_statement "goto LAB_000197d0;" goto statement_identifier ;)) (do_statement "do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);" do (compound_statement "{\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    }" { (expression_statement "iVar1 = *(int *)(iVar1 + 4);" (assignment_expression "iVar1 = *(int *)(iVar1 + 4)" identifier = (pointer_expression "*(int *)(iVar1 + 4)" * (cast_expression "(int *)(iVar1 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 4)" ( (binary_expression "iVar1 + 4" identifier + number_literal) ))))) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) ;) (expression_statement "piVar2 = piVar2 + 2;" (assignment_expression "piVar2 = piVar2 + 2" identifier = (binary_expression "piVar2 + 2" identifier + number_literal)) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT))) ;) (do_statement do (compound_statement { (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ])) <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = BOOL) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) == IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ LIT ]) == IDENT)) ;) })) (return_statement return IDENT ;) })) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) (break_statement break ;)) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;)) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (goto_statement goto statement_identifier ;)) (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 + LIT)) ;) }) while (parenthesized_expression ( BOOL )) ;) })))
(function_definition "bool FUN_000197b0(undefined4 *param_1)\n\n{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  \n  iVar3 = 0;\n  iVar4 = 0;\n  piVar2 = (int *)*param_1;\n  do {\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  } while( true );\n}" (primitive_type "bool") (function_declarator "FUN_000197b0(undefined4 *param_1)" (identifier "FUN_000197b0") (parameter_list "(undefined4 *param_1)" (( "(") (parameter_declaration "undefined4 *param_1" (type_identifier "undefined4") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  int iVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  \n  iVar3 = 0;\n  iVar4 = 0;\n  piVar2 = (int *)*param_1;\n  do {\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  } while( true );\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int *piVar2;" (primitive_type "int") (pointer_declarator "*piVar2" (* "*") (identifier "piVar2")) (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "int iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (declaration "bool bVar5;" (primitive_type "bool") (identifier "bVar5") (; ";")) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" (identifier "iVar3") (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" (identifier "iVar4") (= "=") (number_literal "0")) (; ";")) (expression_statement "piVar2 = (int *)*param_1;" (assignment_expression "piVar2 = (int *)*param_1" (identifier "piVar2") (= "=") (cast_expression "(int *)*param_1" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) (; ";")) (do_statement "do {\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  } while( true );" (do "do") (compound_statement "{\n    while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }\n    iVar1 = piVar2[1];\n    iVar4 = iVar4 + 1;\n    iVar3 = iVar3 + 1;\n    if (iVar1 == 0) goto LAB_000197d0;\n    do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);\n    piVar2 = piVar2 + 2;\n  }" ({ "{") (while_statement "while( true ) {\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n      if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }\n      if (*piVar2 != 0) break;\nLAB_000197d0:\n      piVar2 = piVar2 + 2;\n    }" ({ "{") (if_statement "if ((int *)param_1[1] <= piVar2) {\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }" (if "if") (parenthesized_expression "((int *)param_1[1] <= piVar2)" (( "(") (binary_expression "(int *)param_1[1] <= piVar2" (cast_expression "(int *)param_1[1]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]"))) (<= "<=") (identifier "piVar2")) () ")")) (compound_statement "{\n        bVar5 = false;\n        if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }\n        return bVar5;\n      }" ({ "{") (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" (identifier "bVar5") (= "=") (false "false")) (; ";")) (if_statement "if (param_1[3] == iVar4) {\n          bVar5 = param_1[4] == iVar3;\n        }" (if "if") (parenthesized_expression "(param_1[3] == iVar4)" (( "(") (binary_expression "param_1[3] == iVar4" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (== "==") (identifier "iVar4")) () ")")) (compound_statement "{\n          bVar5 = param_1[4] == iVar3;\n        }" ({ "{") (expression_statement "bVar5 = param_1[4] == iVar3;" (assignment_expression "bVar5 = param_1[4] == iVar3" (identifier "bVar5") (= "=") (binary_expression "param_1[4] == iVar3" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (== "==") (identifier "iVar3"))) (; ";")) (} "}"))) (return_statement "return bVar5;" (return "return") (identifier "bVar5") (; ";")) (} "}"))) (if_statement "if (*piVar2 != 0) break;" (if "if") (parenthesized_expression "(*piVar2 != 0)" (( "(") (binary_expression "*piVar2 != 0" (pointer_expression "*piVar2" (* "*") (identifier "piVar2")) (!= "!=") (number_literal "0")) () ")")) (break_statement "break;" (break "break") (; ";"))) (labeled_statement "LAB_000197d0:\n      piVar2 = piVar2 + 2;" (statement_identifier "LAB_000197d0") (: ":") (expression_statement "piVar2 = piVar2 + 2;" (assignment_expression "piVar2 = piVar2 + 2" (identifier "piVar2") (= "=") (binary_expression "piVar2 + 2" (identifier "piVar2") (+ "+") (number_literal "2"))) (; ";"))) (} "}"))) (expression_statement "iVar1 = piVar2[1];" (assignment_expression "iVar1 = piVar2[1]" (identifier "iVar1") (= "=") (subscript_expression "piVar2[1]" (identifier "piVar2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" (identifier "iVar4") (= "=") (binary_expression "iVar4 + 1" (identifier "iVar4") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" (identifier "iVar3") (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (iVar1 == 0) goto LAB_000197d0;" (if "if") (parenthesized_expression "(iVar1 == 0)" (( "(") (binary_expression "iVar1 == 0" (identifier "iVar1") (== "==") (number_literal "0")) () ")")) (goto_statement "goto LAB_000197d0;" (goto "goto") (statement_identifier "LAB_000197d0") (; ";"))) (do_statement "do {\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    } while (iVar1 != 0);" (do "do") (compound_statement "{\n      iVar1 = *(int *)(iVar1 + 4);\n      iVar3 = iVar3 + 1;\n    }" ({ "{") (expression_statement "iVar1 = *(int *)(iVar1 + 4);" (assignment_expression "iVar1 = *(int *)(iVar1 + 4)" (identifier "iVar1") (= "=") (pointer_expression "*(int *)(iVar1 + 4)" (* "*") (cast_expression "(int *)(iVar1 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar1 + 4)" (( "(") (binary_expression "iVar1 + 4" (identifier "iVar1") (+ "+") (number_literal "4")) () ")"))))) (; ";")) (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 "(iVar1 != 0)" (( "(") (binary_expression "iVar1 != 0" (identifier "iVar1") (!= "!=") (number_literal "0")) () ")")) (; ";")) (expression_statement "piVar2 = piVar2 + 2;" (assignment_expression "piVar2 = piVar2 + 2" (identifier "piVar2") (= "=") (binary_expression "piVar2 + 2" (identifier "piVar2") (+ "+") (number_literal "2"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (; ";")) (} "}")))

/* WARNING: Unknown calling convention */

type_1 function_1(type_2 *table)

{
  type_3 *var_4;
  type_3 *var_1;
  size_t var_3;
  size_t var_2;
  type_1 _Var5;
  
  var_3 = 0;
  var_2 = 0;
  var_1 = table->bucket;
  do {
    while( true ) {
      if (table->bucket_limit <= var_1) {
        _Var5 = false;
        if (table->n_buckets_used == var_2) {
          _Var5 = table->n_entries == var_3;
        }
        return _Var5;
      }
      if (var_1->data != (void *)0x0) break;
LAB_000197d0:
      var_1 = var_1 + 1;
    }
    var_4 = var_1->next;
    var_2 = var_2 + 1;
    var_3 = var_3 + 1;
    if (var_4 == (type_3 *)0x0) goto LAB_000197d0;
    do {
      var_4 = var_4->next;
      var_3 = var_3 + 1;
    } while (var_4 != (type_3 *)0x0);
    var_1 = var_1 + 1;
  } while( true );
}


(translation_unit (function_definition type: (primitive_type) 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: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (pointer_expression argument: (identifier))))) (do_statement body: (compound_statement (while_statement condition: (parenthesized_expression (true)) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (false))) (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier)))))) (return_statement (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) consequence: (break_statement)) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (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)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (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: (number_literal))))) condition: (parenthesized_expression (true))))))

bool MASKED(undefined4 *param_1)

{
  int iVar1;
  int *piVar2;
  int iVar3;
  int iVar4;
  bool bVar5;
  
  iVar3 = 0;
  iVar4 = 0;
  piVar2 = (int *)*param_1;
  do {
    while( true ) {
      if ((int *)param_1[1] <= piVar2) {
        bVar5 = false;
        if (param_1[3] == iVar4) {
          bVar5 = param_1[4] == iVar3;
        }
        return bVar5;
      }
      if (*piVar2 != 0) break;
LAB_000197d0:
      piVar2 = piVar2 + 2;
    }
    iVar1 = piVar2[1];
    iVar4 = iVar4 + 1;
    iVar3 = iVar3 + 1;
    if (iVar1 == 0) goto LAB_000197d0;
    do {
      iVar1 = *(int *)(iVar1 + 4);
      iVar3 = iVar3 + 1;
    } while (iVar1 != 0);
    piVar2 = piVar2 + 2;
  } while( true );
}

