
int fsdirBestIndex(sqlite3_vtab *tab,sqlite3_index_info *pIdxInfo)

{
  bool bVar1;
  sqlite3_index_constraint *pConstraint;
  sqlite3_index_constraint *psVar2;
  int iVar3;
  int iVar4;
  bool bVar5;
  int iVar6;
  
  psVar2 = pIdxInfo->aConstraint;
  if (0 < pIdxInfo->nConstraint) {
    bVar5 = false;
    bVar1 = false;
    iVar6 = -1;
    iVar4 = -1;
    iVar3 = 0;
    do {
      if (psVar2->op == '\x02') {
        if (psVar2->iColumn == 4) {
          if (psVar2->usable == '\0') {
            if (iVar4 < 0) {
              bVar1 = true;
            }
          }
          else {
            bVar1 = false;
            iVar4 = iVar3;
          }
        }
        else if (psVar2->iColumn == 5) {
          if (psVar2->usable == '\0') {
            if (iVar6 < 0) {
              bVar5 = true;
            }
          }
          else {
            bVar5 = false;
            iVar6 = iVar3;
          }
        }
      }
      iVar3 = iVar3 + 1;
      psVar2 = psVar2 + 1;
    } while (iVar3 != pIdxInfo->nConstraint);
    if (bVar1 || bVar5) {
      return 0x13;
    }
    if (-1 < iVar4) {
      pIdxInfo->aConstraintUsage[iVar4].omit = '\x01';
      pIdxInfo->aConstraintUsage[iVar4].argvIndex = 1;
      if (iVar6 < 0) {
        pIdxInfo->idxNum = 1;
        pIdxInfo->estimatedCost =
             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);
        return 0;
      }
      pIdxInfo->aConstraintUsage[iVar6].omit = '\x01';
      pIdxInfo->aConstraintUsage[iVar6].argvIndex = 2;
      pIdxInfo->idxNum = 2;
      pIdxInfo->estimatedCost =
           *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);
      return 0;
    }
  }
  pIdxInfo->idxNum = 0;
  *(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 0x7fffffff;
  *(undefined4 *)&pIdxInfo->estimatedRows = 0;
  return 0;
}



undefined4 FUN_0001a6b8(undefined4 param_1,int *param_2)

{
  bool bVar1;
  int *piVar2;
  int iVar3;
  int iVar4;
  bool bVar5;
  int iVar6;
  
  piVar2 = (int *)param_2[1];
  if (0 < *param_2) {
    bVar5 = false;
    bVar1 = false;
    iVar6 = -1;
    iVar4 = -1;
    iVar3 = 0;
    do {
      if (*(char *)(piVar2 + 1) == '\x02') {
        if (*piVar2 == 4) {
          if (*(char *)((int)piVar2 + 5) == '\0') {
            if (iVar4 < 0) {
              bVar1 = true;
            }
          }
          else {
            bVar1 = false;
            iVar4 = iVar3;
          }
        }
        else if (*piVar2 == 5) {
          if (*(char *)((int)piVar2 + 5) == '\0') {
            if (iVar6 < 0) {
              bVar5 = true;
            }
          }
          else {
            bVar5 = false;
            iVar6 = iVar3;
          }
        }
      }
      iVar3 = iVar3 + 1;
      piVar2 = piVar2 + 3;
    } while (iVar3 != *param_2);
    if (bVar1 || bVar5) {
      return 0x13;
    }
    if (-1 < iVar4) {
      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;
      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;
      if (iVar6 < 0) {
        param_2[5] = 1;
        *(undefined8 *)(param_2 + 10) =
             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);
        return 0;
      }
      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;
      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;
      param_2[5] = 2;
      *(undefined8 *)(param_2 + 10) =
           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);
      return 0;
    }
  }
  param_2[5] = 0;
  param_2[0xd] = 0x7fffffff;
  param_2[0xc] = 0;
  return 0;
}


lui gp,0x18
addiu gp,gp,-0x2d98
addu gp,gp,t9
lw a3,0x0(a1)
blez a3,0x0001a7cc
_lw v1,0x4(a1)
or t4,zero,zero
or v0,zero,zero
li t5,-0x1
li t3,-0x1
or a0,zero,zero
li t0,0x2
li t2,0x4
li t6,0x1
b 0x0001a714
_li t1,0x5
lbu a2,0x5(v1)
bne a2,zero,0x0001a748
_slti a2,t3,0x0
movn v0,t6,a2
addiu a0,a0,0x1
beq a0,a3,0x0001a760
_addiu v1,v1,0xc
lbu a2,0x4(v1)
bne a2,t0,0x0001a708
_nop
lw a2,0x0(v1)
beq a2,t2,0x0001a6f8
_nop
bne a2,t1,0x0001a708
_nop
lbu a2,0x5(v1)
bne a2,zero,0x0001a754
_slti a2,t5,0x0
b 0x0001a708
_movn t4,t6,a2
or t3,a0,zero
b 0x0001a708
_or v0,zero,zero
or t5,a0,zero
b 0x0001a708
_or t4,zero,zero
or v0,v0,t4
bne v0,zero,0x0001a7fc
_nop
bltz t3,0x0001a7cc
_sll t3,t3,0x3
lw v1,0x10(a1)
addu v1,v1,t3
li a0,0x1
sb a0,0x4(v1)
lw v1,0x10(a1)
addu t3,v1,t3
li v1,0x1
bltz t5,0x0001a7e8
_sw v1,0x0(t3)
sll t5,t5,0x3
lw v1,0x10(a1)
addu v1,v1,t5
sb a0,0x4(v1)
lw v1,0x10(a1)
addu t5,v1,t5
li v1,0x2
sw v1,0x0(t5)
sw v1,0x14(a1)
lw v1,-0x7fc4(gp)
ldc1 f0,-0x6950(v1)
jr ra
_sdc1 f0,0x28(a1)
sw zero,0x14(a1)
lui v1,0x7fff
ori v1,v1,0xffff
or v0,zero,zero
sw v1,0x34(a1)
jr ra
_sw v0,0x30(a1)
sw v1,0x14(a1)
lw v1,-0x7fc4(gp)
ldc1 f0,-0x6948(v1)
jr ra
_sdc1 f0,0x28(a1)
jr ra
_li v0,0x13
(translation_unit "undefined4 FUN_0001a6b8(undefined4 param_1,int *param_2)\n\n{\n  bool bVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  int iVar6;\n  \n  piVar2 = (int *)param_2[1];\n  if (0 < *param_2) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xd] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}\n\n" (function_definition "undefined4 FUN_0001a6b8(undefined4 param_1,int *param_2)\n\n{\n  bool bVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  int iVar6;\n  \n  piVar2 = (int *)param_2[1];\n  if (0 < *param_2) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xd] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" type_identifier (function_declarator "FUN_0001a6b8(undefined4 param_1,int *param_2)" identifier (parameter_list "(undefined4 param_1,int *param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  bool bVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  int iVar6;\n  \n  piVar2 = (int *)param_2[1];\n  if (0 < *param_2) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xd] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" { (declaration "bool bVar1;" 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 ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "piVar2 = (int *)param_2[1];" (assignment_expression "piVar2 = (int *)param_2[1]" identifier = (cast_expression "(int *)param_2[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_2[1]" identifier [ number_literal ]))) ;) (if_statement "if (0 < *param_2) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }" if (parenthesized_expression "(0 < *param_2)" ( (binary_expression "0 < *param_2" number_literal < (pointer_expression "*param_2" * identifier)) )) (compound_statement "{\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }" { (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (expression_statement "bVar1 = false;" (assignment_expression "bVar1 = false" identifier = false) ;) (expression_statement "iVar6 = -1;" (assignment_expression "iVar6 = -1" identifier = number_literal) ;) (expression_statement "iVar4 = -1;" (assignment_expression "iVar4 = -1" identifier = number_literal) ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);" do (compound_statement "{\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    }" { (if_statement "if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }" if (parenthesized_expression "(*(char *)(piVar2 + 1) == '\x02')" ( (binary_expression "*(char *)(piVar2 + 1) == '\x02'" (pointer_expression "*(char *)(piVar2 + 1)" * (cast_expression "(char *)(piVar2 + 1)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(piVar2 + 1)" ( (binary_expression "piVar2 + 1" identifier + number_literal) )))) == (char_literal "'\x02'" ' escape_sequence ')) )) (compound_statement "{\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }" { (if_statement "if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" if (parenthesized_expression "(*piVar2 == 4)" ( (binary_expression "*piVar2 == 4" (pointer_expression "*piVar2" * identifier) == number_literal) )) (compound_statement "{\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }" { (if_statement "if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" if (parenthesized_expression "(*(char *)((int)piVar2 + 5) == '\0')" ( (binary_expression "*(char *)((int)piVar2 + 5) == '\0'" (pointer_expression "*(char *)((int)piVar2 + 5)" * (cast_expression "(char *)((int)piVar2 + 5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)piVar2 + 5)" ( (binary_expression "(int)piVar2 + 5" (cast_expression "(int)piVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }" { (if_statement "if (iVar4 < 0) {\n              bVar1 = true;\n            }" if (parenthesized_expression "(iVar4 < 0)" ( (binary_expression "iVar4 < 0" identifier < number_literal) )) (compound_statement "{\n              bVar1 = true;\n            }" { (expression_statement "bVar1 = true;" (assignment_expression "bVar1 = true" identifier = true) ;) })) }) (else_clause "else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" else (compound_statement "{\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" { (expression_statement "bVar1 = false;" (assignment_expression "bVar1 = false" identifier = false) ;) (expression_statement "iVar4 = iVar3;" (assignment_expression "iVar4 = iVar3" identifier = identifier) ;) }))) }) (else_clause "else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" else (if_statement "if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" if (parenthesized_expression "(*piVar2 == 5)" ( (binary_expression "*piVar2 == 5" (pointer_expression "*piVar2" * identifier) == number_literal) )) (compound_statement "{\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" { (if_statement "if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" if (parenthesized_expression "(*(char *)((int)piVar2 + 5) == '\0')" ( (binary_expression "*(char *)((int)piVar2 + 5) == '\0'" (pointer_expression "*(char *)((int)piVar2 + 5)" * (cast_expression "(char *)((int)piVar2 + 5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)piVar2 + 5)" ( (binary_expression "(int)piVar2 + 5" (cast_expression "(int)piVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }" { (if_statement "if (iVar6 < 0) {\n              bVar5 = true;\n            }" if (parenthesized_expression "(iVar6 < 0)" ( (binary_expression "iVar6 < 0" identifier < number_literal) )) (compound_statement "{\n              bVar5 = true;\n            }" { (expression_statement "bVar5 = true;" (assignment_expression "bVar5 = true" identifier = true) ;) })) }) (else_clause "else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" else (compound_statement "{\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" { (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (expression_statement "iVar6 = iVar3;" (assignment_expression "iVar6 = iVar3" identifier = identifier) ;) }))) })))) })) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "piVar2 = piVar2 + 3;" (assignment_expression "piVar2 = piVar2 + 3" identifier = (binary_expression "piVar2 + 3" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar3 != *param_2)" ( (binary_expression "iVar3 != *param_2" identifier != (pointer_expression "*param_2" * identifier)) )) ;) (if_statement "if (bVar1 || bVar5) {\n      return 0x13;\n    }" if (parenthesized_expression "(bVar1 || bVar5)" ( (binary_expression "bVar1 || bVar5" identifier || identifier) )) (compound_statement "{\n      return 0x13;\n    }" { (return_statement "return 0x13;" return number_literal ;) })) (if_statement "if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }" if (parenthesized_expression "(-1 < iVar4)" ( (binary_expression "-1 < iVar4" number_literal < identifier) )) (compound_statement "{\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }" { (expression_statement "*(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + iVar4 * 8 + 4)" * (cast_expression "(undefined1 *)(param_2[4] + iVar4 * 8 + 4)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + iVar4 * 8 + 4)" ( (binary_expression "param_2[4] + iVar4 * 8 + 4" (binary_expression "param_2[4] + iVar4 * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "iVar4 * 8" identifier * number_literal)) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_2[4] + iVar4 * 8) = 1;" (assignment_expression "*(undefined4 *)(param_2[4] + iVar4 * 8) = 1" (pointer_expression "*(undefined4 *)(param_2[4] + iVar4 * 8)" * (cast_expression "(undefined4 *)(param_2[4] + iVar4 * 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + iVar4 * 8)" ( (binary_expression "param_2[4] + iVar4 * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "iVar4 * 8" identifier * number_literal)) )))) = number_literal) ;) (if_statement "if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }" if (parenthesized_expression "(iVar6 < 0)" ( (binary_expression "iVar6 < 0" identifier < number_literal) )) (compound_statement "{\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }" { (expression_statement "param_2[5] = 1;" (assignment_expression "param_2[5] = 1" (subscript_expression "param_2[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);" (assignment_expression "*(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" (pointer_expression "*(undefined8 *)(param_2 + 10)" * (cast_expression "(undefined8 *)(param_2 + 10)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 10)" ( (binary_expression "param_2 + 10" identifier + number_literal) )))) = (pointer_expression "*(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" * (cast_expression "(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" ( (binary_expression "PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948" identifier + number_literal) ))))) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "*(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + iVar6 * 8 + 4)" * (cast_expression "(undefined1 *)(param_2[4] + iVar6 * 8 + 4)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + iVar6 * 8 + 4)" ( (binary_expression "param_2[4] + iVar6 * 8 + 4" (binary_expression "param_2[4] + iVar6 * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "iVar6 * 8" identifier * number_literal)) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_2[4] + iVar6 * 8) = 2;" (assignment_expression "*(undefined4 *)(param_2[4] + iVar6 * 8) = 2" (pointer_expression "*(undefined4 *)(param_2[4] + iVar6 * 8)" * (cast_expression "(undefined4 *)(param_2[4] + iVar6 * 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + iVar6 * 8)" ( (binary_expression "param_2[4] + iVar6 * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "iVar6 * 8" identifier * number_literal)) )))) = number_literal) ;) (expression_statement "param_2[5] = 2;" (assignment_expression "param_2[5] = 2" (subscript_expression "param_2[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);" (assignment_expression "*(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" (pointer_expression "*(undefined8 *)(param_2 + 10)" * (cast_expression "(undefined8 *)(param_2 + 10)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 10)" ( (binary_expression "param_2 + 10" identifier + number_literal) )))) = (pointer_expression "*(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" * (cast_expression "(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" ( (binary_expression "PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950" identifier + number_literal) ))))) ;) (return_statement "return 0;" return number_literal ;) })) })) (expression_statement "param_2[5] = 0;" (assignment_expression "param_2[5] = 0" (subscript_expression "param_2[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_2[0xd] = 0x7fffffff;" (assignment_expression "param_2[0xd] = 0x7fffffff" (subscript_expression "param_2[0xd]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_2[0xc] = 0;" (assignment_expression "param_2[0xc] = 0" (subscript_expression "param_2[0xc]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "int fsdirBestIndex(sqlite3_vtab *tab,sqlite3_index_info *pIdxInfo)\n\n{\n  bool bVar1;\n  sqlite3_index_constraint *pConstraint;\n  sqlite3_index_constraint *psVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  int iVar6;\n  \n  psVar2 = pIdxInfo->aConstraint;\n  if (0 < pIdxInfo->nConstraint) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (psVar2->op == '\x02') {\n        if (psVar2->iColumn == 4) {\n          if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      psVar2 = psVar2 + 1;\n    } while (iVar3 != pIdxInfo->nConstraint);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      pIdxInfo->aConstraintUsage[iVar4].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar4].argvIndex = 1;\n      if (iVar6 < 0) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost =\n             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[iVar6].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar6].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost =\n           *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }\n  pIdxInfo->idxNum = 0;\n  *(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 0x7fffffff;\n  *(undefined4 *)&pIdxInfo->estimatedRows = 0;\n  return 0;\n}\n\n" (function_definition "int fsdirBestIndex(sqlite3_vtab *tab,sqlite3_index_info *pIdxInfo)\n\n{\n  bool bVar1;\n  sqlite3_index_constraint *pConstraint;\n  sqlite3_index_constraint *psVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  int iVar6;\n  \n  psVar2 = pIdxInfo->aConstraint;\n  if (0 < pIdxInfo->nConstraint) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (psVar2->op == '\x02') {\n        if (psVar2->iColumn == 4) {\n          if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      psVar2 = psVar2 + 1;\n    } while (iVar3 != pIdxInfo->nConstraint);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      pIdxInfo->aConstraintUsage[iVar4].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar4].argvIndex = 1;\n      if (iVar6 < 0) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost =\n             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[iVar6].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar6].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost =\n           *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }\n  pIdxInfo->idxNum = 0;\n  *(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 0x7fffffff;\n  *(undefined4 *)&pIdxInfo->estimatedRows = 0;\n  return 0;\n}" primitive_type (function_declarator "fsdirBestIndex(sqlite3_vtab *tab,sqlite3_index_info *pIdxInfo)" identifier (parameter_list "(sqlite3_vtab *tab,sqlite3_index_info *pIdxInfo)" ( (parameter_declaration "sqlite3_vtab *tab" type_identifier (pointer_declarator "*tab" * identifier)) , (parameter_declaration "sqlite3_index_info *pIdxInfo" type_identifier (pointer_declarator "*pIdxInfo" * identifier)) ))) (compound_statement "{\n  bool bVar1;\n  sqlite3_index_constraint *pConstraint;\n  sqlite3_index_constraint *psVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  int iVar6;\n  \n  psVar2 = pIdxInfo->aConstraint;\n  if (0 < pIdxInfo->nConstraint) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (psVar2->op == '\x02') {\n        if (psVar2->iColumn == 4) {\n          if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      psVar2 = psVar2 + 1;\n    } while (iVar3 != pIdxInfo->nConstraint);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      pIdxInfo->aConstraintUsage[iVar4].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar4].argvIndex = 1;\n      if (iVar6 < 0) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost =\n             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[iVar6].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar6].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost =\n           *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }\n  pIdxInfo->idxNum = 0;\n  *(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 0x7fffffff;\n  *(undefined4 *)&pIdxInfo->estimatedRows = 0;\n  return 0;\n}" { (declaration "bool bVar1;" primitive_type identifier ;) (declaration "sqlite3_index_constraint *pConstraint;" type_identifier (pointer_declarator "*pConstraint" * identifier) ;) (declaration "sqlite3_index_constraint *psVar2;" type_identifier (pointer_declarator "*psVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "psVar2 = pIdxInfo->aConstraint;" (assignment_expression "psVar2 = pIdxInfo->aConstraint" identifier = (field_expression "pIdxInfo->aConstraint" identifier -> field_identifier)) ;) (if_statement "if (0 < pIdxInfo->nConstraint) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (psVar2->op == '\x02') {\n        if (psVar2->iColumn == 4) {\n          if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      psVar2 = psVar2 + 1;\n    } while (iVar3 != pIdxInfo->nConstraint);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      pIdxInfo->aConstraintUsage[iVar4].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar4].argvIndex = 1;\n      if (iVar6 < 0) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost =\n             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[iVar6].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar6].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost =\n           *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }" if (parenthesized_expression "(0 < pIdxInfo->nConstraint)" ( (binary_expression "0 < pIdxInfo->nConstraint" number_literal < (field_expression "pIdxInfo->nConstraint" identifier -> field_identifier)) )) (compound_statement "{\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (psVar2->op == '\x02') {\n        if (psVar2->iColumn == 4) {\n          if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      psVar2 = psVar2 + 1;\n    } while (iVar3 != pIdxInfo->nConstraint);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      pIdxInfo->aConstraintUsage[iVar4].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar4].argvIndex = 1;\n      if (iVar6 < 0) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost =\n             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[iVar6].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar6].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost =\n           *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }" { (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (expression_statement "bVar1 = false;" (assignment_expression "bVar1 = false" identifier = false) ;) (expression_statement "iVar6 = -1;" (assignment_expression "iVar6 = -1" identifier = number_literal) ;) (expression_statement "iVar4 = -1;" (assignment_expression "iVar4 = -1" identifier = number_literal) ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n      if (psVar2->op == '\x02') {\n        if (psVar2->iColumn == 4) {\n          if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      psVar2 = psVar2 + 1;\n    } while (iVar3 != pIdxInfo->nConstraint);" do (compound_statement "{\n      if (psVar2->op == '\x02') {\n        if (psVar2->iColumn == 4) {\n          if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      psVar2 = psVar2 + 1;\n    }" { (if_statement "if (psVar2->op == '\x02') {\n        if (psVar2->iColumn == 4) {\n          if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }" if (parenthesized_expression "(psVar2->op == '\x02')" ( (binary_expression "psVar2->op == '\x02'" (field_expression "psVar2->op" identifier -> field_identifier) == (char_literal "'\x02'" ' escape_sequence ')) )) (compound_statement "{\n        if (psVar2->iColumn == 4) {\n          if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }" { (if_statement "if (psVar2->iColumn == 4) {\n          if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" if (parenthesized_expression "(psVar2->iColumn == 4)" ( (binary_expression "psVar2->iColumn == 4" (field_expression "psVar2->iColumn" identifier -> field_identifier) == number_literal) )) (compound_statement "{\n          if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }" { (if_statement "if (psVar2->usable == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" if (parenthesized_expression "(psVar2->usable == '\0')" ( (binary_expression "psVar2->usable == '\0'" (field_expression "psVar2->usable" identifier -> field_identifier) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }" { (if_statement "if (iVar4 < 0) {\n              bVar1 = true;\n            }" if (parenthesized_expression "(iVar4 < 0)" ( (binary_expression "iVar4 < 0" identifier < number_literal) )) (compound_statement "{\n              bVar1 = true;\n            }" { (expression_statement "bVar1 = true;" (assignment_expression "bVar1 = true" identifier = true) ;) })) }) (else_clause "else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" else (compound_statement "{\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" { (expression_statement "bVar1 = false;" (assignment_expression "bVar1 = false" identifier = false) ;) (expression_statement "iVar4 = iVar3;" (assignment_expression "iVar4 = iVar3" identifier = identifier) ;) }))) }) (else_clause "else if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" else (if_statement "if (psVar2->iColumn == 5) {\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" if (parenthesized_expression "(psVar2->iColumn == 5)" ( (binary_expression "psVar2->iColumn == 5" (field_expression "psVar2->iColumn" identifier -> field_identifier) == number_literal) )) (compound_statement "{\n          if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" { (if_statement "if (psVar2->usable == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" if (parenthesized_expression "(psVar2->usable == '\0')" ( (binary_expression "psVar2->usable == '\0'" (field_expression "psVar2->usable" identifier -> field_identifier) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }" { (if_statement "if (iVar6 < 0) {\n              bVar5 = true;\n            }" if (parenthesized_expression "(iVar6 < 0)" ( (binary_expression "iVar6 < 0" identifier < number_literal) )) (compound_statement "{\n              bVar5 = true;\n            }" { (expression_statement "bVar5 = true;" (assignment_expression "bVar5 = true" identifier = true) ;) })) }) (else_clause "else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" else (compound_statement "{\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" { (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (expression_statement "iVar6 = iVar3;" (assignment_expression "iVar6 = iVar3" identifier = identifier) ;) }))) })))) })) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "psVar2 = psVar2 + 1;" (assignment_expression "psVar2 = psVar2 + 1" identifier = (binary_expression "psVar2 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar3 != pIdxInfo->nConstraint)" ( (binary_expression "iVar3 != pIdxInfo->nConstraint" identifier != (field_expression "pIdxInfo->nConstraint" identifier -> field_identifier)) )) ;) (if_statement "if (bVar1 || bVar5) {\n      return 0x13;\n    }" if (parenthesized_expression "(bVar1 || bVar5)" ( (binary_expression "bVar1 || bVar5" identifier || identifier) )) (compound_statement "{\n      return 0x13;\n    }" { (return_statement "return 0x13;" return number_literal ;) })) (if_statement "if (-1 < iVar4) {\n      pIdxInfo->aConstraintUsage[iVar4].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar4].argvIndex = 1;\n      if (iVar6 < 0) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost =\n             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[iVar6].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar6].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost =\n           *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }" if (parenthesized_expression "(-1 < iVar4)" ( (binary_expression "-1 < iVar4" number_literal < identifier) )) (compound_statement "{\n      pIdxInfo->aConstraintUsage[iVar4].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar4].argvIndex = 1;\n      if (iVar6 < 0) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost =\n             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[iVar6].omit = '\x01';\n      pIdxInfo->aConstraintUsage[iVar6].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost =\n           *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }" { (expression_statement "pIdxInfo->aConstraintUsage[iVar4].omit = '\x01';" (assignment_expression "pIdxInfo->aConstraintUsage[iVar4].omit = '\x01'" (field_expression "pIdxInfo->aConstraintUsage[iVar4].omit" (subscript_expression "pIdxInfo->aConstraintUsage[iVar4]" (field_expression "pIdxInfo->aConstraintUsage" identifier -> field_identifier) [ identifier ]) . field_identifier) = (char_literal "'\x01'" ' escape_sequence ')) ;) (expression_statement "pIdxInfo->aConstraintUsage[iVar4].argvIndex = 1;" (assignment_expression "pIdxInfo->aConstraintUsage[iVar4].argvIndex = 1" (field_expression "pIdxInfo->aConstraintUsage[iVar4].argvIndex" (subscript_expression "pIdxInfo->aConstraintUsage[iVar4]" (field_expression "pIdxInfo->aConstraintUsage" identifier -> field_identifier) [ identifier ]) . field_identifier) = number_literal) ;) (if_statement "if (iVar6 < 0) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost =\n             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }" if (parenthesized_expression "(iVar6 < 0)" ( (binary_expression "iVar6 < 0" identifier < number_literal) )) (compound_statement "{\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost =\n             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }" { (expression_statement "pIdxInfo->idxNum = 1;" (assignment_expression "pIdxInfo->idxNum = 1" (field_expression "pIdxInfo->idxNum" identifier -> field_identifier) = number_literal) ;) (expression_statement "pIdxInfo->estimatedCost =\n             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);" (assignment_expression "pIdxInfo->estimatedCost =\n             *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" (field_expression "pIdxInfo->estimatedCost" identifier -> field_identifier) = (pointer_expression "*(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" * (cast_expression "(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" ( (binary_expression "PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948" identifier + number_literal) ))))) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "pIdxInfo->aConstraintUsage[iVar6].omit = '\x01';" (assignment_expression "pIdxInfo->aConstraintUsage[iVar6].omit = '\x01'" (field_expression "pIdxInfo->aConstraintUsage[iVar6].omit" (subscript_expression "pIdxInfo->aConstraintUsage[iVar6]" (field_expression "pIdxInfo->aConstraintUsage" identifier -> field_identifier) [ identifier ]) . field_identifier) = (char_literal "'\x01'" ' escape_sequence ')) ;) (expression_statement "pIdxInfo->aConstraintUsage[iVar6].argvIndex = 2;" (assignment_expression "pIdxInfo->aConstraintUsage[iVar6].argvIndex = 2" (field_expression "pIdxInfo->aConstraintUsage[iVar6].argvIndex" (subscript_expression "pIdxInfo->aConstraintUsage[iVar6]" (field_expression "pIdxInfo->aConstraintUsage" identifier -> field_identifier) [ identifier ]) . field_identifier) = number_literal) ;) (expression_statement "pIdxInfo->idxNum = 2;" (assignment_expression "pIdxInfo->idxNum = 2" (field_expression "pIdxInfo->idxNum" identifier -> field_identifier) = number_literal) ;) (expression_statement "pIdxInfo->estimatedCost =\n           *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);" (assignment_expression "pIdxInfo->estimatedCost =\n           *(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" (field_expression "pIdxInfo->estimatedCost" identifier -> field_identifier) = (pointer_expression "*(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" * (cast_expression "(double *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" ( (binary_expression "PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950" identifier + number_literal) ))))) ;) (return_statement "return 0;" return number_literal ;) })) })) (expression_statement "pIdxInfo->idxNum = 0;" (assignment_expression "pIdxInfo->idxNum = 0" (field_expression "pIdxInfo->idxNum" identifier -> field_identifier) = number_literal) ;) (expression_statement "*(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 0x7fffffff;" (assignment_expression "*(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 0x7fffffff" (pointer_expression "*(undefined4 *)((int)&pIdxInfo->estimatedRows + 4)" * (cast_expression "(undefined4 *)((int)&pIdxInfo->estimatedRows + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&pIdxInfo->estimatedRows + 4)" ( (binary_expression "(int)&pIdxInfo->estimatedRows + 4" (cast_expression "(int)&pIdxInfo->estimatedRows" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&pIdxInfo->estimatedRows" & (field_expression "pIdxInfo->estimatedRows" identifier -> field_identifier))) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)&pIdxInfo->estimatedRows = 0;" (assignment_expression "*(undefined4 *)&pIdxInfo->estimatedRows = 0" (pointer_expression "*(undefined4 *)&pIdxInfo->estimatedRows" * (cast_expression "(undefined4 *)&pIdxInfo->estimatedRows" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&pIdxInfo->estimatedRows" & (field_expression "pIdxInfo->estimatedRows" identifier -> field_identifier)))) = number_literal) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "undefined4 FUN_0001a6b8(undefined4 param_1,int *param_2)\n\n{\n  bool bVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  int iVar6;\n  \n  piVar2 = (int *)param_2[1];\n  if (0 < *param_2) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xd] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}\n\n" (function_definition "undefined4 FUN_0001a6b8(undefined4 param_1,int *param_2)\n\n{\n  bool bVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  int iVar6;\n  \n  piVar2 = (int *)param_2[1];\n  if (0 < *param_2) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xd] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" type_identifier (function_declarator "FUN_0001a6b8(undefined4 param_1,int *param_2)" identifier (parameter_list "(undefined4 param_1,int *param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  bool bVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  int iVar6;\n  \n  piVar2 = (int *)param_2[1];\n  if (0 < *param_2) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xd] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" { (declaration "bool bVar1;" 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 ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "piVar2 = (int *)param_2[1];" (assignment_expression "piVar2 = (int *)param_2[1]" identifier = (cast_expression "(int *)param_2[1]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_2[1]" identifier [ number_literal ]))) ;) (if_statement "if (0 < *param_2) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }" if (parenthesized_expression "(0 < *param_2)" ( (binary_expression "0 < *param_2" number_literal < (pointer_expression "*param_2" * identifier)) )) (compound_statement "{\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }" { (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (expression_statement "bVar1 = false;" (assignment_expression "bVar1 = false" identifier = false) ;) (expression_statement "iVar6 = -1;" (assignment_expression "iVar6 = -1" identifier = number_literal) ;) (expression_statement "iVar4 = -1;" (assignment_expression "iVar4 = -1" identifier = number_literal) ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);" do (compound_statement "{\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    }" { (if_statement "if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }" if (parenthesized_expression "(*(char *)(piVar2 + 1) == '\x02')" ( (binary_expression "*(char *)(piVar2 + 1) == '\x02'" (pointer_expression "*(char *)(piVar2 + 1)" * (cast_expression "(char *)(piVar2 + 1)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(piVar2 + 1)" ( (binary_expression "piVar2 + 1" identifier + number_literal) )))) == (char_literal "'\x02'" ' escape_sequence ')) )) (compound_statement "{\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }" { (if_statement "if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" if (parenthesized_expression "(*piVar2 == 4)" ( (binary_expression "*piVar2 == 4" (pointer_expression "*piVar2" * identifier) == number_literal) )) (compound_statement "{\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }" { (if_statement "if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" if (parenthesized_expression "(*(char *)((int)piVar2 + 5) == '\0')" ( (binary_expression "*(char *)((int)piVar2 + 5) == '\0'" (pointer_expression "*(char *)((int)piVar2 + 5)" * (cast_expression "(char *)((int)piVar2 + 5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)piVar2 + 5)" ( (binary_expression "(int)piVar2 + 5" (cast_expression "(int)piVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }" { (if_statement "if (iVar4 < 0) {\n              bVar1 = true;\n            }" if (parenthesized_expression "(iVar4 < 0)" ( (binary_expression "iVar4 < 0" identifier < number_literal) )) (compound_statement "{\n              bVar1 = true;\n            }" { (expression_statement "bVar1 = true;" (assignment_expression "bVar1 = true" identifier = true) ;) })) }) (else_clause "else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" else (compound_statement "{\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" { (expression_statement "bVar1 = false;" (assignment_expression "bVar1 = false" identifier = false) ;) (expression_statement "iVar4 = iVar3;" (assignment_expression "iVar4 = iVar3" identifier = identifier) ;) }))) }) (else_clause "else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" else (if_statement "if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" if (parenthesized_expression "(*piVar2 == 5)" ( (binary_expression "*piVar2 == 5" (pointer_expression "*piVar2" * identifier) == number_literal) )) (compound_statement "{\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" { (if_statement "if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" if (parenthesized_expression "(*(char *)((int)piVar2 + 5) == '\0')" ( (binary_expression "*(char *)((int)piVar2 + 5) == '\0'" (pointer_expression "*(char *)((int)piVar2 + 5)" * (cast_expression "(char *)((int)piVar2 + 5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)piVar2 + 5)" ( (binary_expression "(int)piVar2 + 5" (cast_expression "(int)piVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }" { (if_statement "if (iVar6 < 0) {\n              bVar5 = true;\n            }" if (parenthesized_expression "(iVar6 < 0)" ( (binary_expression "iVar6 < 0" identifier < number_literal) )) (compound_statement "{\n              bVar5 = true;\n            }" { (expression_statement "bVar5 = true;" (assignment_expression "bVar5 = true" identifier = true) ;) })) }) (else_clause "else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" else (compound_statement "{\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" { (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" identifier = false) ;) (expression_statement "iVar6 = iVar3;" (assignment_expression "iVar6 = iVar3" identifier = identifier) ;) }))) })))) })) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (expression_statement "piVar2 = piVar2 + 3;" (assignment_expression "piVar2 = piVar2 + 3" identifier = (binary_expression "piVar2 + 3" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar3 != *param_2)" ( (binary_expression "iVar3 != *param_2" identifier != (pointer_expression "*param_2" * identifier)) )) ;) (if_statement "if (bVar1 || bVar5) {\n      return 0x13;\n    }" if (parenthesized_expression "(bVar1 || bVar5)" ( (binary_expression "bVar1 || bVar5" identifier || identifier) )) (compound_statement "{\n      return 0x13;\n    }" { (return_statement "return 0x13;" return number_literal ;) })) (if_statement "if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }" if (parenthesized_expression "(-1 < iVar4)" ( (binary_expression "-1 < iVar4" number_literal < identifier) )) (compound_statement "{\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }" { (expression_statement "*(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + iVar4 * 8 + 4)" * (cast_expression "(undefined1 *)(param_2[4] + iVar4 * 8 + 4)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + iVar4 * 8 + 4)" ( (binary_expression "param_2[4] + iVar4 * 8 + 4" (binary_expression "param_2[4] + iVar4 * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "iVar4 * 8" identifier * number_literal)) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_2[4] + iVar4 * 8) = 1;" (assignment_expression "*(undefined4 *)(param_2[4] + iVar4 * 8) = 1" (pointer_expression "*(undefined4 *)(param_2[4] + iVar4 * 8)" * (cast_expression "(undefined4 *)(param_2[4] + iVar4 * 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + iVar4 * 8)" ( (binary_expression "param_2[4] + iVar4 * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "iVar4 * 8" identifier * number_literal)) )))) = number_literal) ;) (if_statement "if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }" if (parenthesized_expression "(iVar6 < 0)" ( (binary_expression "iVar6 < 0" identifier < number_literal) )) (compound_statement "{\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }" { (expression_statement "param_2[5] = 1;" (assignment_expression "param_2[5] = 1" (subscript_expression "param_2[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);" (assignment_expression "*(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" (pointer_expression "*(undefined8 *)(param_2 + 10)" * (cast_expression "(undefined8 *)(param_2 + 10)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 10)" ( (binary_expression "param_2 + 10" identifier + number_literal) )))) = (pointer_expression "*(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" * (cast_expression "(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" ( (binary_expression "PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948" identifier + number_literal) ))))) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "*(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + iVar6 * 8 + 4)" * (cast_expression "(undefined1 *)(param_2[4] + iVar6 * 8 + 4)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + iVar6 * 8 + 4)" ( (binary_expression "param_2[4] + iVar6 * 8 + 4" (binary_expression "param_2[4] + iVar6 * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "iVar6 * 8" identifier * number_literal)) + number_literal) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_2[4] + iVar6 * 8) = 2;" (assignment_expression "*(undefined4 *)(param_2[4] + iVar6 * 8) = 2" (pointer_expression "*(undefined4 *)(param_2[4] + iVar6 * 8)" * (cast_expression "(undefined4 *)(param_2[4] + iVar6 * 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + iVar6 * 8)" ( (binary_expression "param_2[4] + iVar6 * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "iVar6 * 8" identifier * number_literal)) )))) = number_literal) ;) (expression_statement "param_2[5] = 2;" (assignment_expression "param_2[5] = 2" (subscript_expression "param_2[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "*(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);" (assignment_expression "*(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" (pointer_expression "*(undefined8 *)(param_2 + 10)" * (cast_expression "(undefined8 *)(param_2 + 10)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 10)" ( (binary_expression "param_2 + 10" identifier + number_literal) )))) = (pointer_expression "*(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" * (cast_expression "(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" ( (binary_expression "PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950" identifier + number_literal) ))))) ;) (return_statement "return 0;" return number_literal ;) })) })) (expression_statement "param_2[5] = 0;" (assignment_expression "param_2[5] = 0" (subscript_expression "param_2[5]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_2[0xd] = 0x7fffffff;" (assignment_expression "param_2[0xd] = 0x7fffffff" (subscript_expression "param_2[0xd]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "param_2[0xc] = 0;" (assignment_expression "param_2[0xc] = 0" (subscript_expression "param_2[0xc]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (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 ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = BOOL) ;) (expression_statement (assignment_expression IDENT = BOOL) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) == (char_literal ' escape_sequence ')) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) )))) == (char_literal ' escape_sequence ')) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = BOOL) ;) })) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = BOOL) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }))) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) )))) == (char_literal ' escape_sequence ')) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = BOOL) ;) })) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = BOOL) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }))) })))) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != (pointer_expression * IDENT)) )) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT || IDENT) )) (compound_statement { (return_statement return LIT ;) })) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) + (binary_expression IDENT * LIT)) + LIT) )))) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) + (binary_expression IDENT * LIT)) )))) = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (return_statement return LIT ;) })) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) + (binary_expression IDENT * LIT)) + LIT) )))) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) + (binary_expression IDENT * LIT)) )))) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (return_statement return LIT ;) })) })) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (return_statement return LIT ;) })))
(function_definition "undefined4 FUN_0001a6b8(undefined4 param_1,int *param_2)\n\n{\n  bool bVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  int iVar6;\n  \n  piVar2 = (int *)param_2[1];\n  if (0 < *param_2) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xd] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" (type_identifier "undefined4") (function_declarator "FUN_0001a6b8(undefined4 param_1,int *param_2)" (identifier "FUN_0001a6b8") (parameter_list "(undefined4 param_1,int *param_2)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "int *param_2" (primitive_type "int") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) () ")"))) (compound_statement "{\n  bool bVar1;\n  int *piVar2;\n  int iVar3;\n  int iVar4;\n  bool bVar5;\n  int iVar6;\n  \n  piVar2 = (int *)param_2[1];\n  if (0 < *param_2) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xd] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" ({ "{") (declaration "bool bVar1;" (primitive_type "bool") (identifier "bVar1") (; ";")) (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") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (expression_statement "piVar2 = (int *)param_2[1];" (assignment_expression "piVar2 = (int *)param_2[1]" (identifier "piVar2") (= "=") (cast_expression "(int *)param_2[1]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]")))) (; ";")) (if_statement "if (0 < *param_2) {\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }" (if "if") (parenthesized_expression "(0 < *param_2)" (( "(") (binary_expression "0 < *param_2" (number_literal "0") (< "<") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) () ")")) (compound_statement "{\n    bVar5 = false;\n    bVar1 = false;\n    iVar6 = -1;\n    iVar4 = -1;\n    iVar3 = 0;\n    do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);\n    if (bVar1 || bVar5) {\n      return 0x13;\n    }\n    if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }\n  }" ({ "{") (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" (identifier "bVar5") (= "=") (false "false")) (; ";")) (expression_statement "bVar1 = false;" (assignment_expression "bVar1 = false" (identifier "bVar1") (= "=") (false "false")) (; ";")) (expression_statement "iVar6 = -1;" (assignment_expression "iVar6 = -1" (identifier "iVar6") (= "=") (number_literal "-1")) (; ";")) (expression_statement "iVar4 = -1;" (assignment_expression "iVar4 = -1" (identifier "iVar4") (= "=") (number_literal "-1")) (; ";")) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" (identifier "iVar3") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    } while (iVar3 != *param_2);" (do "do") (compound_statement "{\n      if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }\n      iVar3 = iVar3 + 1;\n      piVar2 = piVar2 + 3;\n    }" ({ "{") (if_statement "if (*(char *)(piVar2 + 1) == '\x02') {\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }" (if "if") (parenthesized_expression "(*(char *)(piVar2 + 1) == '\x02')" (( "(") (binary_expression "*(char *)(piVar2 + 1) == '\x02'" (pointer_expression "*(char *)(piVar2 + 1)" (* "*") (cast_expression "(char *)(piVar2 + 1)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(piVar2 + 1)" (( "(") (binary_expression "piVar2 + 1" (identifier "piVar2") (+ "+") (number_literal "1")) () ")")))) (== "==") (char_literal "'\x02'" (' "'") (escape_sequence "\x02") (' "'"))) () ")")) (compound_statement "{\n        if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }\n      }" ({ "{") (if_statement "if (*piVar2 == 4) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }\n        else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" (if "if") (parenthesized_expression "(*piVar2 == 4)" (( "(") (binary_expression "*piVar2 == 4" (pointer_expression "*piVar2" (* "*") (identifier "piVar2")) (== "==") (number_literal "4")) () ")")) (compound_statement "{\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }\n        }" ({ "{") (if_statement "if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }\n          else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" (if "if") (parenthesized_expression "(*(char *)((int)piVar2 + 5) == '\0')" (( "(") (binary_expression "*(char *)((int)piVar2 + 5) == '\0'" (pointer_expression "*(char *)((int)piVar2 + 5)" (* "*") (cast_expression "(char *)((int)piVar2 + 5)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)piVar2 + 5)" (( "(") (binary_expression "(int)piVar2 + 5" (cast_expression "(int)piVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "piVar2")) (+ "+") (number_literal "5")) () ")")))) (== "==") (char_literal "'\0'" (' "'") (escape_sequence "\0") (' "'"))) () ")")) (compound_statement "{\n            if (iVar4 < 0) {\n              bVar1 = true;\n            }\n          }" ({ "{") (if_statement "if (iVar4 < 0) {\n              bVar1 = true;\n            }" (if "if") (parenthesized_expression "(iVar4 < 0)" (( "(") (binary_expression "iVar4 < 0" (identifier "iVar4") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n              bVar1 = true;\n            }" ({ "{") (expression_statement "bVar1 = true;" (assignment_expression "bVar1 = true" (identifier "bVar1") (= "=") (true "true")) (; ";")) (} "}"))) (} "}")) (else_clause "else {\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" (else "else") (compound_statement "{\n            bVar1 = false;\n            iVar4 = iVar3;\n          }" ({ "{") (expression_statement "bVar1 = false;" (assignment_expression "bVar1 = false" (identifier "bVar1") (= "=") (false "false")) (; ";")) (expression_statement "iVar4 = iVar3;" (assignment_expression "iVar4 = iVar3" (identifier "iVar4") (= "=") (identifier "iVar3")) (; ";")) (} "}")))) (} "}")) (else_clause "else if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" (else "else") (if_statement "if (*piVar2 == 5) {\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" (if "if") (parenthesized_expression "(*piVar2 == 5)" (( "(") (binary_expression "*piVar2 == 5" (pointer_expression "*piVar2" (* "*") (identifier "piVar2")) (== "==") (number_literal "5")) () ")")) (compound_statement "{\n          if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }\n        }" ({ "{") (if_statement "if (*(char *)((int)piVar2 + 5) == '\0') {\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }\n          else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" (if "if") (parenthesized_expression "(*(char *)((int)piVar2 + 5) == '\0')" (( "(") (binary_expression "*(char *)((int)piVar2 + 5) == '\0'" (pointer_expression "*(char *)((int)piVar2 + 5)" (* "*") (cast_expression "(char *)((int)piVar2 + 5)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)piVar2 + 5)" (( "(") (binary_expression "(int)piVar2 + 5" (cast_expression "(int)piVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "piVar2")) (+ "+") (number_literal "5")) () ")")))) (== "==") (char_literal "'\0'" (' "'") (escape_sequence "\0") (' "'"))) () ")")) (compound_statement "{\n            if (iVar6 < 0) {\n              bVar5 = true;\n            }\n          }" ({ "{") (if_statement "if (iVar6 < 0) {\n              bVar5 = true;\n            }" (if "if") (parenthesized_expression "(iVar6 < 0)" (( "(") (binary_expression "iVar6 < 0" (identifier "iVar6") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n              bVar5 = true;\n            }" ({ "{") (expression_statement "bVar5 = true;" (assignment_expression "bVar5 = true" (identifier "bVar5") (= "=") (true "true")) (; ";")) (} "}"))) (} "}")) (else_clause "else {\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" (else "else") (compound_statement "{\n            bVar5 = false;\n            iVar6 = iVar3;\n          }" ({ "{") (expression_statement "bVar5 = false;" (assignment_expression "bVar5 = false" (identifier "bVar5") (= "=") (false "false")) (; ";")) (expression_statement "iVar6 = iVar3;" (assignment_expression "iVar6 = iVar3" (identifier "iVar6") (= "=") (identifier "iVar3")) (; ";")) (} "}")))) (} "}"))))) (} "}"))) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" (identifier "iVar3") (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "piVar2 = piVar2 + 3;" (assignment_expression "piVar2 = piVar2 + 3" (identifier "piVar2") (= "=") (binary_expression "piVar2 + 3" (identifier "piVar2") (+ "+") (number_literal "3"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar3 != *param_2)" (( "(") (binary_expression "iVar3 != *param_2" (identifier "iVar3") (!= "!=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) () ")")) (; ";")) (if_statement "if (bVar1 || bVar5) {\n      return 0x13;\n    }" (if "if") (parenthesized_expression "(bVar1 || bVar5)" (( "(") (binary_expression "bVar1 || bVar5" (identifier "bVar1") (|| "||") (identifier "bVar5")) () ")")) (compound_statement "{\n      return 0x13;\n    }" ({ "{") (return_statement "return 0x13;" (return "return") (number_literal "0x13") (; ";")) (} "}"))) (if_statement "if (-1 < iVar4) {\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }" (if "if") (parenthesized_expression "(-1 < iVar4)" (( "(") (binary_expression "-1 < iVar4" (number_literal "-1") (< "<") (identifier "iVar4")) () ")")) (compound_statement "{\n      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;\n      if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;\n      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;\n      param_2[5] = 2;\n      *(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);\n      return 0;\n    }" ({ "{") (expression_statement "*(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + iVar4 * 8 + 4)" (* "*") (cast_expression "(undefined1 *)(param_2[4] + iVar4 * 8 + 4)" (( "(") (type_descriptor "undefined1 *" (type_identifier "undefined1") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2[4] + iVar4 * 8 + 4)" (( "(") (binary_expression "param_2[4] + iVar4 * 8 + 4" (binary_expression "param_2[4] + iVar4 * 8" (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]")) (+ "+") (binary_expression "iVar4 * 8" (identifier "iVar4") (* "*") (number_literal "8"))) (+ "+") (number_literal "4")) () ")")))) (= "=") (number_literal "1")) (; ";")) (expression_statement "*(undefined4 *)(param_2[4] + iVar4 * 8) = 1;" (assignment_expression "*(undefined4 *)(param_2[4] + iVar4 * 8) = 1" (pointer_expression "*(undefined4 *)(param_2[4] + iVar4 * 8)" (* "*") (cast_expression "(undefined4 *)(param_2[4] + iVar4 * 8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2[4] + iVar4 * 8)" (( "(") (binary_expression "param_2[4] + iVar4 * 8" (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]")) (+ "+") (binary_expression "iVar4 * 8" (identifier "iVar4") (* "*") (number_literal "8"))) () ")")))) (= "=") (number_literal "1")) (; ";")) (if_statement "if (iVar6 < 0) {\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }" (if "if") (parenthesized_expression "(iVar6 < 0)" (( "(") (binary_expression "iVar6 < 0" (identifier "iVar6") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n        param_2[5] = 1;\n        *(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);\n        return 0;\n      }" ({ "{") (expression_statement "param_2[5] = 1;" (assignment_expression "param_2[5] = 1" (subscript_expression "param_2[5]" (identifier "param_2") ([ "[") (number_literal "5") (] "]")) (= "=") (number_literal "1")) (; ";")) (expression_statement "*(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);" (assignment_expression "*(undefined8 *)(param_2 + 10) =\n             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" (pointer_expression "*(undefined8 *)(param_2 + 10)" (* "*") (cast_expression "(undefined8 *)(param_2 + 10)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 10)" (( "(") (binary_expression "param_2 + 10" (identifier "param_2") (+ "+") (number_literal "10")) () ")")))) (= "=") (pointer_expression "*(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" (* "*") (cast_expression "(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948)" (( "(") (binary_expression "PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948" (identifier "PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c") (+ "+") (number_literal "-0x6948")) () ")"))))) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "*(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + iVar6 * 8 + 4)" (* "*") (cast_expression "(undefined1 *)(param_2[4] + iVar6 * 8 + 4)" (( "(") (type_descriptor "undefined1 *" (type_identifier "undefined1") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2[4] + iVar6 * 8 + 4)" (( "(") (binary_expression "param_2[4] + iVar6 * 8 + 4" (binary_expression "param_2[4] + iVar6 * 8" (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]")) (+ "+") (binary_expression "iVar6 * 8" (identifier "iVar6") (* "*") (number_literal "8"))) (+ "+") (number_literal "4")) () ")")))) (= "=") (number_literal "1")) (; ";")) (expression_statement "*(undefined4 *)(param_2[4] + iVar6 * 8) = 2;" (assignment_expression "*(undefined4 *)(param_2[4] + iVar6 * 8) = 2" (pointer_expression "*(undefined4 *)(param_2[4] + iVar6 * 8)" (* "*") (cast_expression "(undefined4 *)(param_2[4] + iVar6 * 8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2[4] + iVar6 * 8)" (( "(") (binary_expression "param_2[4] + iVar6 * 8" (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]")) (+ "+") (binary_expression "iVar6 * 8" (identifier "iVar6") (* "*") (number_literal "8"))) () ")")))) (= "=") (number_literal "2")) (; ";")) (expression_statement "param_2[5] = 2;" (assignment_expression "param_2[5] = 2" (subscript_expression "param_2[5]" (identifier "param_2") ([ "[") (number_literal "5") (] "]")) (= "=") (number_literal "2")) (; ";")) (expression_statement "*(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);" (assignment_expression "*(undefined8 *)(param_2 + 10) =\n           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" (pointer_expression "*(undefined8 *)(param_2 + 10)" (* "*") (cast_expression "(undefined8 *)(param_2 + 10)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 10)" (( "(") (binary_expression "param_2 + 10" (identifier "param_2") (+ "+") (number_literal "10")) () ")")))) (= "=") (pointer_expression "*(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" (* "*") (cast_expression "(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950)" (( "(") (binary_expression "PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950" (identifier "PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c") (+ "+") (number_literal "-0x6950")) () ")"))))) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (} "}"))) (expression_statement "param_2[5] = 0;" (assignment_expression "param_2[5] = 0" (subscript_expression "param_2[5]" (identifier "param_2") ([ "[") (number_literal "5") (] "]")) (= "=") (number_literal "0")) (; ";")) (expression_statement "param_2[0xd] = 0x7fffffff;" (assignment_expression "param_2[0xd] = 0x7fffffff" (subscript_expression "param_2[0xd]" (identifier "param_2") ([ "[") (number_literal "0xd") (] "]")) (= "=") (number_literal "0x7fffffff")) (; ";")) (expression_statement "param_2[0xc] = 0;" (assignment_expression "param_2[0xc] = 0" (subscript_expression "param_2[0xc]" (identifier "param_2") ([ "[") (number_literal "0xc") (] "]")) (= "=") (number_literal "0")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))

int function_1(type_1 *tab,type_2 *pIdxInfo)

{
  bool var_5;
  type_3 *pConstraint;
  type_3 *var_4;
  int var_3;
  int var_1;
  bool var_6;
  int var_2;
  
  var_4 = pIdxInfo->aConstraint;
  if (0 < pIdxInfo->nConstraint) {
    var_6 = false;
    var_5 = false;
    var_2 = -1;
    var_1 = -1;
    var_3 = 0;
    do {
      if (var_4->op == '\x02') {
        if (var_4->iColumn == 4) {
          if (var_4->usable == '\0') {
            if (var_1 < 0) {
              var_5 = true;
            }
          }
          else {
            var_5 = false;
            var_1 = var_3;
          }
        }
        else if (var_4->iColumn == 5) {
          if (var_4->usable == '\0') {
            if (var_2 < 0) {
              var_6 = true;
            }
          }
          else {
            var_6 = false;
            var_2 = var_3;
          }
        }
      }
      var_3 = var_3 + 1;
      var_4 = var_4 + 1;
    } while (var_3 != pIdxInfo->nConstraint);
    if (var_5 || var_6) {
      return 0x13;
    }
    if (-1 < var_1) {
      pIdxInfo->aConstraintUsage[var_1].omit = '\x01';
      pIdxInfo->aConstraintUsage[var_1].argvIndex = 1;
      if (var_2 < 0) {
        pIdxInfo->idxNum = 1;
        pIdxInfo->estimatedCost =
             *(double *)(var_7 + -0x6948);
        return 0;
      }
      pIdxInfo->aConstraintUsage[var_2].omit = '\x01';
      pIdxInfo->aConstraintUsage[var_2].argvIndex = 2;
      pIdxInfo->idxNum = 2;
      pIdxInfo->estimatedCost =
           *(double *)(var_7 + -0x6950);
      return 0;
    }
  }
  pIdxInfo->idxNum = 0;
  *(type_4 *)((int)&pIdxInfo->estimatedRows + 4) = 0x7fffffff;
  *(type_4 *)&pIdxInfo->estimatedRows = 0;
  return 0;
}


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

undefined4 MASKED(undefined4 param_1,int *param_2)

{
  bool bVar1;
  int *piVar2;
  int iVar3;
  int iVar4;
  bool bVar5;
  int iVar6;
  
  piVar2 = (int *)param_2[1];
  if (0 < *param_2) {
    bVar5 = false;
    bVar1 = false;
    iVar6 = -1;
    iVar4 = -1;
    iVar3 = 0;
    do {
      if (*(char *)(piVar2 + 1) == '\x02') {
        if (*piVar2 == 4) {
          if (*(char *)((int)piVar2 + 5) == '\0') {
            if (iVar4 < 0) {
              bVar1 = true;
            }
          }
          else {
            bVar1 = false;
            iVar4 = iVar3;
          }
        }
        else if (*piVar2 == 5) {
          if (*(char *)((int)piVar2 + 5) == '\0') {
            if (iVar6 < 0) {
              bVar5 = true;
            }
          }
          else {
            bVar5 = false;
            iVar6 = iVar3;
          }
        }
      }
      iVar3 = iVar3 + 1;
      piVar2 = piVar2 + 3;
    } while (iVar3 != *param_2);
    if (bVar1 || bVar5) {
      return 0x13;
    }
    if (-1 < iVar4) {
      *(undefined1 *)(param_2[4] + iVar4 * 8 + 4) = 1;
      *(undefined4 *)(param_2[4] + iVar4 * 8) = 1;
      if (iVar6 < 0) {
        param_2[5] = 1;
        *(undefined8 *)(param_2 + 10) =
             *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6948);
        return 0;
      }
      *(undefined1 *)(param_2[4] + iVar6 * 8 + 4) = 1;
      *(undefined4 *)(param_2[4] + iVar6 * 8) = 2;
      param_2[5] = 2;
      *(undefined8 *)(param_2 + 10) =
           *(undefined8 *)(PTR_s_FROM___q____q_node__WHERE_nodeno_0018f95c + -0x6950);
      return 0;
    }
  }
  param_2[5] = 0;
  param_2[0xd] = 0x7fffffff;
  param_2[0xc] = 0;
  return 0;
}

