
void jsonArrayCompute(sqlite3_context *ctx,int isFinal)

{
  JsonString *p;
  undefined *UNRECOVERED_JUMPTABLE;
  uint uVar1;
  int iVar2;
  uint uVar3;
  undefined4 uVar4;
  
  p = (JsonString *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(ctx,0);
  if (p == (JsonString *)0x0) {
    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,PTR_DAT_0015b5fc + -0x7d84,2,0);
                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);
    return;
  }
  p->pCtx = ctx;
  jsonAppendChar(p,']');
  if (p->bErr == '\0') {
    uVar4 = (undefined4)p->nUsed;
    if (isFinal == 0) {
      (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,0xffffffff);
      uVar1 = (uint)p->nUsed;
      iVar2 = *(int *)&p->nUsed;
      uVar3 = uVar1 - 1;
      *(uint *)((int)&p->nUsed + 4) = uVar3;
      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;
      *(uint *)&p->nUsed = (uint)(uVar3 < uVar1) + iVar2 + -1;
                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */
                    /* WARNING: Treating indirect jump as call */
      (*(code *)UNRECOVERED_JUMPTABLE)(ctx,0x4a);
      return;
    }
    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;
    if (p->bStatic == '\0') {
      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;
    }
    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,UNRECOVERED_JUMPTABLE);
    p->bStatic = '\x01';
  }
  else if (p->bErr == '\x01') {
    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(ctx);
  }
                    /* WARNING: Could not recover jumptable at 0x0008d814. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);
  return;
}



void FUN_0008d758(undefined4 param_1,int param_2)

{
  undefined4 *puVar1;
  undefined *UNRECOVERED_JUMPTABLE;
  uint uVar2;
  uint uVar3;
  
  puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);
  if (puVar1 == (undefined4 *)0x0) {
    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);
                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);
    return;
  }
  *puVar1 = param_1;
  FUN_0008c3e0(puVar1,0x5d);
  if (*(char *)((int)puVar1 + 0x19) == '\0') {
    if (param_2 == 0) {
      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);
      uVar2 = puVar1[5];
      uVar3 = uVar2 - 1;
      puVar1[5] = uVar3;
      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;
      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;
                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */
                    /* WARNING: Treating indirect jump as call */
      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);
      return;
    }
    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;
    if (*(char *)(puVar1 + 6) == '\0') {
      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;
    }
    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);
    *(undefined1 *)(puVar1 + 6) = 1;
  }
  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {
    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);
  }
                    /* WARNING: Could not recover jumptable at 0x0008d814. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);
  return;
}


lui gp,0xd
addiu gp,gp,0x5e58
addu gp,gp,t9
addiu sp,sp,-0x28
lw t9,-0x7e48(gp)
sw s2,0x20(sp)
or s2,a1,zero
or a1,zero,zero
sw gp,0x10(sp)
sw s1,0x1c(sp)
or s1,a0,zero
sw ra,0x24(sp)
jalr t9
_sw s0,0x18(sp)
beq v0,zero,0x0008d83c
_lw gp,0x10(sp)
lw t9,-0x7e94(gp)
or s0,v0,zero
li a1,0x5d
sw s1,0x0(v0)
addiu t9,t9,-0x3c20
bal 0x0008c3e0
_or a0,v0,zero
lbu v0,0x19(s0)
bne v0,zero,0x0008d81c
_lw gp,0x10(sp)
lw a1,0x4(s0)
beq s2,zero,0x0008d880
_lw a2,0x14(s0)
lbu a3,0x18(s0)
li v0,-0x1
lw v1,-0x7f90(gp)
or a0,s1,zero
lw t9,-0x7f34(gp)
movz v0,v1,a3
jalr t9
_or a3,v0,zero
li v0,0x1
lw gp,0x10(sp)
sb v0,0x18(s0)
lw ra,0x24(sp)
or a0,s1,zero
lw s2,0x20(sp)
li a1,0x4a
lw s1,0x1c(sp)
lw s0,0x18(sp)
lw t9,-0x7d74(gp)
jr t9
_addiu sp,sp,0x28
li v1,0x1
bne v0,v1,0x0008d7fc
_lw ra,0x24(sp)
lw t9,-0x7e2c(gp)
jalr t9
_or a0,s1,zero
b 0x0008d7f8
_lw gp,0x10(sp)
lw a1,-0x7fb4(gp)
or a3,zero,zero
lw t9,-0x7f34(gp)
li a2,0x2
or a0,s1,zero
jalr t9
_addiu a1,a1,-0x7d84
or a0,s1,zero
lw gp,0x10(sp)
li a1,0x4a
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
lw t9,-0x7d74(gp)
jr t9
_addiu sp,sp,0x28
lw t9,-0x7f34(gp)
li a3,-0x1
jalr t9
_or a0,s1,zero
li a1,0x4a
lw v0,0x14(s0)
lw v1,0x10(s0)
lw gp,0x10(sp)
addiu a0,v0,-0x1
addiu v1,v1,-0x1
sltu v0,a0,v0
sw a0,0x14(s0)
addu v0,v0,v1
lw t9,-0x7d74(gp)
or a0,s1,zero
sw v0,0x10(s0)
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr t9
_addiu sp,sp,0x28
(translation_unit "void FUN_0008d758(undefined4 param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  undefined *UNRECOVERED_JUMPTABLE;\n  uint uVar2;\n  uint uVar3;\n  \n  puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);\n  if (puVar1 == (undefined4 *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }\n  *puVar1 = param_1;\n  FUN_0008c3e0(puVar1,0x5d);\n  if (*(char *)((int)puVar1 + 0x19) == '\0') {\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }\n  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }\n                    /* WARNING: Could not recover jumptable at 0x0008d814. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n  return;\n}\n\n" (function_definition "void FUN_0008d758(undefined4 param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  undefined *UNRECOVERED_JUMPTABLE;\n  uint uVar2;\n  uint uVar3;\n  \n  puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);\n  if (puVar1 == (undefined4 *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }\n  *puVar1 = param_1;\n  FUN_0008c3e0(puVar1,0x5d);\n  if (*(char *)((int)puVar1 + 0x19) == '\0') {\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }\n  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }\n                    /* WARNING: Could not recover jumptable at 0x0008d814. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n  return;\n}" primitive_type (function_declarator "FUN_0008d758(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 identifier) ))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined *UNRECOVERED_JUMPTABLE;\n  uint uVar2;\n  uint uVar3;\n  \n  puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);\n  if (puVar1 == (undefined4 *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }\n  *puVar1 = param_1;\n  FUN_0008c3e0(puVar1,0x5d);\n  if (*(char *)((int)puVar1 + 0x19) == '\0') {\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }\n  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }\n                    /* WARNING: Could not recover jumptable at 0x0008d814. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n  return;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined *UNRECOVERED_JUMPTABLE;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (expression_statement "puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);" (assignment_expression "puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0)" identifier = (cast_expression "(undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_aggregate_context_0015b768)" ( (pointer_expression "*(code *)PTR_sqlite3_aggregate_context_0015b768" * (cast_expression "(code *)PTR_sqlite3_aggregate_context_0015b768" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0)" ( identifier , number_literal ))))) ;) (if_statement "if (puVar1 == (undefined4 *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }" if (parenthesized_expression "(puVar1 == (undefined4 *)0x0)" ( (binary_expression "puVar1 == (undefined4 *)0x0" identifier == (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }" { (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" * (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0)" ( identifier , (binary_expression "PTR_UINT_0015b5fc + -0x7d84" identifier + number_literal) , number_literal , number_literal ))) ;) comment comment (expression_statement "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);" (call_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_subtype_0015b83c" * (cast_expression "(code *)PTR_sqlite3_result_subtype_0015b83c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0x4a)" ( identifier , number_literal ))) ;) (return_statement "return;" return ;) })) (expression_statement "*puVar1 = param_1;" (assignment_expression "*puVar1 = param_1" (pointer_expression "*puVar1" * identifier) = identifier) ;) (expression_statement "FUN_0008c3e0(puVar1,0x5d);" (call_expression "FUN_0008c3e0(puVar1,0x5d)" identifier (argument_list "(puVar1,0x5d)" ( identifier , number_literal ))) ;) (if_statement "if (*(char *)((int)puVar1 + 0x19) == '\0') {\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }\n  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" if (parenthesized_expression "(*(char *)((int)puVar1 + 0x19) == '\0')" ( (binary_expression "*(char *)((int)puVar1 + 0x19) == '\0'" (pointer_expression "*(char *)((int)puVar1 + 0x19)" * (cast_expression "(char *)((int)puVar1 + 0x19)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar1 + 0x19)" ( (binary_expression "(int)puVar1 + 0x19" (cast_expression "(int)puVar1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }" { (if_statement "if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }" if (parenthesized_expression "(param_2 == 0)" ( (binary_expression "param_2 == 0" identifier == number_literal) )) (compound_statement "{\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }" { (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" * (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,puVar1[1],puVar1[5],0xffffffff)" ( identifier , (subscript_expression "puVar1[1]" identifier [ number_literal ]) , (subscript_expression "puVar1[5]" identifier [ number_literal ]) , number_literal ))) ;) (expression_statement "uVar2 = puVar1[5];" (assignment_expression "uVar2 = puVar1[5]" identifier = (subscript_expression "puVar1[5]" identifier [ number_literal ])) ;) (expression_statement "uVar3 = uVar2 - 1;" (assignment_expression "uVar3 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) (expression_statement "puVar1[5] = uVar3;" (assignment_expression "puVar1[5] = uVar3" (subscript_expression "puVar1[5]" identifier [ number_literal ]) = identifier) ;) (expression_statement "UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c" identifier = identifier) ;) (expression_statement "puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;" (assignment_expression "puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1" (subscript_expression "puVar1[4]" identifier [ number_literal ]) = (binary_expression "(uint)(uVar3 < uVar2) + puVar1[4] + -1" (binary_expression "(uint)(uVar3 < uVar2) + puVar1[4]" (call_expression "(uint)(uVar3 < uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 < uVar2)" ( (binary_expression "uVar3 < uVar2" identifier < identifier) ))) + (subscript_expression "puVar1[4]" identifier [ number_literal ])) + number_literal)) ;) comment comment (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a)" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0x4a)" ( identifier , number_literal ))) ;) (return_statement "return;" return ;) })) (expression_statement "UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;" (assignment_expression "UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff" identifier = (cast_expression "(undefined *)0xffffffff" ( (type_descriptor "undefined *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (if_statement "if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }" if (parenthesized_expression "(*(char *)(puVar1 + 6) == '\0')" ( (binary_expression "*(char *)(puVar1 + 6) == '\0'" (pointer_expression "*(char *)(puVar1 + 6)" * (cast_expression "(char *)(puVar1 + 6)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + 6)" ( (binary_expression "puVar1 + 6" identifier + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }" { (expression_statement "UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620" identifier = identifier) ;) })) (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" * (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE)" ( identifier , (subscript_expression "puVar1[1]" identifier [ number_literal ]) , (subscript_expression "puVar1[5]" identifier [ number_literal ]) , identifier ))) ;) (expression_statement "*(undefined1 *)(puVar1 + 6) = 1;" (assignment_expression "*(undefined1 *)(puVar1 + 6) = 1" (pointer_expression "*(undefined1 *)(puVar1 + 6)" * (cast_expression "(undefined1 *)(puVar1 + 6)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + 6)" ( (binary_expression "puVar1 + 6" identifier + number_literal) )))) = number_literal) ;) }) (else_clause "else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" else (if_statement "if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" if (parenthesized_expression "(*(char *)((int)puVar1 + 0x19) == '\x01')" ( (binary_expression "*(char *)((int)puVar1 + 0x19) == '\x01'" (pointer_expression "*(char *)((int)puVar1 + 0x19)" * (cast_expression "(char *)((int)puVar1 + 0x19)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar1 + 0x19)" ( (binary_expression "(int)puVar1 + 0x19" (cast_expression "(int)puVar1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (char_literal "'\x01'" ' escape_sequence ')) )) (compound_statement "{\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" { (expression_statement "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);" (call_expression "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)" ( (pointer_expression "*(code *)PTR_sqlite3_result_error_nomem_0015b784" * (cast_expression "(code *)PTR_sqlite3_result_error_nomem_0015b784" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1)" ( identifier ))) ;) })))) comment comment (expression_statement "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);" (call_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_subtype_0015b83c" * (cast_expression "(code *)PTR_sqlite3_result_subtype_0015b83c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0x4a)" ( identifier , number_literal ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void jsonArrayCompute(sqlite3_context *ctx,int isFinal)\n\n{\n  JsonString *p;\n  undefined *UNRECOVERED_JUMPTABLE;\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  undefined4 uVar4;\n  \n  p = (JsonString *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(ctx,0);\n  if (p == (JsonString *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,PTR_DAT_0015b5fc + -0x7d84,2,0);\n                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);\n    return;\n  }\n  p->pCtx = ctx;\n  jsonAppendChar(p,']');\n  if (p->bErr == '\0') {\n    uVar4 = (undefined4)p->nUsed;\n    if (isFinal == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,0xffffffff);\n      uVar1 = (uint)p->nUsed;\n      iVar2 = *(int *)&p->nUsed;\n      uVar3 = uVar1 - 1;\n      *(uint *)((int)&p->nUsed + 4) = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      *(uint *)&p->nUsed = (uint)(uVar3 < uVar1) + iVar2 + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(ctx,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (p->bStatic == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,UNRECOVERED_JUMPTABLE);\n    p->bStatic = '\x01';\n  }\n  else if (p->bErr == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(ctx);\n  }\n                    /* WARNING: Could not recover jumptable at 0x0008d814. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);\n  return;\n}\n\n" (function_definition "void jsonArrayCompute(sqlite3_context *ctx,int isFinal)\n\n{\n  JsonString *p;\n  undefined *UNRECOVERED_JUMPTABLE;\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  undefined4 uVar4;\n  \n  p = (JsonString *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(ctx,0);\n  if (p == (JsonString *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,PTR_DAT_0015b5fc + -0x7d84,2,0);\n                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);\n    return;\n  }\n  p->pCtx = ctx;\n  jsonAppendChar(p,']');\n  if (p->bErr == '\0') {\n    uVar4 = (undefined4)p->nUsed;\n    if (isFinal == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,0xffffffff);\n      uVar1 = (uint)p->nUsed;\n      iVar2 = *(int *)&p->nUsed;\n      uVar3 = uVar1 - 1;\n      *(uint *)((int)&p->nUsed + 4) = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      *(uint *)&p->nUsed = (uint)(uVar3 < uVar1) + iVar2 + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(ctx,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (p->bStatic == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,UNRECOVERED_JUMPTABLE);\n    p->bStatic = '\x01';\n  }\n  else if (p->bErr == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(ctx);\n  }\n                    /* WARNING: Could not recover jumptable at 0x0008d814. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);\n  return;\n}" primitive_type (function_declarator "jsonArrayCompute(sqlite3_context *ctx,int isFinal)" identifier (parameter_list "(sqlite3_context *ctx,int isFinal)" ( (parameter_declaration "sqlite3_context *ctx" type_identifier (pointer_declarator "*ctx" * identifier)) , (parameter_declaration "int isFinal" primitive_type identifier) ))) (compound_statement "{\n  JsonString *p;\n  undefined *UNRECOVERED_JUMPTABLE;\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  undefined4 uVar4;\n  \n  p = (JsonString *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(ctx,0);\n  if (p == (JsonString *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,PTR_DAT_0015b5fc + -0x7d84,2,0);\n                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);\n    return;\n  }\n  p->pCtx = ctx;\n  jsonAppendChar(p,']');\n  if (p->bErr == '\0') {\n    uVar4 = (undefined4)p->nUsed;\n    if (isFinal == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,0xffffffff);\n      uVar1 = (uint)p->nUsed;\n      iVar2 = *(int *)&p->nUsed;\n      uVar3 = uVar1 - 1;\n      *(uint *)((int)&p->nUsed + 4) = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      *(uint *)&p->nUsed = (uint)(uVar3 < uVar1) + iVar2 + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(ctx,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (p->bStatic == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,UNRECOVERED_JUMPTABLE);\n    p->bStatic = '\x01';\n  }\n  else if (p->bErr == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(ctx);\n  }\n                    /* WARNING: Could not recover jumptable at 0x0008d814. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);\n  return;\n}" { (declaration "JsonString *p;" type_identifier (pointer_declarator "*p" * identifier) ;) (declaration "undefined *UNRECOVERED_JUMPTABLE;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (declaration "uint uVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "undefined4 uVar4;" type_identifier identifier ;) (expression_statement "p = (JsonString *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(ctx,0);" (assignment_expression "p = (JsonString *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(ctx,0)" identifier = (cast_expression "(JsonString *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(ctx,0)" ( (type_descriptor "JsonString *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR_sqlite3_aggregate_context_0015b768)(ctx,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_aggregate_context_0015b768)" ( (pointer_expression "*(code *)PTR_sqlite3_aggregate_context_0015b768" * (cast_expression "(code *)PTR_sqlite3_aggregate_context_0015b768" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(ctx,0)" ( identifier , number_literal ))))) ;) (if_statement "if (p == (JsonString *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,PTR_DAT_0015b5fc + -0x7d84,2,0);\n                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);\n    return;\n  }" if (parenthesized_expression "(p == (JsonString *)0x0)" ( (binary_expression "p == (JsonString *)0x0" identifier == (cast_expression "(JsonString *)0x0" ( (type_descriptor "JsonString *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,PTR_DAT_0015b5fc + -0x7d84,2,0);\n                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);\n    return;\n  }" { (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,PTR_DAT_0015b5fc + -0x7d84,2,0);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,PTR_DAT_0015b5fc + -0x7d84,2,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" * (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(ctx,PTR_DAT_0015b5fc + -0x7d84,2,0)" ( identifier , (binary_expression "PTR_DAT_0015b5fc + -0x7d84" identifier + number_literal) , number_literal , number_literal ))) ;) comment comment (expression_statement "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);" (call_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_subtype_0015b83c" * (cast_expression "(code *)PTR_sqlite3_result_subtype_0015b83c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(ctx,0x4a)" ( identifier , number_literal ))) ;) (return_statement "return;" return ;) })) (expression_statement "p->pCtx = ctx;" (assignment_expression "p->pCtx = ctx" (field_expression "p->pCtx" identifier -> field_identifier) = identifier) ;) (expression_statement "jsonAppendChar(p,']');" (call_expression "jsonAppendChar(p,']')" identifier (argument_list "(p,']')" ( identifier , (char_literal "']'" ' character ') ))) ;) (if_statement "if (p->bErr == '\0') {\n    uVar4 = (undefined4)p->nUsed;\n    if (isFinal == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,0xffffffff);\n      uVar1 = (uint)p->nUsed;\n      iVar2 = *(int *)&p->nUsed;\n      uVar3 = uVar1 - 1;\n      *(uint *)((int)&p->nUsed + 4) = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      *(uint *)&p->nUsed = (uint)(uVar3 < uVar1) + iVar2 + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(ctx,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (p->bStatic == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,UNRECOVERED_JUMPTABLE);\n    p->bStatic = '\x01';\n  }\n  else if (p->bErr == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(ctx);\n  }" if (parenthesized_expression "(p->bErr == '\0')" ( (binary_expression "p->bErr == '\0'" (field_expression "p->bErr" identifier -> field_identifier) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n    uVar4 = (undefined4)p->nUsed;\n    if (isFinal == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,0xffffffff);\n      uVar1 = (uint)p->nUsed;\n      iVar2 = *(int *)&p->nUsed;\n      uVar3 = uVar1 - 1;\n      *(uint *)((int)&p->nUsed + 4) = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      *(uint *)&p->nUsed = (uint)(uVar3 < uVar1) + iVar2 + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(ctx,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (p->bStatic == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,UNRECOVERED_JUMPTABLE);\n    p->bStatic = '\x01';\n  }" { (expression_statement "uVar4 = (undefined4)p->nUsed;" (assignment_expression "uVar4 = (undefined4)p->nUsed" identifier = (cast_expression "(undefined4)p->nUsed" ( (type_descriptor "undefined4" type_identifier) ) (field_expression "p->nUsed" identifier -> field_identifier))) ;) (if_statement "if (isFinal == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,0xffffffff);\n      uVar1 = (uint)p->nUsed;\n      iVar2 = *(int *)&p->nUsed;\n      uVar3 = uVar1 - 1;\n      *(uint *)((int)&p->nUsed + 4) = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      *(uint *)&p->nUsed = (uint)(uVar3 < uVar1) + iVar2 + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(ctx,0x4a);\n      return;\n    }" if (parenthesized_expression "(isFinal == 0)" ( (binary_expression "isFinal == 0" identifier == number_literal) )) (compound_statement "{\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,0xffffffff);\n      uVar1 = (uint)p->nUsed;\n      iVar2 = *(int *)&p->nUsed;\n      uVar3 = uVar1 - 1;\n      *(uint *)((int)&p->nUsed + 4) = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      *(uint *)&p->nUsed = (uint)(uVar3 < uVar1) + iVar2 + -1;\n                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n      (*(code *)UNRECOVERED_JUMPTABLE)(ctx,0x4a);\n      return;\n    }" { (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,0xffffffff);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,0xffffffff)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" * (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(ctx,p->zBuf,uVar4,0xffffffff)" ( identifier , (field_expression "p->zBuf" identifier -> field_identifier) , identifier , number_literal ))) ;) (expression_statement "uVar1 = (uint)p->nUsed;" (assignment_expression "uVar1 = (uint)p->nUsed" identifier = (cast_expression "(uint)p->nUsed" ( (type_descriptor "uint" type_identifier) ) (field_expression "p->nUsed" identifier -> field_identifier))) ;) (expression_statement "iVar2 = *(int *)&p->nUsed;" (assignment_expression "iVar2 = *(int *)&p->nUsed" identifier = (pointer_expression "*(int *)&p->nUsed" * (cast_expression "(int *)&p->nUsed" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "&p->nUsed" & (field_expression "p->nUsed" identifier -> field_identifier))))) ;) (expression_statement "uVar3 = uVar1 - 1;" (assignment_expression "uVar3 = uVar1 - 1" identifier = (binary_expression "uVar1 - 1" identifier - number_literal)) ;) (expression_statement "*(uint *)((int)&p->nUsed + 4) = uVar3;" (assignment_expression "*(uint *)((int)&p->nUsed + 4) = uVar3" (pointer_expression "*(uint *)((int)&p->nUsed + 4)" * (cast_expression "(uint *)((int)&p->nUsed + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)&p->nUsed + 4)" ( (binary_expression "(int)&p->nUsed + 4" (cast_expression "(int)&p->nUsed" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&p->nUsed" & (field_expression "p->nUsed" identifier -> field_identifier))) + number_literal) )))) = identifier) ;) (expression_statement "UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c" identifier = identifier) ;) (expression_statement "*(uint *)&p->nUsed = (uint)(uVar3 < uVar1) + iVar2 + -1;" (assignment_expression "*(uint *)&p->nUsed = (uint)(uVar3 < uVar1) + iVar2 + -1" (pointer_expression "*(uint *)&p->nUsed" * (cast_expression "(uint *)&p->nUsed" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&p->nUsed" & (field_expression "p->nUsed" identifier -> field_identifier)))) = (binary_expression "(uint)(uVar3 < uVar1) + iVar2 + -1" (binary_expression "(uint)(uVar3 < uVar1) + iVar2" (call_expression "(uint)(uVar3 < uVar1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 < uVar1)" ( (binary_expression "uVar3 < uVar1" identifier < identifier) ))) + identifier) + number_literal)) ;) comment comment (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)(ctx,0x4a);" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)(ctx,0x4a)" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(ctx,0x4a)" ( identifier , number_literal ))) ;) (return_statement "return;" return ;) })) (expression_statement "UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;" (assignment_expression "UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff" identifier = (cast_expression "(undefined *)0xffffffff" ( (type_descriptor "undefined *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (if_statement "if (p->bStatic == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }" if (parenthesized_expression "(p->bStatic == '\0')" ( (binary_expression "p->bStatic == '\0'" (field_expression "p->bStatic" identifier -> field_identifier) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }" { (expression_statement "UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620" identifier = identifier) ;) })) (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,UNRECOVERED_JUMPTABLE);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(ctx,p->zBuf,uVar4,UNRECOVERED_JUMPTABLE)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" * (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(ctx,p->zBuf,uVar4,UNRECOVERED_JUMPTABLE)" ( identifier , (field_expression "p->zBuf" identifier -> field_identifier) , identifier , identifier ))) ;) (expression_statement "p->bStatic = '\x01';" (assignment_expression "p->bStatic = '\x01'" (field_expression "p->bStatic" identifier -> field_identifier) = (char_literal "'\x01'" ' escape_sequence ')) ;) }) (else_clause "else if (p->bErr == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(ctx);\n  }" else (if_statement "if (p->bErr == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(ctx);\n  }" if (parenthesized_expression "(p->bErr == '\x01')" ( (binary_expression "p->bErr == '\x01'" (field_expression "p->bErr" identifier -> field_identifier) == (char_literal "'\x01'" ' escape_sequence ')) )) (compound_statement "{\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(ctx);\n  }" { (expression_statement "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)(ctx);" (call_expression "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)(ctx)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)" ( (pointer_expression "*(code *)PTR_sqlite3_result_error_nomem_0015b784" * (cast_expression "(code *)PTR_sqlite3_result_error_nomem_0015b784" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(ctx)" ( identifier ))) ;) })))) comment comment (expression_statement "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);" (call_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_subtype_0015b83c" * (cast_expression "(code *)PTR_sqlite3_result_subtype_0015b83c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(ctx,0x4a)" ( identifier , number_literal ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_0008d758(undefined4 param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  undefined *UNRECOVERED_JUMPTABLE;\n  uint uVar2;\n  uint uVar3;\n  \n  puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);\n  if (puVar1 == (undefined4 *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    \n                    \n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }\n  *puVar1 = param_1;\n  FUN_0008c3e0(puVar1,0x5d);\n  if (*(char *)((int)puVar1 + 0x19) == '\0') {\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }\n  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }\n                    \n                    \n  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n  return;\n}\n\n" (function_definition "void FUN_0008d758(undefined4 param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  undefined *UNRECOVERED_JUMPTABLE;\n  uint uVar2;\n  uint uVar3;\n  \n  puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);\n  if (puVar1 == (undefined4 *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    \n                    \n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }\n  *puVar1 = param_1;\n  FUN_0008c3e0(puVar1,0x5d);\n  if (*(char *)((int)puVar1 + 0x19) == '\0') {\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }\n  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }\n                    \n                    \n  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n  return;\n}" primitive_type (function_declarator "FUN_0008d758(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 identifier) ))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined *UNRECOVERED_JUMPTABLE;\n  uint uVar2;\n  uint uVar3;\n  \n  puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);\n  if (puVar1 == (undefined4 *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    \n                    \n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }\n  *puVar1 = param_1;\n  FUN_0008c3e0(puVar1,0x5d);\n  if (*(char *)((int)puVar1 + 0x19) == '\0') {\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }\n  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }\n                    \n                    \n  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n  return;\n}" { (declaration "undefined4 *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "undefined *UNRECOVERED_JUMPTABLE;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (expression_statement "puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);" (assignment_expression "puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0)" identifier = (cast_expression "(undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_aggregate_context_0015b768)" ( (pointer_expression "*(code *)PTR_sqlite3_aggregate_context_0015b768" * (cast_expression "(code *)PTR_sqlite3_aggregate_context_0015b768" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0)" ( identifier , number_literal ))))) ;) (if_statement "if (puVar1 == (undefined4 *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    \n                    \n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }" if (parenthesized_expression "(puVar1 == (undefined4 *)0x0)" ( (binary_expression "puVar1 == (undefined4 *)0x0" identifier == (cast_expression "(undefined4 *)0x0" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    \n                    \n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }" { (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" * (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0)" ( identifier , (binary_expression "PTR_UINT_0015b5fc + -0x7d84" identifier + number_literal) , number_literal , number_literal ))) ;) (expression_statement "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);" (call_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_subtype_0015b83c" * (cast_expression "(code *)PTR_sqlite3_result_subtype_0015b83c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0x4a)" ( identifier , number_literal ))) ;) (return_statement "return;" return ;) })) (expression_statement "*puVar1 = param_1;" (assignment_expression "*puVar1 = param_1" (pointer_expression "*puVar1" * identifier) = identifier) ;) (expression_statement "FUN_0008c3e0(puVar1,0x5d);" (call_expression "FUN_0008c3e0(puVar1,0x5d)" identifier (argument_list "(puVar1,0x5d)" ( identifier , number_literal ))) ;) (if_statement "if (*(char *)((int)puVar1 + 0x19) == '\0') {\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }\n  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" if (parenthesized_expression "(*(char *)((int)puVar1 + 0x19) == '\0')" ( (binary_expression "*(char *)((int)puVar1 + 0x19) == '\0'" (pointer_expression "*(char *)((int)puVar1 + 0x19)" * (cast_expression "(char *)((int)puVar1 + 0x19)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar1 + 0x19)" ( (binary_expression "(int)puVar1 + 0x19" (cast_expression "(int)puVar1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }" { (if_statement "if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }" if (parenthesized_expression "(param_2 == 0)" ( (binary_expression "param_2 == 0" identifier == number_literal) )) (compound_statement "{\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }" { (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" * (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,puVar1[1],puVar1[5],0xffffffff)" ( identifier , (subscript_expression "puVar1[1]" identifier [ number_literal ]) , (subscript_expression "puVar1[5]" identifier [ number_literal ]) , number_literal ))) ;) (expression_statement "uVar2 = puVar1[5];" (assignment_expression "uVar2 = puVar1[5]" identifier = (subscript_expression "puVar1[5]" identifier [ number_literal ])) ;) (expression_statement "uVar3 = uVar2 - 1;" (assignment_expression "uVar3 = uVar2 - 1" identifier = (binary_expression "uVar2 - 1" identifier - number_literal)) ;) (expression_statement "puVar1[5] = uVar3;" (assignment_expression "puVar1[5] = uVar3" (subscript_expression "puVar1[5]" identifier [ number_literal ]) = identifier) ;) (expression_statement "UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c" identifier = identifier) ;) (expression_statement "puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;" (assignment_expression "puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1" (subscript_expression "puVar1[4]" identifier [ number_literal ]) = (binary_expression "(uint)(uVar3 < uVar2) + puVar1[4] + -1" (binary_expression "(uint)(uVar3 < uVar2) + puVar1[4]" (call_expression "(uint)(uVar3 < uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 < uVar2)" ( (binary_expression "uVar3 < uVar2" identifier < identifier) ))) + (subscript_expression "puVar1[4]" identifier [ number_literal ])) + number_literal)) ;) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a)" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE" * (cast_expression "(code *)UNRECOVERED_JUMPTABLE" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0x4a)" ( identifier , number_literal ))) ;) (return_statement "return;" return ;) })) (expression_statement "UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;" (assignment_expression "UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff" identifier = (cast_expression "(undefined *)0xffffffff" ( (type_descriptor "undefined *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) (if_statement "if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }" if (parenthesized_expression "(*(char *)(puVar1 + 6) == '\0')" ( (binary_expression "*(char *)(puVar1 + 6) == '\0'" (pointer_expression "*(char *)(puVar1 + 6)" * (cast_expression "(char *)(puVar1 + 6)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + 6)" ( (binary_expression "puVar1 + 6" identifier + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) )) (compound_statement "{\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }" { (expression_statement "UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620" identifier = identifier) ;) })) (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" * (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE)" ( identifier , (subscript_expression "puVar1[1]" identifier [ number_literal ]) , (subscript_expression "puVar1[5]" identifier [ number_literal ]) , identifier ))) ;) (expression_statement "*(undefined1 *)(puVar1 + 6) = 1;" (assignment_expression "*(undefined1 *)(puVar1 + 6) = 1" (pointer_expression "*(undefined1 *)(puVar1 + 6)" * (cast_expression "(undefined1 *)(puVar1 + 6)" ( (type_descriptor "undefined1 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + 6)" ( (binary_expression "puVar1 + 6" identifier + number_literal) )))) = number_literal) ;) }) (else_clause "else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" else (if_statement "if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" if (parenthesized_expression "(*(char *)((int)puVar1 + 0x19) == '\x01')" ( (binary_expression "*(char *)((int)puVar1 + 0x19) == '\x01'" (pointer_expression "*(char *)((int)puVar1 + 0x19)" * (cast_expression "(char *)((int)puVar1 + 0x19)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar1 + 0x19)" ( (binary_expression "(int)puVar1 + 0x19" (cast_expression "(int)puVar1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) == (char_literal "'\x01'" ' escape_sequence ')) )) (compound_statement "{\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" { (expression_statement "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);" (call_expression "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)" ( (pointer_expression "*(code *)PTR_sqlite3_result_error_nomem_0015b784" * (cast_expression "(code *)PTR_sqlite3_result_error_nomem_0015b784" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1)" ( identifier ))) ;) })))) (expression_statement "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);" (call_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)" ( (pointer_expression "*(code *)PTR_sqlite3_result_subtype_0015b83c" * (cast_expression "(code *)PTR_sqlite3_result_subtype_0015b83c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1,0x4a)" ( identifier , number_literal ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , LIT ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , (binary_expression IDENT + LIT) , LIT , LIT ))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , LIT ))) ;) (return_statement return ;) })) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , LIT ))) ;) (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 (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , (subscript_expression IDENT [ LIT ]) , (subscript_expression IDENT [ LIT ]) , LIT ))) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < IDENT) ))) + (subscript_expression IDENT [ LIT ])) + LIT)) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , LIT ))) ;) (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) == (char_literal ' escape_sequence ')) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , (subscript_expression IDENT [ LIT ]) , (subscript_expression IDENT [ LIT ]) , IDENT ))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = LIT) ;) }) (else_clause else (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 (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT ))) ;) })))) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , LIT ))) ;) (return_statement return ;) })))
(function_definition "void FUN_0008d758(undefined4 param_1,int param_2)\n\n{\n  undefined4 *puVar1;\n  undefined *UNRECOVERED_JUMPTABLE;\n  uint uVar2;\n  uint uVar3;\n  \n  puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);\n  if (puVar1 == (undefined4 *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    \n                    \n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }\n  *puVar1 = param_1;\n  FUN_0008c3e0(puVar1,0x5d);\n  if (*(char *)((int)puVar1 + 0x19) == '\0') {\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }\n  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }\n                    \n                    \n  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_0008d758(undefined4 param_1,int param_2)" (identifier "FUN_0008d758") (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") (identifier "param_2")) () ")"))) (compound_statement "{\n  undefined4 *puVar1;\n  undefined *UNRECOVERED_JUMPTABLE;\n  uint uVar2;\n  uint uVar3;\n  \n  puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);\n  if (puVar1 == (undefined4 *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    \n                    \n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }\n  *puVar1 = param_1;\n  FUN_0008c3e0(puVar1,0x5d);\n  if (*(char *)((int)puVar1 + 0x19) == '\0') {\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }\n  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }\n                    \n                    \n  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n  return;\n}" ({ "{") (declaration "undefined4 *puVar1;" (type_identifier "undefined4") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "undefined *UNRECOVERED_JUMPTABLE;" (type_identifier "undefined") (pointer_declarator "*UNRECOVERED_JUMPTABLE" (* "*") (identifier "UNRECOVERED_JUMPTABLE")) (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (expression_statement "puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);" (assignment_expression "puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0)" (identifier "puVar1") (= "=") (cast_expression "(undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_aggregate_context_0015b768)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_aggregate_context_0015b768" (* "*") (cast_expression "(code *)PTR_sqlite3_aggregate_context_0015b768" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_aggregate_context_0015b768"))) () ")")) (argument_list "(param_1,0)" (( "(") (identifier "param_1") (, ",") (number_literal "0") () ")"))))) (; ";")) (if_statement "if (puVar1 == (undefined4 *)0x0) {\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    \n                    \n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }" (if "if") (parenthesized_expression "(puVar1 == (undefined4 *)0x0)" (( "(") (binary_expression "puVar1 == (undefined4 *)0x0" (identifier "puVar1") (== "==") (cast_expression "(undefined4 *)0x0" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);\n                    \n                    \n    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);\n    return;\n  }" ({ "{") (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" (* "*") (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_result_text_0015b67c"))) () ")")) (argument_list "(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0)" (( "(") (identifier "param_1") (, ",") (binary_expression "PTR_UINT_0015b5fc + -0x7d84" (identifier "PTR_UINT_0015b5fc") (+ "+") (number_literal "-0x7d84")) (, ",") (number_literal "2") (, ",") (number_literal "0") () ")"))) (; ";")) (expression_statement "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);" (call_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_result_subtype_0015b83c" (* "*") (cast_expression "(code *)PTR_sqlite3_result_subtype_0015b83c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_result_subtype_0015b83c"))) () ")")) (argument_list "(param_1,0x4a)" (( "(") (identifier "param_1") (, ",") (number_literal "0x4a") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "*puVar1 = param_1;" (assignment_expression "*puVar1 = param_1" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (identifier "param_1")) (; ";")) (expression_statement "FUN_0008c3e0(puVar1,0x5d);" (call_expression "FUN_0008c3e0(puVar1,0x5d)" (identifier "FUN_0008c3e0") (argument_list "(puVar1,0x5d)" (( "(") (identifier "puVar1") (, ",") (number_literal "0x5d") () ")"))) (; ";")) (if_statement "if (*(char *)((int)puVar1 + 0x19) == '\0') {\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }\n  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" (if "if") (parenthesized_expression "(*(char *)((int)puVar1 + 0x19) == '\0')" (( "(") (binary_expression "*(char *)((int)puVar1 + 0x19) == '\0'" (pointer_expression "*(char *)((int)puVar1 + 0x19)" (* "*") (cast_expression "(char *)((int)puVar1 + 0x19)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar1 + 0x19)" (( "(") (binary_expression "(int)puVar1 + 0x19" (cast_expression "(int)puVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar1")) (+ "+") (number_literal "0x19")) () ")")))) (== "==") (char_literal "'\0'" (' "'") (escape_sequence "\0") (' "'"))) () ")")) (compound_statement "{\n    if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }\n    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;\n    if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }\n    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);\n    *(undefined1 *)(puVar1 + 6) = 1;\n  }" ({ "{") (if_statement "if (param_2 == 0) {\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }" (if "if") (parenthesized_expression "(param_2 == 0)" (( "(") (binary_expression "param_2 == 0" (identifier "param_2") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);\n      uVar2 = puVar1[5];\n      uVar3 = uVar2 - 1;\n      puVar1[5] = uVar3;\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;\n      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;\n                    \n                    \n      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);\n      return;\n    }" ({ "{") (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" (* "*") (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_result_text_0015b67c"))) () ")")) (argument_list "(param_1,puVar1[1],puVar1[5],0xffffffff)" (( "(") (identifier "param_1") (, ",") (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]")) (, ",") (subscript_expression "puVar1[5]" (identifier "puVar1") ([ "[") (number_literal "5") (] "]")) (, ",") (number_literal "0xffffffff") () ")"))) (; ";")) (expression_statement "uVar2 = puVar1[5];" (assignment_expression "uVar2 = puVar1[5]" (identifier "uVar2") (= "=") (subscript_expression "puVar1[5]" (identifier "puVar1") ([ "[") (number_literal "5") (] "]"))) (; ";")) (expression_statement "uVar3 = uVar2 - 1;" (assignment_expression "uVar3 = uVar2 - 1" (identifier "uVar3") (= "=") (binary_expression "uVar2 - 1" (identifier "uVar2") (- "-") (number_literal "1"))) (; ";")) (expression_statement "puVar1[5] = uVar3;" (assignment_expression "puVar1[5] = uVar3" (subscript_expression "puVar1[5]" (identifier "puVar1") ([ "[") (number_literal "5") (] "]")) (= "=") (identifier "uVar3")) (; ";")) (expression_statement "UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c" (identifier "UNRECOVERED_JUMPTABLE") (= "=") (identifier "PTR_sqlite3_result_subtype_0015b83c")) (; ";")) (expression_statement "puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;" (assignment_expression "puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1" (subscript_expression "puVar1[4]" (identifier "puVar1") ([ "[") (number_literal "4") (] "]")) (= "=") (binary_expression "(uint)(uVar3 < uVar2) + puVar1[4] + -1" (binary_expression "(uint)(uVar3 < uVar2) + puVar1[4]" (call_expression "(uint)(uVar3 < uVar2)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar3 < uVar2)" (( "(") (binary_expression "uVar3 < uVar2" (identifier "uVar3") (< "<") (identifier "uVar2")) () ")"))) (+ "+") (subscript_expression "puVar1[4]" (identifier "puVar1") ([ "[") (number_literal "4") (] "]"))) (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "(*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);" (call_expression "(*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a)" (parenthesized_expression "(*(code *)UNRECOVERED_JUMPTABLE)" (( "(") (pointer_expression "*(code *)UNRECOVERED_JUMPTABLE" (* "*") (cast_expression "(code *)UNRECOVERED_JUMPTABLE" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "UNRECOVERED_JUMPTABLE"))) () ")")) (argument_list "(param_1,0x4a)" (( "(") (identifier "param_1") (, ",") (number_literal "0x4a") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;" (assignment_expression "UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff" (identifier "UNRECOVERED_JUMPTABLE") (= "=") (cast_expression "(undefined *)0xffffffff" (( "(") (type_descriptor "undefined *" (type_identifier "undefined") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0xffffffff"))) (; ";")) (if_statement "if (*(char *)(puVar1 + 6) == '\0') {\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }" (if "if") (parenthesized_expression "(*(char *)(puVar1 + 6) == '\0')" (( "(") (binary_expression "*(char *)(puVar1 + 6) == '\0'" (pointer_expression "*(char *)(puVar1 + 6)" (* "*") (cast_expression "(char *)(puVar1 + 6)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar1 + 6)" (( "(") (binary_expression "puVar1 + 6" (identifier "puVar1") (+ "+") (number_literal "6")) () ")")))) (== "==") (char_literal "'\0'" (' "'") (escape_sequence "\0") (' "'"))) () ")")) (compound_statement "{\n      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;\n    }" ({ "{") (expression_statement "UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;" (assignment_expression "UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620" (identifier "UNRECOVERED_JUMPTABLE") (= "=") (identifier "PTR_sqlite3_free_0015b620")) (; ";")) (} "}"))) (expression_statement "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);" (call_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_text_0015b67c)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_result_text_0015b67c" (* "*") (cast_expression "(code *)PTR_sqlite3_result_text_0015b67c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_result_text_0015b67c"))) () ")")) (argument_list "(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE)" (( "(") (identifier "param_1") (, ",") (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]")) (, ",") (subscript_expression "puVar1[5]" (identifier "puVar1") ([ "[") (number_literal "5") (] "]")) (, ",") (identifier "UNRECOVERED_JUMPTABLE") () ")"))) (; ";")) (expression_statement "*(undefined1 *)(puVar1 + 6) = 1;" (assignment_expression "*(undefined1 *)(puVar1 + 6) = 1" (pointer_expression "*(undefined1 *)(puVar1 + 6)" (* "*") (cast_expression "(undefined1 *)(puVar1 + 6)" (( "(") (type_descriptor "undefined1 *" (type_identifier "undefined1") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar1 + 6)" (( "(") (binary_expression "puVar1 + 6" (identifier "puVar1") (+ "+") (number_literal "6")) () ")")))) (= "=") (number_literal "1")) (; ";")) (} "}")) (else_clause "else if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" (else "else") (if_statement "if (*(char *)((int)puVar1 + 0x19) == '\x01') {\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" (if "if") (parenthesized_expression "(*(char *)((int)puVar1 + 0x19) == '\x01')" (( "(") (binary_expression "*(char *)((int)puVar1 + 0x19) == '\x01'" (pointer_expression "*(char *)((int)puVar1 + 0x19)" (* "*") (cast_expression "(char *)((int)puVar1 + 0x19)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar1 + 0x19)" (( "(") (binary_expression "(int)puVar1 + 0x19" (cast_expression "(int)puVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar1")) (+ "+") (number_literal "0x19")) () ")")))) (== "==") (char_literal "'\x01'" (' "'") (escape_sequence "\x01") (' "'"))) () ")")) (compound_statement "{\n    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);\n  }" ({ "{") (expression_statement "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);" (call_expression "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_error_nomem_0015b784)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_result_error_nomem_0015b784" (* "*") (cast_expression "(code *)PTR_sqlite3_result_error_nomem_0015b784" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_result_error_nomem_0015b784"))) () ")")) (argument_list "(param_1)" (( "(") (identifier "param_1") () ")"))) (; ";")) (} "}"))))) (expression_statement "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);" (call_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a)" (parenthesized_expression "(*(code *)PTR_sqlite3_result_subtype_0015b83c)" (( "(") (pointer_expression "*(code *)PTR_sqlite3_result_subtype_0015b83c" (* "*") (cast_expression "(code *)PTR_sqlite3_result_subtype_0015b83c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sqlite3_result_subtype_0015b83c"))) () ")")) (argument_list "(param_1,0x4a)" (( "(") (identifier "param_1") (, ",") (number_literal "0x4a") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *ctx,int var_4)

{
  type_2 *var_1;
  type_3 *UNRECOVERED_JUMPTABLE;
  type_4 var_5;
  int var_7;
  type_4 var_6;
  type_5 uVar4;
  
  var_1 = (type_2 *)(*(type_6 *)PTR_sqlite3_aggregate_context_0015b768)(ctx,0);
  if (var_1 == (type_2 *)0x0) {
    (*(type_6 *)PTR_sqlite3_result_text_0015b67c)(ctx,var_2 + -0x7d84,2,0);
                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(type_6 *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);
    return;
  }
  var_1->pCtx = ctx;
  var_3(var_1,']');
  if (var_1->bErr == '\0') {
    uVar4 = (type_5)var_1->nUsed;
    if (var_4 == 0) {
      (*(type_6 *)PTR_sqlite3_result_text_0015b67c)(ctx,var_1->zBuf,uVar4,0xffffffff);
      var_5 = (type_4)var_1->nUsed;
      var_7 = *(int *)&var_1->nUsed;
      var_6 = var_5 - 1;
      *(type_4 *)((int)&var_1->nUsed + 4) = var_6;
      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;
      *(type_4 *)&var_1->nUsed = (type_4)(var_6 < var_5) + var_7 + -1;
                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */
                    /* WARNING: Treating indirect jump as call */
      (*(type_6 *)UNRECOVERED_JUMPTABLE)(ctx,0x4a);
      return;
    }
    UNRECOVERED_JUMPTABLE = (type_3 *)0xffffffff;
    if (var_1->bStatic == '\0') {
      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;
    }
    (*(type_6 *)PTR_sqlite3_result_text_0015b67c)(ctx,var_1->zBuf,uVar4,UNRECOVERED_JUMPTABLE);
    var_1->bStatic = '\x01';
  }
  else if (var_1->bErr == '\x01') {
    (*(type_6 *)PTR_sqlite3_result_error_nomem_0015b784)(ctx);
  }
                    /* WARNING: Could not recover jumptable at 0x0008d814. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(type_6 *)PTR_sqlite3_result_subtype_0015b83c)(ctx,0x4a);
  return;
}


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

void MASKED(undefined4 param_1,int param_2)

{
  undefined4 *puVar1;
  undefined *UNRECOVERED_JUMPTABLE;
  uint uVar2;
  uint uVar3;
  
  puVar1 = (undefined4 *)(*(code *)PTR_sqlite3_aggregate_context_0015b768)(param_1,0);
  if (puVar1 == (undefined4 *)0x0) {
    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,PTR_UINT_0015b5fc + -0x7d84,2,0);
                    /* WARNING: Could not recover jumptable at 0x0008d878. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);
    return;
  }
  *puVar1 = param_1;
  FUN_0008c3e0(puVar1,0x5d);
  if (*(char *)((int)puVar1 + 0x19) == '\0') {
    if (param_2 == 0) {
      (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],0xffffffff);
      uVar2 = puVar1[5];
      uVar3 = uVar2 - 1;
      puVar1[5] = uVar3;
      UNRECOVERED_JUMPTABLE = PTR_sqlite3_result_subtype_0015b83c;
      puVar1[4] = (uint)(uVar3 < uVar2) + puVar1[4] + -1;
                    /* WARNING: Could not recover jumptable at 0x0008d8d0. Too many branches */
                    /* WARNING: Treating indirect jump as call */
      (*(code *)UNRECOVERED_JUMPTABLE)(param_1,0x4a);
      return;
    }
    UNRECOVERED_JUMPTABLE = (undefined *)0xffffffff;
    if (*(char *)(puVar1 + 6) == '\0') {
      UNRECOVERED_JUMPTABLE = PTR_sqlite3_free_0015b620;
    }
    (*(code *)PTR_sqlite3_result_text_0015b67c)(param_1,puVar1[1],puVar1[5],UNRECOVERED_JUMPTABLE);
    *(undefined1 *)(puVar1 + 6) = 1;
  }
  else if (*(char *)((int)puVar1 + 0x19) == '\x01') {
    (*(code *)PTR_sqlite3_result_error_nomem_0015b784)(param_1);
  }
                    /* WARNING: Could not recover jumptable at 0x0008d814. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  (*(code *)PTR_sqlite3_result_subtype_0015b83c)(param_1,0x4a);
  return;
}

