
int sqlite3BitvecTestNotNull(Bitvec *p,u32 i)

{
  uint uVar1;
  int iVar2;
  uint uVar3;
  uint uVar4;
  
  uVar3 = i - 1;
  if (p->iSize <= uVar3) {
    return 0;
  }
  while (uVar1 = p->iDivisor, uVar1 != 0) {
    if (uVar1 == 0) {
      trap(7);
    }
    uVar4 = uVar3 / uVar1;
    uVar3 = uVar3 % uVar1;
    p = *(Bitvec **)((int)&p->u + uVar4 * 4);
    if (p == (Bitvec *)0x0) {
      return 0;
    }
  }
  if (p->iSize < 0xfa1) {
    return (int)(uint)(p->u).aBitmap[uVar3 >> 3] >> (uVar3 & 7) & 1;
  }
  uVar1 = uVar3 % 0x7d;
  iVar2 = *(int *)((int)&p->u + uVar1 * 4);
  if (iVar2 == 0) {
    return 0;
  }
  if (iVar2 == uVar3 + 1) {
    return 1;
  }
  do {
    uVar1 = (uVar1 + 1) % 0x7d;
    iVar2 = *(int *)((int)&p->u + uVar1 * 4);
    if (iVar2 == 0) {
      return 0;
    }
  } while (iVar2 != uVar3 + 1);
  return 1;
}



uint FUN_0001d934(uint *param_1,int param_2)

{
  uint uVar1;
  uint uVar2;
  uint uVar3;
  
  uVar2 = param_2 - 1;
  if (*param_1 <= uVar2) {
    return 0;
  }
  while (uVar1 = param_1[2], uVar1 != 0) {
    if (uVar1 == 0) {
      trap(7);
    }
    uVar3 = uVar2 / uVar1;
    uVar2 = uVar2 % uVar1;
    param_1 = (uint *)param_1[uVar3 + 3];
    if (param_1 == (uint *)0x0) {
      return 0;
    }
  }
  if (*param_1 < 0xfa1) {
    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;
  }
  uVar1 = uVar2 % 0x7d;
  if (param_1[uVar1 + 3] == 0) {
    return 0;
  }
  if (param_1[uVar1 + 3] == uVar2 + 1) {
    return 1;
  }
  do {
    uVar1 = (uVar1 + 1) % 0x7d;
    if (param_1[uVar1 + 3] == 0) {
      return 0;
    }
  } while (param_1[uVar1 + 3] != uVar2 + 1);
  return 1;
}


lw v0,0x0(a0)
addiu a1,a1,-0x1
sltu v0,a1,v0
bne v0,zero,0x0001d974
_or v0,zero,zero
b 0x0001da4c
_nop
teq v0,zero
divu a1,v0
mflo v0
addiu v0,v0,0x2
sll v0,v0,0x2
addu v0,a0,v0
lw a0,0x4(v0)
beq a0,zero,0x0001da20
_mfhi a1
lw v0,0x8(a0)
bne v0,zero,0x0001d950
_nop
lw v0,0x0(a0)
sltiu v0,v0,0xfa1
bne v0,zero,0x0001da28
_lui a2,0x1062
addiu a2,a2,0x4dd3
multu a1,a2
mfhi v0
srl v0,v0,0x3
sll v1,v0,0x5
subu v1,v1,v0
sll v1,v1,0x2
addu v0,v1,v0
subu v0,a1,v0
addiu v1,v0,0x2
sll v1,v1,0x2
addu v1,a0,v1
lw v1,0x4(v1)
beq v1,zero,0x0001da20
_addiu a3,a1,0x1
bne v1,a3,0x0001d9e4
_nop
jr ra
_li v0,0x1
beq v1,a3,0x0001da44
_nop
addiu a1,v0,0x1
multu a1,a2
mfhi v0
srl v0,v0,0x3
sll v1,v0,0x5
subu v1,v1,v0
sll v1,v1,0x2
addu v0,v1,v0
subu v0,a1,v0
addiu v1,v0,0x2
sll v1,v1,0x2
addu v1,a0,v1
lw v1,0x4(v1)
bne v1,zero,0x0001d9dc
_nop
jr ra
_or v0,zero,zero
srl v0,a1,0x3
andi a1,a1,0x7
addu v0,a0,v0
lbu v0,0xc(v0)
srav a1,v0,a1
jr ra
_andi v0,a1,0x1
jr ra
_li v0,0x1
jr ra
_nop
(translation_unit "uint FUN_0001d934(uint *param_1,int param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  uVar2 = param_2 - 1;\n  if (*param_1 <= uVar2) {\n    return 0;\n  }\n  while (uVar1 = param_1[2], uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }\n  if (*param_1 < 0xfa1) {\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }\n  uVar1 = uVar2 % 0x7d;\n  if (param_1[uVar1 + 3] == 0) {\n    return 0;\n  }\n  if (param_1[uVar1 + 3] == uVar2 + 1) {\n    return 1;\n  }\n  do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  } while (param_1[uVar1 + 3] != uVar2 + 1);\n  return 1;\n}\n\n" (function_definition "uint FUN_0001d934(uint *param_1,int param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  uVar2 = param_2 - 1;\n  if (*param_1 <= uVar2) {\n    return 0;\n  }\n  while (uVar1 = param_1[2], uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }\n  if (*param_1 < 0xfa1) {\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }\n  uVar1 = uVar2 % 0x7d;\n  if (param_1[uVar1 + 3] == 0) {\n    return 0;\n  }\n  if (param_1[uVar1 + 3] == uVar2 + 1) {\n    return 1;\n  }\n  do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  } while (param_1[uVar1 + 3] != uVar2 + 1);\n  return 1;\n}" type_identifier (function_declarator "FUN_0001d934(uint *param_1,int param_2)" identifier (parameter_list "(uint *param_1,int param_2)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  uVar2 = param_2 - 1;\n  if (*param_1 <= uVar2) {\n    return 0;\n  }\n  while (uVar1 = param_1[2], uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }\n  if (*param_1 < 0xfa1) {\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }\n  uVar1 = uVar2 % 0x7d;\n  if (param_1[uVar1 + 3] == 0) {\n    return 0;\n  }\n  if (param_1[uVar1 + 3] == uVar2 + 1) {\n    return 1;\n  }\n  do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  } while (param_1[uVar1 + 3] != uVar2 + 1);\n  return 1;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (expression_statement "uVar2 = param_2 - 1;" (assignment_expression "uVar2 = param_2 - 1" identifier = (binary_expression "param_2 - 1" identifier - number_literal)) ;) (if_statement "if (*param_1 <= uVar2) {\n    return 0;\n  }" if (parenthesized_expression "(*param_1 <= uVar2)" ( (binary_expression "*param_1 <= uVar2" (pointer_expression "*param_1" * identifier) <= identifier) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (while_statement "while (uVar1 = param_1[2], uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }" while (parenthesized_expression "(uVar1 = param_1[2], uVar1 != 0)" ( (comma_expression "uVar1 = param_1[2], uVar1 != 0" (assignment_expression "uVar1 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) , (binary_expression "uVar1 != 0" identifier != number_literal)) )) (compound_statement "{\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }" { (if_statement "if (uVar1 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar1 == 0)" ( (binary_expression "uVar1 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "uVar3 = uVar2 / uVar1;" (assignment_expression "uVar3 = uVar2 / uVar1" identifier = (binary_expression "uVar2 / uVar1" identifier / identifier)) ;) (expression_statement "uVar2 = uVar2 % uVar1;" (assignment_expression "uVar2 = uVar2 % uVar1" identifier = (binary_expression "uVar2 % uVar1" identifier % identifier)) ;) (expression_statement "param_1 = (uint *)param_1[uVar3 + 3];" (assignment_expression "param_1 = (uint *)param_1[uVar3 + 3]" identifier = (cast_expression "(uint *)param_1[uVar3 + 3]" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[uVar3 + 3]" identifier [ (binary_expression "uVar3 + 3" identifier + number_literal) ]))) ;) (if_statement "if (param_1 == (uint *)0x0) {\n      return 0;\n    }" if (parenthesized_expression "(param_1 == (uint *)0x0)" ( (binary_expression "param_1 == (uint *)0x0" identifier == (cast_expression "(uint *)0x0" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) })) (if_statement "if (*param_1 < 0xfa1) {\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }" if (parenthesized_expression "(*param_1 < 0xfa1)" ( (binary_expression "*param_1 < 0xfa1" (pointer_expression "*param_1" * identifier) < number_literal) )) (compound_statement "{\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }" { (return_statement "return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;" return (binary_expression "(int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1" (binary_expression "(int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7)" (binary_expression "(int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc)" (cast_expression "(int)(uint)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uint)" ( identifier ))) * (cast_expression "(byte *)((int)param_1 + (uVar2 >> 3) + 0xc)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + (uVar2 >> 3) + 0xc)" ( (binary_expression "(int)param_1 + (uVar2 >> 3) + 0xc" (binary_expression "(int)param_1 + (uVar2 >> 3)" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + (parenthesized_expression "(uVar2 >> 3)" ( (binary_expression "uVar2 >> 3" identifier >> number_literal) ))) + number_literal) )))) >> (parenthesized_expression "(uVar2 & 7)" ( (binary_expression "uVar2 & 7" identifier & number_literal) ))) & number_literal) ;) })) (expression_statement "uVar1 = uVar2 % 0x7d;" (assignment_expression "uVar1 = uVar2 % 0x7d" identifier = (binary_expression "uVar2 % 0x7d" identifier % number_literal)) ;) (if_statement "if (param_1[uVar1 + 3] == 0) {\n    return 0;\n  }" if (parenthesized_expression "(param_1[uVar1 + 3] == 0)" ( (binary_expression "param_1[uVar1 + 3] == 0" (subscript_expression "param_1[uVar1 + 3]" identifier [ (binary_expression "uVar1 + 3" identifier + number_literal) ]) == number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (param_1[uVar1 + 3] == uVar2 + 1) {\n    return 1;\n  }" if (parenthesized_expression "(param_1[uVar1 + 3] == uVar2 + 1)" ( (binary_expression "param_1[uVar1 + 3] == uVar2 + 1" (subscript_expression "param_1[uVar1 + 3]" identifier [ (binary_expression "uVar1 + 3" identifier + number_literal) ]) == (binary_expression "uVar2 + 1" identifier + number_literal)) )) (compound_statement "{\n    return 1;\n  }" { (return_statement "return 1;" return number_literal ;) })) (do_statement "do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  } while (param_1[uVar1 + 3] != uVar2 + 1);" do (compound_statement "{\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  }" { (expression_statement "uVar1 = (uVar1 + 1) % 0x7d;" (assignment_expression "uVar1 = (uVar1 + 1) % 0x7d" identifier = (binary_expression "(uVar1 + 1) % 0x7d" (parenthesized_expression "(uVar1 + 1)" ( (binary_expression "uVar1 + 1" identifier + number_literal) )) % number_literal)) ;) (if_statement "if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }" if (parenthesized_expression "(param_1[uVar1 + 3] == 0)" ( (binary_expression "param_1[uVar1 + 3] == 0" (subscript_expression "param_1[uVar1 + 3]" identifier [ (binary_expression "uVar1 + 3" identifier + number_literal) ]) == number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) }) while (parenthesized_expression "(param_1[uVar1 + 3] != uVar2 + 1)" ( (binary_expression "param_1[uVar1 + 3] != uVar2 + 1" (subscript_expression "param_1[uVar1 + 3]" identifier [ (binary_expression "uVar1 + 3" identifier + number_literal) ]) != (binary_expression "uVar2 + 1" identifier + number_literal)) )) ;) (return_statement "return 1;" return number_literal ;) })))
(translation_unit "int sqlite3BitvecTestNotNull(Bitvec *p,u32 i)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  \n  uVar3 = i - 1;\n  if (p->iSize <= uVar3) {\n    return 0;\n  }\n  while (uVar1 = p->iDivisor, uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar4 = uVar3 / uVar1;\n    uVar3 = uVar3 % uVar1;\n    p = *(Bitvec **)((int)&p->u + uVar4 * 4);\n    if (p == (Bitvec *)0x0) {\n      return 0;\n    }\n  }\n  if (p->iSize < 0xfa1) {\n    return (int)(uint)(p->u).aBitmap[uVar3 >> 3] >> (uVar3 & 7) & 1;\n  }\n  uVar1 = uVar3 % 0x7d;\n  iVar2 = *(int *)((int)&p->u + uVar1 * 4);\n  if (iVar2 == 0) {\n    return 0;\n  }\n  if (iVar2 == uVar3 + 1) {\n    return 1;\n  }\n  do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    iVar2 = *(int *)((int)&p->u + uVar1 * 4);\n    if (iVar2 == 0) {\n      return 0;\n    }\n  } while (iVar2 != uVar3 + 1);\n  return 1;\n}\n\n" (function_definition "int sqlite3BitvecTestNotNull(Bitvec *p,u32 i)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  \n  uVar3 = i - 1;\n  if (p->iSize <= uVar3) {\n    return 0;\n  }\n  while (uVar1 = p->iDivisor, uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar4 = uVar3 / uVar1;\n    uVar3 = uVar3 % uVar1;\n    p = *(Bitvec **)((int)&p->u + uVar4 * 4);\n    if (p == (Bitvec *)0x0) {\n      return 0;\n    }\n  }\n  if (p->iSize < 0xfa1) {\n    return (int)(uint)(p->u).aBitmap[uVar3 >> 3] >> (uVar3 & 7) & 1;\n  }\n  uVar1 = uVar3 % 0x7d;\n  iVar2 = *(int *)((int)&p->u + uVar1 * 4);\n  if (iVar2 == 0) {\n    return 0;\n  }\n  if (iVar2 == uVar3 + 1) {\n    return 1;\n  }\n  do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    iVar2 = *(int *)((int)&p->u + uVar1 * 4);\n    if (iVar2 == 0) {\n      return 0;\n    }\n  } while (iVar2 != uVar3 + 1);\n  return 1;\n}" primitive_type (function_declarator "sqlite3BitvecTestNotNull(Bitvec *p,u32 i)" identifier (parameter_list "(Bitvec *p,u32 i)" ( (parameter_declaration "Bitvec *p" type_identifier (pointer_declarator "*p" * identifier)) , (parameter_declaration "u32 i" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  \n  uVar3 = i - 1;\n  if (p->iSize <= uVar3) {\n    return 0;\n  }\n  while (uVar1 = p->iDivisor, uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar4 = uVar3 / uVar1;\n    uVar3 = uVar3 % uVar1;\n    p = *(Bitvec **)((int)&p->u + uVar4 * 4);\n    if (p == (Bitvec *)0x0) {\n      return 0;\n    }\n  }\n  if (p->iSize < 0xfa1) {\n    return (int)(uint)(p->u).aBitmap[uVar3 >> 3] >> (uVar3 & 7) & 1;\n  }\n  uVar1 = uVar3 % 0x7d;\n  iVar2 = *(int *)((int)&p->u + uVar1 * 4);\n  if (iVar2 == 0) {\n    return 0;\n  }\n  if (iVar2 == uVar3 + 1) {\n    return 1;\n  }\n  do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    iVar2 = *(int *)((int)&p->u + uVar1 * 4);\n    if (iVar2 == 0) {\n      return 0;\n    }\n  } while (iVar2 != uVar3 + 1);\n  return 1;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (expression_statement "uVar3 = i - 1;" (assignment_expression "uVar3 = i - 1" identifier = (binary_expression "i - 1" identifier - number_literal)) ;) (if_statement "if (p->iSize <= uVar3) {\n    return 0;\n  }" if (parenthesized_expression "(p->iSize <= uVar3)" ( (binary_expression "p->iSize <= uVar3" (field_expression "p->iSize" identifier -> field_identifier) <= identifier) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (while_statement "while (uVar1 = p->iDivisor, uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar4 = uVar3 / uVar1;\n    uVar3 = uVar3 % uVar1;\n    p = *(Bitvec **)((int)&p->u + uVar4 * 4);\n    if (p == (Bitvec *)0x0) {\n      return 0;\n    }\n  }" while (parenthesized_expression "(uVar1 = p->iDivisor, uVar1 != 0)" ( (comma_expression "uVar1 = p->iDivisor, uVar1 != 0" (assignment_expression "uVar1 = p->iDivisor" identifier = (field_expression "p->iDivisor" identifier -> field_identifier)) , (binary_expression "uVar1 != 0" identifier != number_literal)) )) (compound_statement "{\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar4 = uVar3 / uVar1;\n    uVar3 = uVar3 % uVar1;\n    p = *(Bitvec **)((int)&p->u + uVar4 * 4);\n    if (p == (Bitvec *)0x0) {\n      return 0;\n    }\n  }" { (if_statement "if (uVar1 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar1 == 0)" ( (binary_expression "uVar1 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "uVar4 = uVar3 / uVar1;" (assignment_expression "uVar4 = uVar3 / uVar1" identifier = (binary_expression "uVar3 / uVar1" identifier / identifier)) ;) (expression_statement "uVar3 = uVar3 % uVar1;" (assignment_expression "uVar3 = uVar3 % uVar1" identifier = (binary_expression "uVar3 % uVar1" identifier % identifier)) ;) (expression_statement "p = *(Bitvec **)((int)&p->u + uVar4 * 4);" (assignment_expression "p = *(Bitvec **)((int)&p->u + uVar4 * 4)" identifier = (pointer_expression "*(Bitvec **)((int)&p->u + uVar4 * 4)" * (cast_expression "(Bitvec **)((int)&p->u + uVar4 * 4)" ( (type_descriptor "Bitvec **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "((int)&p->u + uVar4 * 4)" ( (binary_expression "(int)&p->u + uVar4 * 4" (cast_expression "(int)&p->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&p->u" & (field_expression "p->u" identifier -> field_identifier))) + (binary_expression "uVar4 * 4" identifier * number_literal)) ))))) ;) (if_statement "if (p == (Bitvec *)0x0) {\n      return 0;\n    }" if (parenthesized_expression "(p == (Bitvec *)0x0)" ( (binary_expression "p == (Bitvec *)0x0" identifier == (cast_expression "(Bitvec *)0x0" ( (type_descriptor "Bitvec *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) })) (if_statement "if (p->iSize < 0xfa1) {\n    return (int)(uint)(p->u).aBitmap[uVar3 >> 3] >> (uVar3 & 7) & 1;\n  }" if (parenthesized_expression "(p->iSize < 0xfa1)" ( (binary_expression "p->iSize < 0xfa1" (field_expression "p->iSize" identifier -> field_identifier) < number_literal) )) (compound_statement "{\n    return (int)(uint)(p->u).aBitmap[uVar3 >> 3] >> (uVar3 & 7) & 1;\n  }" { (return_statement "return (int)(uint)(p->u).aBitmap[uVar3 >> 3] >> (uVar3 & 7) & 1;" return (binary_expression "(int)(uint)(p->u).aBitmap[uVar3 >> 3] >> (uVar3 & 7) & 1" (binary_expression "(int)(uint)(p->u).aBitmap[uVar3 >> 3] >> (uVar3 & 7)" (cast_expression "(int)(uint)(p->u).aBitmap[uVar3 >> 3]" ( (type_descriptor "int" primitive_type) ) (subscript_expression "(uint)(p->u).aBitmap[uVar3 >> 3]" (field_expression "(uint)(p->u).aBitmap" (call_expression "(uint)(p->u)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(p->u)" ( (field_expression "p->u" identifier -> field_identifier) ))) . field_identifier) [ (binary_expression "uVar3 >> 3" identifier >> number_literal) ])) >> (parenthesized_expression "(uVar3 & 7)" ( (binary_expression "uVar3 & 7" identifier & number_literal) ))) & number_literal) ;) })) (expression_statement "uVar1 = uVar3 % 0x7d;" (assignment_expression "uVar1 = uVar3 % 0x7d" identifier = (binary_expression "uVar3 % 0x7d" identifier % number_literal)) ;) (expression_statement "iVar2 = *(int *)((int)&p->u + uVar1 * 4);" (assignment_expression "iVar2 = *(int *)((int)&p->u + uVar1 * 4)" identifier = (pointer_expression "*(int *)((int)&p->u + uVar1 * 4)" * (cast_expression "(int *)((int)&p->u + uVar1 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&p->u + uVar1 * 4)" ( (binary_expression "(int)&p->u + uVar1 * 4" (cast_expression "(int)&p->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&p->u" & (field_expression "p->u" identifier -> field_identifier))) + (binary_expression "uVar1 * 4" identifier * number_literal)) ))))) ;) (if_statement "if (iVar2 == 0) {\n    return 0;\n  }" if (parenthesized_expression "(iVar2 == 0)" ( (binary_expression "iVar2 == 0" identifier == number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (iVar2 == uVar3 + 1) {\n    return 1;\n  }" if (parenthesized_expression "(iVar2 == uVar3 + 1)" ( (binary_expression "iVar2 == uVar3 + 1" identifier == (binary_expression "uVar3 + 1" identifier + number_literal)) )) (compound_statement "{\n    return 1;\n  }" { (return_statement "return 1;" return number_literal ;) })) (do_statement "do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    iVar2 = *(int *)((int)&p->u + uVar1 * 4);\n    if (iVar2 == 0) {\n      return 0;\n    }\n  } while (iVar2 != uVar3 + 1);" do (compound_statement "{\n    uVar1 = (uVar1 + 1) % 0x7d;\n    iVar2 = *(int *)((int)&p->u + uVar1 * 4);\n    if (iVar2 == 0) {\n      return 0;\n    }\n  }" { (expression_statement "uVar1 = (uVar1 + 1) % 0x7d;" (assignment_expression "uVar1 = (uVar1 + 1) % 0x7d" identifier = (binary_expression "(uVar1 + 1) % 0x7d" (parenthesized_expression "(uVar1 + 1)" ( (binary_expression "uVar1 + 1" identifier + number_literal) )) % number_literal)) ;) (expression_statement "iVar2 = *(int *)((int)&p->u + uVar1 * 4);" (assignment_expression "iVar2 = *(int *)((int)&p->u + uVar1 * 4)" identifier = (pointer_expression "*(int *)((int)&p->u + uVar1 * 4)" * (cast_expression "(int *)((int)&p->u + uVar1 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&p->u + uVar1 * 4)" ( (binary_expression "(int)&p->u + uVar1 * 4" (cast_expression "(int)&p->u" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&p->u" & (field_expression "p->u" identifier -> field_identifier))) + (binary_expression "uVar1 * 4" identifier * number_literal)) ))))) ;) (if_statement "if (iVar2 == 0) {\n      return 0;\n    }" if (parenthesized_expression "(iVar2 == 0)" ( (binary_expression "iVar2 == 0" identifier == number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) }) while (parenthesized_expression "(iVar2 != uVar3 + 1)" ( (binary_expression "iVar2 != uVar3 + 1" identifier != (binary_expression "uVar3 + 1" identifier + number_literal)) )) ;) (return_statement "return 1;" return number_literal ;) })))
(translation_unit "uint FUN_0001d934(uint *param_1,int param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  uVar2 = param_2 - 1;\n  if (*param_1 <= uVar2) {\n    return 0;\n  }\n  while (uVar1 = param_1[2], uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }\n  if (*param_1 < 0xfa1) {\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }\n  uVar1 = uVar2 % 0x7d;\n  if (param_1[uVar1 + 3] == 0) {\n    return 0;\n  }\n  if (param_1[uVar1 + 3] == uVar2 + 1) {\n    return 1;\n  }\n  do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  } while (param_1[uVar1 + 3] != uVar2 + 1);\n  return 1;\n}\n\n" (function_definition "uint FUN_0001d934(uint *param_1,int param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  uVar2 = param_2 - 1;\n  if (*param_1 <= uVar2) {\n    return 0;\n  }\n  while (uVar1 = param_1[2], uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }\n  if (*param_1 < 0xfa1) {\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }\n  uVar1 = uVar2 % 0x7d;\n  if (param_1[uVar1 + 3] == 0) {\n    return 0;\n  }\n  if (param_1[uVar1 + 3] == uVar2 + 1) {\n    return 1;\n  }\n  do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  } while (param_1[uVar1 + 3] != uVar2 + 1);\n  return 1;\n}" type_identifier (function_declarator "FUN_0001d934(uint *param_1,int param_2)" identifier (parameter_list "(uint *param_1,int param_2)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  uVar2 = param_2 - 1;\n  if (*param_1 <= uVar2) {\n    return 0;\n  }\n  while (uVar1 = param_1[2], uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }\n  if (*param_1 < 0xfa1) {\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }\n  uVar1 = uVar2 % 0x7d;\n  if (param_1[uVar1 + 3] == 0) {\n    return 0;\n  }\n  if (param_1[uVar1 + 3] == uVar2 + 1) {\n    return 1;\n  }\n  do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  } while (param_1[uVar1 + 3] != uVar2 + 1);\n  return 1;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (expression_statement "uVar2 = param_2 - 1;" (assignment_expression "uVar2 = param_2 - 1" identifier = (binary_expression "param_2 - 1" identifier - number_literal)) ;) (if_statement "if (*param_1 <= uVar2) {\n    return 0;\n  }" if (parenthesized_expression "(*param_1 <= uVar2)" ( (binary_expression "*param_1 <= uVar2" (pointer_expression "*param_1" * identifier) <= identifier) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (while_statement "while (uVar1 = param_1[2], uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }" while (parenthesized_expression "(uVar1 = param_1[2], uVar1 != 0)" ( (comma_expression "uVar1 = param_1[2], uVar1 != 0" (assignment_expression "uVar1 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) , (binary_expression "uVar1 != 0" identifier != number_literal)) )) (compound_statement "{\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }" { (if_statement "if (uVar1 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar1 == 0)" ( (binary_expression "uVar1 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "uVar3 = uVar2 / uVar1;" (assignment_expression "uVar3 = uVar2 / uVar1" identifier = (binary_expression "uVar2 / uVar1" identifier / identifier)) ;) (expression_statement "uVar2 = uVar2 % uVar1;" (assignment_expression "uVar2 = uVar2 % uVar1" identifier = (binary_expression "uVar2 % uVar1" identifier % identifier)) ;) (expression_statement "param_1 = (uint *)param_1[uVar3 + 3];" (assignment_expression "param_1 = (uint *)param_1[uVar3 + 3]" identifier = (cast_expression "(uint *)param_1[uVar3 + 3]" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[uVar3 + 3]" identifier [ (binary_expression "uVar3 + 3" identifier + number_literal) ]))) ;) (if_statement "if (param_1 == (uint *)0x0) {\n      return 0;\n    }" if (parenthesized_expression "(param_1 == (uint *)0x0)" ( (binary_expression "param_1 == (uint *)0x0" identifier == (cast_expression "(uint *)0x0" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) })) (if_statement "if (*param_1 < 0xfa1) {\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }" if (parenthesized_expression "(*param_1 < 0xfa1)" ( (binary_expression "*param_1 < 0xfa1" (pointer_expression "*param_1" * identifier) < number_literal) )) (compound_statement "{\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }" { (return_statement "return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;" return (binary_expression "(int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1" (binary_expression "(int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7)" (binary_expression "(int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc)" (cast_expression "(int)(uint)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uint)" ( identifier ))) * (cast_expression "(byte *)((int)param_1 + (uVar2 >> 3) + 0xc)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + (uVar2 >> 3) + 0xc)" ( (binary_expression "(int)param_1 + (uVar2 >> 3) + 0xc" (binary_expression "(int)param_1 + (uVar2 >> 3)" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + (parenthesized_expression "(uVar2 >> 3)" ( (binary_expression "uVar2 >> 3" identifier >> number_literal) ))) + number_literal) )))) >> (parenthesized_expression "(uVar2 & 7)" ( (binary_expression "uVar2 & 7" identifier & number_literal) ))) & number_literal) ;) })) (expression_statement "uVar1 = uVar2 % 0x7d;" (assignment_expression "uVar1 = uVar2 % 0x7d" identifier = (binary_expression "uVar2 % 0x7d" identifier % number_literal)) ;) (if_statement "if (param_1[uVar1 + 3] == 0) {\n    return 0;\n  }" if (parenthesized_expression "(param_1[uVar1 + 3] == 0)" ( (binary_expression "param_1[uVar1 + 3] == 0" (subscript_expression "param_1[uVar1 + 3]" identifier [ (binary_expression "uVar1 + 3" identifier + number_literal) ]) == number_literal) )) (compound_statement "{\n    return 0;\n  }" { (return_statement "return 0;" return number_literal ;) })) (if_statement "if (param_1[uVar1 + 3] == uVar2 + 1) {\n    return 1;\n  }" if (parenthesized_expression "(param_1[uVar1 + 3] == uVar2 + 1)" ( (binary_expression "param_1[uVar1 + 3] == uVar2 + 1" (subscript_expression "param_1[uVar1 + 3]" identifier [ (binary_expression "uVar1 + 3" identifier + number_literal) ]) == (binary_expression "uVar2 + 1" identifier + number_literal)) )) (compound_statement "{\n    return 1;\n  }" { (return_statement "return 1;" return number_literal ;) })) (do_statement "do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  } while (param_1[uVar1 + 3] != uVar2 + 1);" do (compound_statement "{\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  }" { (expression_statement "uVar1 = (uVar1 + 1) % 0x7d;" (assignment_expression "uVar1 = (uVar1 + 1) % 0x7d" identifier = (binary_expression "(uVar1 + 1) % 0x7d" (parenthesized_expression "(uVar1 + 1)" ( (binary_expression "uVar1 + 1" identifier + number_literal) )) % number_literal)) ;) (if_statement "if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }" if (parenthesized_expression "(param_1[uVar1 + 3] == 0)" ( (binary_expression "param_1[uVar1 + 3] == 0" (subscript_expression "param_1[uVar1 + 3]" identifier [ (binary_expression "uVar1 + 3" identifier + number_literal) ]) == number_literal) )) (compound_statement "{\n      return 0;\n    }" { (return_statement "return 0;" return number_literal ;) })) }) while (parenthesized_expression "(param_1[uVar1 + 3] != uVar2 + 1)" ( (binary_expression "param_1[uVar1 + 3] != uVar2 + 1" (subscript_expression "param_1[uVar1 + 3]" identifier [ (binary_expression "uVar1 + 3" identifier + number_literal) ]) != (binary_expression "uVar2 + 1" identifier + number_literal)) )) ;) (return_statement "return 1;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) <= IDENT) )) (compound_statement { (return_statement return LIT ;) })) (while_statement while (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) , (binary_expression IDENT != LIT)) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( LIT ))) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT / IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT % IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (return_statement return LIT ;) })) })) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) < LIT) )) (compound_statement { (return_statement return (binary_expression (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( IDENT ))) * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + (parenthesized_expression ( (binary_expression IDENT >> LIT) ))) + LIT) )))) >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) & LIT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT % LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) == LIT) )) (compound_statement { (return_statement return LIT ;) })) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) == (binary_expression IDENT + LIT)) )) (compound_statement { (return_statement return LIT ;) })) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) % LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) == LIT) )) (compound_statement { (return_statement return LIT ;) })) }) while (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) != (binary_expression IDENT + LIT)) )) ;) (return_statement return LIT ;) })))
(function_definition "uint FUN_0001d934(uint *param_1,int param_2)\n\n{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  uVar2 = param_2 - 1;\n  if (*param_1 <= uVar2) {\n    return 0;\n  }\n  while (uVar1 = param_1[2], uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }\n  if (*param_1 < 0xfa1) {\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }\n  uVar1 = uVar2 % 0x7d;\n  if (param_1[uVar1 + 3] == 0) {\n    return 0;\n  }\n  if (param_1[uVar1 + 3] == uVar2 + 1) {\n    return 1;\n  }\n  do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  } while (param_1[uVar1 + 3] != uVar2 + 1);\n  return 1;\n}" (type_identifier "uint") (function_declarator "FUN_0001d934(uint *param_1,int param_2)" (identifier "FUN_0001d934") (parameter_list "(uint *param_1,int param_2)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) () ")"))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  uint uVar3;\n  \n  uVar2 = param_2 - 1;\n  if (*param_1 <= uVar2) {\n    return 0;\n  }\n  while (uVar1 = param_1[2], uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }\n  if (*param_1 < 0xfa1) {\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }\n  uVar1 = uVar2 % 0x7d;\n  if (param_1[uVar1 + 3] == 0) {\n    return 0;\n  }\n  if (param_1[uVar1 + 3] == uVar2 + 1) {\n    return 1;\n  }\n  do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  } while (param_1[uVar1 + 3] != uVar2 + 1);\n  return 1;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (expression_statement "uVar2 = param_2 - 1;" (assignment_expression "uVar2 = param_2 - 1" (identifier "uVar2") (= "=") (binary_expression "param_2 - 1" (identifier "param_2") (- "-") (number_literal "1"))) (; ";")) (if_statement "if (*param_1 <= uVar2) {\n    return 0;\n  }" (if "if") (parenthesized_expression "(*param_1 <= uVar2)" (( "(") (binary_expression "*param_1 <= uVar2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (<= "<=") (identifier "uVar2")) () ")")) (compound_statement "{\n    return 0;\n  }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (while_statement "while (uVar1 = param_1[2], uVar1 != 0) {\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }" (while "while") (parenthesized_expression "(uVar1 = param_1[2], uVar1 != 0)" (( "(") (comma_expression "uVar1 = param_1[2], uVar1 != 0" (assignment_expression "uVar1 = param_1[2]" (identifier "uVar1") (= "=") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]"))) (, ",") (binary_expression "uVar1 != 0" (identifier "uVar1") (!= "!=") (number_literal "0"))) () ")")) (compound_statement "{\n    if (uVar1 == 0) {\n      trap(7);\n    }\n    uVar3 = uVar2 / uVar1;\n    uVar2 = uVar2 % uVar1;\n    param_1 = (uint *)param_1[uVar3 + 3];\n    if (param_1 == (uint *)0x0) {\n      return 0;\n    }\n  }" ({ "{") (if_statement "if (uVar1 == 0) {\n      trap(7);\n    }" (if "if") (parenthesized_expression "(uVar1 == 0)" (( "(") (binary_expression "uVar1 == 0" (identifier "uVar1") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      trap(7);\n    }" ({ "{") (expression_statement "trap(7);" (call_expression "trap(7)" (identifier "trap") (argument_list "(7)" (( "(") (number_literal "7") () ")"))) (; ";")) (} "}"))) (expression_statement "uVar3 = uVar2 / uVar1;" (assignment_expression "uVar3 = uVar2 / uVar1" (identifier "uVar3") (= "=") (binary_expression "uVar2 / uVar1" (identifier "uVar2") (/ "/") (identifier "uVar1"))) (; ";")) (expression_statement "uVar2 = uVar2 % uVar1;" (assignment_expression "uVar2 = uVar2 % uVar1" (identifier "uVar2") (= "=") (binary_expression "uVar2 % uVar1" (identifier "uVar2") (% "%") (identifier "uVar1"))) (; ";")) (expression_statement "param_1 = (uint *)param_1[uVar3 + 3];" (assignment_expression "param_1 = (uint *)param_1[uVar3 + 3]" (identifier "param_1") (= "=") (cast_expression "(uint *)param_1[uVar3 + 3]" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[uVar3 + 3]" (identifier "param_1") ([ "[") (binary_expression "uVar3 + 3" (identifier "uVar3") (+ "+") (number_literal "3")) (] "]")))) (; ";")) (if_statement "if (param_1 == (uint *)0x0) {\n      return 0;\n    }" (if "if") (parenthesized_expression "(param_1 == (uint *)0x0)" (( "(") (binary_expression "param_1 == (uint *)0x0" (identifier "param_1") (== "==") (cast_expression "(uint *)0x0" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (} "}"))) (if_statement "if (*param_1 < 0xfa1) {\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }" (if "if") (parenthesized_expression "(*param_1 < 0xfa1)" (( "(") (binary_expression "*param_1 < 0xfa1" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (< "<") (number_literal "0xfa1")) () ")")) (compound_statement "{\n    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;\n  }" ({ "{") (return_statement "return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;" (return "return") (binary_expression "(int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1" (binary_expression "(int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7)" (binary_expression "(int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc)" (cast_expression "(int)(uint)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")"))) (* "*") (cast_expression "(byte *)((int)param_1 + (uVar2 >> 3) + 0xc)" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_1 + (uVar2 >> 3) + 0xc)" (( "(") (binary_expression "(int)param_1 + (uVar2 >> 3) + 0xc" (binary_expression "(int)param_1 + (uVar2 >> 3)" (cast_expression "(int)param_1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_1")) (+ "+") (parenthesized_expression "(uVar2 >> 3)" (( "(") (binary_expression "uVar2 >> 3" (identifier "uVar2") (>> ">>") (number_literal "3")) () ")"))) (+ "+") (number_literal "0xc")) () ")")))) (>> ">>") (parenthesized_expression "(uVar2 & 7)" (( "(") (binary_expression "uVar2 & 7" (identifier "uVar2") (& "&") (number_literal "7")) () ")"))) (& "&") (number_literal "1")) (; ";")) (} "}"))) (expression_statement "uVar1 = uVar2 % 0x7d;" (assignment_expression "uVar1 = uVar2 % 0x7d" (identifier "uVar1") (= "=") (binary_expression "uVar2 % 0x7d" (identifier "uVar2") (% "%") (number_literal "0x7d"))) (; ";")) (if_statement "if (param_1[uVar1 + 3] == 0) {\n    return 0;\n  }" (if "if") (parenthesized_expression "(param_1[uVar1 + 3] == 0)" (( "(") (binary_expression "param_1[uVar1 + 3] == 0" (subscript_expression "param_1[uVar1 + 3]" (identifier "param_1") ([ "[") (binary_expression "uVar1 + 3" (identifier "uVar1") (+ "+") (number_literal "3")) (] "]")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    return 0;\n  }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (if_statement "if (param_1[uVar1 + 3] == uVar2 + 1) {\n    return 1;\n  }" (if "if") (parenthesized_expression "(param_1[uVar1 + 3] == uVar2 + 1)" (( "(") (binary_expression "param_1[uVar1 + 3] == uVar2 + 1" (subscript_expression "param_1[uVar1 + 3]" (identifier "param_1") ([ "[") (binary_expression "uVar1 + 3" (identifier "uVar1") (+ "+") (number_literal "3")) (] "]")) (== "==") (binary_expression "uVar2 + 1" (identifier "uVar2") (+ "+") (number_literal "1"))) () ")")) (compound_statement "{\n    return 1;\n  }" ({ "{") (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}"))) (do_statement "do {\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  } while (param_1[uVar1 + 3] != uVar2 + 1);" (do "do") (compound_statement "{\n    uVar1 = (uVar1 + 1) % 0x7d;\n    if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }\n  }" ({ "{") (expression_statement "uVar1 = (uVar1 + 1) % 0x7d;" (assignment_expression "uVar1 = (uVar1 + 1) % 0x7d" (identifier "uVar1") (= "=") (binary_expression "(uVar1 + 1) % 0x7d" (parenthesized_expression "(uVar1 + 1)" (( "(") (binary_expression "uVar1 + 1" (identifier "uVar1") (+ "+") (number_literal "1")) () ")")) (% "%") (number_literal "0x7d"))) (; ";")) (if_statement "if (param_1[uVar1 + 3] == 0) {\n      return 0;\n    }" (if "if") (parenthesized_expression "(param_1[uVar1 + 3] == 0)" (( "(") (binary_expression "param_1[uVar1 + 3] == 0" (subscript_expression "param_1[uVar1 + 3]" (identifier "param_1") ([ "[") (binary_expression "uVar1 + 3" (identifier "uVar1") (+ "+") (number_literal "3")) (] "]")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      return 0;\n    }" ({ "{") (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (} "}")) (while "while") (parenthesized_expression "(param_1[uVar1 + 3] != uVar2 + 1)" (( "(") (binary_expression "param_1[uVar1 + 3] != uVar2 + 1" (subscript_expression "param_1[uVar1 + 3]" (identifier "param_1") ([ "[") (binary_expression "uVar1 + 3" (identifier "uVar1") (+ "+") (number_literal "3")) (] "]")) (!= "!=") (binary_expression "uVar2 + 1" (identifier "uVar2") (+ "+") (number_literal "1"))) () ")")) (; ";")) (return_statement "return 1;" (return "return") (number_literal "1") (; ";")) (} "}")))

int function_1(type_1 *var_6,type_2 var_1)

{
  type_3 var_3;
  int var_7;
  type_3 var_2;
  type_3 var_5;
  
  var_2 = var_1 - 1;
  if (var_6->iSize <= var_2) {
    return 0;
  }
  while (var_3 = var_6->iDivisor, var_3 != 0) {
    if (var_3 == 0) {
      var_4(7);
    }
    var_5 = var_2 / var_3;
    var_2 = var_2 % var_3;
    var_6 = *(type_1 **)((int)&var_6->u + var_5 * 4);
    if (var_6 == (type_1 *)0x0) {
      return 0;
    }
  }
  if (var_6->iSize < 0xfa1) {
    return (int)(type_3)(var_6->u).aBitmap[var_2 >> 3] >> (var_2 & 7) & 1;
  }
  var_3 = var_2 % 0x7d;
  var_7 = *(int *)((int)&var_6->u + var_3 * 4);
  if (var_7 == 0) {
    return 0;
  }
  if (var_7 == var_2 + 1) {
    return 1;
  }
  do {
    var_3 = (var_3 + 1) % 0x7d;
    var_7 = *(int *)((int)&var_6->u + var_3 * 4);
    if (var_7 == 0) {
      return 0;
    }
  } while (var_7 != var_2 + 1);
  return 1;
}


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

uint MASKED(uint *param_1,int param_2)

{
  uint uVar1;
  uint uVar2;
  uint uVar3;
  
  uVar2 = param_2 - 1;
  if (*param_1 <= uVar2) {
    return 0;
  }
  while (uVar1 = param_1[2], uVar1 != 0) {
    if (uVar1 == 0) {
      trap(7);
    }
    uVar3 = uVar2 / uVar1;
    uVar2 = uVar2 % uVar1;
    param_1 = (uint *)param_1[uVar3 + 3];
    if (param_1 == (uint *)0x0) {
      return 0;
    }
  }
  if (*param_1 < 0xfa1) {
    return (int)(uint)*(byte *)((int)param_1 + (uVar2 >> 3) + 0xc) >> (uVar2 & 7) & 1;
  }
  uVar1 = uVar2 % 0x7d;
  if (param_1[uVar1 + 3] == 0) {
    return 0;
  }
  if (param_1[uVar1 + 3] == uVar2 + 1) {
    return 1;
  }
  do {
    uVar1 = (uVar1 + 1) % 0x7d;
    if (param_1[uVar1 + 3] == 0) {
      return 0;
    }
  } while (param_1[uVar1 + 3] != uVar2 + 1);
  return 1;
}

