
void png_read_push_finish_row(png_structrp png_ptr)

{
  undefined *puVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  
  uVar2 = png_ptr->row_number + 1;
  png_ptr->row_number = uVar2;
  if ((uVar2 < png_ptr->num_rows) || (png_ptr->interlaced == '\0')) {
    return;
  }
  png_ptr->row_number = 0;
  (*(code *)PTR_memset_00056398)(png_ptr->prev_row,0,png_ptr->rowbytes + 1);
  puVar1 = PTR_LAB_0005601c;
  uVar2 = (uint)png_ptr->pass;
  do {
    uVar4 = uVar2 + 1 & 0xff;
    if (uVar4 == 1) {
      if (png_ptr->width < 5) {
LAB_0001d798:
        uVar4 = uVar2 + 2 & 0xff;
LAB_0001d7a4:
        if (7 < uVar4) {
          png_ptr->pass = (char)uVar4 + 0xff;
          return;
        }
      }
LAB_0001d6c4:
      if (6 < uVar4) {
        png_ptr->pass = (png_byte)uVar4;
        return;
      }
    }
    else {
      if (uVar4 == 3) {
        if (png_ptr->width < 3) goto LAB_0001d798;
        goto LAB_0001d6c4;
      }
      if (uVar4 != 5) goto LAB_0001d7a4;
      if (png_ptr->width < 2) goto LAB_0001d798;
    }
    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];
    uVar3 = ((png_ptr->width - 1) + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];
    if (uVar6 == 0) {
      trap(7);
    }
    png_ptr->iwidth = uVar3 / uVar6;
    if ((png_ptr->transformations & 2) != 0) {
      png_ptr->pass = (png_byte)uVar4;
      return;
    }
    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];
    uVar5 = ((png_ptr->height - 1) + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];
    if (uVar7 == 0) {
      trap(7);
    }
    png_ptr->num_rows = uVar5 / uVar7;
    uVar2 = uVar4;
    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {
      png_ptr->pass = (png_byte)uVar4;
      return;
    }
  } while( true );
}



void FUN_0001d60c(int param_1)

{
  undefined *puVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  
  uVar2 = *(int *)(param_1 + 0x1c8) + 1;
  *(uint *)(param_1 + 0x1c8) = uVar2;
  if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {
    return;
  }
  *(undefined4 *)(param_1 + 0x1c8) = 0;
  (*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);
  puVar1 = PTR_LAB_0005601c;
  uVar2 = (uint)*(byte *)(param_1 + 0x1fd);
  do {
    uVar4 = uVar2 + 1 & 0xff;
    if (uVar4 == 1) {
      if (*(uint *)(param_1 + 0x1b0) < 5) {
LAB_0001d798:
        uVar4 = uVar2 + 2 & 0xff;
LAB_0001d7a4:
        if (7 < uVar4) {
          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;
          return;
        }
      }
LAB_0001d6c4:
      if (6 < uVar4) {
        *(char *)(param_1 + 0x1fd) = (char)uVar4;
        return;
      }
    }
    else {
      if (uVar4 == 3) {
        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;
        goto LAB_0001d6c4;
      }
      if (uVar4 != 5) goto LAB_0001d7a4;
      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;
    }
    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];
    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];
    if (uVar6 == 0) {
      trap(7);
    }
    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;
    if ((*(uint *)(param_1 + 300) & 2) != 0) {
      *(char *)(param_1 + 0x1fd) = (char)uVar4;
      return;
    }
    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];
    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];
    if (uVar7 == 0) {
      trap(7);
    }
    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;
    uVar2 = uVar4;
    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {
      *(char *)(param_1 + 0x1fd) = (char)uVar4;
      return;
    }
  } while( true );
}


lui gp,0x4
addiu gp,gp,0x9e4
addu gp,gp,t9
lw v0,0x1c8(a0)
addiu v0,v0,0x1
sw v0,0x1c8(a0)
lw v1,0x1b8(a0)
sltu v0,v0,v1
bne v0,zero,0x0001d640
_nop
lbu v0,0x1fc(a0)
bne v0,zero,0x0001d648
_or a1,zero,zero
jr ra
_nop
addiu sp,sp,-0x20
sw ra,0x1c(sp)
sw s0,0x18(sp)
sw gp,0x10(sp)
or s0,a0,zero
sw zero,0x1c8(a0)
lw a2,0x1c0(a0)
addiu a2,a2,0x1
lw a0,0x1d0(a0)
lw t9,-0x7c58(gp)
jalr t9
_nop
lw gp,0x10(sp)
lbu a0,0x1fd(s0)
li t3,0x1
li t4,0x3
li t5,0x5
lw t0,-0x7fd4(gp)
addiu t0,t0,0x2860
lw a3,-0x7fd4(gp)
addiu a3,a3,0x2858
lw t2,-0x7fd4(gp)
addiu t2,t2,0x2850
lw t1,-0x7fd4(gp)
b 0x0001d750
_addiu t1,t1,0x2848
lw v1,0x1b0(s0)
sltiu v1,v1,0x5
bne v1,zero,0x0001d798
_nop
or a0,v0,zero
sltiu v0,a0,0x7
beq v0,zero,0x0001d7c4
_nop
addu v0,a0,t0
lbu a1,0x0(v0)
lw v0,0x1b0(s0)
addiu v0,v0,-0x1
addu v0,v0,a1
addu v1,a0,a3
lbu v1,0x0(v1)
subu v0,v0,v1
teq a1,zero
divu v0,a1
mflo v1
sw v1,0x1c4(s0)
lw v1,0x12c(s0)
andi v1,v1,0x2
bne v1,zero,0x0001d7cc
_addu v1,t2,a0
lbu a2,0x0(v1)
lw v1,0x1b4(s0)
addiu v1,v1,-0x1
addu v1,v1,a2
addu t6,t1,a0
lbu t6,0x0(t6)
subu v1,v1,t6
teq a2,zero
divu v1,a2
mflo t6
sltu v0,v0,a1
bne v0,zero,0x0001d750
_sw t6,0x1b8(s0)
sltu v1,v1,a2
beq v1,zero,0x0001d7d4
_nop
addiu v0,a0,0x1
andi v0,v0,0xff
beq v0,t3,0x0001d6b0
_nop
beq v0,t4,0x0001d788
_nop
bne v0,t5,0x0001d7a4
_sltiu v1,v0,0x8
lw v1,0x1b0(s0)
sltiu v1,v1,0x2
bne v1,zero,0x0001d798
_nop
b 0x0001d6d0
_or a0,v0,zero
lw v1,0x1b0(s0)
sltiu v1,v1,0x3
beq v1,zero,0x0001d6c0
_nop
addiu v0,a0,0x2
andi v0,v0,0xff
sltiu v1,v0,0x8
bne v1,zero,0x0001d6c4
_or a0,v0,zero
addiu v0,v0,-0x1
sb v0,0x1fd(s0)
lw ra,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x20
b 0x0001d7b4
_sb a0,0x1fd(s0)
b 0x0001d7b4
_sb a0,0x1fd(s0)
b 0x0001d7b4
_sb a0,0x1fd(s0)
(translation_unit "void FUN_0001d60c(int param_1)\n\n{\n  undefined *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  \n  uVar2 = *(int *)(param_1 + 0x1c8) + 1;\n  *(uint *)(param_1 + 0x1c8) = uVar2;\n  if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x1c8) = 0;\n  (*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);\n  puVar1 = PTR_LAB_0005601c;\n  uVar2 = (uint)*(byte *)(param_1 + 0x1fd);\n  do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  } while( true );\n}\n\n" (function_definition "void FUN_0001d60c(int param_1)\n\n{\n  undefined *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  \n  uVar2 = *(int *)(param_1 + 0x1c8) + 1;\n  *(uint *)(param_1 + 0x1c8) = uVar2;\n  if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x1c8) = 0;\n  (*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);\n  puVar1 = PTR_LAB_0005601c;\n  uVar2 = (uint)*(byte *)(param_1 + 0x1fd);\n  do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  } while( true );\n}" primitive_type (function_declarator "FUN_0001d60c(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  \n  uVar2 = *(int *)(param_1 + 0x1c8) + 1;\n  *(uint *)(param_1 + 0x1c8) = uVar2;\n  if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x1c8) = 0;\n  (*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);\n  puVar1 = PTR_LAB_0005601c;\n  uVar2 = (uint)*(byte *)(param_1 + 0x1fd);\n  do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  } while( true );\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (expression_statement "uVar2 = *(int *)(param_1 + 0x1c8) + 1;" (assignment_expression "uVar2 = *(int *)(param_1 + 0x1c8) + 1" identifier = (binary_expression "*(int *)(param_1 + 0x1c8) + 1" (pointer_expression "*(int *)(param_1 + 0x1c8)" * (cast_expression "(int *)(param_1 + 0x1c8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c8)" ( (binary_expression "param_1 + 0x1c8" identifier + number_literal) )))) + number_literal)) ;) (expression_statement "*(uint *)(param_1 + 0x1c8) = uVar2;" (assignment_expression "*(uint *)(param_1 + 0x1c8) = uVar2" (pointer_expression "*(uint *)(param_1 + 0x1c8)" * (cast_expression "(uint *)(param_1 + 0x1c8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c8)" ( (binary_expression "param_1 + 0x1c8" identifier + number_literal) )))) = identifier) ;) (if_statement "if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {\n    return;\n  }" if (parenthesized_expression "((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0'))" ( (binary_expression "(uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')" (parenthesized_expression "(uVar2 < *(uint *)(param_1 + 0x1b8))" ( (binary_expression "uVar2 < *(uint *)(param_1 + 0x1b8)" identifier < (pointer_expression "*(uint *)(param_1 + 0x1b8)" * (cast_expression "(uint *)(param_1 + 0x1b8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b8)" ( (binary_expression "param_1 + 0x1b8" identifier + number_literal) ))))) )) || (parenthesized_expression "(*(char *)(param_1 + 0x1fc) == '\0')" ( (binary_expression "*(char *)(param_1 + 0x1fc) == '\0'" (pointer_expression "*(char *)(param_1 + 0x1fc)" * (cast_expression "(char *)(param_1 + 0x1fc)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fc)" ( (binary_expression "param_1 + 0x1fc" identifier + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) ))) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (expression_statement "*(undefined4 *)(param_1 + 0x1c8) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x1c8) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x1c8)" * (cast_expression "(undefined4 *)(param_1 + 0x1c8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c8)" ( (binary_expression "param_1 + 0x1c8" identifier + number_literal) )))) = number_literal) ;) (expression_statement "(*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);" (call_expression "(*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1)" (parenthesized_expression "(*(code *)PTR_memset_00056398)" ( (pointer_expression "*(code *)PTR_memset_00056398" * (cast_expression "(code *)PTR_memset_00056398" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1)" ( (pointer_expression "*(undefined4 *)(param_1 + 0x1d0)" * (cast_expression "(undefined4 *)(param_1 + 0x1d0)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1d0)" ( (binary_expression "param_1 + 0x1d0" identifier + number_literal) )))) , number_literal , (binary_expression "*(int *)(param_1 + 0x1c0) + 1" (pointer_expression "*(int *)(param_1 + 0x1c0)" * (cast_expression "(int *)(param_1 + 0x1c0)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c0)" ( (binary_expression "param_1 + 0x1c0" identifier + number_literal) )))) + number_literal) ))) ;) (expression_statement "puVar1 = PTR_LAB_0005601c;" (assignment_expression "puVar1 = PTR_LAB_0005601c" identifier = identifier) ;) (expression_statement "uVar2 = (uint)*(byte *)(param_1 + 0x1fd);" (assignment_expression "uVar2 = (uint)*(byte *)(param_1 + 0x1fd)" identifier = (binary_expression "(uint)*(byte *)(param_1 + 0x1fd)" (parenthesized_expression "(uint)" ( identifier )) * (cast_expression "(byte *)(param_1 + 0x1fd)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fd)" ( (binary_expression "param_1 + 0x1fd" identifier + number_literal) ))))) ;) (do_statement "do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  } while( true );" do (compound_statement "{\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  }" { (expression_statement "uVar4 = uVar2 + 1 & 0xff;" (assignment_expression "uVar4 = uVar2 + 1 & 0xff" identifier = (binary_expression "uVar2 + 1 & 0xff" (binary_expression "uVar2 + 1" identifier + number_literal) & number_literal)) ;) (if_statement "if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }" if (parenthesized_expression "(uVar4 == 1)" ( (binary_expression "uVar4 == 1" identifier == number_literal) )) (compound_statement "{\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }" { (if_statement "if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }" if (parenthesized_expression "(*(uint *)(param_1 + 0x1b0) < 5)" ( (binary_expression "*(uint *)(param_1 + 0x1b0) < 5" (pointer_expression "*(uint *)(param_1 + 0x1b0)" * (cast_expression "(uint *)(param_1 + 0x1b0)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b0)" ( (binary_expression "param_1 + 0x1b0" identifier + number_literal) )))) < number_literal) )) (compound_statement "{\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }" { (labeled_statement "LAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;" statement_identifier : (expression_statement "uVar4 = uVar2 + 2 & 0xff;" (assignment_expression "uVar4 = uVar2 + 2 & 0xff" identifier = (binary_expression "uVar2 + 2 & 0xff" (binary_expression "uVar2 + 2" identifier + number_literal) & number_literal)) ;)) (labeled_statement "LAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }" statement_identifier : (if_statement "if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }" if (parenthesized_expression "(7 < uVar4)" ( (binary_expression "7 < uVar4" number_literal < identifier) )) (compound_statement "{\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }" { (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4 + -1" (pointer_expression "*(char *)(param_1 + 0x1fd)" * (cast_expression "(char *)(param_1 + 0x1fd)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fd)" ( (binary_expression "param_1 + 0x1fd" identifier + number_literal) )))) = (binary_expression "(char)uVar4 + -1" (cast_expression "(char)uVar4" ( (type_descriptor "char" primitive_type) ) identifier) + number_literal)) ;) (return_statement "return;" return ;) }))) })) (labeled_statement "LAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }" statement_identifier : (if_statement "if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }" if (parenthesized_expression "(6 < uVar4)" ( (binary_expression "6 < uVar4" number_literal < identifier) )) (compound_statement "{\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }" { (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4" (pointer_expression "*(char *)(param_1 + 0x1fd)" * (cast_expression "(char *)(param_1 + 0x1fd)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fd)" ( (binary_expression "param_1 + 0x1fd" identifier + number_literal) )))) = (cast_expression "(char)uVar4" ( (type_descriptor "char" primitive_type) ) identifier)) ;) (return_statement "return;" return ;) }))) }) (else_clause "else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }" else (compound_statement "{\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }" { (if_statement "if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }" if (parenthesized_expression "(uVar4 == 3)" ( (binary_expression "uVar4 == 3" identifier == number_literal) )) (compound_statement "{\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }" { (if_statement "if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;" if (parenthesized_expression "(*(uint *)(param_1 + 0x1b0) < 3)" ( (binary_expression "*(uint *)(param_1 + 0x1b0) < 3" (pointer_expression "*(uint *)(param_1 + 0x1b0)" * (cast_expression "(uint *)(param_1 + 0x1b0)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b0)" ( (binary_expression "param_1 + 0x1b0" identifier + number_literal) )))) < number_literal) )) (goto_statement "goto LAB_0001d798;" goto statement_identifier ;)) (goto_statement "goto LAB_0001d6c4;" goto statement_identifier ;) })) (if_statement "if (uVar4 != 5) goto LAB_0001d7a4;" if (parenthesized_expression "(uVar4 != 5)" ( (binary_expression "uVar4 != 5" identifier != number_literal) )) (goto_statement "goto LAB_0001d7a4;" goto statement_identifier ;)) (if_statement "if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;" if (parenthesized_expression "(*(uint *)(param_1 + 0x1b0) < 2)" ( (binary_expression "*(uint *)(param_1 + 0x1b0) < 2" (pointer_expression "*(uint *)(param_1 + 0x1b0)" * (cast_expression "(uint *)(param_1 + 0x1b0)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b0)" ( (binary_expression "param_1 + 0x1b0" identifier + number_literal) )))) < number_literal) )) (goto_statement "goto LAB_0001d798;" goto statement_identifier ;)) }))) (expression_statement "uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];" (assignment_expression "uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860]" identifier = (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2860]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2860]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2860]" identifier [ (binary_expression "uVar4 + 0x2860" identifier + number_literal) ])))) ;) (expression_statement "uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];" (assignment_expression "uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858]" identifier = (binary_expression "(*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858]" (parenthesized_expression "(*(int *)(param_1 + 0x1b0) + -1 + uVar6)" ( (binary_expression "*(int *)(param_1 + 0x1b0) + -1 + uVar6" (binary_expression "*(int *)(param_1 + 0x1b0) + -1" (pointer_expression "*(int *)(param_1 + 0x1b0)" * (cast_expression "(int *)(param_1 + 0x1b0)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b0)" ( (binary_expression "param_1 + 0x1b0" identifier + number_literal) )))) + number_literal) + identifier) )) - (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2858]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2858]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2858]" identifier [ (binary_expression "uVar4 + 0x2858" identifier + number_literal) ]))))) ;) (if_statement "if (uVar6 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "*(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;" (assignment_expression "*(uint *)(param_1 + 0x1c4) = uVar3 / uVar6" (pointer_expression "*(uint *)(param_1 + 0x1c4)" * (cast_expression "(uint *)(param_1 + 0x1c4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c4)" ( (binary_expression "param_1 + 0x1c4" identifier + number_literal) )))) = (binary_expression "uVar3 / uVar6" identifier / identifier)) ;) (if_statement "if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" if (parenthesized_expression "((*(uint *)(param_1 + 300) & 2) != 0)" ( (binary_expression "(*(uint *)(param_1 + 300) & 2) != 0" (parenthesized_expression "(*(uint *)(param_1 + 300) & 2)" ( (binary_expression "*(uint *)(param_1 + 300) & 2" (pointer_expression "*(uint *)(param_1 + 300)" * (cast_expression "(uint *)(param_1 + 300)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 300)" ( (binary_expression "param_1 + 300" identifier + number_literal) )))) & number_literal) )) != number_literal) )) (compound_statement "{\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" { (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4" (pointer_expression "*(char *)(param_1 + 0x1fd)" * (cast_expression "(char *)(param_1 + 0x1fd)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fd)" ( (binary_expression "param_1 + 0x1fd" identifier + number_literal) )))) = (cast_expression "(char)uVar4" ( (type_descriptor "char" primitive_type) ) identifier)) ;) (return_statement "return;" return ;) })) (expression_statement "uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];" (assignment_expression "uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850]" identifier = (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2850]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2850]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2850]" identifier [ (binary_expression "uVar4 + 0x2850" identifier + number_literal) ])))) ;) (expression_statement "uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];" (assignment_expression "uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848]" identifier = (binary_expression "(*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848]" (parenthesized_expression "(*(int *)(param_1 + 0x1b4) + -1 + uVar7)" ( (binary_expression "*(int *)(param_1 + 0x1b4) + -1 + uVar7" (binary_expression "*(int *)(param_1 + 0x1b4) + -1" (pointer_expression "*(int *)(param_1 + 0x1b4)" * (cast_expression "(int *)(param_1 + 0x1b4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b4)" ( (binary_expression "param_1 + 0x1b4" identifier + number_literal) )))) + number_literal) + identifier) )) - (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2848]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2848]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2848]" identifier [ (binary_expression "uVar4 + 0x2848" identifier + number_literal) ]))))) ;) (if_statement "if (uVar7 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "*(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;" (assignment_expression "*(uint *)(param_1 + 0x1b8) = uVar5 / uVar7" (pointer_expression "*(uint *)(param_1 + 0x1b8)" * (cast_expression "(uint *)(param_1 + 0x1b8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b8)" ( (binary_expression "param_1 + 0x1b8" identifier + number_literal) )))) = (binary_expression "uVar5 / uVar7" identifier / identifier)) ;) (expression_statement "uVar2 = uVar4;" (assignment_expression "uVar2 = uVar4" identifier = identifier) ;) (if_statement "if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" if (parenthesized_expression "((uVar6 <= uVar3) && (uVar7 <= uVar5))" ( (binary_expression "(uVar6 <= uVar3) && (uVar7 <= uVar5)" (parenthesized_expression "(uVar6 <= uVar3)" ( (binary_expression "uVar6 <= uVar3" identifier <= identifier) )) && (parenthesized_expression "(uVar7 <= uVar5)" ( (binary_expression "uVar7 <= uVar5" identifier <= identifier) ))) )) (compound_statement "{\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" { (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4" (pointer_expression "*(char *)(param_1 + 0x1fd)" * (cast_expression "(char *)(param_1 + 0x1fd)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fd)" ( (binary_expression "param_1 + 0x1fd" identifier + number_literal) )))) = (cast_expression "(char)uVar4" ( (type_descriptor "char" primitive_type) ) identifier)) ;) (return_statement "return;" return ;) })) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "void png_read_push_finish_row(png_structrp png_ptr)\n\n{\n  undefined *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  \n  uVar2 = png_ptr->row_number + 1;\n  png_ptr->row_number = uVar2;\n  if ((uVar2 < png_ptr->num_rows) || (png_ptr->interlaced == '\0')) {\n    return;\n  }\n  png_ptr->row_number = 0;\n  (*(code *)PTR_memset_00056398)(png_ptr->prev_row,0,png_ptr->rowbytes + 1);\n  puVar1 = PTR_LAB_0005601c;\n  uVar2 = (uint)png_ptr->pass;\n  do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (png_ptr->width < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        png_ptr->pass = (png_byte)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (png_ptr->width < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (png_ptr->width < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = ((png_ptr->width - 1) + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    png_ptr->iwidth = uVar3 / uVar6;\n    if ((png_ptr->transformations & 2) != 0) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = ((png_ptr->height - 1) + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    png_ptr->num_rows = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }\n  } while( true );\n}\n\n" (function_definition "void png_read_push_finish_row(png_structrp png_ptr)\n\n{\n  undefined *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  \n  uVar2 = png_ptr->row_number + 1;\n  png_ptr->row_number = uVar2;\n  if ((uVar2 < png_ptr->num_rows) || (png_ptr->interlaced == '\0')) {\n    return;\n  }\n  png_ptr->row_number = 0;\n  (*(code *)PTR_memset_00056398)(png_ptr->prev_row,0,png_ptr->rowbytes + 1);\n  puVar1 = PTR_LAB_0005601c;\n  uVar2 = (uint)png_ptr->pass;\n  do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (png_ptr->width < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        png_ptr->pass = (png_byte)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (png_ptr->width < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (png_ptr->width < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = ((png_ptr->width - 1) + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    png_ptr->iwidth = uVar3 / uVar6;\n    if ((png_ptr->transformations & 2) != 0) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = ((png_ptr->height - 1) + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    png_ptr->num_rows = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }\n  } while( true );\n}" primitive_type (function_declarator "png_read_push_finish_row(png_structrp png_ptr)" identifier (parameter_list "(png_structrp png_ptr)" ( (parameter_declaration "png_structrp png_ptr" type_identifier identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  \n  uVar2 = png_ptr->row_number + 1;\n  png_ptr->row_number = uVar2;\n  if ((uVar2 < png_ptr->num_rows) || (png_ptr->interlaced == '\0')) {\n    return;\n  }\n  png_ptr->row_number = 0;\n  (*(code *)PTR_memset_00056398)(png_ptr->prev_row,0,png_ptr->rowbytes + 1);\n  puVar1 = PTR_LAB_0005601c;\n  uVar2 = (uint)png_ptr->pass;\n  do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (png_ptr->width < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        png_ptr->pass = (png_byte)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (png_ptr->width < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (png_ptr->width < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = ((png_ptr->width - 1) + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    png_ptr->iwidth = uVar3 / uVar6;\n    if ((png_ptr->transformations & 2) != 0) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = ((png_ptr->height - 1) + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    png_ptr->num_rows = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }\n  } while( true );\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (expression_statement "uVar2 = png_ptr->row_number + 1;" (assignment_expression "uVar2 = png_ptr->row_number + 1" identifier = (binary_expression "png_ptr->row_number + 1" (field_expression "png_ptr->row_number" identifier -> field_identifier) + number_literal)) ;) (expression_statement "png_ptr->row_number = uVar2;" (assignment_expression "png_ptr->row_number = uVar2" (field_expression "png_ptr->row_number" identifier -> field_identifier) = identifier) ;) (if_statement "if ((uVar2 < png_ptr->num_rows) || (png_ptr->interlaced == '\0')) {\n    return;\n  }" if (parenthesized_expression "((uVar2 < png_ptr->num_rows) || (png_ptr->interlaced == '\0'))" ( (binary_expression "(uVar2 < png_ptr->num_rows) || (png_ptr->interlaced == '\0')" (parenthesized_expression "(uVar2 < png_ptr->num_rows)" ( (binary_expression "uVar2 < png_ptr->num_rows" identifier < (field_expression "png_ptr->num_rows" identifier -> field_identifier)) )) || (parenthesized_expression "(png_ptr->interlaced == '\0')" ( (binary_expression "png_ptr->interlaced == '\0'" (field_expression "png_ptr->interlaced" identifier -> field_identifier) == (char_literal "'\0'" ' escape_sequence ')) ))) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (expression_statement "png_ptr->row_number = 0;" (assignment_expression "png_ptr->row_number = 0" (field_expression "png_ptr->row_number" identifier -> field_identifier) = number_literal) ;) (expression_statement "(*(code *)PTR_memset_00056398)(png_ptr->prev_row,0,png_ptr->rowbytes + 1);" (call_expression "(*(code *)PTR_memset_00056398)(png_ptr->prev_row,0,png_ptr->rowbytes + 1)" (parenthesized_expression "(*(code *)PTR_memset_00056398)" ( (pointer_expression "*(code *)PTR_memset_00056398" * (cast_expression "(code *)PTR_memset_00056398" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(png_ptr->prev_row,0,png_ptr->rowbytes + 1)" ( (field_expression "png_ptr->prev_row" identifier -> field_identifier) , number_literal , (binary_expression "png_ptr->rowbytes + 1" (field_expression "png_ptr->rowbytes" identifier -> field_identifier) + number_literal) ))) ;) (expression_statement "puVar1 = PTR_LAB_0005601c;" (assignment_expression "puVar1 = PTR_LAB_0005601c" identifier = identifier) ;) (expression_statement "uVar2 = (uint)png_ptr->pass;" (assignment_expression "uVar2 = (uint)png_ptr->pass" identifier = (cast_expression "(uint)png_ptr->pass" ( (type_descriptor "uint" type_identifier) ) (field_expression "png_ptr->pass" identifier -> field_identifier))) ;) (do_statement "do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (png_ptr->width < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        png_ptr->pass = (png_byte)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (png_ptr->width < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (png_ptr->width < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = ((png_ptr->width - 1) + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    png_ptr->iwidth = uVar3 / uVar6;\n    if ((png_ptr->transformations & 2) != 0) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = ((png_ptr->height - 1) + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    png_ptr->num_rows = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }\n  } while( true );" do (compound_statement "{\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (png_ptr->width < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        png_ptr->pass = (png_byte)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (png_ptr->width < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (png_ptr->width < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = ((png_ptr->width - 1) + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    png_ptr->iwidth = uVar3 / uVar6;\n    if ((png_ptr->transformations & 2) != 0) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = ((png_ptr->height - 1) + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    png_ptr->num_rows = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }\n  }" { (expression_statement "uVar4 = uVar2 + 1 & 0xff;" (assignment_expression "uVar4 = uVar2 + 1 & 0xff" identifier = (binary_expression "uVar2 + 1 & 0xff" (binary_expression "uVar2 + 1" identifier + number_literal) & number_literal)) ;) (if_statement "if (uVar4 == 1) {\n      if (png_ptr->width < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        png_ptr->pass = (png_byte)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (png_ptr->width < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (png_ptr->width < 2) goto LAB_0001d798;\n    }" if (parenthesized_expression "(uVar4 == 1)" ( (binary_expression "uVar4 == 1" identifier == number_literal) )) (compound_statement "{\n      if (png_ptr->width < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        png_ptr->pass = (png_byte)uVar4;\n        return;\n      }\n    }" { (if_statement "if (png_ptr->width < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }\n      }" if (parenthesized_expression "(png_ptr->width < 5)" ( (binary_expression "png_ptr->width < 5" (field_expression "png_ptr->width" identifier -> field_identifier) < number_literal) )) (compound_statement "{\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }\n      }" { (labeled_statement "LAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;" statement_identifier : (expression_statement "uVar4 = uVar2 + 2 & 0xff;" (assignment_expression "uVar4 = uVar2 + 2 & 0xff" identifier = (binary_expression "uVar2 + 2 & 0xff" (binary_expression "uVar2 + 2" identifier + number_literal) & number_literal)) ;)) (labeled_statement "LAB_0001d7a4:\n        if (7 < uVar4) {\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }" statement_identifier : (if_statement "if (7 < uVar4) {\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }" if (parenthesized_expression "(7 < uVar4)" ( (binary_expression "7 < uVar4" number_literal < identifier) )) (compound_statement "{\n          png_ptr->pass = (char)uVar4 + 0xff;\n          return;\n        }" { (expression_statement "png_ptr->pass = (char)uVar4 + 0xff;" (assignment_expression "png_ptr->pass = (char)uVar4 + 0xff" (field_expression "png_ptr->pass" identifier -> field_identifier) = (binary_expression "(char)uVar4 + 0xff" (cast_expression "(char)uVar4" ( (type_descriptor "char" primitive_type) ) identifier) + number_literal)) ;) (return_statement "return;" return ;) }))) })) (labeled_statement "LAB_0001d6c4:\n      if (6 < uVar4) {\n        png_ptr->pass = (png_byte)uVar4;\n        return;\n      }" statement_identifier : (if_statement "if (6 < uVar4) {\n        png_ptr->pass = (png_byte)uVar4;\n        return;\n      }" if (parenthesized_expression "(6 < uVar4)" ( (binary_expression "6 < uVar4" number_literal < identifier) )) (compound_statement "{\n        png_ptr->pass = (png_byte)uVar4;\n        return;\n      }" { (expression_statement "png_ptr->pass = (png_byte)uVar4;" (assignment_expression "png_ptr->pass = (png_byte)uVar4" (field_expression "png_ptr->pass" identifier -> field_identifier) = (cast_expression "(png_byte)uVar4" ( (type_descriptor "png_byte" type_identifier) ) identifier)) ;) (return_statement "return;" return ;) }))) }) (else_clause "else {\n      if (uVar4 == 3) {\n        if (png_ptr->width < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (png_ptr->width < 2) goto LAB_0001d798;\n    }" else (compound_statement "{\n      if (uVar4 == 3) {\n        if (png_ptr->width < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (png_ptr->width < 2) goto LAB_0001d798;\n    }" { (if_statement "if (uVar4 == 3) {\n        if (png_ptr->width < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }" if (parenthesized_expression "(uVar4 == 3)" ( (binary_expression "uVar4 == 3" identifier == number_literal) )) (compound_statement "{\n        if (png_ptr->width < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }" { (if_statement "if (png_ptr->width < 3) goto LAB_0001d798;" if (parenthesized_expression "(png_ptr->width < 3)" ( (binary_expression "png_ptr->width < 3" (field_expression "png_ptr->width" identifier -> field_identifier) < number_literal) )) (goto_statement "goto LAB_0001d798;" goto statement_identifier ;)) (goto_statement "goto LAB_0001d6c4;" goto statement_identifier ;) })) (if_statement "if (uVar4 != 5) goto LAB_0001d7a4;" if (parenthesized_expression "(uVar4 != 5)" ( (binary_expression "uVar4 != 5" identifier != number_literal) )) (goto_statement "goto LAB_0001d7a4;" goto statement_identifier ;)) (if_statement "if (png_ptr->width < 2) goto LAB_0001d798;" if (parenthesized_expression "(png_ptr->width < 2)" ( (binary_expression "png_ptr->width < 2" (field_expression "png_ptr->width" identifier -> field_identifier) < number_literal) )) (goto_statement "goto LAB_0001d798;" goto statement_identifier ;)) }))) (expression_statement "uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];" (assignment_expression "uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860]" identifier = (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2860]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2860]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2860]" identifier [ (binary_expression "uVar4 + 0x2860" identifier + number_literal) ])))) ;) (expression_statement "uVar3 = ((png_ptr->width - 1) + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];" (assignment_expression "uVar3 = ((png_ptr->width - 1) + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858]" identifier = (binary_expression "((png_ptr->width - 1) + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858]" (parenthesized_expression "((png_ptr->width - 1) + uVar6)" ( (binary_expression "(png_ptr->width - 1) + uVar6" (parenthesized_expression "(png_ptr->width - 1)" ( (binary_expression "png_ptr->width - 1" (field_expression "png_ptr->width" identifier -> field_identifier) - number_literal) )) + identifier) )) - (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2858]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2858]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2858]" identifier [ (binary_expression "uVar4 + 0x2858" identifier + number_literal) ]))))) ;) (if_statement "if (uVar6 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "png_ptr->iwidth = uVar3 / uVar6;" (assignment_expression "png_ptr->iwidth = uVar3 / uVar6" (field_expression "png_ptr->iwidth" identifier -> field_identifier) = (binary_expression "uVar3 / uVar6" identifier / identifier)) ;) (if_statement "if ((png_ptr->transformations & 2) != 0) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }" if (parenthesized_expression "((png_ptr->transformations & 2) != 0)" ( (binary_expression "(png_ptr->transformations & 2) != 0" (parenthesized_expression "(png_ptr->transformations & 2)" ( (binary_expression "png_ptr->transformations & 2" (field_expression "png_ptr->transformations" identifier -> field_identifier) & number_literal) )) != number_literal) )) (compound_statement "{\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }" { (expression_statement "png_ptr->pass = (png_byte)uVar4;" (assignment_expression "png_ptr->pass = (png_byte)uVar4" (field_expression "png_ptr->pass" identifier -> field_identifier) = (cast_expression "(png_byte)uVar4" ( (type_descriptor "png_byte" type_identifier) ) identifier)) ;) (return_statement "return;" return ;) })) (expression_statement "uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];" (assignment_expression "uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850]" identifier = (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2850]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2850]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2850]" identifier [ (binary_expression "uVar4 + 0x2850" identifier + number_literal) ])))) ;) (expression_statement "uVar5 = ((png_ptr->height - 1) + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];" (assignment_expression "uVar5 = ((png_ptr->height - 1) + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848]" identifier = (binary_expression "((png_ptr->height - 1) + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848]" (parenthesized_expression "((png_ptr->height - 1) + uVar7)" ( (binary_expression "(png_ptr->height - 1) + uVar7" (parenthesized_expression "(png_ptr->height - 1)" ( (binary_expression "png_ptr->height - 1" (field_expression "png_ptr->height" identifier -> field_identifier) - number_literal) )) + identifier) )) - (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2848]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2848]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2848]" identifier [ (binary_expression "uVar4 + 0x2848" identifier + number_literal) ]))))) ;) (if_statement "if (uVar7 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "png_ptr->num_rows = uVar5 / uVar7;" (assignment_expression "png_ptr->num_rows = uVar5 / uVar7" (field_expression "png_ptr->num_rows" identifier -> field_identifier) = (binary_expression "uVar5 / uVar7" identifier / identifier)) ;) (expression_statement "uVar2 = uVar4;" (assignment_expression "uVar2 = uVar4" identifier = identifier) ;) (if_statement "if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }" if (parenthesized_expression "((uVar6 <= uVar3) && (uVar7 <= uVar5))" ( (binary_expression "(uVar6 <= uVar3) && (uVar7 <= uVar5)" (parenthesized_expression "(uVar6 <= uVar3)" ( (binary_expression "uVar6 <= uVar3" identifier <= identifier) )) && (parenthesized_expression "(uVar7 <= uVar5)" ( (binary_expression "uVar7 <= uVar5" identifier <= identifier) ))) )) (compound_statement "{\n      png_ptr->pass = (png_byte)uVar4;\n      return;\n    }" { (expression_statement "png_ptr->pass = (png_byte)uVar4;" (assignment_expression "png_ptr->pass = (png_byte)uVar4" (field_expression "png_ptr->pass" identifier -> field_identifier) = (cast_expression "(png_byte)uVar4" ( (type_descriptor "png_byte" type_identifier) ) identifier)) ;) (return_statement "return;" return ;) })) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "void FUN_0001d60c(int param_1)\n\n{\n  undefined *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  \n  uVar2 = *(int *)(param_1 + 0x1c8) + 1;\n  *(uint *)(param_1 + 0x1c8) = uVar2;\n  if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x1c8) = 0;\n  (*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);\n  puVar1 = PTR_LAB_0005601c;\n  uVar2 = (uint)*(byte *)(param_1 + 0x1fd);\n  do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  } while( true );\n}\n\n" (function_definition "void FUN_0001d60c(int param_1)\n\n{\n  undefined *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  \n  uVar2 = *(int *)(param_1 + 0x1c8) + 1;\n  *(uint *)(param_1 + 0x1c8) = uVar2;\n  if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x1c8) = 0;\n  (*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);\n  puVar1 = PTR_LAB_0005601c;\n  uVar2 = (uint)*(byte *)(param_1 + 0x1fd);\n  do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  } while( true );\n}" primitive_type (function_declarator "FUN_0001d60c(int param_1)" identifier (parameter_list "(int param_1)" ( (parameter_declaration "int param_1" primitive_type identifier) ))) (compound_statement "{\n  undefined *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  \n  uVar2 = *(int *)(param_1 + 0x1c8) + 1;\n  *(uint *)(param_1 + 0x1c8) = uVar2;\n  if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x1c8) = 0;\n  (*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);\n  puVar1 = PTR_LAB_0005601c;\n  uVar2 = (uint)*(byte *)(param_1 + 0x1fd);\n  do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  } while( true );\n}" { (declaration "undefined *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (expression_statement "uVar2 = *(int *)(param_1 + 0x1c8) + 1;" (assignment_expression "uVar2 = *(int *)(param_1 + 0x1c8) + 1" identifier = (binary_expression "*(int *)(param_1 + 0x1c8) + 1" (pointer_expression "*(int *)(param_1 + 0x1c8)" * (cast_expression "(int *)(param_1 + 0x1c8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c8)" ( (binary_expression "param_1 + 0x1c8" identifier + number_literal) )))) + number_literal)) ;) (expression_statement "*(uint *)(param_1 + 0x1c8) = uVar2;" (assignment_expression "*(uint *)(param_1 + 0x1c8) = uVar2" (pointer_expression "*(uint *)(param_1 + 0x1c8)" * (cast_expression "(uint *)(param_1 + 0x1c8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c8)" ( (binary_expression "param_1 + 0x1c8" identifier + number_literal) )))) = identifier) ;) (if_statement "if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {\n    return;\n  }" if (parenthesized_expression "((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0'))" ( (binary_expression "(uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')" (parenthesized_expression "(uVar2 < *(uint *)(param_1 + 0x1b8))" ( (binary_expression "uVar2 < *(uint *)(param_1 + 0x1b8)" identifier < (pointer_expression "*(uint *)(param_1 + 0x1b8)" * (cast_expression "(uint *)(param_1 + 0x1b8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b8)" ( (binary_expression "param_1 + 0x1b8" identifier + number_literal) ))))) )) || (parenthesized_expression "(*(char *)(param_1 + 0x1fc) == '\0')" ( (binary_expression "*(char *)(param_1 + 0x1fc) == '\0'" (pointer_expression "*(char *)(param_1 + 0x1fc)" * (cast_expression "(char *)(param_1 + 0x1fc)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fc)" ( (binary_expression "param_1 + 0x1fc" identifier + number_literal) )))) == (char_literal "'\0'" ' escape_sequence ')) ))) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (expression_statement "*(undefined4 *)(param_1 + 0x1c8) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x1c8) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x1c8)" * (cast_expression "(undefined4 *)(param_1 + 0x1c8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c8)" ( (binary_expression "param_1 + 0x1c8" identifier + number_literal) )))) = number_literal) ;) (expression_statement "(*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);" (call_expression "(*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1)" (parenthesized_expression "(*(code *)PTR_memset_00056398)" ( (pointer_expression "*(code *)PTR_memset_00056398" * (cast_expression "(code *)PTR_memset_00056398" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1)" ( (pointer_expression "*(undefined4 *)(param_1 + 0x1d0)" * (cast_expression "(undefined4 *)(param_1 + 0x1d0)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1d0)" ( (binary_expression "param_1 + 0x1d0" identifier + number_literal) )))) , number_literal , (binary_expression "*(int *)(param_1 + 0x1c0) + 1" (pointer_expression "*(int *)(param_1 + 0x1c0)" * (cast_expression "(int *)(param_1 + 0x1c0)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c0)" ( (binary_expression "param_1 + 0x1c0" identifier + number_literal) )))) + number_literal) ))) ;) (expression_statement "puVar1 = PTR_LAB_0005601c;" (assignment_expression "puVar1 = PTR_LAB_0005601c" identifier = identifier) ;) (expression_statement "uVar2 = (uint)*(byte *)(param_1 + 0x1fd);" (assignment_expression "uVar2 = (uint)*(byte *)(param_1 + 0x1fd)" identifier = (binary_expression "(uint)*(byte *)(param_1 + 0x1fd)" (parenthesized_expression "(uint)" ( identifier )) * (cast_expression "(byte *)(param_1 + 0x1fd)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fd)" ( (binary_expression "param_1 + 0x1fd" identifier + number_literal) ))))) ;) (do_statement "do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  } while( true );" do (compound_statement "{\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  }" { (expression_statement "uVar4 = uVar2 + 1 & 0xff;" (assignment_expression "uVar4 = uVar2 + 1 & 0xff" identifier = (binary_expression "uVar2 + 1 & 0xff" (binary_expression "uVar2 + 1" identifier + number_literal) & number_literal)) ;) (if_statement "if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }" if (parenthesized_expression "(uVar4 == 1)" ( (binary_expression "uVar4 == 1" identifier == number_literal) )) (compound_statement "{\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }" { (if_statement "if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }" if (parenthesized_expression "(*(uint *)(param_1 + 0x1b0) < 5)" ( (binary_expression "*(uint *)(param_1 + 0x1b0) < 5" (pointer_expression "*(uint *)(param_1 + 0x1b0)" * (cast_expression "(uint *)(param_1 + 0x1b0)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b0)" ( (binary_expression "param_1 + 0x1b0" identifier + number_literal) )))) < number_literal) )) (compound_statement "{\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }" { (labeled_statement "LAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;" statement_identifier : (expression_statement "uVar4 = uVar2 + 2 & 0xff;" (assignment_expression "uVar4 = uVar2 + 2 & 0xff" identifier = (binary_expression "uVar2 + 2 & 0xff" (binary_expression "uVar2 + 2" identifier + number_literal) & number_literal)) ;)) (labeled_statement "LAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }" statement_identifier : (if_statement "if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }" if (parenthesized_expression "(7 < uVar4)" ( (binary_expression "7 < uVar4" number_literal < identifier) )) (compound_statement "{\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }" { (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4 + -1" (pointer_expression "*(char *)(param_1 + 0x1fd)" * (cast_expression "(char *)(param_1 + 0x1fd)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fd)" ( (binary_expression "param_1 + 0x1fd" identifier + number_literal) )))) = (binary_expression "(char)uVar4 + -1" (cast_expression "(char)uVar4" ( (type_descriptor "char" primitive_type) ) identifier) + number_literal)) ;) (return_statement "return;" return ;) }))) })) (labeled_statement "LAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }" statement_identifier : (if_statement "if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }" if (parenthesized_expression "(6 < uVar4)" ( (binary_expression "6 < uVar4" number_literal < identifier) )) (compound_statement "{\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }" { (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4" (pointer_expression "*(char *)(param_1 + 0x1fd)" * (cast_expression "(char *)(param_1 + 0x1fd)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fd)" ( (binary_expression "param_1 + 0x1fd" identifier + number_literal) )))) = (cast_expression "(char)uVar4" ( (type_descriptor "char" primitive_type) ) identifier)) ;) (return_statement "return;" return ;) }))) }) (else_clause "else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }" else (compound_statement "{\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }" { (if_statement "if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }" if (parenthesized_expression "(uVar4 == 3)" ( (binary_expression "uVar4 == 3" identifier == number_literal) )) (compound_statement "{\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }" { (if_statement "if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;" if (parenthesized_expression "(*(uint *)(param_1 + 0x1b0) < 3)" ( (binary_expression "*(uint *)(param_1 + 0x1b0) < 3" (pointer_expression "*(uint *)(param_1 + 0x1b0)" * (cast_expression "(uint *)(param_1 + 0x1b0)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b0)" ( (binary_expression "param_1 + 0x1b0" identifier + number_literal) )))) < number_literal) )) (goto_statement "goto LAB_0001d798;" goto statement_identifier ;)) (goto_statement "goto LAB_0001d6c4;" goto statement_identifier ;) })) (if_statement "if (uVar4 != 5) goto LAB_0001d7a4;" if (parenthesized_expression "(uVar4 != 5)" ( (binary_expression "uVar4 != 5" identifier != number_literal) )) (goto_statement "goto LAB_0001d7a4;" goto statement_identifier ;)) (if_statement "if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;" if (parenthesized_expression "(*(uint *)(param_1 + 0x1b0) < 2)" ( (binary_expression "*(uint *)(param_1 + 0x1b0) < 2" (pointer_expression "*(uint *)(param_1 + 0x1b0)" * (cast_expression "(uint *)(param_1 + 0x1b0)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b0)" ( (binary_expression "param_1 + 0x1b0" identifier + number_literal) )))) < number_literal) )) (goto_statement "goto LAB_0001d798;" goto statement_identifier ;)) }))) (expression_statement "uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];" (assignment_expression "uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860]" identifier = (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2860]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2860]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2860]" identifier [ (binary_expression "uVar4 + 0x2860" identifier + number_literal) ])))) ;) (expression_statement "uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];" (assignment_expression "uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858]" identifier = (binary_expression "(*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858]" (parenthesized_expression "(*(int *)(param_1 + 0x1b0) + -1 + uVar6)" ( (binary_expression "*(int *)(param_1 + 0x1b0) + -1 + uVar6" (binary_expression "*(int *)(param_1 + 0x1b0) + -1" (pointer_expression "*(int *)(param_1 + 0x1b0)" * (cast_expression "(int *)(param_1 + 0x1b0)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b0)" ( (binary_expression "param_1 + 0x1b0" identifier + number_literal) )))) + number_literal) + identifier) )) - (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2858]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2858]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2858]" identifier [ (binary_expression "uVar4 + 0x2858" identifier + number_literal) ]))))) ;) (if_statement "if (uVar6 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "*(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;" (assignment_expression "*(uint *)(param_1 + 0x1c4) = uVar3 / uVar6" (pointer_expression "*(uint *)(param_1 + 0x1c4)" * (cast_expression "(uint *)(param_1 + 0x1c4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1c4)" ( (binary_expression "param_1 + 0x1c4" identifier + number_literal) )))) = (binary_expression "uVar3 / uVar6" identifier / identifier)) ;) (if_statement "if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" if (parenthesized_expression "((*(uint *)(param_1 + 300) & 2) != 0)" ( (binary_expression "(*(uint *)(param_1 + 300) & 2) != 0" (parenthesized_expression "(*(uint *)(param_1 + 300) & 2)" ( (binary_expression "*(uint *)(param_1 + 300) & 2" (pointer_expression "*(uint *)(param_1 + 300)" * (cast_expression "(uint *)(param_1 + 300)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 300)" ( (binary_expression "param_1 + 300" identifier + number_literal) )))) & number_literal) )) != number_literal) )) (compound_statement "{\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" { (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4" (pointer_expression "*(char *)(param_1 + 0x1fd)" * (cast_expression "(char *)(param_1 + 0x1fd)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fd)" ( (binary_expression "param_1 + 0x1fd" identifier + number_literal) )))) = (cast_expression "(char)uVar4" ( (type_descriptor "char" primitive_type) ) identifier)) ;) (return_statement "return;" return ;) })) (expression_statement "uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];" (assignment_expression "uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850]" identifier = (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2850]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2850]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2850]" identifier [ (binary_expression "uVar4 + 0x2850" identifier + number_literal) ])))) ;) (expression_statement "uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];" (assignment_expression "uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848]" identifier = (binary_expression "(*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848]" (parenthesized_expression "(*(int *)(param_1 + 0x1b4) + -1 + uVar7)" ( (binary_expression "*(int *)(param_1 + 0x1b4) + -1 + uVar7" (binary_expression "*(int *)(param_1 + 0x1b4) + -1" (pointer_expression "*(int *)(param_1 + 0x1b4)" * (cast_expression "(int *)(param_1 + 0x1b4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b4)" ( (binary_expression "param_1 + 0x1b4" identifier + number_literal) )))) + number_literal) + identifier) )) - (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2848]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)puVar1[uVar4 + 0x2848]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "puVar1[uVar4 + 0x2848]" identifier [ (binary_expression "uVar4 + 0x2848" identifier + number_literal) ]))))) ;) (if_statement "if (uVar7 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "*(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;" (assignment_expression "*(uint *)(param_1 + 0x1b8) = uVar5 / uVar7" (pointer_expression "*(uint *)(param_1 + 0x1b8)" * (cast_expression "(uint *)(param_1 + 0x1b8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1b8)" ( (binary_expression "param_1 + 0x1b8" identifier + number_literal) )))) = (binary_expression "uVar5 / uVar7" identifier / identifier)) ;) (expression_statement "uVar2 = uVar4;" (assignment_expression "uVar2 = uVar4" identifier = identifier) ;) (if_statement "if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" if (parenthesized_expression "((uVar6 <= uVar3) && (uVar7 <= uVar5))" ( (binary_expression "(uVar6 <= uVar3) && (uVar7 <= uVar5)" (parenthesized_expression "(uVar6 <= uVar3)" ( (binary_expression "uVar6 <= uVar3" identifier <= identifier) )) && (parenthesized_expression "(uVar7 <= uVar5)" ( (binary_expression "uVar7 <= uVar5" identifier <= identifier) ))) )) (compound_statement "{\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" { (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4" (pointer_expression "*(char *)(param_1 + 0x1fd)" * (cast_expression "(char *)(param_1 + 0x1fd)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x1fd)" ( (binary_expression "param_1 + 0x1fd" identifier + number_literal) )))) = (cast_expression "(char)uVar4" ( (type_descriptor "char" primitive_type) ) identifier)) ;) (return_statement "return;" return ;) })) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT < (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) || (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 { (return_statement return ;) })) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = LIT) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) , LIT , (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) ))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( IDENT )) * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + LIT) & LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) < LIT) )) (compound_statement { (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + LIT) & LIT)) ;)) (labeled_statement statement_identifier : (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT)) ;) (return_statement return ;) }))) })) (labeled_statement statement_identifier : (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (return_statement return ;) }))) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) < LIT) )) (goto_statement goto statement_identifier ;)) (goto_statement goto statement_identifier ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) < LIT) )) (goto_statement goto statement_identifier ;)) }))) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ (binary_expression IDENT + LIT) ])))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) + IDENT) )) - (cast_expression ( (type_descriptor TYPE) ) (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( LIT ))) ;) })) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (binary_expression IDENT / IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) & LIT) )) != LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ (binary_expression IDENT + LIT) ])))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) + IDENT) )) - (cast_expression ( (type_descriptor TYPE) ) (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( LIT ))) ;) })) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (binary_expression IDENT / IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) && (parenthesized_expression ( (binary_expression IDENT <= IDENT) ))) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (return_statement return ;) })) }) while (parenthesized_expression ( BOOL )) ;) })))
(function_definition "void FUN_0001d60c(int param_1)\n\n{\n  undefined *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  \n  uVar2 = *(int *)(param_1 + 0x1c8) + 1;\n  *(uint *)(param_1 + 0x1c8) = uVar2;\n  if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x1c8) = 0;\n  (*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);\n  puVar1 = PTR_LAB_0005601c;\n  uVar2 = (uint)*(byte *)(param_1 + 0x1fd);\n  do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  } while( true );\n}" (primitive_type "void") (function_declarator "FUN_0001d60c(int param_1)" (identifier "FUN_0001d60c") (parameter_list "(int param_1)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) () ")"))) (compound_statement "{\n  undefined *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  \n  uVar2 = *(int *)(param_1 + 0x1c8) + 1;\n  *(uint *)(param_1 + 0x1c8) = uVar2;\n  if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {\n    return;\n  }\n  *(undefined4 *)(param_1 + 0x1c8) = 0;\n  (*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);\n  puVar1 = PTR_LAB_0005601c;\n  uVar2 = (uint)*(byte *)(param_1 + 0x1fd);\n  do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  } while( true );\n}" ({ "{") (declaration "undefined *puVar1;" (type_identifier "undefined") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "uint uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (expression_statement "uVar2 = *(int *)(param_1 + 0x1c8) + 1;" (assignment_expression "uVar2 = *(int *)(param_1 + 0x1c8) + 1" (identifier "uVar2") (= "=") (binary_expression "*(int *)(param_1 + 0x1c8) + 1" (pointer_expression "*(int *)(param_1 + 0x1c8)" (* "*") (cast_expression "(int *)(param_1 + 0x1c8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1c8)" (( "(") (binary_expression "param_1 + 0x1c8" (identifier "param_1") (+ "+") (number_literal "0x1c8")) () ")")))) (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*(uint *)(param_1 + 0x1c8) = uVar2;" (assignment_expression "*(uint *)(param_1 + 0x1c8) = uVar2" (pointer_expression "*(uint *)(param_1 + 0x1c8)" (* "*") (cast_expression "(uint *)(param_1 + 0x1c8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1c8)" (( "(") (binary_expression "param_1 + 0x1c8" (identifier "param_1") (+ "+") (number_literal "0x1c8")) () ")")))) (= "=") (identifier "uVar2")) (; ";")) (if_statement "if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {\n    return;\n  }" (if "if") (parenthesized_expression "((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0'))" (( "(") (binary_expression "(uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')" (parenthesized_expression "(uVar2 < *(uint *)(param_1 + 0x1b8))" (( "(") (binary_expression "uVar2 < *(uint *)(param_1 + 0x1b8)" (identifier "uVar2") (< "<") (pointer_expression "*(uint *)(param_1 + 0x1b8)" (* "*") (cast_expression "(uint *)(param_1 + 0x1b8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1b8)" (( "(") (binary_expression "param_1 + 0x1b8" (identifier "param_1") (+ "+") (number_literal "0x1b8")) () ")"))))) () ")")) (|| "||") (parenthesized_expression "(*(char *)(param_1 + 0x1fc) == '\0')" (( "(") (binary_expression "*(char *)(param_1 + 0x1fc) == '\0'" (pointer_expression "*(char *)(param_1 + 0x1fc)" (* "*") (cast_expression "(char *)(param_1 + 0x1fc)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1fc)" (( "(") (binary_expression "param_1 + 0x1fc" (identifier "param_1") (+ "+") (number_literal "0x1fc")) () ")")))) (== "==") (char_literal "'\0'" (' "'") (escape_sequence "\0") (' "'"))) () ")"))) () ")")) (compound_statement "{\n    return;\n  }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "*(undefined4 *)(param_1 + 0x1c8) = 0;" (assignment_expression "*(undefined4 *)(param_1 + 0x1c8) = 0" (pointer_expression "*(undefined4 *)(param_1 + 0x1c8)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x1c8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1c8)" (( "(") (binary_expression "param_1 + 0x1c8" (identifier "param_1") (+ "+") (number_literal "0x1c8")) () ")")))) (= "=") (number_literal "0")) (; ";")) (expression_statement "(*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);" (call_expression "(*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1)" (parenthesized_expression "(*(code *)PTR_memset_00056398)" (( "(") (pointer_expression "*(code *)PTR_memset_00056398" (* "*") (cast_expression "(code *)PTR_memset_00056398" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_memset_00056398"))) () ")")) (argument_list "(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1)" (( "(") (pointer_expression "*(undefined4 *)(param_1 + 0x1d0)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x1d0)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1d0)" (( "(") (binary_expression "param_1 + 0x1d0" (identifier "param_1") (+ "+") (number_literal "0x1d0")) () ")")))) (, ",") (number_literal "0") (, ",") (binary_expression "*(int *)(param_1 + 0x1c0) + 1" (pointer_expression "*(int *)(param_1 + 0x1c0)" (* "*") (cast_expression "(int *)(param_1 + 0x1c0)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1c0)" (( "(") (binary_expression "param_1 + 0x1c0" (identifier "param_1") (+ "+") (number_literal "0x1c0")) () ")")))) (+ "+") (number_literal "1")) () ")"))) (; ";")) (expression_statement "puVar1 = PTR_LAB_0005601c;" (assignment_expression "puVar1 = PTR_LAB_0005601c" (identifier "puVar1") (= "=") (identifier "PTR_LAB_0005601c")) (; ";")) (expression_statement "uVar2 = (uint)*(byte *)(param_1 + 0x1fd);" (assignment_expression "uVar2 = (uint)*(byte *)(param_1 + 0x1fd)" (identifier "uVar2") (= "=") (binary_expression "(uint)*(byte *)(param_1 + 0x1fd)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (* "*") (cast_expression "(byte *)(param_1 + 0x1fd)" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1fd)" (( "(") (binary_expression "param_1 + 0x1fd" (identifier "param_1") (+ "+") (number_literal "0x1fd")) () ")"))))) (; ";")) (do_statement "do {\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  } while( true );" (do "do") (compound_statement "{\n    uVar4 = uVar2 + 1 & 0xff;\n    if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }\n    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];\n    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];\n    if (uVar6 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;\n    if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];\n    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];\n    if (uVar7 == 0) {\n      trap(7);\n    }\n    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;\n    uVar2 = uVar4;\n    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }\n  }" ({ "{") (expression_statement "uVar4 = uVar2 + 1 & 0xff;" (assignment_expression "uVar4 = uVar2 + 1 & 0xff" (identifier "uVar4") (= "=") (binary_expression "uVar2 + 1 & 0xff" (binary_expression "uVar2 + 1" (identifier "uVar2") (+ "+") (number_literal "1")) (& "&") (number_literal "0xff"))) (; ";")) (if_statement "if (uVar4 == 1) {\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }\n    else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }" (if "if") (parenthesized_expression "(uVar4 == 1)" (( "(") (binary_expression "uVar4 == 1" (identifier "uVar4") (== "==") (number_literal "1")) () ")")) (compound_statement "{\n      if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }\nLAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }\n    }" ({ "{") (if_statement "if (*(uint *)(param_1 + 0x1b0) < 5) {\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }" (if "if") (parenthesized_expression "(*(uint *)(param_1 + 0x1b0) < 5)" (( "(") (binary_expression "*(uint *)(param_1 + 0x1b0) < 5" (pointer_expression "*(uint *)(param_1 + 0x1b0)" (* "*") (cast_expression "(uint *)(param_1 + 0x1b0)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1b0)" (( "(") (binary_expression "param_1 + 0x1b0" (identifier "param_1") (+ "+") (number_literal "0x1b0")) () ")")))) (< "<") (number_literal "5")) () ")")) (compound_statement "{\nLAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;\nLAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }\n      }" ({ "{") (labeled_statement "LAB_0001d798:\n        uVar4 = uVar2 + 2 & 0xff;" (statement_identifier "LAB_0001d798") (: ":") (expression_statement "uVar4 = uVar2 + 2 & 0xff;" (assignment_expression "uVar4 = uVar2 + 2 & 0xff" (identifier "uVar4") (= "=") (binary_expression "uVar2 + 2 & 0xff" (binary_expression "uVar2 + 2" (identifier "uVar2") (+ "+") (number_literal "2")) (& "&") (number_literal "0xff"))) (; ";"))) (labeled_statement "LAB_0001d7a4:\n        if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }" (statement_identifier "LAB_0001d7a4") (: ":") (if_statement "if (7 < uVar4) {\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }" (if "if") (parenthesized_expression "(7 < uVar4)" (( "(") (binary_expression "7 < uVar4" (number_literal "7") (< "<") (identifier "uVar4")) () ")")) (compound_statement "{\n          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;\n          return;\n        }" ({ "{") (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4 + -1" (pointer_expression "*(char *)(param_1 + 0x1fd)" (* "*") (cast_expression "(char *)(param_1 + 0x1fd)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1fd)" (( "(") (binary_expression "param_1 + 0x1fd" (identifier "param_1") (+ "+") (number_literal "0x1fd")) () ")")))) (= "=") (binary_expression "(char)uVar4 + -1" (cast_expression "(char)uVar4" (( "(") (type_descriptor "char" (primitive_type "char")) () ")") (identifier "uVar4")) (+ "+") (number_literal "-1"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))) (} "}"))) (labeled_statement "LAB_0001d6c4:\n      if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }" (statement_identifier "LAB_0001d6c4") (: ":") (if_statement "if (6 < uVar4) {\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }" (if "if") (parenthesized_expression "(6 < uVar4)" (( "(") (binary_expression "6 < uVar4" (number_literal "6") (< "<") (identifier "uVar4")) () ")")) (compound_statement "{\n        *(char *)(param_1 + 0x1fd) = (char)uVar4;\n        return;\n      }" ({ "{") (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4" (pointer_expression "*(char *)(param_1 + 0x1fd)" (* "*") (cast_expression "(char *)(param_1 + 0x1fd)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1fd)" (( "(") (binary_expression "param_1 + 0x1fd" (identifier "param_1") (+ "+") (number_literal "0x1fd")) () ")")))) (= "=") (cast_expression "(char)uVar4" (( "(") (type_descriptor "char" (primitive_type "char")) () ")") (identifier "uVar4"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))) (} "}")) (else_clause "else {\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }" (else "else") (compound_statement "{\n      if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }\n      if (uVar4 != 5) goto LAB_0001d7a4;\n      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;\n    }" ({ "{") (if_statement "if (uVar4 == 3) {\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }" (if "if") (parenthesized_expression "(uVar4 == 3)" (( "(") (binary_expression "uVar4 == 3" (identifier "uVar4") (== "==") (number_literal "3")) () ")")) (compound_statement "{\n        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;\n        goto LAB_0001d6c4;\n      }" ({ "{") (if_statement "if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;" (if "if") (parenthesized_expression "(*(uint *)(param_1 + 0x1b0) < 3)" (( "(") (binary_expression "*(uint *)(param_1 + 0x1b0) < 3" (pointer_expression "*(uint *)(param_1 + 0x1b0)" (* "*") (cast_expression "(uint *)(param_1 + 0x1b0)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1b0)" (( "(") (binary_expression "param_1 + 0x1b0" (identifier "param_1") (+ "+") (number_literal "0x1b0")) () ")")))) (< "<") (number_literal "3")) () ")")) (goto_statement "goto LAB_0001d798;" (goto "goto") (statement_identifier "LAB_0001d798") (; ";"))) (goto_statement "goto LAB_0001d6c4;" (goto "goto") (statement_identifier "LAB_0001d6c4") (; ";")) (} "}"))) (if_statement "if (uVar4 != 5) goto LAB_0001d7a4;" (if "if") (parenthesized_expression "(uVar4 != 5)" (( "(") (binary_expression "uVar4 != 5" (identifier "uVar4") (!= "!=") (number_literal "5")) () ")")) (goto_statement "goto LAB_0001d7a4;" (goto "goto") (statement_identifier "LAB_0001d7a4") (; ";"))) (if_statement "if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;" (if "if") (parenthesized_expression "(*(uint *)(param_1 + 0x1b0) < 2)" (( "(") (binary_expression "*(uint *)(param_1 + 0x1b0) < 2" (pointer_expression "*(uint *)(param_1 + 0x1b0)" (* "*") (cast_expression "(uint *)(param_1 + 0x1b0)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1b0)" (( "(") (binary_expression "param_1 + 0x1b0" (identifier "param_1") (+ "+") (number_literal "0x1b0")) () ")")))) (< "<") (number_literal "2")) () ")")) (goto_statement "goto LAB_0001d798;" (goto "goto") (statement_identifier "LAB_0001d798") (; ";"))) (} "}")))) (expression_statement "uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];" (assignment_expression "uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860]" (identifier "uVar6") (= "=") (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2860]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (cast_expression "(byte)puVar1[uVar4 + 0x2860]" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (subscript_expression "puVar1[uVar4 + 0x2860]" (identifier "puVar1") ([ "[") (binary_expression "uVar4 + 0x2860" (identifier "uVar4") (+ "+") (number_literal "0x2860")) (] "]"))))) (; ";")) (expression_statement "uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];" (assignment_expression "uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858]" (identifier "uVar3") (= "=") (binary_expression "(*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858]" (parenthesized_expression "(*(int *)(param_1 + 0x1b0) + -1 + uVar6)" (( "(") (binary_expression "*(int *)(param_1 + 0x1b0) + -1 + uVar6" (binary_expression "*(int *)(param_1 + 0x1b0) + -1" (pointer_expression "*(int *)(param_1 + 0x1b0)" (* "*") (cast_expression "(int *)(param_1 + 0x1b0)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1b0)" (( "(") (binary_expression "param_1 + 0x1b0" (identifier "param_1") (+ "+") (number_literal "0x1b0")) () ")")))) (+ "+") (number_literal "-1")) (+ "+") (identifier "uVar6")) () ")")) (- "-") (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2858]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (cast_expression "(byte)puVar1[uVar4 + 0x2858]" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (subscript_expression "puVar1[uVar4 + 0x2858]" (identifier "puVar1") ([ "[") (binary_expression "uVar4 + 0x2858" (identifier "uVar4") (+ "+") (number_literal "0x2858")) (] "]")))))) (; ";")) (if_statement "if (uVar6 == 0) {\n      trap(7);\n    }" (if "if") (parenthesized_expression "(uVar6 == 0)" (( "(") (binary_expression "uVar6 == 0" (identifier "uVar6") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      trap(7);\n    }" ({ "{") (expression_statement "trap(7);" (call_expression "trap(7)" (identifier "trap") (argument_list "(7)" (( "(") (number_literal "7") () ")"))) (; ";")) (} "}"))) (expression_statement "*(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;" (assignment_expression "*(uint *)(param_1 + 0x1c4) = uVar3 / uVar6" (pointer_expression "*(uint *)(param_1 + 0x1c4)" (* "*") (cast_expression "(uint *)(param_1 + 0x1c4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1c4)" (( "(") (binary_expression "param_1 + 0x1c4" (identifier "param_1") (+ "+") (number_literal "0x1c4")) () ")")))) (= "=") (binary_expression "uVar3 / uVar6" (identifier "uVar3") (/ "/") (identifier "uVar6"))) (; ";")) (if_statement "if ((*(uint *)(param_1 + 300) & 2) != 0) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" (if "if") (parenthesized_expression "((*(uint *)(param_1 + 300) & 2) != 0)" (( "(") (binary_expression "(*(uint *)(param_1 + 300) & 2) != 0" (parenthesized_expression "(*(uint *)(param_1 + 300) & 2)" (( "(") (binary_expression "*(uint *)(param_1 + 300) & 2" (pointer_expression "*(uint *)(param_1 + 300)" (* "*") (cast_expression "(uint *)(param_1 + 300)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 300)" (( "(") (binary_expression "param_1 + 300" (identifier "param_1") (+ "+") (number_literal "300")) () ")")))) (& "&") (number_literal "2")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" ({ "{") (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4" (pointer_expression "*(char *)(param_1 + 0x1fd)" (* "*") (cast_expression "(char *)(param_1 + 0x1fd)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1fd)" (( "(") (binary_expression "param_1 + 0x1fd" (identifier "param_1") (+ "+") (number_literal "0x1fd")) () ")")))) (= "=") (cast_expression "(char)uVar4" (( "(") (type_descriptor "char" (primitive_type "char")) () ")") (identifier "uVar4"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];" (assignment_expression "uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850]" (identifier "uVar7") (= "=") (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2850]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (cast_expression "(byte)puVar1[uVar4 + 0x2850]" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (subscript_expression "puVar1[uVar4 + 0x2850]" (identifier "puVar1") ([ "[") (binary_expression "uVar4 + 0x2850" (identifier "uVar4") (+ "+") (number_literal "0x2850")) (] "]"))))) (; ";")) (expression_statement "uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];" (assignment_expression "uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848]" (identifier "uVar5") (= "=") (binary_expression "(*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848]" (parenthesized_expression "(*(int *)(param_1 + 0x1b4) + -1 + uVar7)" (( "(") (binary_expression "*(int *)(param_1 + 0x1b4) + -1 + uVar7" (binary_expression "*(int *)(param_1 + 0x1b4) + -1" (pointer_expression "*(int *)(param_1 + 0x1b4)" (* "*") (cast_expression "(int *)(param_1 + 0x1b4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1b4)" (( "(") (binary_expression "param_1 + 0x1b4" (identifier "param_1") (+ "+") (number_literal "0x1b4")) () ")")))) (+ "+") (number_literal "-1")) (+ "+") (identifier "uVar7")) () ")")) (- "-") (cast_expression "(uint)(byte)puVar1[uVar4 + 0x2848]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (cast_expression "(byte)puVar1[uVar4 + 0x2848]" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (subscript_expression "puVar1[uVar4 + 0x2848]" (identifier "puVar1") ([ "[") (binary_expression "uVar4 + 0x2848" (identifier "uVar4") (+ "+") (number_literal "0x2848")) (] "]")))))) (; ";")) (if_statement "if (uVar7 == 0) {\n      trap(7);\n    }" (if "if") (parenthesized_expression "(uVar7 == 0)" (( "(") (binary_expression "uVar7 == 0" (identifier "uVar7") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      trap(7);\n    }" ({ "{") (expression_statement "trap(7);" (call_expression "trap(7)" (identifier "trap") (argument_list "(7)" (( "(") (number_literal "7") () ")"))) (; ";")) (} "}"))) (expression_statement "*(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;" (assignment_expression "*(uint *)(param_1 + 0x1b8) = uVar5 / uVar7" (pointer_expression "*(uint *)(param_1 + 0x1b8)" (* "*") (cast_expression "(uint *)(param_1 + 0x1b8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1b8)" (( "(") (binary_expression "param_1 + 0x1b8" (identifier "param_1") (+ "+") (number_literal "0x1b8")) () ")")))) (= "=") (binary_expression "uVar5 / uVar7" (identifier "uVar5") (/ "/") (identifier "uVar7"))) (; ";")) (expression_statement "uVar2 = uVar4;" (assignment_expression "uVar2 = uVar4" (identifier "uVar2") (= "=") (identifier "uVar4")) (; ";")) (if_statement "if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" (if "if") (parenthesized_expression "((uVar6 <= uVar3) && (uVar7 <= uVar5))" (( "(") (binary_expression "(uVar6 <= uVar3) && (uVar7 <= uVar5)" (parenthesized_expression "(uVar6 <= uVar3)" (( "(") (binary_expression "uVar6 <= uVar3" (identifier "uVar6") (<= "<=") (identifier "uVar3")) () ")")) (&& "&&") (parenthesized_expression "(uVar7 <= uVar5)" (( "(") (binary_expression "uVar7 <= uVar5" (identifier "uVar7") (<= "<=") (identifier "uVar5")) () ")"))) () ")")) (compound_statement "{\n      *(char *)(param_1 + 0x1fd) = (char)uVar4;\n      return;\n    }" ({ "{") (expression_statement "*(char *)(param_1 + 0x1fd) = (char)uVar4;" (assignment_expression "*(char *)(param_1 + 0x1fd) = (char)uVar4" (pointer_expression "*(char *)(param_1 + 0x1fd)" (* "*") (cast_expression "(char *)(param_1 + 0x1fd)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x1fd)" (( "(") (binary_expression "param_1 + 0x1fd" (identifier "param_1") (+ "+") (number_literal "0x1fd")) () ")")))) (= "=") (cast_expression "(char)uVar4" (( "(") (type_descriptor "char" (primitive_type "char")) () ")") (identifier "uVar4"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (} "}")) (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (; ";")) (} "}")))

void function_1(type_1 png_ptr)

{
  type_2 *puVar1;
  type_3 var_1;
  type_3 var_5;
  type_3 var_2;
  type_3 var_7;
  type_3 var_3;
  type_3 var_6;
  
  var_1 = png_ptr->row_number + 1;
  png_ptr->row_number = var_1;
  if ((var_1 < png_ptr->num_rows) || (png_ptr->interlaced == '\0')) {
    return;
  }
  png_ptr->row_number = 0;
  (*(type_4 *)PTR_memset_00056398)(png_ptr->prev_row,0,png_ptr->rowbytes + 1);
  puVar1 = PTR_LAB_0005601c;
  var_1 = (type_3)png_ptr->pass;
  do {
    var_2 = var_1 + 1 & 0xff;
    if (var_2 == 1) {
      if (png_ptr->width < 5) {
LAB_0001d798:
        var_2 = var_1 + 2 & 0xff;
LAB_0001d7a4:
        if (7 < var_2) {
          png_ptr->pass = (char)var_2 + 0xff;
          return;
        }
      }
LAB_0001d6c4:
      if (6 < var_2) {
        png_ptr->pass = (type_5)var_2;
        return;
      }
    }
    else {
      if (var_2 == 3) {
        if (png_ptr->width < 3) goto LAB_0001d798;
        goto LAB_0001d6c4;
      }
      if (var_2 != 5) goto LAB_0001d7a4;
      if (png_ptr->width < 2) goto LAB_0001d798;
    }
    var_3 = (type_3)(type_6)puVar1[var_2 + 0x2860];
    var_5 = ((png_ptr->width - 1) + var_3) - (type_3)(type_6)puVar1[var_2 + 0x2858];
    if (var_3 == 0) {
      var_4(7);
    }
    png_ptr->iwidth = var_5 / var_3;
    if ((png_ptr->transformations & 2) != 0) {
      png_ptr->pass = (type_5)var_2;
      return;
    }
    var_6 = (type_3)(type_6)puVar1[var_2 + 0x2850];
    var_7 = ((png_ptr->height - 1) + var_6) - (type_3)(type_6)puVar1[var_2 + 0x2848];
    if (var_6 == 0) {
      var_4(7);
    }
    png_ptr->num_rows = var_7 / var_6;
    var_1 = var_2;
    if ((var_3 <= var_5) && (var_6 <= var_7)) {
      png_ptr->pass = (type_5)var_2;
      return;
    }
  } while( true );
}


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

void MASKED(int param_1)

{
  undefined *puVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  
  uVar2 = *(int *)(param_1 + 0x1c8) + 1;
  *(uint *)(param_1 + 0x1c8) = uVar2;
  if ((uVar2 < *(uint *)(param_1 + 0x1b8)) || (*(char *)(param_1 + 0x1fc) == '\0')) {
    return;
  }
  *(undefined4 *)(param_1 + 0x1c8) = 0;
  (*(code *)PTR_memset_00056398)(*(undefined4 *)(param_1 + 0x1d0),0,*(int *)(param_1 + 0x1c0) + 1);
  puVar1 = PTR_LAB_0005601c;
  uVar2 = (uint)*(byte *)(param_1 + 0x1fd);
  do {
    uVar4 = uVar2 + 1 & 0xff;
    if (uVar4 == 1) {
      if (*(uint *)(param_1 + 0x1b0) < 5) {
LAB_0001d798:
        uVar4 = uVar2 + 2 & 0xff;
LAB_0001d7a4:
        if (7 < uVar4) {
          *(char *)(param_1 + 0x1fd) = (char)uVar4 + -1;
          return;
        }
      }
LAB_0001d6c4:
      if (6 < uVar4) {
        *(char *)(param_1 + 0x1fd) = (char)uVar4;
        return;
      }
    }
    else {
      if (uVar4 == 3) {
        if (*(uint *)(param_1 + 0x1b0) < 3) goto LAB_0001d798;
        goto LAB_0001d6c4;
      }
      if (uVar4 != 5) goto LAB_0001d7a4;
      if (*(uint *)(param_1 + 0x1b0) < 2) goto LAB_0001d798;
    }
    uVar6 = (uint)(byte)puVar1[uVar4 + 0x2860];
    uVar3 = (*(int *)(param_1 + 0x1b0) + -1 + uVar6) - (uint)(byte)puVar1[uVar4 + 0x2858];
    if (uVar6 == 0) {
      trap(7);
    }
    *(uint *)(param_1 + 0x1c4) = uVar3 / uVar6;
    if ((*(uint *)(param_1 + 300) & 2) != 0) {
      *(char *)(param_1 + 0x1fd) = (char)uVar4;
      return;
    }
    uVar7 = (uint)(byte)puVar1[uVar4 + 0x2850];
    uVar5 = (*(int *)(param_1 + 0x1b4) + -1 + uVar7) - (uint)(byte)puVar1[uVar4 + 0x2848];
    if (uVar7 == 0) {
      trap(7);
    }
    *(uint *)(param_1 + 0x1b8) = uVar5 / uVar7;
    uVar2 = uVar4;
    if ((uVar6 <= uVar3) && (uVar7 <= uVar5)) {
      *(char *)(param_1 + 0x1fd) = (char)uVar4;
      return;
    }
  } while( true );
}

