
/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */
/* DWARF original prototype: void make_verdef_map(Sized_dynobj<64,_false> * this, Read_symbols_data
   * sd, Version_map * version_map) */

void __thiscall
gold::Sized_dynobj<64,_false>::make_verdef_map
          (Sized_dynobj<64,_false> *this,Read_symbols_data *sd,Version_map *version_map)

{
  ushort uVar1;
  ushort *puVar2;
  uchar *puVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  char *pcVar7;
  ushort *puVar8;
  uint uVar9;
  uint uVar10;
  int iVar11;
  
  if (sd->verdef != (File_view *)0x0) {
    puVar2 = (ushort *)sd->verdef->data_;
    puVar3 = sd->symbol_names->data_;
    uVar4 = sd->symbol_names_size;
    uVar5 = sd->verdef_size;
    uVar6 = sd->verdef_info;
    if (uVar6 != 0) {
      uVar1 = *puVar2;
      if (uVar1 == 1) {
        uVar1 = puVar2[2];
        if (puVar2[3] == 0) {
LAB_001a96a8:
          pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");
          Object::error((Object *)this,pcVar7,0);
          return;
        }
        uVar10 = *(uint *)(puVar2 + 6);
        if (uVar10 < uVar5) {
          uVar10 = *(uint *)((int)puVar2 + uVar10);
          if (uVar10 < uVar4) {
            uVar9 = 0;
            iVar11 = 0;
            puVar8 = puVar2;
            do {
              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));
              uVar10 = *(uint *)(puVar8 + 8);
              if (uVar5 <= iVar11 + uVar10) {
                pcVar7 = "verdef vd_next field out of range: %u";
                goto LAB_001a966a;
              }
              puVar8 = (ushort *)((int)puVar8 + uVar10);
              uVar9 = uVar9 + 1;
              if (uVar6 == uVar9) {
                return;
              }
              uVar1 = *puVar8;
              if (uVar1 != 1) goto LAB_001a9693;
              uVar1 = puVar8[2];
              if (puVar8[3] == 0) goto LAB_001a96a8;
              uVar10 = *(uint *)(puVar8 + 6);
              iVar11 = (int)puVar8 - (int)puVar2;
              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;
              uVar10 = *(uint *)((int)puVar8 + uVar10);
            } while (uVar10 < uVar4);
          }
          pcVar7 = "verdaux vda_name field out of range: %u";
        }
        else {
LAB_001a96e2:
          pcVar7 = "verdef vd_aux field out of range: %u";
        }
      }
      else {
LAB_001a9693:
        uVar10 = (uint)uVar1;
        pcVar7 = "unexpected verdef version %u";
      }
LAB_001a966a:
      pcVar7 = (char *)gettext(pcVar7);
      Object::error((Object *)this,pcVar7,uVar10);
    }
  }
  return;
}



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

void FUN_001a9550(undefined4 param_1,int param_2,undefined4 param_3)

{
  ushort uVar1;
  ushort *puVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  int iVar6;
  char *pcVar7;
  undefined4 uVar8;
  ushort *puVar9;
  int iVar10;
  uint uVar11;
  int iVar12;
  
  if (*(int *)(param_2 + 0x28) != 0) {
    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);
    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);
    uVar4 = *(uint *)(param_2 + 0x1c);
    uVar5 = *(uint *)(param_2 + 0x2c);
    iVar6 = *(int *)(param_2 + 0x30);
    if (iVar6 != 0) {
      uVar1 = *puVar2;
      if (uVar1 == 1) {
        uVar1 = puVar2[2];
        if (puVar2[3] == 0) {
LAB_001a96a8:
          uVar8 = gettext("verdef vd_cnt field too small: %u");
          FUN_000b1840(param_1,uVar8,0);
          return;
        }
        uVar11 = *(uint *)(puVar2 + 6);
        if (uVar11 < uVar5) {
          uVar11 = *(uint *)((int)puVar2 + uVar11);
          if (uVar11 < uVar4) {
            iVar10 = 0;
            iVar12 = 0;
            puVar9 = puVar2;
            do {
              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);
              uVar11 = *(uint *)(puVar9 + 8);
              if (uVar5 <= iVar12 + uVar11) {
                pcVar7 = "verdef vd_next field out of range: %u";
                goto LAB_001a966a;
              }
              puVar9 = (ushort *)((int)puVar9 + uVar11);
              iVar10 = iVar10 + 1;
              if (iVar6 == iVar10) {
                return;
              }
              uVar1 = *puVar9;
              if (uVar1 != 1) goto LAB_001a9693;
              uVar1 = puVar9[2];
              if (puVar9[3] == 0) goto LAB_001a96a8;
              uVar11 = *(uint *)(puVar9 + 6);
              iVar12 = (int)puVar9 - (int)puVar2;
              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;
              uVar11 = *(uint *)((int)puVar9 + uVar11);
            } while (uVar11 < uVar4);
          }
          pcVar7 = "verdaux vda_name field out of range: %u";
        }
        else {
LAB_001a96e2:
          pcVar7 = "verdef vd_aux field out of range: %u";
        }
      }
      else {
LAB_001a9693:
        uVar11 = (uint)uVar1;
        pcVar7 = "unexpected verdef version %u";
      }
LAB_001a966a:
      uVar8 = gettext(pcVar7);
      FUN_000b1840(param_1,uVar8,uVar11);
    }
  }
  return;
}


CALL 0x000559e6
ADD EAX,0x1e5aab
PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
SUB ESP,0x2c
MOV dword ptr [ESP + 0x1c],EAX
MOV EAX,dword ptr [ESP + 0x44]
MOV EDX,dword ptr [EAX + 0x28]
TEST EDX,EDX
JZ 0x001a9683
MOV ECX,dword ptr [EAX + 0x18]
MOV EDX,dword ptr [EDX + 0x8]
MOV ESI,dword ptr [ECX + 0x8]
MOV dword ptr [ESP + 0xc],EDX
MOV dword ptr [ESP + 0x14],ESI
MOV ESI,dword ptr [EAX + 0x1c]
MOV dword ptr [ESP + 0x10],ESI
MOV ESI,dword ptr [EAX + 0x2c]
MOV EAX,dword ptr [EAX + 0x30]
MOV EBX,ESI
MOV dword ptr [ESP + 0x18],EAX
TEST EAX,EAX
JZ 0x001a9683
MOVZX ESI,word ptr [EDX]
MOV EAX,EDX
CMP SI,0x1
JNZ 0x001a9693
CMP word ptr [EAX + 0x6],0x0
MOVZX EDX,word ptr [EDX + 0x4]
JZ 0x001a96a8
MOV EAX,dword ptr [ESP + 0xc]
MOV ECX,EBX
MOV ESI,dword ptr [EAX + 0xc]
CMP EBX,ESI
JBE 0x001a96e2
MOV ESI,dword ptr [EAX + ESI*0x1]
CMP dword ptr [ESP + 0x10],ESI
JBE 0x001a96fa
MOV EBX,EAX
XOR EBP,EBP
MOV EAX,ESI
XOR EDI,EDI
MOV ESI,ECX
JMP 0x001a963c
ADD EBX,EAX
ADD EBP,0x1
CMP dword ptr [ESP + 0x18],EBP
JZ 0x001a9683
MOVZX EAX,word ptr [EBX]
CMP AX,0x1
JNZ 0x001a9690
CMP word ptr [EBX + 0x6],0x0
MOVZX EDX,word ptr [EBX + 0x4]
JZ 0x001a96a8
MOV EAX,dword ptr [EBX + 0xc]
MOV EDI,EBX
SUB EDI,dword ptr [ESP + 0xc]
LEA ECX,[EDI + EAX*0x1]
CMP ECX,ESI
JNC 0x001a96e0
MOV EAX,dword ptr [EBX + EAX*0x1]
CMP dword ptr [ESP + 0x10],EAX
JBE 0x001a96f8
ADD EAX,dword ptr [ESP + 0x14]
PUSH EAX
PUSH EDX
PUSH dword ptr [ESP + 0x50]
PUSH dword ptr [ESP + 0x4c]
CALL 0x001a94b0
MOV EAX,dword ptr [EBX + 0x10]
ADD ESP,0x10
ADD EDI,EAX
CMP EDI,ESI
JC 0x001a95f0
SUB ESP,0xc
MOV ESI,EAX
MOV EDI,dword ptr [ESP + 0x28]
LEA EAX,[EDI + 0xfff0f2b0]
PUSH EAX
MOV EBX,EDI
CALL 0x000293b0
ADD ESP,0xc
PUSH ESI
PUSH EAX
PUSH dword ptr [ESP + 0x4c]
CALL 0x000b1840
ADD ESP,0x10
ADD ESP,0x2c
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOVZX ESI,AX
SUB ESP,0xc
MOV EDI,dword ptr [ESP + 0x28]
LEA EAX,[EDI + 0xfff0f2d6]
JMP 0x001a966a
SUB ESP,0xc
MOV ESI,dword ptr [ESP + 0x28]
LEA EAX,[ESI + 0xfff0f23c]
MOV EBX,ESI
PUSH EAX
CALL 0x000293b0
ADD ESP,0xc
PUSH 0x0
PUSH EAX
PUSH dword ptr [ESP + 0x4c]
CALL 0x000b1840
ADD ESP,0x10
ADD ESP,0x2c
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV ESI,EAX
SUB ESP,0xc
MOV EDI,dword ptr [ESP + 0x28]
LEA EAX,[EDI + 0xfff0f260]
JMP 0x001a966a
MOV ESI,EAX
SUB ESP,0xc
MOV EDI,dword ptr [ESP + 0x28]
LEA EAX,[EDI + 0xfff0f288]
JMP 0x001a966a
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */\n\nvoid FUN_001a9550(undefined4 param_1,int param_2,undefined4 param_3)\n\n{\n  ushort uVar1;\n  ushort *puVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  char *pcVar7;\n  undefined4 uVar8;\n  ushort *puVar9;\n  int iVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }\n  return;\n}\n\n" comment (function_definition "void FUN_001a9550(undefined4 param_1,int param_2,undefined4 param_3)\n\n{\n  ushort uVar1;\n  ushort *puVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  char *pcVar7;\n  undefined4 uVar8;\n  ushort *puVar9;\n  int iVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }\n  return;\n}" primitive_type (function_declarator "FUN_001a9550(undefined4 param_1,int param_2,undefined4 param_3)" identifier (parameter_list "(undefined4 param_1,int param_2,undefined4 param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "undefined4 param_3" type_identifier identifier) ))) (compound_statement "{\n  ushort uVar1;\n  ushort *puVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  char *pcVar7;\n  undefined4 uVar8;\n  ushort *puVar9;\n  int iVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }\n  return;\n}" { (declaration "ushort uVar1;" type_identifier identifier ;) (declaration "ushort *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "char *pcVar7;" primitive_type (pointer_declarator "*pcVar7" * identifier) ;) (declaration "undefined4 uVar8;" type_identifier identifier ;) (declaration "ushort *puVar9;" type_identifier (pointer_declarator "*puVar9" * identifier) ;) (declaration "int iVar10;" primitive_type identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "int iVar12;" primitive_type identifier ;) (if_statement "if (*(int *)(param_2 + 0x28) != 0) {\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }" if (parenthesized_expression "(*(int *)(param_2 + 0x28) != 0)" ( (binary_expression "*(int *)(param_2 + 0x28) != 0" (pointer_expression "*(int *)(param_2 + 0x28)" * (cast_expression "(int *)(param_2 + 0x28)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x28)" ( (binary_expression "param_2 + 0x28" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }" { (expression_statement "puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);" (assignment_expression "puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8)" identifier = (pointer_expression "*(ushort **)(*(int *)(param_2 + 0x28) + 8)" * (cast_expression "(ushort **)(*(int *)(param_2 + 0x28) + 8)" ( (type_descriptor "ushort **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*(int *)(param_2 + 0x28) + 8)" ( (binary_expression "*(int *)(param_2 + 0x28) + 8" (pointer_expression "*(int *)(param_2 + 0x28)" * (cast_expression "(int *)(param_2 + 0x28)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x28)" ( (binary_expression "param_2 + 0x28" identifier + number_literal) )))) + number_literal) ))))) ;) (expression_statement "iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);" (assignment_expression "iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8)" identifier = (pointer_expression "*(int *)(*(int *)(param_2 + 0x18) + 8)" * (cast_expression "(int *)(*(int *)(param_2 + 0x18) + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x18) + 8)" ( (binary_expression "*(int *)(param_2 + 0x18) + 8" (pointer_expression "*(int *)(param_2 + 0x18)" * (cast_expression "(int *)(param_2 + 0x18)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) + number_literal) ))))) ;) (expression_statement "uVar4 = *(uint *)(param_2 + 0x1c);" (assignment_expression "uVar4 = *(uint *)(param_2 + 0x1c)" identifier = (pointer_expression "*(uint *)(param_2 + 0x1c)" * (cast_expression "(uint *)(param_2 + 0x1c)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x1c)" ( (binary_expression "param_2 + 0x1c" identifier + number_literal) ))))) ;) (expression_statement "uVar5 = *(uint *)(param_2 + 0x2c);" (assignment_expression "uVar5 = *(uint *)(param_2 + 0x2c)" identifier = (pointer_expression "*(uint *)(param_2 + 0x2c)" * (cast_expression "(uint *)(param_2 + 0x2c)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x2c)" ( (binary_expression "param_2 + 0x2c" identifier + number_literal) ))))) ;) (expression_statement "iVar6 = *(int *)(param_2 + 0x30);" (assignment_expression "iVar6 = *(int *)(param_2 + 0x30)" identifier = (pointer_expression "*(int *)(param_2 + 0x30)" * (cast_expression "(int *)(param_2 + 0x30)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x30)" ( (binary_expression "param_2 + 0x30" identifier + number_literal) ))))) ;) (if_statement "if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }" if (parenthesized_expression "(iVar6 != 0)" ( (binary_expression "iVar6 != 0" identifier != number_literal) )) (compound_statement "{\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }" { (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (if_statement "if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" if (parenthesized_expression "(uVar1 == 1)" ( (binary_expression "uVar1 == 1" identifier == number_literal) )) (compound_statement "{\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }" { (expression_statement "uVar1 = puVar2[2];" (assignment_expression "uVar1 = puVar2[2]" identifier = (subscript_expression "puVar2[2]" identifier [ number_literal ])) ;) (if_statement "if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }" if (parenthesized_expression "(puVar2[3] == 0)" ( (binary_expression "puVar2[3] == 0" (subscript_expression "puVar2[3]" identifier [ number_literal ]) == number_literal) )) (compound_statement "{\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }" { (labeled_statement "LAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");" statement_identifier : (expression_statement "uVar8 = gettext("verdef vd_cnt field too small: %u");" (assignment_expression "uVar8 = gettext("verdef vd_cnt field too small: %u")" identifier = (call_expression "gettext("verdef vd_cnt field too small: %u")" identifier (argument_list "("verdef vd_cnt field too small: %u")" ( (string_literal ""verdef vd_cnt field too small: %u"" " string_content ") )))) ;)) (expression_statement "FUN_000b1840(param_1,uVar8,0);" (call_expression "FUN_000b1840(param_1,uVar8,0)" identifier (argument_list "(param_1,uVar8,0)" ( identifier , identifier , number_literal ))) ;) (return_statement "return;" return ;) })) (expression_statement "uVar11 = *(uint *)(puVar2 + 6);" (assignment_expression "uVar11 = *(uint *)(puVar2 + 6)" identifier = (pointer_expression "*(uint *)(puVar2 + 6)" * (cast_expression "(uint *)(puVar2 + 6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar2 + 6)" ( (binary_expression "puVar2 + 6" identifier + number_literal) ))))) ;) (if_statement "if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" if (parenthesized_expression "(uVar11 < uVar5)" ( (binary_expression "uVar11 < uVar5" identifier < identifier) )) (compound_statement "{\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }" { (expression_statement "uVar11 = *(uint *)((int)puVar2 + uVar11);" (assignment_expression "uVar11 = *(uint *)((int)puVar2 + uVar11)" identifier = (pointer_expression "*(uint *)((int)puVar2 + uVar11)" * (cast_expression "(uint *)((int)puVar2 + uVar11)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar11)" ( (binary_expression "(int)puVar2 + uVar11" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) ))))) ;) (if_statement "if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }" if (parenthesized_expression "(uVar11 < uVar4)" ( (binary_expression "uVar11 < uVar4" identifier < identifier) )) (compound_statement "{\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }" { (expression_statement "iVar10 = 0;" (assignment_expression "iVar10 = 0" identifier = number_literal) ;) (expression_statement "iVar12 = 0;" (assignment_expression "iVar12 = 0" identifier = number_literal) ;) (expression_statement "puVar9 = puVar2;" (assignment_expression "puVar9 = puVar2" identifier = identifier) ;) (do_statement "do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);" do (compound_statement "{\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            }" { (expression_statement "FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);" (call_expression "FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3)" identifier (argument_list "(param_1,param_3,uVar1,uVar11 + iVar3)" ( identifier , identifier , identifier , (binary_expression "uVar11 + iVar3" identifier + identifier) ))) ;) (expression_statement "uVar11 = *(uint *)(puVar9 + 8);" (assignment_expression "uVar11 = *(uint *)(puVar9 + 8)" identifier = (pointer_expression "*(uint *)(puVar9 + 8)" * (cast_expression "(uint *)(puVar9 + 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar9 + 8)" ( (binary_expression "puVar9 + 8" identifier + number_literal) ))))) ;) (if_statement "if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }" if (parenthesized_expression "(uVar5 <= iVar12 + uVar11)" ( (binary_expression "uVar5 <= iVar12 + uVar11" identifier <= (binary_expression "iVar12 + uVar11" identifier + identifier)) )) (compound_statement "{\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }" { (expression_statement "pcVar7 = "verdef vd_next field out of range: %u";" (assignment_expression "pcVar7 = "verdef vd_next field out of range: %u"" identifier = (string_literal ""verdef vd_next field out of range: %u"" " string_content ")) ;) (goto_statement "goto LAB_001a966a;" goto statement_identifier ;) })) (expression_statement "puVar9 = (ushort *)((int)puVar9 + uVar11);" (assignment_expression "puVar9 = (ushort *)((int)puVar9 + uVar11)" identifier = (cast_expression "(ushort *)((int)puVar9 + uVar11)" ( (type_descriptor "ushort *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar9 + uVar11)" ( (binary_expression "(int)puVar9 + uVar11" (cast_expression "(int)puVar9" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) )))) ;) (expression_statement "iVar10 = iVar10 + 1;" (assignment_expression "iVar10 = iVar10 + 1" identifier = (binary_expression "iVar10 + 1" identifier + number_literal)) ;) (if_statement "if (iVar6 == iVar10) {\n                return;\n              }" if (parenthesized_expression "(iVar6 == iVar10)" ( (binary_expression "iVar6 == iVar10" identifier == identifier) )) (compound_statement "{\n                return;\n              }" { (return_statement "return;" return ;) })) (expression_statement "uVar1 = *puVar9;" (assignment_expression "uVar1 = *puVar9" identifier = (pointer_expression "*puVar9" * identifier)) ;) (if_statement "if (uVar1 != 1) goto LAB_001a9693;" if (parenthesized_expression "(uVar1 != 1)" ( (binary_expression "uVar1 != 1" identifier != number_literal) )) (goto_statement "goto LAB_001a9693;" goto statement_identifier ;)) (expression_statement "uVar1 = puVar9[2];" (assignment_expression "uVar1 = puVar9[2]" identifier = (subscript_expression "puVar9[2]" identifier [ number_literal ])) ;) (if_statement "if (puVar9[3] == 0) goto LAB_001a96a8;" if (parenthesized_expression "(puVar9[3] == 0)" ( (binary_expression "puVar9[3] == 0" (subscript_expression "puVar9[3]" identifier [ number_literal ]) == number_literal) )) (goto_statement "goto LAB_001a96a8;" goto statement_identifier ;)) (expression_statement "uVar11 = *(uint *)(puVar9 + 6);" (assignment_expression "uVar11 = *(uint *)(puVar9 + 6)" identifier = (pointer_expression "*(uint *)(puVar9 + 6)" * (cast_expression "(uint *)(puVar9 + 6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar9 + 6)" ( (binary_expression "puVar9 + 6" identifier + number_literal) ))))) ;) (expression_statement "iVar12 = (int)puVar9 - (int)puVar2;" (assignment_expression "iVar12 = (int)puVar9 - (int)puVar2" identifier = (binary_expression "(int)puVar9 - (int)puVar2" (cast_expression "(int)puVar9" ( (type_descriptor "int" primitive_type) ) identifier) - (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier))) ;) (if_statement "if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;" if (parenthesized_expression "(uVar5 <= iVar12 + uVar11)" ( (binary_expression "uVar5 <= iVar12 + uVar11" identifier <= (binary_expression "iVar12 + uVar11" identifier + identifier)) )) (goto_statement "goto LAB_001a96e2;" goto statement_identifier ;)) (expression_statement "uVar11 = *(uint *)((int)puVar9 + uVar11);" (assignment_expression "uVar11 = *(uint *)((int)puVar9 + uVar11)" identifier = (pointer_expression "*(uint *)((int)puVar9 + uVar11)" * (cast_expression "(uint *)((int)puVar9 + uVar11)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar9 + uVar11)" ( (binary_expression "(int)puVar9 + uVar11" (cast_expression "(int)puVar9" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) ))))) ;) }) while (parenthesized_expression "(uVar11 < uVar4)" ( (binary_expression "uVar11 < uVar4" identifier < identifier) )) ;) })) (expression_statement "pcVar7 = "verdaux vda_name field out of range: %u";" (assignment_expression "pcVar7 = "verdaux vda_name field out of range: %u"" identifier = (string_literal ""verdaux vda_name field out of range: %u"" " string_content ")) ;) }) (else_clause "else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" else (compound_statement "{\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" { (labeled_statement "LAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";" statement_identifier : (expression_statement "pcVar7 = "verdef vd_aux field out of range: %u";" (assignment_expression "pcVar7 = "verdef vd_aux field out of range: %u"" identifier = (string_literal ""verdef vd_aux field out of range: %u"" " string_content ")) ;)) }))) }) (else_clause "else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" else (compound_statement "{\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" { (labeled_statement "LAB_001a9693:\n        uVar11 = (uint)uVar1;" statement_identifier : (expression_statement "uVar11 = (uint)uVar1;" (assignment_expression "uVar11 = (uint)uVar1" identifier = (cast_expression "(uint)uVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "pcVar7 = "unexpected verdef version %u";" (assignment_expression "pcVar7 = "unexpected verdef version %u"" identifier = (string_literal ""unexpected verdef version %u"" " string_content ")) ;) }))) (labeled_statement "LAB_001a966a:\n      uVar8 = gettext(pcVar7);" statement_identifier : (expression_statement "uVar8 = gettext(pcVar7);" (assignment_expression "uVar8 = gettext(pcVar7)" identifier = (call_expression "gettext(pcVar7)" identifier (argument_list "(pcVar7)" ( identifier )))) ;)) (expression_statement "FUN_000b1840(param_1,uVar8,uVar11);" (call_expression "FUN_000b1840(param_1,uVar8,uVar11)" identifier (argument_list "(param_1,uVar8,uVar11)" ( identifier , identifier , identifier ))) ;) })) })) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */\n/* DWARF original prototype: void make_verdef_map(Sized_dynobj<64,_false> * this, Read_symbols_data\n   * sd, Version_map * version_map) */\n\nvoid __thiscall\ngold::Sized_dynobj<64,_false>::make_verdef_map\n          (Sized_dynobj<64,_false> *this,Read_symbols_data *sd,Version_map *version_map)\n\n{\n  ushort uVar1;\n  ushort *puVar2;\n  uchar *puVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  char *pcVar7;\n  ushort *puVar8;\n  uint uVar9;\n  uint uVar10;\n  int iVar11;\n  \n  if (sd->verdef != (File_view *)0x0) {\n    puVar2 = (ushort *)sd->verdef->data_;\n    puVar3 = sd->symbol_names->data_;\n    uVar4 = sd->symbol_names_size;\n    uVar5 = sd->verdef_size;\n    uVar6 = sd->verdef_info;\n    if (uVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar7,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar2 + 6);\n        if (uVar10 < uVar5) {\n          uVar10 = *(uint *)((int)puVar2 + uVar10);\n          if (uVar10 < uVar4) {\n            uVar9 = 0;\n            iVar11 = 0;\n            puVar8 = puVar2;\n            do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar10 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      pcVar7 = (char *)gettext(pcVar7);\n      Object::error((Object *)this,pcVar7,uVar10);\n    }\n  }\n  return;\n}\n\n" comment comment (declaration "void __thiscall\ngold::Sized_dynobj<64,_false>::make_verdef_map\n          (Sized_dynobj<64,_false> *this,Read_symbols_data *sd,Version_map *version_map)\n\n{\n  ushort uVar1;" primitive_type (ms_call_modifier "__thiscall" __thiscall) (ERROR "gold::" identifier : :) identifier (ERROR "<64" < number_literal) , (ERROR "_false>::make_verdef_map\n          (Sized_dynobj<64,_false> *this,Read_symbols_data *sd,Version_map *version_map)\n\n{\n  ushort" identifier > : : (function_declarator "make_verdef_map\n          (Sized_dynobj<64,_false> *this,Read_symbols_data *sd,Version_map *version_map)" identifier (parameter_list "(Sized_dynobj<64,_false> *this,Read_symbols_data *sd,Version_map *version_map)" ( (parameter_declaration "Sized_dynobj" type_identifier) (ERROR "<64" < number_literal) , (parameter_declaration "_false> *this" type_identifier (ERROR ">" >) (pointer_declarator "*this" * identifier)) , (parameter_declaration "Read_symbols_data *sd" type_identifier (pointer_declarator "*sd" * identifier)) , (parameter_declaration "Version_map *version_map" type_identifier (pointer_declarator "*version_map" * identifier)) ))) { identifier) identifier ;) (declaration "ushort *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "uchar *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "char *pcVar7;" primitive_type (pointer_declarator "*pcVar7" * identifier) ;) (declaration "ushort *puVar8;" type_identifier (pointer_declarator "*puVar8" * identifier) ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "int iVar11;" primitive_type identifier ;) (if_statement "if (sd->verdef != (File_view *)0x0) {\n    puVar2 = (ushort *)sd->verdef->data_;\n    puVar3 = sd->symbol_names->data_;\n    uVar4 = sd->symbol_names_size;\n    uVar5 = sd->verdef_size;\n    uVar6 = sd->verdef_info;\n    if (uVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar7,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar2 + 6);\n        if (uVar10 < uVar5) {\n          uVar10 = *(uint *)((int)puVar2 + uVar10);\n          if (uVar10 < uVar4) {\n            uVar9 = 0;\n            iVar11 = 0;\n            puVar8 = puVar2;\n            do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar10 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      pcVar7 = (char *)gettext(pcVar7);\n      Object::error((Object *)this,pcVar7,uVar10);\n    }\n  }" if (parenthesized_expression "(sd->verdef != (File_view *)0x0)" ( (binary_expression "sd->verdef != (File_view *)0x0" (field_expression "sd->verdef" identifier -> field_identifier) != (cast_expression "(File_view *)0x0" ( (type_descriptor "File_view *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    puVar2 = (ushort *)sd->verdef->data_;\n    puVar3 = sd->symbol_names->data_;\n    uVar4 = sd->symbol_names_size;\n    uVar5 = sd->verdef_size;\n    uVar6 = sd->verdef_info;\n    if (uVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar7,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar2 + 6);\n        if (uVar10 < uVar5) {\n          uVar10 = *(uint *)((int)puVar2 + uVar10);\n          if (uVar10 < uVar4) {\n            uVar9 = 0;\n            iVar11 = 0;\n            puVar8 = puVar2;\n            do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar10 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      pcVar7 = (char *)gettext(pcVar7);\n      Object::error((Object *)this,pcVar7,uVar10);\n    }\n  }" { (expression_statement "puVar2 = (ushort *)sd->verdef->data_;" (assignment_expression "puVar2 = (ushort *)sd->verdef->data_" identifier = (cast_expression "(ushort *)sd->verdef->data_" ( (type_descriptor "ushort *" type_identifier (abstract_pointer_declarator "*" *)) ) (field_expression "sd->verdef->data_" (field_expression "sd->verdef" identifier -> field_identifier) -> field_identifier))) ;) (expression_statement "puVar3 = sd->symbol_names->data_;" (assignment_expression "puVar3 = sd->symbol_names->data_" identifier = (field_expression "sd->symbol_names->data_" (field_expression "sd->symbol_names" identifier -> field_identifier) -> field_identifier)) ;) (expression_statement "uVar4 = sd->symbol_names_size;" (assignment_expression "uVar4 = sd->symbol_names_size" identifier = (field_expression "sd->symbol_names_size" identifier -> field_identifier)) ;) (expression_statement "uVar5 = sd->verdef_size;" (assignment_expression "uVar5 = sd->verdef_size" identifier = (field_expression "sd->verdef_size" identifier -> field_identifier)) ;) (expression_statement "uVar6 = sd->verdef_info;" (assignment_expression "uVar6 = sd->verdef_info" identifier = (field_expression "sd->verdef_info" identifier -> field_identifier)) ;) (if_statement "if (uVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar7,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar2 + 6);\n        if (uVar10 < uVar5) {\n          uVar10 = *(uint *)((int)puVar2 + uVar10);\n          if (uVar10 < uVar4) {\n            uVar9 = 0;\n            iVar11 = 0;\n            puVar8 = puVar2;\n            do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar10 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      pcVar7 = (char *)gettext(pcVar7);\n      Object::error((Object *)this,pcVar7,uVar10);\n    }" if (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) (compound_statement "{\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar7,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar2 + 6);\n        if (uVar10 < uVar5) {\n          uVar10 = *(uint *)((int)puVar2 + uVar10);\n          if (uVar10 < uVar4) {\n            uVar9 = 0;\n            iVar11 = 0;\n            puVar8 = puVar2;\n            do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar10 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      pcVar7 = (char *)gettext(pcVar7);\n      Object::error((Object *)this,pcVar7,uVar10);\n    }" { (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (if_statement "if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar7,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar2 + 6);\n        if (uVar10 < uVar5) {\n          uVar10 = *(uint *)((int)puVar2 + uVar10);\n          if (uVar10 < uVar4) {\n            uVar9 = 0;\n            iVar11 = 0;\n            puVar8 = puVar2;\n            do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar10 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" if (parenthesized_expression "(uVar1 == 1)" ( (binary_expression "uVar1 == 1" identifier == number_literal) )) (compound_statement "{\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar7,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar2 + 6);\n        if (uVar10 < uVar5) {\n          uVar10 = *(uint *)((int)puVar2 + uVar10);\n          if (uVar10 < uVar4) {\n            uVar9 = 0;\n            iVar11 = 0;\n            puVar8 = puVar2;\n            do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }" { (expression_statement "uVar1 = puVar2[2];" (assignment_expression "uVar1 = puVar2[2]" identifier = (subscript_expression "puVar2[2]" identifier [ number_literal ])) ;) (if_statement "if (puVar2[3] == 0) {\nLAB_001a96a8:\n          pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar7,0);\n          return;\n        }" if (parenthesized_expression "(puVar2[3] == 0)" ( (binary_expression "puVar2[3] == 0" (subscript_expression "puVar2[3]" identifier [ number_literal ]) == number_literal) )) (compound_statement "{\nLAB_001a96a8:\n          pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar7,0);\n          return;\n        }" { (labeled_statement "LAB_001a96a8:\n          pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");" statement_identifier : (expression_statement "pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u");" (assignment_expression "pcVar7 = (char *)gettext("verdef vd_cnt field too small: %u")" identifier = (cast_expression "(char *)gettext("verdef vd_cnt field too small: %u")" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "gettext("verdef vd_cnt field too small: %u")" identifier (argument_list "("verdef vd_cnt field too small: %u")" ( (string_literal ""verdef vd_cnt field too small: %u"" " string_content ") ))))) ;)) (labeled_statement "Object::error((Object *)this,pcVar7,0);" statement_identifier : (ERROR ":" :) (expression_statement "error((Object *)this,pcVar7,0);" (call_expression "error((Object *)this,pcVar7,0)" identifier (argument_list "((Object *)this,pcVar7,0)" ( (cast_expression "(Object *)this" ( (type_descriptor "Object *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) , identifier , number_literal ))) ;)) (return_statement "return;" return ;) })) (expression_statement "uVar10 = *(uint *)(puVar2 + 6);" (assignment_expression "uVar10 = *(uint *)(puVar2 + 6)" identifier = (pointer_expression "*(uint *)(puVar2 + 6)" * (cast_expression "(uint *)(puVar2 + 6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar2 + 6)" ( (binary_expression "puVar2 + 6" identifier + number_literal) ))))) ;) (if_statement "if (uVar10 < uVar5) {\n          uVar10 = *(uint *)((int)puVar2 + uVar10);\n          if (uVar10 < uVar4) {\n            uVar9 = 0;\n            iVar11 = 0;\n            puVar8 = puVar2;\n            do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" if (parenthesized_expression "(uVar10 < uVar5)" ( (binary_expression "uVar10 < uVar5" identifier < identifier) )) (compound_statement "{\n          uVar10 = *(uint *)((int)puVar2 + uVar10);\n          if (uVar10 < uVar4) {\n            uVar9 = 0;\n            iVar11 = 0;\n            puVar8 = puVar2;\n            do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }" { (expression_statement "uVar10 = *(uint *)((int)puVar2 + uVar10);" (assignment_expression "uVar10 = *(uint *)((int)puVar2 + uVar10)" identifier = (pointer_expression "*(uint *)((int)puVar2 + uVar10)" * (cast_expression "(uint *)((int)puVar2 + uVar10)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar10)" ( (binary_expression "(int)puVar2 + uVar10" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) ))))) ;) (if_statement "if (uVar10 < uVar4) {\n            uVar9 = 0;\n            iVar11 = 0;\n            puVar8 = puVar2;\n            do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);\n          }" if (parenthesized_expression "(uVar10 < uVar4)" ( (binary_expression "uVar10 < uVar4" identifier < identifier) )) (compound_statement "{\n            uVar9 = 0;\n            iVar11 = 0;\n            puVar8 = puVar2;\n            do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);\n          }" { (expression_statement "uVar9 = 0;" (assignment_expression "uVar9 = 0" identifier = number_literal) ;) (expression_statement "iVar11 = 0;" (assignment_expression "iVar11 = 0" identifier = number_literal) ;) (expression_statement "puVar8 = puVar2;" (assignment_expression "puVar8 = puVar2" identifier = identifier) ;) (do_statement "do {\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            } while (uVar10 < uVar4);" do (compound_statement "{\n              set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));\n              uVar10 = *(uint *)(puVar8 + 8);\n              if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar8 = (ushort *)((int)puVar8 + uVar10);\n              uVar9 = uVar9 + 1;\n              if (uVar6 == uVar9) {\n                return;\n              }\n              uVar1 = *puVar8;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar8[2];\n              if (puVar8[3] == 0) goto LAB_001a96a8;\n              uVar10 = *(uint *)(puVar8 + 6);\n              iVar11 = (int)puVar8 - (int)puVar2;\n              if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;\n              uVar10 = *(uint *)((int)puVar8 + uVar10);\n            }" { (expression_statement "set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10));" (call_expression "set_version_map(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10))" identifier (argument_list "(this,version_map,(uint)uVar1,(char *)(puVar3 + uVar10))" ( identifier , identifier , (cast_expression "(uint)uVar1" ( (type_descriptor "uint" type_identifier) ) identifier) , (cast_expression "(char *)(puVar3 + uVar10)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar3 + uVar10)" ( (binary_expression "puVar3 + uVar10" identifier + identifier) ))) ))) ;) (expression_statement "uVar10 = *(uint *)(puVar8 + 8);" (assignment_expression "uVar10 = *(uint *)(puVar8 + 8)" identifier = (pointer_expression "*(uint *)(puVar8 + 8)" * (cast_expression "(uint *)(puVar8 + 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar8 + 8)" ( (binary_expression "puVar8 + 8" identifier + number_literal) ))))) ;) (if_statement "if (uVar5 <= iVar11 + uVar10) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }" if (parenthesized_expression "(uVar5 <= iVar11 + uVar10)" ( (binary_expression "uVar5 <= iVar11 + uVar10" identifier <= (binary_expression "iVar11 + uVar10" identifier + identifier)) )) (compound_statement "{\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }" { (expression_statement "pcVar7 = "verdef vd_next field out of range: %u";" (assignment_expression "pcVar7 = "verdef vd_next field out of range: %u"" identifier = (string_literal ""verdef vd_next field out of range: %u"" " string_content ")) ;) (goto_statement "goto LAB_001a966a;" goto statement_identifier ;) })) (expression_statement "puVar8 = (ushort *)((int)puVar8 + uVar10);" (assignment_expression "puVar8 = (ushort *)((int)puVar8 + uVar10)" identifier = (cast_expression "(ushort *)((int)puVar8 + uVar10)" ( (type_descriptor "ushort *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar8 + uVar10)" ( (binary_expression "(int)puVar8 + uVar10" (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) )))) ;) (expression_statement "uVar9 = uVar9 + 1;" (assignment_expression "uVar9 = uVar9 + 1" identifier = (binary_expression "uVar9 + 1" identifier + number_literal)) ;) (if_statement "if (uVar6 == uVar9) {\n                return;\n              }" if (parenthesized_expression "(uVar6 == uVar9)" ( (binary_expression "uVar6 == uVar9" identifier == identifier) )) (compound_statement "{\n                return;\n              }" { (return_statement "return;" return ;) })) (expression_statement "uVar1 = *puVar8;" (assignment_expression "uVar1 = *puVar8" identifier = (pointer_expression "*puVar8" * identifier)) ;) (if_statement "if (uVar1 != 1) goto LAB_001a9693;" if (parenthesized_expression "(uVar1 != 1)" ( (binary_expression "uVar1 != 1" identifier != number_literal) )) (goto_statement "goto LAB_001a9693;" goto statement_identifier ;)) (expression_statement "uVar1 = puVar8[2];" (assignment_expression "uVar1 = puVar8[2]" identifier = (subscript_expression "puVar8[2]" identifier [ number_literal ])) ;) (if_statement "if (puVar8[3] == 0) goto LAB_001a96a8;" if (parenthesized_expression "(puVar8[3] == 0)" ( (binary_expression "puVar8[3] == 0" (subscript_expression "puVar8[3]" identifier [ number_literal ]) == number_literal) )) (goto_statement "goto LAB_001a96a8;" goto statement_identifier ;)) (expression_statement "uVar10 = *(uint *)(puVar8 + 6);" (assignment_expression "uVar10 = *(uint *)(puVar8 + 6)" identifier = (pointer_expression "*(uint *)(puVar8 + 6)" * (cast_expression "(uint *)(puVar8 + 6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar8 + 6)" ( (binary_expression "puVar8 + 6" identifier + number_literal) ))))) ;) (expression_statement "iVar11 = (int)puVar8 - (int)puVar2;" (assignment_expression "iVar11 = (int)puVar8 - (int)puVar2" identifier = (binary_expression "(int)puVar8 - (int)puVar2" (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier) - (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier))) ;) (if_statement "if (uVar5 <= iVar11 + uVar10) goto LAB_001a96e2;" if (parenthesized_expression "(uVar5 <= iVar11 + uVar10)" ( (binary_expression "uVar5 <= iVar11 + uVar10" identifier <= (binary_expression "iVar11 + uVar10" identifier + identifier)) )) (goto_statement "goto LAB_001a96e2;" goto statement_identifier ;)) (expression_statement "uVar10 = *(uint *)((int)puVar8 + uVar10);" (assignment_expression "uVar10 = *(uint *)((int)puVar8 + uVar10)" identifier = (pointer_expression "*(uint *)((int)puVar8 + uVar10)" * (cast_expression "(uint *)((int)puVar8 + uVar10)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar8 + uVar10)" ( (binary_expression "(int)puVar8 + uVar10" (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) ))))) ;) }) while (parenthesized_expression "(uVar10 < uVar4)" ( (binary_expression "uVar10 < uVar4" identifier < identifier) )) ;) })) (expression_statement "pcVar7 = "verdaux vda_name field out of range: %u";" (assignment_expression "pcVar7 = "verdaux vda_name field out of range: %u"" identifier = (string_literal ""verdaux vda_name field out of range: %u"" " string_content ")) ;) }) (else_clause "else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" else (compound_statement "{\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" { (labeled_statement "LAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";" statement_identifier : (expression_statement "pcVar7 = "verdef vd_aux field out of range: %u";" (assignment_expression "pcVar7 = "verdef vd_aux field out of range: %u"" identifier = (string_literal ""verdef vd_aux field out of range: %u"" " string_content ")) ;)) }))) }) (else_clause "else {\nLAB_001a9693:\n        uVar10 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" else (compound_statement "{\nLAB_001a9693:\n        uVar10 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" { (labeled_statement "LAB_001a9693:\n        uVar10 = (uint)uVar1;" statement_identifier : (expression_statement "uVar10 = (uint)uVar1;" (assignment_expression "uVar10 = (uint)uVar1" identifier = (cast_expression "(uint)uVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "pcVar7 = "unexpected verdef version %u";" (assignment_expression "pcVar7 = "unexpected verdef version %u"" identifier = (string_literal ""unexpected verdef version %u"" " string_content ")) ;) }))) (labeled_statement "LAB_001a966a:\n      pcVar7 = (char *)gettext(pcVar7);" statement_identifier : (expression_statement "pcVar7 = (char *)gettext(pcVar7);" (assignment_expression "pcVar7 = (char *)gettext(pcVar7)" identifier = (cast_expression "(char *)gettext(pcVar7)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "gettext(pcVar7)" identifier (argument_list "(pcVar7)" ( identifier ))))) ;)) (labeled_statement "Object::error((Object *)this,pcVar7,uVar10);" statement_identifier : (ERROR ":" :) (expression_statement "error((Object *)this,pcVar7,uVar10);" (call_expression "error((Object *)this,pcVar7,uVar10)" identifier (argument_list "((Object *)this,pcVar7,uVar10)" ( (cast_expression "(Object *)this" ( (type_descriptor "Object *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) , identifier , identifier ))) ;)) })) })) (return_statement "return;" return ;) (ERROR "}" }))
(translation_unit "void FUN_001a9550(undefined4 param_1,int param_2,undefined4 param_3)\n\n{\n  ushort uVar1;\n  ushort *puVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  char *pcVar7;\n  undefined4 uVar8;\n  ushort *puVar9;\n  int iVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }\n  return;\n}\n\n" (function_definition "void FUN_001a9550(undefined4 param_1,int param_2,undefined4 param_3)\n\n{\n  ushort uVar1;\n  ushort *puVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  char *pcVar7;\n  undefined4 uVar8;\n  ushort *puVar9;\n  int iVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }\n  return;\n}" primitive_type (function_declarator "FUN_001a9550(undefined4 param_1,int param_2,undefined4 param_3)" identifier (parameter_list "(undefined4 param_1,int param_2,undefined4 param_3)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "undefined4 param_3" type_identifier identifier) ))) (compound_statement "{\n  ushort uVar1;\n  ushort *puVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  char *pcVar7;\n  undefined4 uVar8;\n  ushort *puVar9;\n  int iVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }\n  return;\n}" { (declaration "ushort uVar1;" type_identifier identifier ;) (declaration "ushort *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "char *pcVar7;" primitive_type (pointer_declarator "*pcVar7" * identifier) ;) (declaration "undefined4 uVar8;" type_identifier identifier ;) (declaration "ushort *puVar9;" type_identifier (pointer_declarator "*puVar9" * identifier) ;) (declaration "int iVar10;" primitive_type identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "int iVar12;" primitive_type identifier ;) (if_statement "if (*(int *)(param_2 + 0x28) != 0) {\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }" if (parenthesized_expression "(*(int *)(param_2 + 0x28) != 0)" ( (binary_expression "*(int *)(param_2 + 0x28) != 0" (pointer_expression "*(int *)(param_2 + 0x28)" * (cast_expression "(int *)(param_2 + 0x28)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x28)" ( (binary_expression "param_2 + 0x28" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }" { (expression_statement "puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);" (assignment_expression "puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8)" identifier = (pointer_expression "*(ushort **)(*(int *)(param_2 + 0x28) + 8)" * (cast_expression "(ushort **)(*(int *)(param_2 + 0x28) + 8)" ( (type_descriptor "ushort **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*(int *)(param_2 + 0x28) + 8)" ( (binary_expression "*(int *)(param_2 + 0x28) + 8" (pointer_expression "*(int *)(param_2 + 0x28)" * (cast_expression "(int *)(param_2 + 0x28)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x28)" ( (binary_expression "param_2 + 0x28" identifier + number_literal) )))) + number_literal) ))))) ;) (expression_statement "iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);" (assignment_expression "iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8)" identifier = (pointer_expression "*(int *)(*(int *)(param_2 + 0x18) + 8)" * (cast_expression "(int *)(*(int *)(param_2 + 0x18) + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_2 + 0x18) + 8)" ( (binary_expression "*(int *)(param_2 + 0x18) + 8" (pointer_expression "*(int *)(param_2 + 0x18)" * (cast_expression "(int *)(param_2 + 0x18)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x18)" ( (binary_expression "param_2 + 0x18" identifier + number_literal) )))) + number_literal) ))))) ;) (expression_statement "uVar4 = *(uint *)(param_2 + 0x1c);" (assignment_expression "uVar4 = *(uint *)(param_2 + 0x1c)" identifier = (pointer_expression "*(uint *)(param_2 + 0x1c)" * (cast_expression "(uint *)(param_2 + 0x1c)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x1c)" ( (binary_expression "param_2 + 0x1c" identifier + number_literal) ))))) ;) (expression_statement "uVar5 = *(uint *)(param_2 + 0x2c);" (assignment_expression "uVar5 = *(uint *)(param_2 + 0x2c)" identifier = (pointer_expression "*(uint *)(param_2 + 0x2c)" * (cast_expression "(uint *)(param_2 + 0x2c)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x2c)" ( (binary_expression "param_2 + 0x2c" identifier + number_literal) ))))) ;) (expression_statement "iVar6 = *(int *)(param_2 + 0x30);" (assignment_expression "iVar6 = *(int *)(param_2 + 0x30)" identifier = (pointer_expression "*(int *)(param_2 + 0x30)" * (cast_expression "(int *)(param_2 + 0x30)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x30)" ( (binary_expression "param_2 + 0x30" identifier + number_literal) ))))) ;) (if_statement "if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }" if (parenthesized_expression "(iVar6 != 0)" ( (binary_expression "iVar6 != 0" identifier != number_literal) )) (compound_statement "{\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }" { (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (if_statement "if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" if (parenthesized_expression "(uVar1 == 1)" ( (binary_expression "uVar1 == 1" identifier == number_literal) )) (compound_statement "{\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }" { (expression_statement "uVar1 = puVar2[2];" (assignment_expression "uVar1 = puVar2[2]" identifier = (subscript_expression "puVar2[2]" identifier [ number_literal ])) ;) (if_statement "if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }" if (parenthesized_expression "(puVar2[3] == 0)" ( (binary_expression "puVar2[3] == 0" (subscript_expression "puVar2[3]" identifier [ number_literal ]) == number_literal) )) (compound_statement "{\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }" { (labeled_statement "LAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");" statement_identifier : (expression_statement "uVar8 = gettext("verdef vd_cnt field too small: %u");" (assignment_expression "uVar8 = gettext("verdef vd_cnt field too small: %u")" identifier = (call_expression "gettext("verdef vd_cnt field too small: %u")" identifier (argument_list "("verdef vd_cnt field too small: %u")" ( (string_literal ""verdef vd_cnt field too small: %u"" " string_content ") )))) ;)) (expression_statement "FUN_000b1840(param_1,uVar8,0);" (call_expression "FUN_000b1840(param_1,uVar8,0)" identifier (argument_list "(param_1,uVar8,0)" ( identifier , identifier , number_literal ))) ;) (return_statement "return;" return ;) })) (expression_statement "uVar11 = *(uint *)(puVar2 + 6);" (assignment_expression "uVar11 = *(uint *)(puVar2 + 6)" identifier = (pointer_expression "*(uint *)(puVar2 + 6)" * (cast_expression "(uint *)(puVar2 + 6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar2 + 6)" ( (binary_expression "puVar2 + 6" identifier + number_literal) ))))) ;) (if_statement "if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" if (parenthesized_expression "(uVar11 < uVar5)" ( (binary_expression "uVar11 < uVar5" identifier < identifier) )) (compound_statement "{\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }" { (expression_statement "uVar11 = *(uint *)((int)puVar2 + uVar11);" (assignment_expression "uVar11 = *(uint *)((int)puVar2 + uVar11)" identifier = (pointer_expression "*(uint *)((int)puVar2 + uVar11)" * (cast_expression "(uint *)((int)puVar2 + uVar11)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar11)" ( (binary_expression "(int)puVar2 + uVar11" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) ))))) ;) (if_statement "if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }" if (parenthesized_expression "(uVar11 < uVar4)" ( (binary_expression "uVar11 < uVar4" identifier < identifier) )) (compound_statement "{\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }" { (expression_statement "iVar10 = 0;" (assignment_expression "iVar10 = 0" identifier = number_literal) ;) (expression_statement "iVar12 = 0;" (assignment_expression "iVar12 = 0" identifier = number_literal) ;) (expression_statement "puVar9 = puVar2;" (assignment_expression "puVar9 = puVar2" identifier = identifier) ;) (do_statement "do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);" do (compound_statement "{\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            }" { (expression_statement "FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);" (call_expression "FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3)" identifier (argument_list "(param_1,param_3,uVar1,uVar11 + iVar3)" ( identifier , identifier , identifier , (binary_expression "uVar11 + iVar3" identifier + identifier) ))) ;) (expression_statement "uVar11 = *(uint *)(puVar9 + 8);" (assignment_expression "uVar11 = *(uint *)(puVar9 + 8)" identifier = (pointer_expression "*(uint *)(puVar9 + 8)" * (cast_expression "(uint *)(puVar9 + 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar9 + 8)" ( (binary_expression "puVar9 + 8" identifier + number_literal) ))))) ;) (if_statement "if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }" if (parenthesized_expression "(uVar5 <= iVar12 + uVar11)" ( (binary_expression "uVar5 <= iVar12 + uVar11" identifier <= (binary_expression "iVar12 + uVar11" identifier + identifier)) )) (compound_statement "{\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }" { (expression_statement "pcVar7 = "verdef vd_next field out of range: %u";" (assignment_expression "pcVar7 = "verdef vd_next field out of range: %u"" identifier = (string_literal ""verdef vd_next field out of range: %u"" " string_content ")) ;) (goto_statement "goto LAB_001a966a;" goto statement_identifier ;) })) (expression_statement "puVar9 = (ushort *)((int)puVar9 + uVar11);" (assignment_expression "puVar9 = (ushort *)((int)puVar9 + uVar11)" identifier = (cast_expression "(ushort *)((int)puVar9 + uVar11)" ( (type_descriptor "ushort *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar9 + uVar11)" ( (binary_expression "(int)puVar9 + uVar11" (cast_expression "(int)puVar9" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) )))) ;) (expression_statement "iVar10 = iVar10 + 1;" (assignment_expression "iVar10 = iVar10 + 1" identifier = (binary_expression "iVar10 + 1" identifier + number_literal)) ;) (if_statement "if (iVar6 == iVar10) {\n                return;\n              }" if (parenthesized_expression "(iVar6 == iVar10)" ( (binary_expression "iVar6 == iVar10" identifier == identifier) )) (compound_statement "{\n                return;\n              }" { (return_statement "return;" return ;) })) (expression_statement "uVar1 = *puVar9;" (assignment_expression "uVar1 = *puVar9" identifier = (pointer_expression "*puVar9" * identifier)) ;) (if_statement "if (uVar1 != 1) goto LAB_001a9693;" if (parenthesized_expression "(uVar1 != 1)" ( (binary_expression "uVar1 != 1" identifier != number_literal) )) (goto_statement "goto LAB_001a9693;" goto statement_identifier ;)) (expression_statement "uVar1 = puVar9[2];" (assignment_expression "uVar1 = puVar9[2]" identifier = (subscript_expression "puVar9[2]" identifier [ number_literal ])) ;) (if_statement "if (puVar9[3] == 0) goto LAB_001a96a8;" if (parenthesized_expression "(puVar9[3] == 0)" ( (binary_expression "puVar9[3] == 0" (subscript_expression "puVar9[3]" identifier [ number_literal ]) == number_literal) )) (goto_statement "goto LAB_001a96a8;" goto statement_identifier ;)) (expression_statement "uVar11 = *(uint *)(puVar9 + 6);" (assignment_expression "uVar11 = *(uint *)(puVar9 + 6)" identifier = (pointer_expression "*(uint *)(puVar9 + 6)" * (cast_expression "(uint *)(puVar9 + 6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar9 + 6)" ( (binary_expression "puVar9 + 6" identifier + number_literal) ))))) ;) (expression_statement "iVar12 = (int)puVar9 - (int)puVar2;" (assignment_expression "iVar12 = (int)puVar9 - (int)puVar2" identifier = (binary_expression "(int)puVar9 - (int)puVar2" (cast_expression "(int)puVar9" ( (type_descriptor "int" primitive_type) ) identifier) - (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier))) ;) (if_statement "if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;" if (parenthesized_expression "(uVar5 <= iVar12 + uVar11)" ( (binary_expression "uVar5 <= iVar12 + uVar11" identifier <= (binary_expression "iVar12 + uVar11" identifier + identifier)) )) (goto_statement "goto LAB_001a96e2;" goto statement_identifier ;)) (expression_statement "uVar11 = *(uint *)((int)puVar9 + uVar11);" (assignment_expression "uVar11 = *(uint *)((int)puVar9 + uVar11)" identifier = (pointer_expression "*(uint *)((int)puVar9 + uVar11)" * (cast_expression "(uint *)((int)puVar9 + uVar11)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar9 + uVar11)" ( (binary_expression "(int)puVar9 + uVar11" (cast_expression "(int)puVar9" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) ))))) ;) }) while (parenthesized_expression "(uVar11 < uVar4)" ( (binary_expression "uVar11 < uVar4" identifier < identifier) )) ;) })) (expression_statement "pcVar7 = "verdaux vda_name field out of range: %u";" (assignment_expression "pcVar7 = "verdaux vda_name field out of range: %u"" identifier = (string_literal ""verdaux vda_name field out of range: %u"" " string_content ")) ;) }) (else_clause "else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" else (compound_statement "{\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" { (labeled_statement "LAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";" statement_identifier : (expression_statement "pcVar7 = "verdef vd_aux field out of range: %u";" (assignment_expression "pcVar7 = "verdef vd_aux field out of range: %u"" identifier = (string_literal ""verdef vd_aux field out of range: %u"" " string_content ")) ;)) }))) }) (else_clause "else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" else (compound_statement "{\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" { (labeled_statement "LAB_001a9693:\n        uVar11 = (uint)uVar1;" statement_identifier : (expression_statement "uVar11 = (uint)uVar1;" (assignment_expression "uVar11 = (uint)uVar1" identifier = (cast_expression "(uint)uVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "pcVar7 = "unexpected verdef version %u";" (assignment_expression "pcVar7 = "unexpected verdef version %u"" identifier = (string_literal ""unexpected verdef version %u"" " string_content ")) ;) }))) (labeled_statement "LAB_001a966a:\n      uVar8 = gettext(pcVar7);" statement_identifier : (expression_statement "uVar8 = gettext(pcVar7);" (assignment_expression "uVar8 = gettext(pcVar7)" identifier = (call_expression "gettext(pcVar7)" identifier (argument_list "(pcVar7)" ( identifier )))) ;)) (expression_statement "FUN_000b1840(param_1,uVar8,uVar11);" (call_expression "FUN_000b1840(param_1,uVar8,uVar11)" identifier (argument_list "(param_1,uVar8,uVar11)" ( identifier , identifier , identifier ))) ;) })) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (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 { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) == LIT) )) (compound_statement { (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( (string_literal " string_content ") )))) ;)) (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT , LIT ))) ;) (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + IDENT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (do_statement do (compound_statement { (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT , (binary_expression IDENT + IDENT) ))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (binary_expression IDENT + IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (string_literal " string_content ")) ;) (goto_statement goto statement_identifier ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == IDENT) )) (compound_statement { (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (if_statement if (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) == LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) - (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (binary_expression IDENT + IDENT)) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + IDENT) ))))) ;) }) while (parenthesized_expression ( (binary_expression IDENT < IDENT) )) ;) })) (expression_statement (assignment_expression IDENT = (string_literal " string_content ")) ;) }) (else_clause else (compound_statement { (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (string_literal " string_content ")) ;)) }))) }) (else_clause else (compound_statement { (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;)) (expression_statement (assignment_expression IDENT = (string_literal " string_content ")) ;) }))) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT )))) ;)) (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT ))) ;) })) })) (return_statement return ;) })))
(function_definition "void FUN_001a9550(undefined4 param_1,int param_2,undefined4 param_3)\n\n{\n  ushort uVar1;\n  ushort *puVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  char *pcVar7;\n  undefined4 uVar8;\n  ushort *puVar9;\n  int iVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }\n  return;\n}" (primitive_type "void") (function_declarator "FUN_001a9550(undefined4 param_1,int param_2,undefined4 param_3)" (identifier "FUN_001a9550") (parameter_list "(undefined4 param_1,int param_2,undefined4 param_3)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) (, ",") (parameter_declaration "undefined4 param_3" (type_identifier "undefined4") (identifier "param_3")) () ")"))) (compound_statement "{\n  ushort uVar1;\n  ushort *puVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  char *pcVar7;\n  undefined4 uVar8;\n  ushort *puVar9;\n  int iVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }\n  return;\n}" ({ "{") (declaration "ushort uVar1;" (type_identifier "ushort") (identifier "uVar1") (; ";")) (declaration "ushort *puVar2;" (type_identifier "ushort") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (declaration "char *pcVar7;" (primitive_type "char") (pointer_declarator "*pcVar7" (* "*") (identifier "pcVar7")) (; ";")) (declaration "undefined4 uVar8;" (type_identifier "undefined4") (identifier "uVar8") (; ";")) (declaration "ushort *puVar9;" (type_identifier "ushort") (pointer_declarator "*puVar9" (* "*") (identifier "puVar9")) (; ";")) (declaration "int iVar10;" (primitive_type "int") (identifier "iVar10") (; ";")) (declaration "uint uVar11;" (type_identifier "uint") (identifier "uVar11") (; ";")) (declaration "int iVar12;" (primitive_type "int") (identifier "iVar12") (; ";")) (if_statement "if (*(int *)(param_2 + 0x28) != 0) {\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }" (if "if") (parenthesized_expression "(*(int *)(param_2 + 0x28) != 0)" (( "(") (binary_expression "*(int *)(param_2 + 0x28) != 0" (pointer_expression "*(int *)(param_2 + 0x28)" (* "*") (cast_expression "(int *)(param_2 + 0x28)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x28)" (( "(") (binary_expression "param_2 + 0x28" (identifier "param_2") (+ "+") (number_literal "0x28")) () ")")))) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar4 = *(uint *)(param_2 + 0x1c);\n    uVar5 = *(uint *)(param_2 + 0x2c);\n    iVar6 = *(int *)(param_2 + 0x30);\n    if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }\n  }" ({ "{") (expression_statement "puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);" (assignment_expression "puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8)" (identifier "puVar2") (= "=") (pointer_expression "*(ushort **)(*(int *)(param_2 + 0x28) + 8)" (* "*") (cast_expression "(ushort **)(*(int *)(param_2 + 0x28) + 8)" (( "(") (type_descriptor "ushort **" (type_identifier "ushort") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(*(int *)(param_2 + 0x28) + 8)" (( "(") (binary_expression "*(int *)(param_2 + 0x28) + 8" (pointer_expression "*(int *)(param_2 + 0x28)" (* "*") (cast_expression "(int *)(param_2 + 0x28)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x28)" (( "(") (binary_expression "param_2 + 0x28" (identifier "param_2") (+ "+") (number_literal "0x28")) () ")")))) (+ "+") (number_literal "8")) () ")"))))) (; ";")) (expression_statement "iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);" (assignment_expression "iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8)" (identifier "iVar3") (= "=") (pointer_expression "*(int *)(*(int *)(param_2 + 0x18) + 8)" (* "*") (cast_expression "(int *)(*(int *)(param_2 + 0x18) + 8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_2 + 0x18) + 8)" (( "(") (binary_expression "*(int *)(param_2 + 0x18) + 8" (pointer_expression "*(int *)(param_2 + 0x18)" (* "*") (cast_expression "(int *)(param_2 + 0x18)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x18)" (( "(") (binary_expression "param_2 + 0x18" (identifier "param_2") (+ "+") (number_literal "0x18")) () ")")))) (+ "+") (number_literal "8")) () ")"))))) (; ";")) (expression_statement "uVar4 = *(uint *)(param_2 + 0x1c);" (assignment_expression "uVar4 = *(uint *)(param_2 + 0x1c)" (identifier "uVar4") (= "=") (pointer_expression "*(uint *)(param_2 + 0x1c)" (* "*") (cast_expression "(uint *)(param_2 + 0x1c)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x1c)" (( "(") (binary_expression "param_2 + 0x1c" (identifier "param_2") (+ "+") (number_literal "0x1c")) () ")"))))) (; ";")) (expression_statement "uVar5 = *(uint *)(param_2 + 0x2c);" (assignment_expression "uVar5 = *(uint *)(param_2 + 0x2c)" (identifier "uVar5") (= "=") (pointer_expression "*(uint *)(param_2 + 0x2c)" (* "*") (cast_expression "(uint *)(param_2 + 0x2c)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x2c)" (( "(") (binary_expression "param_2 + 0x2c" (identifier "param_2") (+ "+") (number_literal "0x2c")) () ")"))))) (; ";")) (expression_statement "iVar6 = *(int *)(param_2 + 0x30);" (assignment_expression "iVar6 = *(int *)(param_2 + 0x30)" (identifier "iVar6") (= "=") (pointer_expression "*(int *)(param_2 + 0x30)" (* "*") (cast_expression "(int *)(param_2 + 0x30)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x30)" (( "(") (binary_expression "param_2 + 0x30" (identifier "param_2") (+ "+") (number_literal "0x30")) () ")"))))) (; ";")) (if_statement "if (iVar6 != 0) {\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }" (if "if") (parenthesized_expression "(iVar6 != 0)" (( "(") (binary_expression "iVar6 != 0" (identifier "iVar6") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      uVar1 = *puVar2;\n      if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }\nLAB_001a966a:\n      uVar8 = gettext(pcVar7);\n      FUN_000b1840(param_1,uVar8,uVar11);\n    }" ({ "{") (expression_statement "uVar1 = *puVar2;" (assignment_expression "uVar1 = *puVar2" (identifier "uVar1") (= "=") (pointer_expression "*puVar2" (* "*") (identifier "puVar2"))) (; ";")) (if_statement "if (uVar1 == 1) {\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }\n      else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" (if "if") (parenthesized_expression "(uVar1 == 1)" (( "(") (binary_expression "uVar1 == 1" (identifier "uVar1") (== "==") (number_literal "1")) () ")")) (compound_statement "{\n        uVar1 = puVar2[2];\n        if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar2 + 6);\n        if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }\n      }" ({ "{") (expression_statement "uVar1 = puVar2[2];" (assignment_expression "uVar1 = puVar2[2]" (identifier "uVar1") (= "=") (subscript_expression "puVar2[2]" (identifier "puVar2") ([ "[") (number_literal "2") (] "]"))) (; ";")) (if_statement "if (puVar2[3] == 0) {\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }" (if "if") (parenthesized_expression "(puVar2[3] == 0)" (( "(") (binary_expression "puVar2[3] == 0" (subscript_expression "puVar2[3]" (identifier "puVar2") ([ "[") (number_literal "3") (] "]")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\nLAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar8,0);\n          return;\n        }" ({ "{") (labeled_statement "LAB_001a96a8:\n          uVar8 = gettext("verdef vd_cnt field too small: %u");" (statement_identifier "LAB_001a96a8") (: ":") (expression_statement "uVar8 = gettext("verdef vd_cnt field too small: %u");" (assignment_expression "uVar8 = gettext("verdef vd_cnt field too small: %u")" (identifier "uVar8") (= "=") (call_expression "gettext("verdef vd_cnt field too small: %u")" (identifier "gettext") (argument_list "("verdef vd_cnt field too small: %u")" (( "(") (string_literal ""verdef vd_cnt field too small: %u"" (" """) (string_content "verdef vd_cnt field too small: %u") (" """)) () ")")))) (; ";"))) (expression_statement "FUN_000b1840(param_1,uVar8,0);" (call_expression "FUN_000b1840(param_1,uVar8,0)" (identifier "FUN_000b1840") (argument_list "(param_1,uVar8,0)" (( "(") (identifier "param_1") (, ",") (identifier "uVar8") (, ",") (number_literal "0") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "uVar11 = *(uint *)(puVar2 + 6);" (assignment_expression "uVar11 = *(uint *)(puVar2 + 6)" (identifier "uVar11") (= "=") (pointer_expression "*(uint *)(puVar2 + 6)" (* "*") (cast_expression "(uint *)(puVar2 + 6)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar2 + 6)" (( "(") (binary_expression "puVar2 + 6" (identifier "puVar2") (+ "+") (number_literal "6")) () ")"))))) (; ";")) (if_statement "if (uVar11 < uVar5) {\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }\n        else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" (if "if") (parenthesized_expression "(uVar11 < uVar5)" (( "(") (binary_expression "uVar11 < uVar5" (identifier "uVar11") (< "<") (identifier "uVar5")) () ")")) (compound_statement "{\n          uVar11 = *(uint *)((int)puVar2 + uVar11);\n          if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }\n          pcVar7 = "verdaux vda_name field out of range: %u";\n        }" ({ "{") (expression_statement "uVar11 = *(uint *)((int)puVar2 + uVar11);" (assignment_expression "uVar11 = *(uint *)((int)puVar2 + uVar11)" (identifier "uVar11") (= "=") (pointer_expression "*(uint *)((int)puVar2 + uVar11)" (* "*") (cast_expression "(uint *)((int)puVar2 + uVar11)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar2 + uVar11)" (( "(") (binary_expression "(int)puVar2 + uVar11" (cast_expression "(int)puVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar2")) (+ "+") (identifier "uVar11")) () ")"))))) (; ";")) (if_statement "if (uVar11 < uVar4) {\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }" (if "if") (parenthesized_expression "(uVar11 < uVar4)" (( "(") (binary_expression "uVar11 < uVar4" (identifier "uVar11") (< "<") (identifier "uVar4")) () ")")) (compound_statement "{\n            iVar10 = 0;\n            iVar12 = 0;\n            puVar9 = puVar2;\n            do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);\n          }" ({ "{") (expression_statement "iVar10 = 0;" (assignment_expression "iVar10 = 0" (identifier "iVar10") (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar12 = 0;" (assignment_expression "iVar12 = 0" (identifier "iVar12") (= "=") (number_literal "0")) (; ";")) (expression_statement "puVar9 = puVar2;" (assignment_expression "puVar9 = puVar2" (identifier "puVar9") (= "=") (identifier "puVar2")) (; ";")) (do_statement "do {\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            } while (uVar11 < uVar4);" (do "do") (compound_statement "{\n              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);\n              uVar11 = *(uint *)(puVar9 + 8);\n              if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }\n              puVar9 = (ushort *)((int)puVar9 + uVar11);\n              iVar10 = iVar10 + 1;\n              if (iVar6 == iVar10) {\n                return;\n              }\n              uVar1 = *puVar9;\n              if (uVar1 != 1) goto LAB_001a9693;\n              uVar1 = puVar9[2];\n              if (puVar9[3] == 0) goto LAB_001a96a8;\n              uVar11 = *(uint *)(puVar9 + 6);\n              iVar12 = (int)puVar9 - (int)puVar2;\n              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;\n              uVar11 = *(uint *)((int)puVar9 + uVar11);\n            }" ({ "{") (expression_statement "FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);" (call_expression "FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3)" (identifier "FUN_001a94b0") (argument_list "(param_1,param_3,uVar1,uVar11 + iVar3)" (( "(") (identifier "param_1") (, ",") (identifier "param_3") (, ",") (identifier "uVar1") (, ",") (binary_expression "uVar11 + iVar3" (identifier "uVar11") (+ "+") (identifier "iVar3")) () ")"))) (; ";")) (expression_statement "uVar11 = *(uint *)(puVar9 + 8);" (assignment_expression "uVar11 = *(uint *)(puVar9 + 8)" (identifier "uVar11") (= "=") (pointer_expression "*(uint *)(puVar9 + 8)" (* "*") (cast_expression "(uint *)(puVar9 + 8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar9 + 8)" (( "(") (binary_expression "puVar9 + 8" (identifier "puVar9") (+ "+") (number_literal "8")) () ")"))))) (; ";")) (if_statement "if (uVar5 <= iVar12 + uVar11) {\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }" (if "if") (parenthesized_expression "(uVar5 <= iVar12 + uVar11)" (( "(") (binary_expression "uVar5 <= iVar12 + uVar11" (identifier "uVar5") (<= "<=") (binary_expression "iVar12 + uVar11" (identifier "iVar12") (+ "+") (identifier "uVar11"))) () ")")) (compound_statement "{\n                pcVar7 = "verdef vd_next field out of range: %u";\n                goto LAB_001a966a;\n              }" ({ "{") (expression_statement "pcVar7 = "verdef vd_next field out of range: %u";" (assignment_expression "pcVar7 = "verdef vd_next field out of range: %u"" (identifier "pcVar7") (= "=") (string_literal ""verdef vd_next field out of range: %u"" (" """) (string_content "verdef vd_next field out of range: %u") (" """))) (; ";")) (goto_statement "goto LAB_001a966a;" (goto "goto") (statement_identifier "LAB_001a966a") (; ";")) (} "}"))) (expression_statement "puVar9 = (ushort *)((int)puVar9 + uVar11);" (assignment_expression "puVar9 = (ushort *)((int)puVar9 + uVar11)" (identifier "puVar9") (= "=") (cast_expression "(ushort *)((int)puVar9 + uVar11)" (( "(") (type_descriptor "ushort *" (type_identifier "ushort") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar9 + uVar11)" (( "(") (binary_expression "(int)puVar9 + uVar11" (cast_expression "(int)puVar9" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar9")) (+ "+") (identifier "uVar11")) () ")")))) (; ";")) (expression_statement "iVar10 = iVar10 + 1;" (assignment_expression "iVar10 = iVar10 + 1" (identifier "iVar10") (= "=") (binary_expression "iVar10 + 1" (identifier "iVar10") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (iVar6 == iVar10) {\n                return;\n              }" (if "if") (parenthesized_expression "(iVar6 == iVar10)" (( "(") (binary_expression "iVar6 == iVar10" (identifier "iVar6") (== "==") (identifier "iVar10")) () ")")) (compound_statement "{\n                return;\n              }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "uVar1 = *puVar9;" (assignment_expression "uVar1 = *puVar9" (identifier "uVar1") (= "=") (pointer_expression "*puVar9" (* "*") (identifier "puVar9"))) (; ";")) (if_statement "if (uVar1 != 1) goto LAB_001a9693;" (if "if") (parenthesized_expression "(uVar1 != 1)" (( "(") (binary_expression "uVar1 != 1" (identifier "uVar1") (!= "!=") (number_literal "1")) () ")")) (goto_statement "goto LAB_001a9693;" (goto "goto") (statement_identifier "LAB_001a9693") (; ";"))) (expression_statement "uVar1 = puVar9[2];" (assignment_expression "uVar1 = puVar9[2]" (identifier "uVar1") (= "=") (subscript_expression "puVar9[2]" (identifier "puVar9") ([ "[") (number_literal "2") (] "]"))) (; ";")) (if_statement "if (puVar9[3] == 0) goto LAB_001a96a8;" (if "if") (parenthesized_expression "(puVar9[3] == 0)" (( "(") (binary_expression "puVar9[3] == 0" (subscript_expression "puVar9[3]" (identifier "puVar9") ([ "[") (number_literal "3") (] "]")) (== "==") (number_literal "0")) () ")")) (goto_statement "goto LAB_001a96a8;" (goto "goto") (statement_identifier "LAB_001a96a8") (; ";"))) (expression_statement "uVar11 = *(uint *)(puVar9 + 6);" (assignment_expression "uVar11 = *(uint *)(puVar9 + 6)" (identifier "uVar11") (= "=") (pointer_expression "*(uint *)(puVar9 + 6)" (* "*") (cast_expression "(uint *)(puVar9 + 6)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar9 + 6)" (( "(") (binary_expression "puVar9 + 6" (identifier "puVar9") (+ "+") (number_literal "6")) () ")"))))) (; ";")) (expression_statement "iVar12 = (int)puVar9 - (int)puVar2;" (assignment_expression "iVar12 = (int)puVar9 - (int)puVar2" (identifier "iVar12") (= "=") (binary_expression "(int)puVar9 - (int)puVar2" (cast_expression "(int)puVar9" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar9")) (- "-") (cast_expression "(int)puVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar2")))) (; ";")) (if_statement "if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;" (if "if") (parenthesized_expression "(uVar5 <= iVar12 + uVar11)" (( "(") (binary_expression "uVar5 <= iVar12 + uVar11" (identifier "uVar5") (<= "<=") (binary_expression "iVar12 + uVar11" (identifier "iVar12") (+ "+") (identifier "uVar11"))) () ")")) (goto_statement "goto LAB_001a96e2;" (goto "goto") (statement_identifier "LAB_001a96e2") (; ";"))) (expression_statement "uVar11 = *(uint *)((int)puVar9 + uVar11);" (assignment_expression "uVar11 = *(uint *)((int)puVar9 + uVar11)" (identifier "uVar11") (= "=") (pointer_expression "*(uint *)((int)puVar9 + uVar11)" (* "*") (cast_expression "(uint *)((int)puVar9 + uVar11)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar9 + uVar11)" (( "(") (binary_expression "(int)puVar9 + uVar11" (cast_expression "(int)puVar9" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar9")) (+ "+") (identifier "uVar11")) () ")"))))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(uVar11 < uVar4)" (( "(") (binary_expression "uVar11 < uVar4" (identifier "uVar11") (< "<") (identifier "uVar4")) () ")")) (; ";")) (} "}"))) (expression_statement "pcVar7 = "verdaux vda_name field out of range: %u";" (assignment_expression "pcVar7 = "verdaux vda_name field out of range: %u"" (identifier "pcVar7") (= "=") (string_literal ""verdaux vda_name field out of range: %u"" (" """) (string_content "verdaux vda_name field out of range: %u") (" """))) (; ";")) (} "}")) (else_clause "else {\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" (else "else") (compound_statement "{\nLAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";\n        }" ({ "{") (labeled_statement "LAB_001a96e2:\n          pcVar7 = "verdef vd_aux field out of range: %u";" (statement_identifier "LAB_001a96e2") (: ":") (expression_statement "pcVar7 = "verdef vd_aux field out of range: %u";" (assignment_expression "pcVar7 = "verdef vd_aux field out of range: %u"" (identifier "pcVar7") (= "=") (string_literal ""verdef vd_aux field out of range: %u"" (" """) (string_content "verdef vd_aux field out of range: %u") (" """))) (; ";"))) (} "}")))) (} "}")) (else_clause "else {\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" (else "else") (compound_statement "{\nLAB_001a9693:\n        uVar11 = (uint)uVar1;\n        pcVar7 = "unexpected verdef version %u";\n      }" ({ "{") (labeled_statement "LAB_001a9693:\n        uVar11 = (uint)uVar1;" (statement_identifier "LAB_001a9693") (: ":") (expression_statement "uVar11 = (uint)uVar1;" (assignment_expression "uVar11 = (uint)uVar1" (identifier "uVar11") (= "=") (cast_expression "(uint)uVar1" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar1"))) (; ";"))) (expression_statement "pcVar7 = "unexpected verdef version %u";" (assignment_expression "pcVar7 = "unexpected verdef version %u"" (identifier "pcVar7") (= "=") (string_literal ""unexpected verdef version %u"" (" """) (string_content "unexpected verdef version %u") (" """))) (; ";")) (} "}")))) (labeled_statement "LAB_001a966a:\n      uVar8 = gettext(pcVar7);" (statement_identifier "LAB_001a966a") (: ":") (expression_statement "uVar8 = gettext(pcVar7);" (assignment_expression "uVar8 = gettext(pcVar7)" (identifier "uVar8") (= "=") (call_expression "gettext(pcVar7)" (identifier "gettext") (argument_list "(pcVar7)" (( "(") (identifier "pcVar7") () ")")))) (; ";"))) (expression_statement "FUN_000b1840(param_1,uVar8,uVar11);" (call_expression "FUN_000b1840(param_1,uVar8,uVar11)" (identifier "FUN_000b1840") (argument_list "(param_1,uVar8,uVar11)" (( "(") (identifier "param_1") (, ",") (identifier "uVar8") (, ",") (identifier "uVar11") () ")"))) (; ";")) (} "}"))) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */
/* DWARF original prototype: void make_verdef_map(Sized_dynobj<64,_false> * this, Read_symbols_data
   * sd, Version_map * version_map) */

void __thiscall
gold::Sized_dynobj<64,_false>::make_verdef_map
          (Sized_dynobj<64,_false> *this,Read_symbols_data *sd,Version_map *version_map)

{
  type_1 var_2;
  type_1 *var_5;
  type_2 *var_10;
  type_3 var_8;
  type_3 var_7;
  type_3 var_1;
  char *pcVar7;
  type_1 *var_11;
  type_3 var_13;
  type_3 var_6;
  int var_12;
  
  if (sd->verdef != (type_4 *)0x0) {
    var_5 = (type_1 *)sd->verdef->data_;
    var_10 = sd->symbol_names->data_;
    var_8 = sd->symbol_names_size;
    var_7 = sd->verdef_size;
    var_1 = sd->verdef_info;
    if (var_1 != 0) {
      var_2 = *var_5;
      if (var_2 == 1) {
        var_2 = var_5[2];
        if (var_5[3] == 0) {
LAB_001a96a8:
          pcVar7 = (char *)var_3("verdef vd_cnt field too small: %u");
          Object::var_4((type_5 *)this,pcVar7,0);
          return;
        }
        var_6 = *(type_3 *)(var_5 + 6);
        if (var_6 < var_7) {
          var_6 = *(type_3 *)((int)var_5 + var_6);
          if (var_6 < var_8) {
            var_13 = 0;
            var_12 = 0;
            var_11 = var_5;
            do {
              var_9(this,version_map,(type_3)var_2,(char *)(var_10 + var_6));
              var_6 = *(type_3 *)(var_11 + 8);
              if (var_7 <= var_12 + var_6) {
                pcVar7 = "verdef vd_next field out of range: %u";
                goto LAB_001a966a;
              }
              var_11 = (type_1 *)((int)var_11 + var_6);
              var_13 = var_13 + 1;
              if (var_1 == var_13) {
                return;
              }
              var_2 = *var_11;
              if (var_2 != 1) goto LAB_001a9693;
              var_2 = var_11[2];
              if (var_11[3] == 0) goto LAB_001a96a8;
              var_6 = *(type_3 *)(var_11 + 6);
              var_12 = (int)var_11 - (int)var_5;
              if (var_7 <= var_12 + var_6) goto LAB_001a96e2;
              var_6 = *(type_3 *)((int)var_11 + var_6);
            } while (var_6 < var_8);
          }
          pcVar7 = "verdaux vda_name field out of range: %u";
        }
        else {
LAB_001a96e2:
          pcVar7 = "verdef vd_aux field out of range: %u";
        }
      }
      else {
LAB_001a9693:
        var_6 = (type_3)var_2;
        pcVar7 = "unexpected verdef version %u";
      }
LAB_001a966a:
      pcVar7 = (char *)var_3(pcVar7);
      Object::var_4((type_5 *)this,pcVar7,var_6);
    }
  }
  return;
}


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

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

void MASKED(undefined4 param_1,int param_2,undefined4 param_3)

{
  ushort uVar1;
  ushort *puVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  int iVar6;
  char *pcVar7;
  undefined4 uVar8;
  ushort *puVar9;
  int iVar10;
  uint uVar11;
  int iVar12;
  
  if (*(int *)(param_2 + 0x28) != 0) {
    puVar2 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);
    iVar3 = *(int *)(*(int *)(param_2 + 0x18) + 8);
    uVar4 = *(uint *)(param_2 + 0x1c);
    uVar5 = *(uint *)(param_2 + 0x2c);
    iVar6 = *(int *)(param_2 + 0x30);
    if (iVar6 != 0) {
      uVar1 = *puVar2;
      if (uVar1 == 1) {
        uVar1 = puVar2[2];
        if (puVar2[3] == 0) {
LAB_001a96a8:
          uVar8 = gettext("verdef vd_cnt field too small: %u");
          FUN_000b1840(param_1,uVar8,0);
          return;
        }
        uVar11 = *(uint *)(puVar2 + 6);
        if (uVar11 < uVar5) {
          uVar11 = *(uint *)((int)puVar2 + uVar11);
          if (uVar11 < uVar4) {
            iVar10 = 0;
            iVar12 = 0;
            puVar9 = puVar2;
            do {
              FUN_001a94b0(param_1,param_3,uVar1,uVar11 + iVar3);
              uVar11 = *(uint *)(puVar9 + 8);
              if (uVar5 <= iVar12 + uVar11) {
                pcVar7 = "verdef vd_next field out of range: %u";
                goto LAB_001a966a;
              }
              puVar9 = (ushort *)((int)puVar9 + uVar11);
              iVar10 = iVar10 + 1;
              if (iVar6 == iVar10) {
                return;
              }
              uVar1 = *puVar9;
              if (uVar1 != 1) goto LAB_001a9693;
              uVar1 = puVar9[2];
              if (puVar9[3] == 0) goto LAB_001a96a8;
              uVar11 = *(uint *)(puVar9 + 6);
              iVar12 = (int)puVar9 - (int)puVar2;
              if (uVar5 <= iVar12 + uVar11) goto LAB_001a96e2;
              uVar11 = *(uint *)((int)puVar9 + uVar11);
            } while (uVar11 < uVar4);
          }
          pcVar7 = "verdaux vda_name field out of range: %u";
        }
        else {
LAB_001a96e2:
          pcVar7 = "verdef vd_aux field out of range: %u";
        }
      }
      else {
LAB_001a9693:
        uVar11 = (uint)uVar1;
        pcVar7 = "unexpected verdef version %u";
      }
LAB_001a966a:
      uVar8 = gettext(pcVar7);
      FUN_000b1840(param_1,uVar8,uVar11);
    }
  }
  return;
}

