
void * hash_get_first(Hash_table *table)

{
  void *pvVar1;
  hash_entry *phVar2;
  
  if (table->n_entries == 0) {
    return (void *)0x0;
  }
  phVar2 = table->bucket;
  if (phVar2 < table->bucket_limit) {
    pvVar1 = phVar2->data;
    while( true ) {
      if (pvVar1 != (void *)0x0) {
        return pvVar1;
      }
      phVar2 = phVar2 + 1;
      if (table->bucket_limit <= phVar2) break;
      pvVar1 = phVar2->data;
    }
  }
  pvVar1 = (void *)(*(code *)PTR_abort_0008de48)();
  return pvVar1;
}



int FUN_00065b0c(undefined4 *param_1)

{
  int iVar1;
  int *piVar2;
  
  if (param_1[4] == 0) {
    return 0;
  }
  piVar2 = (int *)*param_1;
  if (piVar2 < (int *)param_1[1]) {
    iVar1 = *piVar2;
    while( true ) {
      if (iVar1 != 0) {
        return iVar1;
      }
      piVar2 = piVar2 + 2;
      if ((int *)param_1[1] <= piVar2) break;
      iVar1 = *piVar2;
    }
  }
  iVar1 = (*(code *)PTR_abort_0008de48)();
  return iVar1;
}


lui gp,0x3
addiu gp,gp,-0x51c
addu gp,gp,t9
lw v0,0x10(a0)
beq v0,zero,0x00065b64
_nop
lw v1,0x0(a0)
lw a0,0x4(a0)
sltu v0,v1,a0
beq v0,zero,0x00065b6c
_nop
lw v0,0x0(v1)
bne v0,zero,0x00065b5c
_addiu v1,v1,0x8
sltu v0,v1,a0
beq v0,zero,0x00065b6c
_nop
lw v0,0x0(v1)
beq v0,zero,0x00065b44
_addiu v1,v1,0x8
jr ra
_nop
jr ra
_or v0,zero,zero
(translation_unit "int FUN_00065b0c(undefined4 *param_1)\n\n{\n  int iVar1;\n  int *piVar2;\n  \n  if (param_1[4] == 0) {\n    return 0;\n  }\n  piVar2 = (int *)*param_1;\n  if (piVar2 < (int *)param_1[1]) {\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }\n  iVar1 = (*(code *)PTR_abort_0008de48)();\n  return iVar1;\n}\n\n" (function_definition "int FUN_00065b0c(undefined4 *param_1)\n\n{\n  int iVar1;\n  int *piVar2;\n  \n  if (param_1[4] == 0) {\n    return 0;\n  }\n  piVar2 = (int *)*param_1;\n  if (piVar2 < (int *)param_1[1]) {\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }\n  iVar1 = (*(code *)PTR_abort_0008de48)();\n  return iVar1;\n}" primitive_type (function_declarator "FUN_00065b0c(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  \n  if (param_1[4] == 0) {\n    return 0;\n  }\n  piVar2 = (int *)*param_1;\n  if (piVar2 < (int *)param_1[1]) {\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }\n  iVar1 = (*(code *)PTR_abort_0008de48)();\n  return iVar1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (if_statement "if (param_1[4] == 0) {\n    return 0;\n  }" if (parenthesized_expression "(param_1[4] == 0)" ( (binary_expression "param_1[4] == 0" (subscript_expression "param_1[4]" identifier [ number_literal ]) == number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return 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))) ;) (if_statement "if (piVar2 < (int *)param_1[1]) {\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }" if (parenthesized_expression "(piVar2 < (int *)param_1[1])" ( (binary_expression "piVar2 < (int *)param_1[1]" identifier < (cast_expression "(int *)param_1[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) )) (compound_statement "{\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }" { (expression_statement "iVar1 = *piVar2;" (assignment_expression "iVar1 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (while_statement "while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }" { (if_statement "if (iVar1 != 0) {\n        return iVar1;\n      }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n        return iVar1;\n      }" { (return_statement "return iVar1;" return identifier ;) })) (expression_statement "piVar2 = piVar2 + 2;" (assignment_expression "piVar2 = piVar2 + 2" identifier = (binary_expression "piVar2 + 2" identifier + number_literal)) ;) (if_statement "if ((int *)param_1[1] <= piVar2) break;" 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) )) (break_statement "break;" break ;)) (expression_statement "iVar1 = *piVar2;" (assignment_expression "iVar1 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) })) })) (expression_statement "iVar1 = (*(code *)PTR_abort_0008de48)();" (assignment_expression "iVar1 = (*(code *)PTR_abort_0008de48)()" identifier = (call_expression "(*(code *)PTR_abort_0008de48)()" (parenthesized_expression "(*(code *)PTR_abort_0008de48)" ( (pointer_expression "*(code *)PTR_abort_0008de48" * (cast_expression "(code *)PTR_abort_0008de48" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( )))) ;) (return_statement "return iVar1;" return identifier ;) })))
(translation_unit "void * hash_get_first(Hash_table *table)\n\n{\n  void *pvVar1;\n  hash_entry *phVar2;\n  \n  if (table->n_entries == 0) {\n    return (void *)0x0;\n  }\n  phVar2 = table->bucket;\n  if (phVar2 < table->bucket_limit) {\n    pvVar1 = phVar2->data;\n    while( true ) {\n      if (pvVar1 != (void *)0x0) {\n        return pvVar1;\n      }\n      phVar2 = phVar2 + 1;\n      if (table->bucket_limit <= phVar2) break;\n      pvVar1 = phVar2->data;\n    }\n  }\n  pvVar1 = (void *)(*(code *)PTR_abort_0008de48)();\n  return pvVar1;\n}\n\n" (function_definition "void * hash_get_first(Hash_table *table)\n\n{\n  void *pvVar1;\n  hash_entry *phVar2;\n  \n  if (table->n_entries == 0) {\n    return (void *)0x0;\n  }\n  phVar2 = table->bucket;\n  if (phVar2 < table->bucket_limit) {\n    pvVar1 = phVar2->data;\n    while( true ) {\n      if (pvVar1 != (void *)0x0) {\n        return pvVar1;\n      }\n      phVar2 = phVar2 + 1;\n      if (table->bucket_limit <= phVar2) break;\n      pvVar1 = phVar2->data;\n    }\n  }\n  pvVar1 = (void *)(*(code *)PTR_abort_0008de48)();\n  return pvVar1;\n}" primitive_type (pointer_declarator "* hash_get_first(Hash_table *table)" * (function_declarator "hash_get_first(Hash_table *table)" identifier (parameter_list "(Hash_table *table)" ( (parameter_declaration "Hash_table *table" type_identifier (pointer_declarator "*table" * identifier)) )))) (compound_statement "{\n  void *pvVar1;\n  hash_entry *phVar2;\n  \n  if (table->n_entries == 0) {\n    return (void *)0x0;\n  }\n  phVar2 = table->bucket;\n  if (phVar2 < table->bucket_limit) {\n    pvVar1 = phVar2->data;\n    while( true ) {\n      if (pvVar1 != (void *)0x0) {\n        return pvVar1;\n      }\n      phVar2 = phVar2 + 1;\n      if (table->bucket_limit <= phVar2) break;\n      pvVar1 = phVar2->data;\n    }\n  }\n  pvVar1 = (void *)(*(code *)PTR_abort_0008de48)();\n  return pvVar1;\n}" { (declaration "void *pvVar1;" primitive_type (pointer_declarator "*pvVar1" * identifier) ;) (declaration "hash_entry *phVar2;" type_identifier (pointer_declarator "*phVar2" * identifier) ;) (if_statement "if (table->n_entries == 0) {\n    return (void *)0x0;\n  }" if (parenthesized_expression "(table->n_entries == 0)" ( (binary_expression "table->n_entries == 0" (field_expression "table->n_entries" identifier -> field_identifier) == number_literal) )) (compound_statement "{\n    return (void *)0x0;\n  }" { (return_statement "return (void *)0x0;" return (cast_expression "(void *)0x0" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal) ;) })) (expression_statement "phVar2 = table->bucket;" (assignment_expression "phVar2 = table->bucket" identifier = (field_expression "table->bucket" identifier -> field_identifier)) ;) (if_statement "if (phVar2 < table->bucket_limit) {\n    pvVar1 = phVar2->data;\n    while( true ) {\n      if (pvVar1 != (void *)0x0) {\n        return pvVar1;\n      }\n      phVar2 = phVar2 + 1;\n      if (table->bucket_limit <= phVar2) break;\n      pvVar1 = phVar2->data;\n    }\n  }" if (parenthesized_expression "(phVar2 < table->bucket_limit)" ( (binary_expression "phVar2 < table->bucket_limit" identifier < (field_expression "table->bucket_limit" identifier -> field_identifier)) )) (compound_statement "{\n    pvVar1 = phVar2->data;\n    while( true ) {\n      if (pvVar1 != (void *)0x0) {\n        return pvVar1;\n      }\n      phVar2 = phVar2 + 1;\n      if (table->bucket_limit <= phVar2) break;\n      pvVar1 = phVar2->data;\n    }\n  }" { (expression_statement "pvVar1 = phVar2->data;" (assignment_expression "pvVar1 = phVar2->data" identifier = (field_expression "phVar2->data" identifier -> field_identifier)) ;) (while_statement "while( true ) {\n      if (pvVar1 != (void *)0x0) {\n        return pvVar1;\n      }\n      phVar2 = phVar2 + 1;\n      if (table->bucket_limit <= phVar2) break;\n      pvVar1 = phVar2->data;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if (pvVar1 != (void *)0x0) {\n        return pvVar1;\n      }\n      phVar2 = phVar2 + 1;\n      if (table->bucket_limit <= phVar2) break;\n      pvVar1 = phVar2->data;\n    }" { (if_statement "if (pvVar1 != (void *)0x0) {\n        return pvVar1;\n      }" if (parenthesized_expression "(pvVar1 != (void *)0x0)" ( (binary_expression "pvVar1 != (void *)0x0" identifier != (cast_expression "(void *)0x0" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        return pvVar1;\n      }" { (return_statement "return pvVar1;" return identifier ;) })) (expression_statement "phVar2 = phVar2 + 1;" (assignment_expression "phVar2 = phVar2 + 1" identifier = (binary_expression "phVar2 + 1" identifier + number_literal)) ;) (if_statement "if (table->bucket_limit <= phVar2) break;" if (parenthesized_expression "(table->bucket_limit <= phVar2)" ( (binary_expression "table->bucket_limit <= phVar2" (field_expression "table->bucket_limit" identifier -> field_identifier) <= identifier) )) (break_statement "break;" break ;)) (expression_statement "pvVar1 = phVar2->data;" (assignment_expression "pvVar1 = phVar2->data" identifier = (field_expression "phVar2->data" identifier -> field_identifier)) ;) })) })) (expression_statement "pvVar1 = (void *)(*(code *)PTR_abort_0008de48)();" (assignment_expression "pvVar1 = (void *)(*(code *)PTR_abort_0008de48)()" identifier = (cast_expression "(void *)(*(code *)PTR_abort_0008de48)()" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR_abort_0008de48)()" (parenthesized_expression "(*(code *)PTR_abort_0008de48)" ( (pointer_expression "*(code *)PTR_abort_0008de48" * (cast_expression "(code *)PTR_abort_0008de48" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))))) ;) (return_statement "return pvVar1;" return identifier ;) })))
(translation_unit "int FUN_00065b0c(undefined4 *param_1)\n\n{\n  int iVar1;\n  int *piVar2;\n  \n  if (param_1[4] == 0) {\n    return 0;\n  }\n  piVar2 = (int *)*param_1;\n  if (piVar2 < (int *)param_1[1]) {\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }\n  iVar1 = (*(code *)PTR_abort_0008de48)();\n  return iVar1;\n}\n\n" (function_definition "int FUN_00065b0c(undefined4 *param_1)\n\n{\n  int iVar1;\n  int *piVar2;\n  \n  if (param_1[4] == 0) {\n    return 0;\n  }\n  piVar2 = (int *)*param_1;\n  if (piVar2 < (int *)param_1[1]) {\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }\n  iVar1 = (*(code *)PTR_abort_0008de48)();\n  return iVar1;\n}" primitive_type (function_declarator "FUN_00065b0c(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  \n  if (param_1[4] == 0) {\n    return 0;\n  }\n  piVar2 = (int *)*param_1;\n  if (piVar2 < (int *)param_1[1]) {\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }\n  iVar1 = (*(code *)PTR_abort_0008de48)();\n  return iVar1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int *piVar2;" primitive_type (pointer_declarator "*piVar2" * identifier) ;) (if_statement "if (param_1[4] == 0) {\n    return 0;\n  }" if (parenthesized_expression "(param_1[4] == 0)" ( (binary_expression "param_1[4] == 0" (subscript_expression "param_1[4]" identifier [ number_literal ]) == number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return 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))) ;) (if_statement "if (piVar2 < (int *)param_1[1]) {\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }" if (parenthesized_expression "(piVar2 < (int *)param_1[1])" ( (binary_expression "piVar2 < (int *)param_1[1]" identifier < (cast_expression "(int *)param_1[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[1]" identifier [ number_literal ]))) )) (compound_statement "{\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }" { (expression_statement "iVar1 = *piVar2;" (assignment_expression "iVar1 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) (while_statement "while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }" { (if_statement "if (iVar1 != 0) {\n        return iVar1;\n      }" if (parenthesized_expression "(iVar1 != 0)" ( (binary_expression "iVar1 != 0" identifier != number_literal) )) (compound_statement "{\n        return iVar1;\n      }" { (return_statement "return iVar1;" return identifier ;) })) (expression_statement "piVar2 = piVar2 + 2;" (assignment_expression "piVar2 = piVar2 + 2" identifier = (binary_expression "piVar2 + 2" identifier + number_literal)) ;) (if_statement "if ((int *)param_1[1] <= piVar2) break;" 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) )) (break_statement "break;" break ;)) (expression_statement "iVar1 = *piVar2;" (assignment_expression "iVar1 = *piVar2" identifier = (pointer_expression "*piVar2" * identifier)) ;) })) })) (expression_statement "iVar1 = (*(code *)PTR_abort_0008de48)();" (assignment_expression "iVar1 = (*(code *)PTR_abort_0008de48)()" identifier = (call_expression "(*(code *)PTR_abort_0008de48)()" (parenthesized_expression "(*(code *)PTR_abort_0008de48)" ( (pointer_expression "*(code *)PTR_abort_0008de48" * (cast_expression "(code *)PTR_abort_0008de48" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( )))) ;) (return_statement "return iVar1;" return identifier ;) })))
(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) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) == LIT) )) (compound_statement { (return_statement return LIT ;) })) (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 = (pointer_expression * IDENT)) ;) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ])) <= IDENT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) })) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( )))) ;) (return_statement return IDENT ;) })))
(function_definition "int FUN_00065b0c(undefined4 *param_1)\n\n{\n  int iVar1;\n  int *piVar2;\n  \n  if (param_1[4] == 0) {\n    return 0;\n  }\n  piVar2 = (int *)*param_1;\n  if (piVar2 < (int *)param_1[1]) {\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }\n  iVar1 = (*(code *)PTR_abort_0008de48)();\n  return iVar1;\n}" (primitive_type "int") (function_declarator "FUN_00065b0c(undefined4 *param_1)" (identifier "FUN_00065b0c") (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  \n  if (param_1[4] == 0) {\n    return 0;\n  }\n  piVar2 = (int *)*param_1;\n  if (piVar2 < (int *)param_1[1]) {\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }\n  iVar1 = (*(code *)PTR_abort_0008de48)();\n  return iVar1;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int *piVar2;" (primitive_type "int") (pointer_declarator "*piVar2" (* "*") (identifier "piVar2")) (; ";")) (if_statement "if (param_1[4] == 0) {\n    return 0;\n  }" (if "if") (parenthesized_expression "(param_1[4] == 0)" (( "(") (binary_expression "param_1[4] == 0" (subscript_expression "param_1[4]" (identifier "param_1") ([ "[") (number_literal "4") (] "]")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    return 0;\n  }" ({ "{") (return_statement "return 0;" (return "return") (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")))) (; ";")) (if_statement "if (piVar2 < (int *)param_1[1]) {\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }" (if "if") (parenthesized_expression "(piVar2 < (int *)param_1[1])" (( "(") (binary_expression "piVar2 < (int *)param_1[1]" (identifier "piVar2") (< "<") (cast_expression "(int *)param_1[1]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")))) () ")")) (compound_statement "{\n    iVar1 = *piVar2;\n    while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }\n  }" ({ "{") (expression_statement "iVar1 = *piVar2;" (assignment_expression "iVar1 = *piVar2" (identifier "iVar1") (= "=") (pointer_expression "*piVar2" (* "*") (identifier "piVar2"))) (; ";")) (while_statement "while( true ) {\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n      if (iVar1 != 0) {\n        return iVar1;\n      }\n      piVar2 = piVar2 + 2;\n      if ((int *)param_1[1] <= piVar2) break;\n      iVar1 = *piVar2;\n    }" ({ "{") (if_statement "if (iVar1 != 0) {\n        return iVar1;\n      }" (if "if") (parenthesized_expression "(iVar1 != 0)" (( "(") (binary_expression "iVar1 != 0" (identifier "iVar1") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n        return iVar1;\n      }" ({ "{") (return_statement "return iVar1;" (return "return") (identifier "iVar1") (; ";")) (} "}"))) (expression_statement "piVar2 = piVar2 + 2;" (assignment_expression "piVar2 = piVar2 + 2" (identifier "piVar2") (= "=") (binary_expression "piVar2 + 2" (identifier "piVar2") (+ "+") (number_literal "2"))) (; ";")) (if_statement "if ((int *)param_1[1] <= piVar2) break;" (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")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "iVar1 = *piVar2;" (assignment_expression "iVar1 = *piVar2" (identifier "iVar1") (= "=") (pointer_expression "*piVar2" (* "*") (identifier "piVar2"))) (; ";")) (} "}"))) (} "}"))) (expression_statement "iVar1 = (*(code *)PTR_abort_0008de48)();" (assignment_expression "iVar1 = (*(code *)PTR_abort_0008de48)()" (identifier "iVar1") (= "=") (call_expression "(*(code *)PTR_abort_0008de48)()" (parenthesized_expression "(*(code *)PTR_abort_0008de48)" (( "(") (pointer_expression "*(code *)PTR_abort_0008de48" (* "*") (cast_expression "(code *)PTR_abort_0008de48" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_abort_0008de48"))) () ")")) (argument_list "()" (( "(") () ")")))) (; ";")) (return_statement "return iVar1;" (return "return") (identifier "iVar1") (; ";")) (} "}")))
(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))) (if_statement condition: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) consequence: (compound_statement (return_statement (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))))) (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: (pointer_expression argument: (identifier)))) (while_statement condition: (parenthesized_expression (true)) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (identifier))) consequence: (break_statement)) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list)))) (return_statement (identifier)))))

int MASKED(undefined4 *param_1)

{
  int iVar1;
  int *piVar2;
  
  if (param_1[4] == 0) {
    return 0;
  }
  piVar2 = (int *)*param_1;
  if (piVar2 < (int *)param_1[1]) {
    iVar1 = *piVar2;
    while( true ) {
      if (iVar1 != 0) {
        return iVar1;
      }
      piVar2 = piVar2 + 2;
      if ((int *)param_1[1] <= piVar2) break;
      iVar1 = *piVar2;
    }
  }
  iVar1 = (*(code *)PTR_abort_0008de48)();
  return iVar1;
}

