
/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */
/* WARNING: Unknown calling convention */

int fsdirBestIndex(sqlite3_vtab *tab,sqlite3_index_info *pIdxInfo)

{
  int iVar1;
  bool bVar2;
  bool bVar3;
  int iVar4;
  sqlite3_index_constraint *psVar5;
  int local_1c;
  int local_18;
  
  iVar1 = pIdxInfo->nConstraint;
  psVar5 = pIdxInfo->aConstraint;
  if (0 < iVar1) {
    bVar2 = false;
    bVar3 = false;
    local_18 = -1;
    iVar4 = 0;
    local_1c = -1;
    do {
      while (psVar5->op != '\x02') {
LAB_0001afb0:
        iVar4 = iVar4 + 1;
        psVar5 = psVar5 + 1;
        if (iVar4 == iVar1) goto LAB_0001aff0;
      }
      if (psVar5->iColumn != 4) {
        if (psVar5->iColumn == 5) {
          if (psVar5->usable == '\0') {
            if (local_18 == -1) {
              bVar2 = true;
            }
          }
          else {
            bVar2 = false;
            local_18 = iVar4;
          }
        }
        goto LAB_0001afb0;
      }
      if (psVar5->usable != '\0') {
        bVar3 = false;
        local_1c = iVar4;
        goto LAB_0001afb0;
      }
      if (local_1c == -1) {
        bVar3 = true;
      }
      iVar4 = iVar4 + 1;
      psVar5 = psVar5 + 1;
    } while (iVar4 != iVar1);
LAB_0001aff0:
    if (bVar2 || bVar3) {
      return 0x13;
    }
    if (local_1c != -1) {
      pIdxInfo->aConstraintUsage[local_1c].omit = '\x01';
      pIdxInfo->aConstraintUsage[local_1c].argvIndex = 1;
      if (local_18 == -1) {
        pIdxInfo->idxNum = 1;
        pIdxInfo->estimatedCost = (double)DAT_0011f620;
        return 0;
      }
      pIdxInfo->aConstraintUsage[local_18].omit = '\x01';
      pIdxInfo->aConstraintUsage[local_18].argvIndex = 2;
      pIdxInfo->idxNum = 2;
      pIdxInfo->estimatedCost = (double)DAT_0011f61c;
      return 0;
    }
  }
  pIdxInfo->idxNum = 0;
  *(undefined4 *)&pIdxInfo->estimatedRows = 0x7fffffff;
  *(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 0;
  return 0;
}



/* WARNING: Function: __i686.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */

undefined4 FUN_0001af50(undefined4 param_1,int *param_2)

{
  int iVar1;
  bool bVar2;
  bool bVar3;
  int iVar4;
  int *piVar5;
  int local_1c;
  int local_18;
  
  iVar1 = *param_2;
  piVar5 = (int *)param_2[1];
  if (0 < iVar1) {
    bVar2 = false;
    bVar3 = false;
    local_18 = -1;
    iVar4 = 0;
    local_1c = -1;
    do {
      while ((char)piVar5[1] != '\x02') {
LAB_0001afb0:
        iVar4 = iVar4 + 1;
        piVar5 = piVar5 + 3;
        if (iVar4 == iVar1) goto LAB_0001aff0;
      }
      if (*piVar5 != 4) {
        if (*piVar5 == 5) {
          if (*(char *)((int)piVar5 + 5) == '\0') {
            if (local_18 == -1) {
              bVar2 = true;
            }
          }
          else {
            bVar2 = false;
            local_18 = iVar4;
          }
        }
        goto LAB_0001afb0;
      }
      if (*(char *)((int)piVar5 + 5) != '\0') {
        bVar3 = false;
        local_1c = iVar4;
        goto LAB_0001afb0;
      }
      if (local_1c == -1) {
        bVar3 = true;
      }
      iVar4 = iVar4 + 1;
      piVar5 = piVar5 + 3;
    } while (iVar4 != iVar1);
LAB_0001aff0:
    if (bVar2 || bVar3) {
      return 0x13;
    }
    if (local_1c != -1) {
      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;
      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;
      if (local_18 == -1) {
        param_2[5] = 1;
        *(double *)(param_2 + 9) = (double)DAT_0011f620;
        return 0;
      }
      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;
      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;
      param_2[5] = 2;
      *(double *)(param_2 + 9) = (double)DAT_0011f61c;
      return 0;
    }
  }
  param_2[5] = 0;
  param_2[0xb] = 0x7fffffff;
  param_2[0xc] = 0;
  return 0;
}


CALL 0x00036abd
ADD EAX,0x160ed3
PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
SUB ESP,0xc
MOV EDI,dword ptr [ESP + 0x24]
MOV dword ptr [ESP + 0x8],EAX
MOV ESI,dword ptr [EDI]
MOV EDX,dword ptr [EDI + 0x4]
TEST ESI,ESI
JLE 0x0001b070
XOR EAX,EAX
XOR EBP,EBP
MOV dword ptr [ESP + 0x4],0xffffffff
XOR ECX,ECX
MOV dword ptr [ESP],0xffffffff
JMP 0x0001afba
CMP EBX,0x5
JNZ 0x0001afb0
CMP byte ptr [EDX + 0x5],0x0
JNZ 0x0001b050
CMP dword ptr [ESP + 0x4],-0x1
MOV EBX,0x1
CMOVZ EAX,EBX
LEA ESI,[ESI]
ADD ECX,0x1
ADD EDX,0xc
CMP ECX,ESI
JZ 0x0001aff0
CMP byte ptr [EDX + 0x4],0x2
JNZ 0x0001afb0
MOV EBX,dword ptr [EDX]
CMP EBX,0x4
JNZ 0x0001af90
CMP byte ptr [EDX + 0x5],0x0
JNZ 0x0001b060
CMP dword ptr [ESP],-0x1
MOV EBX,0x1
CMOVZ EBP,EBX
ADD ECX,0x1
ADD EDX,0xc
CMP ECX,ESI
JNZ 0x0001afba
LEA ESI,[ESI]
NOP
OR EAX,EBP
JNZ 0x0001b090
CMP dword ptr [ESP],-0x1
JZ 0x0001b070
MOV EDX,dword ptr [EDI + 0x10]
MOV ESI,dword ptr [ESP]
MOV byte ptr [EDX + ESI*0x8 + 0x4],0x1
MOV EDX,dword ptr [EDI + 0x10]
MOV dword ptr [EDX + ESI*0x8],0x1
MOV ESI,dword ptr [ESP + 0x4]
CMP ESI,-0x1
JZ 0x0001b0a0
MOV EDX,dword ptr [EDI + 0x10]
MOV byte ptr [EDX + ESI*0x8 + 0x4],0x1
MOV EDX,dword ptr [EDI + 0x10]
MOV dword ptr [EDX + ESI*0x8],0x2
MOV ESI,dword ptr [ESP + 0x8]
MOV dword ptr [EDI + 0x14],0x2
FLD dword ptr [ESI + 0xfffa37f4]
FSTP qword ptr [EDI + 0x24]
ADD ESP,0xc
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV dword ptr [ESP + 0x4],ECX
XOR EAX,EAX
JMP 0x0001afb0
MOV dword ptr [ESP],ECX
XOR EBP,EBP
JMP 0x0001afb0
MOV dword ptr [EDI + 0x14],0x0
XOR EAX,EAX
MOV dword ptr [EDI + 0x2c],0x7fffffff
MOV dword ptr [EDI + 0x30],0x0
ADD ESP,0xc
POP EBX
POP ESI
POP EDI
POP EBP
RET
ADD ESP,0xc
MOV EAX,0x13
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV EBX,dword ptr [ESP + 0x8]
MOV dword ptr [EDI + 0x14],0x1
FLD dword ptr [EBX + 0xfffa37f8]
FSTP qword ptr [EDI + 0x24]
ADD ESP,0xc
POP EBX
POP ESI
POP EDI
POP EBP
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */\n\nundefined4 FUN_0001af50(undefined4 param_1,int *param_2)\n\n{\n  int iVar1;\n  bool bVar2;\n  bool bVar3;\n  int iVar4;\n  int *piVar5;\n  int local_1c;\n  int local_18;\n  \n  iVar1 = *param_2;\n  piVar5 = (int *)param_2[1];\n  if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xb] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}\n\n" comment (function_definition "undefined4 FUN_0001af50(undefined4 param_1,int *param_2)\n\n{\n  int iVar1;\n  bool bVar2;\n  bool bVar3;\n  int iVar4;\n  int *piVar5;\n  int local_1c;\n  int local_18;\n  \n  iVar1 = *param_2;\n  piVar5 = (int *)param_2[1];\n  if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xb] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" type_identifier (function_declarator "FUN_0001af50(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  int iVar1;\n  bool bVar2;\n  bool bVar3;\n  int iVar4;\n  int *piVar5;\n  int local_1c;\n  int local_18;\n  \n  iVar1 = *param_2;\n  piVar5 = (int *)param_2[1];\n  if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xb] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (declaration "bool bVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (declaration "int local_1c;" primitive_type identifier ;) (declaration "int local_18;" primitive_type identifier ;) (expression_statement "iVar1 = *param_2;" (assignment_expression "iVar1 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "piVar5 = (int *)param_2[1];" (assignment_expression "piVar5 = (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 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }" if (parenthesized_expression "(0 < iVar1)" ( (binary_expression "0 < iVar1" number_literal < identifier) )) (compound_statement "{\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }" { (expression_statement "bVar2 = false;" (assignment_expression "bVar2 = false" identifier = false) ;) (expression_statement "bVar3 = false;" (assignment_expression "bVar3 = false" identifier = false) ;) (expression_statement "local_18 = -1;" (assignment_expression "local_18 = -1" identifier = number_literal) ;) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) (expression_statement "local_1c = -1;" (assignment_expression "local_1c = -1" identifier = number_literal) ;) (do_statement "do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);" do (compound_statement "{\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    }" { (while_statement "while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }" while (parenthesized_expression "((char)piVar5[1] != '\x02')" ( (binary_expression "(char)piVar5[1] != '\x02'" (cast_expression "(char)piVar5[1]" ( (type_descriptor "char" primitive_type) ) (subscript_expression "piVar5[1]" identifier [ number_literal ])) != (char_literal "'\x02'" ' escape_sequence ')) )) (compound_statement "{\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }" { (labeled_statement "LAB_0001afb0:\n        iVar4 = iVar4 + 1;" statement_identifier : (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;)) (expression_statement "piVar5 = piVar5 + 3;" (assignment_expression "piVar5 = piVar5 + 3" identifier = (binary_expression "piVar5 + 3" identifier + number_literal)) ;) (if_statement "if (iVar4 == iVar1) goto LAB_0001aff0;" if (parenthesized_expression "(iVar4 == iVar1)" ( (binary_expression "iVar4 == iVar1" identifier == identifier) )) (goto_statement "goto LAB_0001aff0;" goto statement_identifier ;)) })) (if_statement "if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }" if (parenthesized_expression "(*piVar5 != 4)" ( (binary_expression "*piVar5 != 4" (pointer_expression "*piVar5" * identifier) != number_literal) )) (compound_statement "{\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }" { (if_statement "if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }" if (parenthesized_expression "(*piVar5 == 5)" ( (binary_expression "*piVar5 == 5" (pointer_expression "*piVar5" * identifier) == number_literal) )) (compound_statement "{\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }" { (if_statement "if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }" if (parenthesized_expression "(*(char *)((int)piVar5 + 5) == '\0')" ( (binary_expression "*(char *)((int)piVar5 + 5) == '\0'" (pointer_expression "*(char *)((int)piVar5 + 5)" * (cast_expression "(char *)((int)piVar5 + 5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)piVar5 + 5)" ( (binary_expression "(int)piVar5 + 5" (cast_expression "(int)piVar5" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }" { (if_statement "if (local_18 == -1) {\n              bVar2 = true;\n            }" if (parenthesized_expression "(local_18 == -1)" ( (binary_expression "local_18 == -1" identifier == number_literal) )) (compound_statement "{\n              bVar2 = true;\n            }" { (expression_statement "bVar2 = true;" (assignment_expression "bVar2 = true" identifier = true) ;) })) }) (else_clause "else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }" else (compound_statement "{\n            bVar2 = false;\n            local_18 = iVar4;\n          }" { (expression_statement "bVar2 = false;" (assignment_expression "bVar2 = false" identifier = false) ;) (expression_statement "local_18 = iVar4;" (assignment_expression "local_18 = iVar4" identifier = identifier) ;) }))) })) (goto_statement "goto LAB_0001afb0;" goto statement_identifier ;) })) (if_statement "if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }" if (parenthesized_expression "(*(char *)((int)piVar5 + 5) != '\0')" ( (binary_expression "*(char *)((int)piVar5 + 5) != '\0'" (pointer_expression "*(char *)((int)piVar5 + 5)" * (cast_expression "(char *)((int)piVar5 + 5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)piVar5 + 5)" ( (binary_expression "(int)piVar5 + 5" (cast_expression "(int)piVar5" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) != (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }" { (expression_statement "bVar3 = false;" (assignment_expression "bVar3 = false" identifier = false) ;) (expression_statement "local_1c = iVar4;" (assignment_expression "local_1c = iVar4" identifier = identifier) ;) (goto_statement "goto LAB_0001afb0;" goto statement_identifier ;) })) (if_statement "if (local_1c == -1) {\n        bVar3 = true;\n      }" if (parenthesized_expression "(local_1c == -1)" ( (binary_expression "local_1c == -1" identifier == number_literal) )) (compound_statement "{\n        bVar3 = true;\n      }" { (expression_statement "bVar3 = true;" (assignment_expression "bVar3 = true" identifier = true) ;) })) (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (expression_statement "piVar5 = piVar5 + 3;" (assignment_expression "piVar5 = piVar5 + 3" identifier = (binary_expression "piVar5 + 3" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar4 != iVar1)" ( (binary_expression "iVar4 != iVar1" identifier != identifier) )) ;) (labeled_statement "LAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }" statement_identifier : (if_statement "if (bVar2 || bVar3) {\n      return 0x13;\n    }" if (parenthesized_expression "(bVar2 || bVar3)" ( (binary_expression "bVar2 || bVar3" identifier || identifier) )) (compound_statement "{\n      return 0x13;\n    }" { (return_statement "return 0x13;" return number_literal ;) }))) (if_statement "if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }" if (parenthesized_expression "(local_1c != -1)" ( (binary_expression "local_1c != -1" identifier != number_literal) )) (compound_statement "{\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }" { (expression_statement "*(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + 4 + local_1c * 8)" * (cast_expression "(undefined1 *)(param_2[4] + 4 + local_1c * 8)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + 4 + local_1c * 8)" ( (binary_expression "param_2[4] + 4 + local_1c * 8" (binary_expression "param_2[4] + 4" (subscript_expression "param_2[4]" identifier [ number_literal ]) + number_literal) + (binary_expression "local_1c * 8" identifier * number_literal)) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_2[4] + local_1c * 8) = 1;" (assignment_expression "*(undefined4 *)(param_2[4] + local_1c * 8) = 1" (pointer_expression "*(undefined4 *)(param_2[4] + local_1c * 8)" * (cast_expression "(undefined4 *)(param_2[4] + local_1c * 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + local_1c * 8)" ( (binary_expression "param_2[4] + local_1c * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "local_1c * 8" identifier * number_literal)) )))) = number_literal) ;) (if_statement "if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }" if (parenthesized_expression "(local_18 == -1)" ( (binary_expression "local_18 == -1" identifier == number_literal) )) (compound_statement "{\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\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 "*(double *)(param_2 + 9) = (double)DAT_0011f620;" (assignment_expression "*(double *)(param_2 + 9) = (double)DAT_0011f620" (pointer_expression "*(double *)(param_2 + 9)" * (cast_expression "(double *)(param_2 + 9)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 9)" ( (binary_expression "param_2 + 9" identifier + number_literal) )))) = (cast_expression "(double)DAT_0011f620" ( (type_descriptor "double" primitive_type) ) identifier)) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "*(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + 4 + local_18 * 8)" * (cast_expression "(undefined1 *)(param_2[4] + 4 + local_18 * 8)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + 4 + local_18 * 8)" ( (binary_expression "param_2[4] + 4 + local_18 * 8" (binary_expression "param_2[4] + 4" (subscript_expression "param_2[4]" identifier [ number_literal ]) + number_literal) + (binary_expression "local_18 * 8" identifier * number_literal)) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_2[4] + local_18 * 8) = 2;" (assignment_expression "*(undefined4 *)(param_2[4] + local_18 * 8) = 2" (pointer_expression "*(undefined4 *)(param_2[4] + local_18 * 8)" * (cast_expression "(undefined4 *)(param_2[4] + local_18 * 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + local_18 * 8)" ( (binary_expression "param_2[4] + local_18 * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "local_18 * 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 "*(double *)(param_2 + 9) = (double)DAT_0011f61c;" (assignment_expression "*(double *)(param_2 + 9) = (double)DAT_0011f61c" (pointer_expression "*(double *)(param_2 + 9)" * (cast_expression "(double *)(param_2 + 9)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 9)" ( (binary_expression "param_2 + 9" identifier + number_literal) )))) = (cast_expression "(double)DAT_0011f61c" ( (type_descriptor "double" primitive_type) ) identifier)) ;) (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[0xb] = 0x7fffffff;" (assignment_expression "param_2[0xb] = 0x7fffffff" (subscript_expression "param_2[0xb]" 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 "/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */\n/* WARNING: Unknown calling convention */\n\nint fsdirBestIndex(sqlite3_vtab *tab,sqlite3_index_info *pIdxInfo)\n\n{\n  int iVar1;\n  bool bVar2;\n  bool bVar3;\n  int iVar4;\n  sqlite3_index_constraint *psVar5;\n  int local_1c;\n  int local_18;\n  \n  iVar1 = pIdxInfo->nConstraint;\n  psVar5 = pIdxInfo->aConstraint;\n  if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while (psVar5->op != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        psVar5 = psVar5 + 1;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (psVar5->iColumn != 4) {\n        if (psVar5->iColumn == 5) {\n          if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (psVar5->usable != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      psVar5 = psVar5 + 1;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      pIdxInfo->aConstraintUsage[local_1c].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_1c].argvIndex = 1;\n      if (local_18 == -1) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost = (double)DAT_0011f620;\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[local_18].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_18].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost = (double)DAT_0011f61c;\n      return 0;\n    }\n  }\n  pIdxInfo->idxNum = 0;\n  *(undefined4 *)&pIdxInfo->estimatedRows = 0x7fffffff;\n  *(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 0;\n  return 0;\n}\n\n" comment comment (function_definition "int fsdirBestIndex(sqlite3_vtab *tab,sqlite3_index_info *pIdxInfo)\n\n{\n  int iVar1;\n  bool bVar2;\n  bool bVar3;\n  int iVar4;\n  sqlite3_index_constraint *psVar5;\n  int local_1c;\n  int local_18;\n  \n  iVar1 = pIdxInfo->nConstraint;\n  psVar5 = pIdxInfo->aConstraint;\n  if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while (psVar5->op != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        psVar5 = psVar5 + 1;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (psVar5->iColumn != 4) {\n        if (psVar5->iColumn == 5) {\n          if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (psVar5->usable != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      psVar5 = psVar5 + 1;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      pIdxInfo->aConstraintUsage[local_1c].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_1c].argvIndex = 1;\n      if (local_18 == -1) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost = (double)DAT_0011f620;\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[local_18].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_18].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost = (double)DAT_0011f61c;\n      return 0;\n    }\n  }\n  pIdxInfo->idxNum = 0;\n  *(undefined4 *)&pIdxInfo->estimatedRows = 0x7fffffff;\n  *(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 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  int iVar1;\n  bool bVar2;\n  bool bVar3;\n  int iVar4;\n  sqlite3_index_constraint *psVar5;\n  int local_1c;\n  int local_18;\n  \n  iVar1 = pIdxInfo->nConstraint;\n  psVar5 = pIdxInfo->aConstraint;\n  if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while (psVar5->op != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        psVar5 = psVar5 + 1;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (psVar5->iColumn != 4) {\n        if (psVar5->iColumn == 5) {\n          if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (psVar5->usable != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      psVar5 = psVar5 + 1;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      pIdxInfo->aConstraintUsage[local_1c].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_1c].argvIndex = 1;\n      if (local_18 == -1) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost = (double)DAT_0011f620;\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[local_18].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_18].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost = (double)DAT_0011f61c;\n      return 0;\n    }\n  }\n  pIdxInfo->idxNum = 0;\n  *(undefined4 *)&pIdxInfo->estimatedRows = 0x7fffffff;\n  *(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 0;\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (declaration "bool bVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "sqlite3_index_constraint *psVar5;" type_identifier (pointer_declarator "*psVar5" * identifier) ;) (declaration "int local_1c;" primitive_type identifier ;) (declaration "int local_18;" primitive_type identifier ;) (expression_statement "iVar1 = pIdxInfo->nConstraint;" (assignment_expression "iVar1 = pIdxInfo->nConstraint" identifier = (field_expression "pIdxInfo->nConstraint" identifier -> field_identifier)) ;) (expression_statement "psVar5 = pIdxInfo->aConstraint;" (assignment_expression "psVar5 = pIdxInfo->aConstraint" identifier = (field_expression "pIdxInfo->aConstraint" identifier -> field_identifier)) ;) (if_statement "if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while (psVar5->op != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        psVar5 = psVar5 + 1;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (psVar5->iColumn != 4) {\n        if (psVar5->iColumn == 5) {\n          if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (psVar5->usable != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      psVar5 = psVar5 + 1;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      pIdxInfo->aConstraintUsage[local_1c].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_1c].argvIndex = 1;\n      if (local_18 == -1) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost = (double)DAT_0011f620;\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[local_18].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_18].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost = (double)DAT_0011f61c;\n      return 0;\n    }\n  }" if (parenthesized_expression "(0 < iVar1)" ( (binary_expression "0 < iVar1" number_literal < identifier) )) (compound_statement "{\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while (psVar5->op != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        psVar5 = psVar5 + 1;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (psVar5->iColumn != 4) {\n        if (psVar5->iColumn == 5) {\n          if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (psVar5->usable != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      psVar5 = psVar5 + 1;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      pIdxInfo->aConstraintUsage[local_1c].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_1c].argvIndex = 1;\n      if (local_18 == -1) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost = (double)DAT_0011f620;\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[local_18].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_18].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost = (double)DAT_0011f61c;\n      return 0;\n    }\n  }" { (expression_statement "bVar2 = false;" (assignment_expression "bVar2 = false" identifier = false) ;) (expression_statement "bVar3 = false;" (assignment_expression "bVar3 = false" identifier = false) ;) (expression_statement "local_18 = -1;" (assignment_expression "local_18 = -1" identifier = number_literal) ;) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) (expression_statement "local_1c = -1;" (assignment_expression "local_1c = -1" identifier = number_literal) ;) (do_statement "do {\n      while (psVar5->op != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        psVar5 = psVar5 + 1;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (psVar5->iColumn != 4) {\n        if (psVar5->iColumn == 5) {\n          if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (psVar5->usable != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      psVar5 = psVar5 + 1;\n    } while (iVar4 != iVar1);" do (compound_statement "{\n      while (psVar5->op != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        psVar5 = psVar5 + 1;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (psVar5->iColumn != 4) {\n        if (psVar5->iColumn == 5) {\n          if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (psVar5->usable != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      psVar5 = psVar5 + 1;\n    }" { (while_statement "while (psVar5->op != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        psVar5 = psVar5 + 1;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }" while (parenthesized_expression "(psVar5->op != '\x02')" ( (binary_expression "psVar5->op != '\x02'" (field_expression "psVar5->op" identifier -> field_identifier) != (char_literal "'\x02'" ' escape_sequence ')) )) (compound_statement "{\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        psVar5 = psVar5 + 1;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }" { (labeled_statement "LAB_0001afb0:\n        iVar4 = iVar4 + 1;" statement_identifier : (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;)) (expression_statement "psVar5 = psVar5 + 1;" (assignment_expression "psVar5 = psVar5 + 1" identifier = (binary_expression "psVar5 + 1" identifier + number_literal)) ;) (if_statement "if (iVar4 == iVar1) goto LAB_0001aff0;" if (parenthesized_expression "(iVar4 == iVar1)" ( (binary_expression "iVar4 == iVar1" identifier == identifier) )) (goto_statement "goto LAB_0001aff0;" goto statement_identifier ;)) })) (if_statement "if (psVar5->iColumn != 4) {\n        if (psVar5->iColumn == 5) {\n          if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }" if (parenthesized_expression "(psVar5->iColumn != 4)" ( (binary_expression "psVar5->iColumn != 4" (field_expression "psVar5->iColumn" identifier -> field_identifier) != number_literal) )) (compound_statement "{\n        if (psVar5->iColumn == 5) {\n          if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }" { (if_statement "if (psVar5->iColumn == 5) {\n          if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }" if (parenthesized_expression "(psVar5->iColumn == 5)" ( (binary_expression "psVar5->iColumn == 5" (field_expression "psVar5->iColumn" identifier -> field_identifier) == number_literal) )) (compound_statement "{\n          if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }" { (if_statement "if (psVar5->usable == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }" if (parenthesized_expression "(psVar5->usable == '\0')" ( (binary_expression "psVar5->usable == '\0'" (field_expression "psVar5->usable" identifier -> field_identifier) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }" { (if_statement "if (local_18 == -1) {\n              bVar2 = true;\n            }" if (parenthesized_expression "(local_18 == -1)" ( (binary_expression "local_18 == -1" identifier == number_literal) )) (compound_statement "{\n              bVar2 = true;\n            }" { (expression_statement "bVar2 = true;" (assignment_expression "bVar2 = true" identifier = true) ;) })) }) (else_clause "else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }" else (compound_statement "{\n            bVar2 = false;\n            local_18 = iVar4;\n          }" { (expression_statement "bVar2 = false;" (assignment_expression "bVar2 = false" identifier = false) ;) (expression_statement "local_18 = iVar4;" (assignment_expression "local_18 = iVar4" identifier = identifier) ;) }))) })) (goto_statement "goto LAB_0001afb0;" goto statement_identifier ;) })) (if_statement "if (psVar5->usable != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }" if (parenthesized_expression "(psVar5->usable != '\0')" ( (binary_expression "psVar5->usable != '\0'" (field_expression "psVar5->usable" identifier -> field_identifier) != (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }" { (expression_statement "bVar3 = false;" (assignment_expression "bVar3 = false" identifier = false) ;) (expression_statement "local_1c = iVar4;" (assignment_expression "local_1c = iVar4" identifier = identifier) ;) (goto_statement "goto LAB_0001afb0;" goto statement_identifier ;) })) (if_statement "if (local_1c == -1) {\n        bVar3 = true;\n      }" if (parenthesized_expression "(local_1c == -1)" ( (binary_expression "local_1c == -1" identifier == number_literal) )) (compound_statement "{\n        bVar3 = true;\n      }" { (expression_statement "bVar3 = true;" (assignment_expression "bVar3 = true" identifier = true) ;) })) (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (expression_statement "psVar5 = psVar5 + 1;" (assignment_expression "psVar5 = psVar5 + 1" identifier = (binary_expression "psVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar4 != iVar1)" ( (binary_expression "iVar4 != iVar1" identifier != identifier) )) ;) (labeled_statement "LAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }" statement_identifier : (if_statement "if (bVar2 || bVar3) {\n      return 0x13;\n    }" if (parenthesized_expression "(bVar2 || bVar3)" ( (binary_expression "bVar2 || bVar3" identifier || identifier) )) (compound_statement "{\n      return 0x13;\n    }" { (return_statement "return 0x13;" return number_literal ;) }))) (if_statement "if (local_1c != -1) {\n      pIdxInfo->aConstraintUsage[local_1c].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_1c].argvIndex = 1;\n      if (local_18 == -1) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost = (double)DAT_0011f620;\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[local_18].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_18].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost = (double)DAT_0011f61c;\n      return 0;\n    }" if (parenthesized_expression "(local_1c != -1)" ( (binary_expression "local_1c != -1" identifier != number_literal) )) (compound_statement "{\n      pIdxInfo->aConstraintUsage[local_1c].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_1c].argvIndex = 1;\n      if (local_18 == -1) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost = (double)DAT_0011f620;\n        return 0;\n      }\n      pIdxInfo->aConstraintUsage[local_18].omit = '\x01';\n      pIdxInfo->aConstraintUsage[local_18].argvIndex = 2;\n      pIdxInfo->idxNum = 2;\n      pIdxInfo->estimatedCost = (double)DAT_0011f61c;\n      return 0;\n    }" { (expression_statement "pIdxInfo->aConstraintUsage[local_1c].omit = '\x01';" (assignment_expression "pIdxInfo->aConstraintUsage[local_1c].omit = '\x01'" (field_expression "pIdxInfo->aConstraintUsage[local_1c].omit" (subscript_expression "pIdxInfo->aConstraintUsage[local_1c]" (field_expression "pIdxInfo->aConstraintUsage" identifier -> field_identifier) [ identifier ]) . field_identifier) = (char_literal "'\x01'" ' escape_sequence ')) ;) (expression_statement "pIdxInfo->aConstraintUsage[local_1c].argvIndex = 1;" (assignment_expression "pIdxInfo->aConstraintUsage[local_1c].argvIndex = 1" (field_expression "pIdxInfo->aConstraintUsage[local_1c].argvIndex" (subscript_expression "pIdxInfo->aConstraintUsage[local_1c]" (field_expression "pIdxInfo->aConstraintUsage" identifier -> field_identifier) [ identifier ]) . field_identifier) = number_literal) ;) (if_statement "if (local_18 == -1) {\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost = (double)DAT_0011f620;\n        return 0;\n      }" if (parenthesized_expression "(local_18 == -1)" ( (binary_expression "local_18 == -1" identifier == number_literal) )) (compound_statement "{\n        pIdxInfo->idxNum = 1;\n        pIdxInfo->estimatedCost = (double)DAT_0011f620;\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 = (double)DAT_0011f620;" (assignment_expression "pIdxInfo->estimatedCost = (double)DAT_0011f620" (field_expression "pIdxInfo->estimatedCost" identifier -> field_identifier) = (cast_expression "(double)DAT_0011f620" ( (type_descriptor "double" primitive_type) ) identifier)) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "pIdxInfo->aConstraintUsage[local_18].omit = '\x01';" (assignment_expression "pIdxInfo->aConstraintUsage[local_18].omit = '\x01'" (field_expression "pIdxInfo->aConstraintUsage[local_18].omit" (subscript_expression "pIdxInfo->aConstraintUsage[local_18]" (field_expression "pIdxInfo->aConstraintUsage" identifier -> field_identifier) [ identifier ]) . field_identifier) = (char_literal "'\x01'" ' escape_sequence ')) ;) (expression_statement "pIdxInfo->aConstraintUsage[local_18].argvIndex = 2;" (assignment_expression "pIdxInfo->aConstraintUsage[local_18].argvIndex = 2" (field_expression "pIdxInfo->aConstraintUsage[local_18].argvIndex" (subscript_expression "pIdxInfo->aConstraintUsage[local_18]" (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 = (double)DAT_0011f61c;" (assignment_expression "pIdxInfo->estimatedCost = (double)DAT_0011f61c" (field_expression "pIdxInfo->estimatedCost" identifier -> field_identifier) = (cast_expression "(double)DAT_0011f61c" ( (type_descriptor "double" primitive_type) ) identifier)) ;) (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 *)&pIdxInfo->estimatedRows = 0x7fffffff;" (assignment_expression "*(undefined4 *)&pIdxInfo->estimatedRows = 0x7fffffff" (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) ;) (expression_statement "*(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 0;" (assignment_expression "*(undefined4 *)((int)&pIdxInfo->estimatedRows + 4) = 0" (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) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "undefined4 FUN_0001af50(undefined4 param_1,int *param_2)\n\n{\n  int iVar1;\n  bool bVar2;\n  bool bVar3;\n  int iVar4;\n  int *piVar5;\n  int local_1c;\n  int local_18;\n  \n  iVar1 = *param_2;\n  piVar5 = (int *)param_2[1];\n  if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xb] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}\n\n" (function_definition "undefined4 FUN_0001af50(undefined4 param_1,int *param_2)\n\n{\n  int iVar1;\n  bool bVar2;\n  bool bVar3;\n  int iVar4;\n  int *piVar5;\n  int local_1c;\n  int local_18;\n  \n  iVar1 = *param_2;\n  piVar5 = (int *)param_2[1];\n  if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xb] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" type_identifier (function_declarator "FUN_0001af50(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  int iVar1;\n  bool bVar2;\n  bool bVar3;\n  int iVar4;\n  int *piVar5;\n  int local_1c;\n  int local_18;\n  \n  iVar1 = *param_2;\n  piVar5 = (int *)param_2[1];\n  if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xb] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (declaration "bool bVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (declaration "int local_1c;" primitive_type identifier ;) (declaration "int local_18;" primitive_type identifier ;) (expression_statement "iVar1 = *param_2;" (assignment_expression "iVar1 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "piVar5 = (int *)param_2[1];" (assignment_expression "piVar5 = (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 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }" if (parenthesized_expression "(0 < iVar1)" ( (binary_expression "0 < iVar1" number_literal < identifier) )) (compound_statement "{\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }" { (expression_statement "bVar2 = false;" (assignment_expression "bVar2 = false" identifier = false) ;) (expression_statement "bVar3 = false;" (assignment_expression "bVar3 = false" identifier = false) ;) (expression_statement "local_18 = -1;" (assignment_expression "local_18 = -1" identifier = number_literal) ;) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" identifier = number_literal) ;) (expression_statement "local_1c = -1;" (assignment_expression "local_1c = -1" identifier = number_literal) ;) (do_statement "do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);" do (compound_statement "{\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    }" { (while_statement "while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }" while (parenthesized_expression "((char)piVar5[1] != '\x02')" ( (binary_expression "(char)piVar5[1] != '\x02'" (cast_expression "(char)piVar5[1]" ( (type_descriptor "char" primitive_type) ) (subscript_expression "piVar5[1]" identifier [ number_literal ])) != (char_literal "'\x02'" ' escape_sequence ')) )) (compound_statement "{\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }" { (labeled_statement "LAB_0001afb0:\n        iVar4 = iVar4 + 1;" statement_identifier : (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;)) (expression_statement "piVar5 = piVar5 + 3;" (assignment_expression "piVar5 = piVar5 + 3" identifier = (binary_expression "piVar5 + 3" identifier + number_literal)) ;) (if_statement "if (iVar4 == iVar1) goto LAB_0001aff0;" if (parenthesized_expression "(iVar4 == iVar1)" ( (binary_expression "iVar4 == iVar1" identifier == identifier) )) (goto_statement "goto LAB_0001aff0;" goto statement_identifier ;)) })) (if_statement "if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }" if (parenthesized_expression "(*piVar5 != 4)" ( (binary_expression "*piVar5 != 4" (pointer_expression "*piVar5" * identifier) != number_literal) )) (compound_statement "{\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }" { (if_statement "if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }" if (parenthesized_expression "(*piVar5 == 5)" ( (binary_expression "*piVar5 == 5" (pointer_expression "*piVar5" * identifier) == number_literal) )) (compound_statement "{\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }" { (if_statement "if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }" if (parenthesized_expression "(*(char *)((int)piVar5 + 5) == '\0')" ( (binary_expression "*(char *)((int)piVar5 + 5) == '\0'" (pointer_expression "*(char *)((int)piVar5 + 5)" * (cast_expression "(char *)((int)piVar5 + 5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)piVar5 + 5)" ( (binary_expression "(int)piVar5 + 5" (cast_expression "(int)piVar5" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }" { (if_statement "if (local_18 == -1) {\n              bVar2 = true;\n            }" if (parenthesized_expression "(local_18 == -1)" ( (binary_expression "local_18 == -1" identifier == number_literal) )) (compound_statement "{\n              bVar2 = true;\n            }" { (expression_statement "bVar2 = true;" (assignment_expression "bVar2 = true" identifier = true) ;) })) }) (else_clause "else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }" else (compound_statement "{\n            bVar2 = false;\n            local_18 = iVar4;\n          }" { (expression_statement "bVar2 = false;" (assignment_expression "bVar2 = false" identifier = false) ;) (expression_statement "local_18 = iVar4;" (assignment_expression "local_18 = iVar4" identifier = identifier) ;) }))) })) (goto_statement "goto LAB_0001afb0;" goto statement_identifier ;) })) (if_statement "if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }" if (parenthesized_expression "(*(char *)((int)piVar5 + 5) != '\0')" ( (binary_expression "*(char *)((int)piVar5 + 5) != '\0'" (pointer_expression "*(char *)((int)piVar5 + 5)" * (cast_expression "(char *)((int)piVar5 + 5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)piVar5 + 5)" ( (binary_expression "(int)piVar5 + 5" (cast_expression "(int)piVar5" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) != (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }" { (expression_statement "bVar3 = false;" (assignment_expression "bVar3 = false" identifier = false) ;) (expression_statement "local_1c = iVar4;" (assignment_expression "local_1c = iVar4" identifier = identifier) ;) (goto_statement "goto LAB_0001afb0;" goto statement_identifier ;) })) (if_statement "if (local_1c == -1) {\n        bVar3 = true;\n      }" if (parenthesized_expression "(local_1c == -1)" ( (binary_expression "local_1c == -1" identifier == number_literal) )) (compound_statement "{\n        bVar3 = true;\n      }" { (expression_statement "bVar3 = true;" (assignment_expression "bVar3 = true" identifier = true) ;) })) (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" identifier = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (expression_statement "piVar5 = piVar5 + 3;" (assignment_expression "piVar5 = piVar5 + 3" identifier = (binary_expression "piVar5 + 3" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar4 != iVar1)" ( (binary_expression "iVar4 != iVar1" identifier != identifier) )) ;) (labeled_statement "LAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }" statement_identifier : (if_statement "if (bVar2 || bVar3) {\n      return 0x13;\n    }" if (parenthesized_expression "(bVar2 || bVar3)" ( (binary_expression "bVar2 || bVar3" identifier || identifier) )) (compound_statement "{\n      return 0x13;\n    }" { (return_statement "return 0x13;" return number_literal ;) }))) (if_statement "if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }" if (parenthesized_expression "(local_1c != -1)" ( (binary_expression "local_1c != -1" identifier != number_literal) )) (compound_statement "{\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }" { (expression_statement "*(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + 4 + local_1c * 8)" * (cast_expression "(undefined1 *)(param_2[4] + 4 + local_1c * 8)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + 4 + local_1c * 8)" ( (binary_expression "param_2[4] + 4 + local_1c * 8" (binary_expression "param_2[4] + 4" (subscript_expression "param_2[4]" identifier [ number_literal ]) + number_literal) + (binary_expression "local_1c * 8" identifier * number_literal)) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_2[4] + local_1c * 8) = 1;" (assignment_expression "*(undefined4 *)(param_2[4] + local_1c * 8) = 1" (pointer_expression "*(undefined4 *)(param_2[4] + local_1c * 8)" * (cast_expression "(undefined4 *)(param_2[4] + local_1c * 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + local_1c * 8)" ( (binary_expression "param_2[4] + local_1c * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "local_1c * 8" identifier * number_literal)) )))) = number_literal) ;) (if_statement "if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }" if (parenthesized_expression "(local_18 == -1)" ( (binary_expression "local_18 == -1" identifier == number_literal) )) (compound_statement "{\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\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 "*(double *)(param_2 + 9) = (double)DAT_0011f620;" (assignment_expression "*(double *)(param_2 + 9) = (double)DAT_0011f620" (pointer_expression "*(double *)(param_2 + 9)" * (cast_expression "(double *)(param_2 + 9)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 9)" ( (binary_expression "param_2 + 9" identifier + number_literal) )))) = (cast_expression "(double)DAT_0011f620" ( (type_descriptor "double" primitive_type) ) identifier)) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "*(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + 4 + local_18 * 8)" * (cast_expression "(undefined1 *)(param_2[4] + 4 + local_18 * 8)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + 4 + local_18 * 8)" ( (binary_expression "param_2[4] + 4 + local_18 * 8" (binary_expression "param_2[4] + 4" (subscript_expression "param_2[4]" identifier [ number_literal ]) + number_literal) + (binary_expression "local_18 * 8" identifier * number_literal)) )))) = number_literal) ;) (expression_statement "*(undefined4 *)(param_2[4] + local_18 * 8) = 2;" (assignment_expression "*(undefined4 *)(param_2[4] + local_18 * 8) = 2" (pointer_expression "*(undefined4 *)(param_2[4] + local_18 * 8)" * (cast_expression "(undefined4 *)(param_2[4] + local_18 * 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[4] + local_18 * 8)" ( (binary_expression "param_2[4] + local_18 * 8" (subscript_expression "param_2[4]" identifier [ number_literal ]) + (binary_expression "local_18 * 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 "*(double *)(param_2 + 9) = (double)DAT_0011f61c;" (assignment_expression "*(double *)(param_2 + 9) = (double)DAT_0011f61c" (pointer_expression "*(double *)(param_2 + 9)" * (cast_expression "(double *)(param_2 + 9)" ( (type_descriptor "double *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 9)" ( (binary_expression "param_2 + 9" identifier + number_literal) )))) = (cast_expression "(double)DAT_0011f61c" ( (type_descriptor "double" primitive_type) ) identifier)) ;) (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[0xb] = 0x7fffffff;" (assignment_expression "param_2[0xb] = 0x7fffffff" (subscript_expression "param_2[0xb]" 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 IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * 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 < 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 { (while_statement while (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) != (char_literal ' escape_sequence ')) )) (compound_statement { (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (goto_statement goto statement_identifier ;)) })) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) != LIT) )) (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) ;) }))) })) (goto_statement goto statement_identifier ;) })) (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 { (expression_statement (assignment_expression IDENT = BOOL) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (goto_statement goto statement_identifier ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = BOOL) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != IDENT) )) ;) (labeled_statement statement_identifier : (if_statement if (parenthesized_expression ( (binary_expression IDENT || IDENT) )) (compound_statement { (return_statement return LIT ;) }))) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (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 ]) + LIT) + (binary_expression IDENT * 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) )))) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (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 ]) + LIT) + (binary_expression IDENT * 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) )))) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (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_0001af50(undefined4 param_1,int *param_2)\n\n{\n  int iVar1;\n  bool bVar2;\n  bool bVar3;\n  int iVar4;\n  int *piVar5;\n  int local_1c;\n  int local_18;\n  \n  iVar1 = *param_2;\n  piVar5 = (int *)param_2[1];\n  if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xb] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" (type_identifier "undefined4") (function_declarator "FUN_0001af50(undefined4 param_1,int *param_2)" (identifier "FUN_0001af50") (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  int iVar1;\n  bool bVar2;\n  bool bVar3;\n  int iVar4;\n  int *piVar5;\n  int local_1c;\n  int local_18;\n  \n  iVar1 = *param_2;\n  piVar5 = (int *)param_2[1];\n  if (0 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }\n  param_2[5] = 0;\n  param_2[0xb] = 0x7fffffff;\n  param_2[0xc] = 0;\n  return 0;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "bool bVar2;" (primitive_type "bool") (identifier "bVar2") (; ";")) (declaration "bool bVar3;" (primitive_type "bool") (identifier "bVar3") (; ";")) (declaration "int iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (declaration "int *piVar5;" (primitive_type "int") (pointer_declarator "*piVar5" (* "*") (identifier "piVar5")) (; ";")) (declaration "int local_1c;" (primitive_type "int") (identifier "local_1c") (; ";")) (declaration "int local_18;" (primitive_type "int") (identifier "local_18") (; ";")) (expression_statement "iVar1 = *param_2;" (assignment_expression "iVar1 = *param_2" (identifier "iVar1") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "piVar5 = (int *)param_2[1];" (assignment_expression "piVar5 = (int *)param_2[1]" (identifier "piVar5") (= "=") (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 < iVar1) {\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }" (if "if") (parenthesized_expression "(0 < iVar1)" (( "(") (binary_expression "0 < iVar1" (number_literal "0") (< "<") (identifier "iVar1")) () ")")) (compound_statement "{\n    bVar2 = false;\n    bVar3 = false;\n    local_18 = -1;\n    iVar4 = 0;\n    local_1c = -1;\n    do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);\nLAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }\n    if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }\n  }" ({ "{") (expression_statement "bVar2 = false;" (assignment_expression "bVar2 = false" (identifier "bVar2") (= "=") (false "false")) (; ";")) (expression_statement "bVar3 = false;" (assignment_expression "bVar3 = false" (identifier "bVar3") (= "=") (false "false")) (; ";")) (expression_statement "local_18 = -1;" (assignment_expression "local_18 = -1" (identifier "local_18") (= "=") (number_literal "-1")) (; ";")) (expression_statement "iVar4 = 0;" (assignment_expression "iVar4 = 0" (identifier "iVar4") (= "=") (number_literal "0")) (; ";")) (expression_statement "local_1c = -1;" (assignment_expression "local_1c = -1" (identifier "local_1c") (= "=") (number_literal "-1")) (; ";")) (do_statement "do {\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    } while (iVar4 != iVar1);" (do "do") (compound_statement "{\n      while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }\n      if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }\n      if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }\n      if (local_1c == -1) {\n        bVar3 = true;\n      }\n      iVar4 = iVar4 + 1;\n      piVar5 = piVar5 + 3;\n    }" ({ "{") (while_statement "while ((char)piVar5[1] != '\x02') {\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }" (while "while") (parenthesized_expression "((char)piVar5[1] != '\x02')" (( "(") (binary_expression "(char)piVar5[1] != '\x02'" (cast_expression "(char)piVar5[1]" (( "(") (type_descriptor "char" (primitive_type "char")) () ")") (subscript_expression "piVar5[1]" (identifier "piVar5") ([ "[") (number_literal "1") (] "]"))) (!= "!=") (char_literal "'\x02'" (' "'") (escape_sequence "\x02") (' "'"))) () ")")) (compound_statement "{\nLAB_0001afb0:\n        iVar4 = iVar4 + 1;\n        piVar5 = piVar5 + 3;\n        if (iVar4 == iVar1) goto LAB_0001aff0;\n      }" ({ "{") (labeled_statement "LAB_0001afb0:\n        iVar4 = iVar4 + 1;" (statement_identifier "LAB_0001afb0") (: ":") (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" (identifier "iVar4") (= "=") (binary_expression "iVar4 + 1" (identifier "iVar4") (+ "+") (number_literal "1"))) (; ";"))) (expression_statement "piVar5 = piVar5 + 3;" (assignment_expression "piVar5 = piVar5 + 3" (identifier "piVar5") (= "=") (binary_expression "piVar5 + 3" (identifier "piVar5") (+ "+") (number_literal "3"))) (; ";")) (if_statement "if (iVar4 == iVar1) goto LAB_0001aff0;" (if "if") (parenthesized_expression "(iVar4 == iVar1)" (( "(") (binary_expression "iVar4 == iVar1" (identifier "iVar4") (== "==") (identifier "iVar1")) () ")")) (goto_statement "goto LAB_0001aff0;" (goto "goto") (statement_identifier "LAB_0001aff0") (; ";"))) (} "}"))) (if_statement "if (*piVar5 != 4) {\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }" (if "if") (parenthesized_expression "(*piVar5 != 4)" (( "(") (binary_expression "*piVar5 != 4" (pointer_expression "*piVar5" (* "*") (identifier "piVar5")) (!= "!=") (number_literal "4")) () ")")) (compound_statement "{\n        if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }\n        goto LAB_0001afb0;\n      }" ({ "{") (if_statement "if (*piVar5 == 5) {\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }" (if "if") (parenthesized_expression "(*piVar5 == 5)" (( "(") (binary_expression "*piVar5 == 5" (pointer_expression "*piVar5" (* "*") (identifier "piVar5")) (== "==") (number_literal "5")) () ")")) (compound_statement "{\n          if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }\n        }" ({ "{") (if_statement "if (*(char *)((int)piVar5 + 5) == '\0') {\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }\n          else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }" (if "if") (parenthesized_expression "(*(char *)((int)piVar5 + 5) == '\0')" (( "(") (binary_expression "*(char *)((int)piVar5 + 5) == '\0'" (pointer_expression "*(char *)((int)piVar5 + 5)" (* "*") (cast_expression "(char *)((int)piVar5 + 5)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)piVar5 + 5)" (( "(") (binary_expression "(int)piVar5 + 5" (cast_expression "(int)piVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "piVar5")) (+ "+") (number_literal "5")) () ")")))) (== "==") (char_literal "'\0'" (' "'") (escape_sequence "\0") (' "'"))) () ")")) (compound_statement "{\n            if (local_18 == -1) {\n              bVar2 = true;\n            }\n          }" ({ "{") (if_statement "if (local_18 == -1) {\n              bVar2 = true;\n            }" (if "if") (parenthesized_expression "(local_18 == -1)" (( "(") (binary_expression "local_18 == -1" (identifier "local_18") (== "==") (number_literal "-1")) () ")")) (compound_statement "{\n              bVar2 = true;\n            }" ({ "{") (expression_statement "bVar2 = true;" (assignment_expression "bVar2 = true" (identifier "bVar2") (= "=") (true "true")) (; ";")) (} "}"))) (} "}")) (else_clause "else {\n            bVar2 = false;\n            local_18 = iVar4;\n          }" (else "else") (compound_statement "{\n            bVar2 = false;\n            local_18 = iVar4;\n          }" ({ "{") (expression_statement "bVar2 = false;" (assignment_expression "bVar2 = false" (identifier "bVar2") (= "=") (false "false")) (; ";")) (expression_statement "local_18 = iVar4;" (assignment_expression "local_18 = iVar4" (identifier "local_18") (= "=") (identifier "iVar4")) (; ";")) (} "}")))) (} "}"))) (goto_statement "goto LAB_0001afb0;" (goto "goto") (statement_identifier "LAB_0001afb0") (; ";")) (} "}"))) (if_statement "if (*(char *)((int)piVar5 + 5) != '\0') {\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }" (if "if") (parenthesized_expression "(*(char *)((int)piVar5 + 5) != '\0')" (( "(") (binary_expression "*(char *)((int)piVar5 + 5) != '\0'" (pointer_expression "*(char *)((int)piVar5 + 5)" (* "*") (cast_expression "(char *)((int)piVar5 + 5)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)piVar5 + 5)" (( "(") (binary_expression "(int)piVar5 + 5" (cast_expression "(int)piVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "piVar5")) (+ "+") (number_literal "5")) () ")")))) (!= "!=") (char_literal "'\0'" (' "'") (escape_sequence "\0") (' "'"))) () ")")) (compound_statement "{\n        bVar3 = false;\n        local_1c = iVar4;\n        goto LAB_0001afb0;\n      }" ({ "{") (expression_statement "bVar3 = false;" (assignment_expression "bVar3 = false" (identifier "bVar3") (= "=") (false "false")) (; ";")) (expression_statement "local_1c = iVar4;" (assignment_expression "local_1c = iVar4" (identifier "local_1c") (= "=") (identifier "iVar4")) (; ";")) (goto_statement "goto LAB_0001afb0;" (goto "goto") (statement_identifier "LAB_0001afb0") (; ";")) (} "}"))) (if_statement "if (local_1c == -1) {\n        bVar3 = true;\n      }" (if "if") (parenthesized_expression "(local_1c == -1)" (( "(") (binary_expression "local_1c == -1" (identifier "local_1c") (== "==") (number_literal "-1")) () ")")) (compound_statement "{\n        bVar3 = true;\n      }" ({ "{") (expression_statement "bVar3 = true;" (assignment_expression "bVar3 = true" (identifier "bVar3") (= "=") (true "true")) (; ";")) (} "}"))) (expression_statement "iVar4 = iVar4 + 1;" (assignment_expression "iVar4 = iVar4 + 1" (identifier "iVar4") (= "=") (binary_expression "iVar4 + 1" (identifier "iVar4") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "piVar5 = piVar5 + 3;" (assignment_expression "piVar5 = piVar5 + 3" (identifier "piVar5") (= "=") (binary_expression "piVar5 + 3" (identifier "piVar5") (+ "+") (number_literal "3"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar4 != iVar1)" (( "(") (binary_expression "iVar4 != iVar1" (identifier "iVar4") (!= "!=") (identifier "iVar1")) () ")")) (; ";")) (labeled_statement "LAB_0001aff0:\n    if (bVar2 || bVar3) {\n      return 0x13;\n    }" (statement_identifier "LAB_0001aff0") (: ":") (if_statement "if (bVar2 || bVar3) {\n      return 0x13;\n    }" (if "if") (parenthesized_expression "(bVar2 || bVar3)" (( "(") (binary_expression "bVar2 || bVar3" (identifier "bVar2") (|| "||") (identifier "bVar3")) () ")")) (compound_statement "{\n      return 0x13;\n    }" ({ "{") (return_statement "return 0x13;" (return "return") (number_literal "0x13") (; ";")) (} "}")))) (if_statement "if (local_1c != -1) {\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }" (if "if") (parenthesized_expression "(local_1c != -1)" (( "(") (binary_expression "local_1c != -1" (identifier "local_1c") (!= "!=") (number_literal "-1")) () ")")) (compound_statement "{\n      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;\n      if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }\n      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;\n      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;\n      param_2[5] = 2;\n      *(double *)(param_2 + 9) = (double)DAT_0011f61c;\n      return 0;\n    }" ({ "{") (expression_statement "*(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + 4 + local_1c * 8)" (* "*") (cast_expression "(undefined1 *)(param_2[4] + 4 + local_1c * 8)" (( "(") (type_descriptor "undefined1 *" (type_identifier "undefined1") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2[4] + 4 + local_1c * 8)" (( "(") (binary_expression "param_2[4] + 4 + local_1c * 8" (binary_expression "param_2[4] + 4" (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]")) (+ "+") (number_literal "4")) (+ "+") (binary_expression "local_1c * 8" (identifier "local_1c") (* "*") (number_literal "8"))) () ")")))) (= "=") (number_literal "1")) (; ";")) (expression_statement "*(undefined4 *)(param_2[4] + local_1c * 8) = 1;" (assignment_expression "*(undefined4 *)(param_2[4] + local_1c * 8) = 1" (pointer_expression "*(undefined4 *)(param_2[4] + local_1c * 8)" (* "*") (cast_expression "(undefined4 *)(param_2[4] + local_1c * 8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2[4] + local_1c * 8)" (( "(") (binary_expression "param_2[4] + local_1c * 8" (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]")) (+ "+") (binary_expression "local_1c * 8" (identifier "local_1c") (* "*") (number_literal "8"))) () ")")))) (= "=") (number_literal "1")) (; ";")) (if_statement "if (local_18 == -1) {\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\n        return 0;\n      }" (if "if") (parenthesized_expression "(local_18 == -1)" (( "(") (binary_expression "local_18 == -1" (identifier "local_18") (== "==") (number_literal "-1")) () ")")) (compound_statement "{\n        param_2[5] = 1;\n        *(double *)(param_2 + 9) = (double)DAT_0011f620;\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 "*(double *)(param_2 + 9) = (double)DAT_0011f620;" (assignment_expression "*(double *)(param_2 + 9) = (double)DAT_0011f620" (pointer_expression "*(double *)(param_2 + 9)" (* "*") (cast_expression "(double *)(param_2 + 9)" (( "(") (type_descriptor "double *" (primitive_type "double") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 9)" (( "(") (binary_expression "param_2 + 9" (identifier "param_2") (+ "+") (number_literal "9")) () ")")))) (= "=") (cast_expression "(double)DAT_0011f620" (( "(") (type_descriptor "double" (primitive_type "double")) () ")") (identifier "DAT_0011f620"))) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "*(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;" (assignment_expression "*(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1" (pointer_expression "*(undefined1 *)(param_2[4] + 4 + local_18 * 8)" (* "*") (cast_expression "(undefined1 *)(param_2[4] + 4 + local_18 * 8)" (( "(") (type_descriptor "undefined1 *" (type_identifier "undefined1") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2[4] + 4 + local_18 * 8)" (( "(") (binary_expression "param_2[4] + 4 + local_18 * 8" (binary_expression "param_2[4] + 4" (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]")) (+ "+") (number_literal "4")) (+ "+") (binary_expression "local_18 * 8" (identifier "local_18") (* "*") (number_literal "8"))) () ")")))) (= "=") (number_literal "1")) (; ";")) (expression_statement "*(undefined4 *)(param_2[4] + local_18 * 8) = 2;" (assignment_expression "*(undefined4 *)(param_2[4] + local_18 * 8) = 2" (pointer_expression "*(undefined4 *)(param_2[4] + local_18 * 8)" (* "*") (cast_expression "(undefined4 *)(param_2[4] + local_18 * 8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2[4] + local_18 * 8)" (( "(") (binary_expression "param_2[4] + local_18 * 8" (subscript_expression "param_2[4]" (identifier "param_2") ([ "[") (number_literal "4") (] "]")) (+ "+") (binary_expression "local_18 * 8" (identifier "local_18") (* "*") (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 "*(double *)(param_2 + 9) = (double)DAT_0011f61c;" (assignment_expression "*(double *)(param_2 + 9) = (double)DAT_0011f61c" (pointer_expression "*(double *)(param_2 + 9)" (* "*") (cast_expression "(double *)(param_2 + 9)" (( "(") (type_descriptor "double *" (primitive_type "double") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 9)" (( "(") (binary_expression "param_2 + 9" (identifier "param_2") (+ "+") (number_literal "9")) () ")")))) (= "=") (cast_expression "(double)DAT_0011f61c" (( "(") (type_descriptor "double" (primitive_type "double")) () ")") (identifier "DAT_0011f61c"))) (; ";")) (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[0xb] = 0x7fffffff;" (assignment_expression "param_2[0xb] = 0x7fffffff" (subscript_expression "param_2[0xb]" (identifier "param_2") ([ "[") (number_literal "0xb") (] "]")) (= "=") (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") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */
/* WARNING: Unknown calling convention */

int function_1(type_1 *tab,type_2 *pIdxInfo)

{
  int var_1;
  bool var_6;
  bool var_7;
  int var_2;
  type_3 *var_3;
  int var_5;
  int var_4;
  
  var_1 = pIdxInfo->nConstraint;
  var_3 = pIdxInfo->aConstraint;
  if (0 < var_1) {
    var_6 = false;
    var_7 = false;
    var_4 = -1;
    var_2 = 0;
    var_5 = -1;
    do {
      while (var_3->op != '\x02') {
LAB_0001afb0:
        var_2 = var_2 + 1;
        var_3 = var_3 + 1;
        if (var_2 == var_1) goto LAB_0001aff0;
      }
      if (var_3->iColumn != 4) {
        if (var_3->iColumn == 5) {
          if (var_3->usable == '\0') {
            if (var_4 == -1) {
              var_6 = true;
            }
          }
          else {
            var_6 = false;
            var_4 = var_2;
          }
        }
        goto LAB_0001afb0;
      }
      if (var_3->usable != '\0') {
        var_7 = false;
        var_5 = var_2;
        goto LAB_0001afb0;
      }
      if (var_5 == -1) {
        var_7 = true;
      }
      var_2 = var_2 + 1;
      var_3 = var_3 + 1;
    } while (var_2 != var_1);
LAB_0001aff0:
    if (var_6 || var_7) {
      return 0x13;
    }
    if (var_5 != -1) {
      pIdxInfo->aConstraintUsage[var_5].omit = '\x01';
      pIdxInfo->aConstraintUsage[var_5].argvIndex = 1;
      if (var_4 == -1) {
        pIdxInfo->idxNum = 1;
        pIdxInfo->estimatedCost = (double)DAT_0011f620;
        return 0;
      }
      pIdxInfo->aConstraintUsage[var_4].omit = '\x01';
      pIdxInfo->aConstraintUsage[var_4].argvIndex = 2;
      pIdxInfo->idxNum = 2;
      pIdxInfo->estimatedCost = (double)DAT_0011f61c;
      return 0;
    }
  }
  pIdxInfo->idxNum = 0;
  *(type_4 *)&pIdxInfo->estimatedRows = 0x7fffffff;
  *(type_4 *)((int)&pIdxInfo->estimatedRows + 4) = 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: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (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)) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (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: (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 (while_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (char_literal (escape_sequence)))) body: (compound_statement (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (goto_statement label: (statement_identifier))))) (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: (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)))))))) (goto_statement label: (statement_identifier)))) (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 (expression_statement (assignment_expression left: (identifier) right: (false))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (goto_statement label: (statement_identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (true))))) (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: (identifier)))) (labeled_statement label: (statement_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: (identifier) right: (number_literal))) 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: (number_literal)) right: (binary_expression left: (identifier) 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: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) (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: (number_literal)) right: (binary_expression left: (identifier) 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: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) (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)))))

/* WARNING: Function: __i686.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */

undefined4 MASKED(undefined4 param_1,int *param_2)

{
  int iVar1;
  bool bVar2;
  bool bVar3;
  int iVar4;
  int *piVar5;
  int local_1c;
  int local_18;
  
  iVar1 = *param_2;
  piVar5 = (int *)param_2[1];
  if (0 < iVar1) {
    bVar2 = false;
    bVar3 = false;
    local_18 = -1;
    iVar4 = 0;
    local_1c = -1;
    do {
      while ((char)piVar5[1] != '\x02') {
LAB_0001afb0:
        iVar4 = iVar4 + 1;
        piVar5 = piVar5 + 3;
        if (iVar4 == iVar1) goto LAB_0001aff0;
      }
      if (*piVar5 != 4) {
        if (*piVar5 == 5) {
          if (*(char *)((int)piVar5 + 5) == '\0') {
            if (local_18 == -1) {
              bVar2 = true;
            }
          }
          else {
            bVar2 = false;
            local_18 = iVar4;
          }
        }
        goto LAB_0001afb0;
      }
      if (*(char *)((int)piVar5 + 5) != '\0') {
        bVar3 = false;
        local_1c = iVar4;
        goto LAB_0001afb0;
      }
      if (local_1c == -1) {
        bVar3 = true;
      }
      iVar4 = iVar4 + 1;
      piVar5 = piVar5 + 3;
    } while (iVar4 != iVar1);
LAB_0001aff0:
    if (bVar2 || bVar3) {
      return 0x13;
    }
    if (local_1c != -1) {
      *(undefined1 *)(param_2[4] + 4 + local_1c * 8) = 1;
      *(undefined4 *)(param_2[4] + local_1c * 8) = 1;
      if (local_18 == -1) {
        param_2[5] = 1;
        *(double *)(param_2 + 9) = (double)DAT_0011f620;
        return 0;
      }
      *(undefined1 *)(param_2[4] + 4 + local_18 * 8) = 1;
      *(undefined4 *)(param_2[4] + local_18 * 8) = 2;
      param_2[5] = 2;
      *(double *)(param_2 + 9) = (double)DAT_0011f61c;
      return 0;
    }
  }
  param_2[5] = 0;
  param_2[0xb] = 0x7fffffff;
  param_2[0xc] = 0;
  return 0;
}

