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

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

{
  ushort *puVar1;
  uchar *puVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  char *pcVar6;
  ushort *puVar7;
  int iVar8;
  ushort uVar9;
  uint uVar10;
  uint uVar11;
  
  if (sd->verdef != (File_view *)0x0) {
    puVar1 = (ushort *)sd->verdef->data_;
    puVar2 = sd->symbol_names->data_;
    uVar3 = sd->symbol_names_size;
    uVar4 = sd->verdef_size;
    uVar5 = sd->verdef_info;
    if (uVar5 != 0) {
      uVar9 = *puVar1 << 8 | *puVar1 >> 8;
      if (uVar9 == 1) {
        uVar9 = puVar1[2] << 8 | puVar1[2] >> 8;
        if (puVar1[3] == 0) {
LAB_001aa6c0:
          pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");
          Object::error((Object *)this,pcVar6,0);
          return;
        }
        uVar10 = *(uint *)(puVar1 + 6);
        uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 | uVar10 << 0x18
        ;
        if (uVar10 < uVar4) {
          uVar11 = 0;
          iVar8 = 0;
          puVar7 = puVar1;
          do {
            uVar10 = *(uint *)((int)puVar7 + uVar10);
            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |
                     uVar10 << 0x18;
            if (uVar3 <= uVar10) {
              pcVar6 = "verdaux vda_name field out of range: %u";
              goto LAB_001aa67a;
            }
            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));
            uVar10 = *(uint *)(puVar7 + 8);
            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |
                     uVar10 << 0x18;
            if (uVar4 <= iVar8 + uVar10) {
              pcVar6 = "verdef vd_next field out of range: %u";
              goto LAB_001aa67a;
            }
            puVar7 = (ushort *)((int)puVar7 + uVar10);
            uVar11 = uVar11 + 1;
            if (uVar5 == uVar11) {
              return;
            }
            uVar9 = *puVar7 << 8 | *puVar7 >> 8;
            if (uVar9 != 1) goto LAB_001aa6a0;
            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;
            if (puVar7[3] == 0) goto LAB_001aa6c0;
            uVar10 = *(uint *)(puVar7 + 6);
            iVar8 = (int)puVar7 - (int)puVar1;
            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |
                     uVar10 << 0x18;
          } while (iVar8 + uVar10 < uVar4);
        }
        pcVar6 = "verdef vd_aux field out of range: %u";
LAB_001aa67a:
        pcVar6 = (char *)gettext(pcVar6);
      }
      else {
LAB_001aa6a0:
        uVar10 = (uint)uVar9;
        pcVar6 = (char *)gettext("unexpected verdef version %u");
      }
      Object::error((Object *)this,pcVar6,uVar10);
    }
  }
  return;
}



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

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

{
  ushort *puVar1;
  int iVar2;
  uint uVar3;
  uint uVar4;
  int iVar5;
  char *pcVar6;
  undefined4 uVar7;
  ushort *puVar8;
  int iVar9;
  ushort uVar10;
  uint uVar11;
  int iVar12;
  
  if (*(int *)(param_2 + 0x28) != 0) {
    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);
    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);
    uVar3 = *(uint *)(param_2 + 0x1c);
    uVar4 = *(uint *)(param_2 + 0x2c);
    iVar5 = *(int *)(param_2 + 0x30);
    if (iVar5 != 0) {
      uVar10 = *puVar1 << 8 | *puVar1 >> 8;
      if (uVar10 == 1) {
        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;
        if (puVar1[3] == 0) {
LAB_001aa6c0:
          uVar7 = gettext("verdef vd_cnt field too small: %u");
          FUN_000b1840(param_1,uVar7,0);
          return;
        }
        uVar11 = *(uint *)(puVar1 + 6);
        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18
        ;
        if (uVar11 < uVar4) {
          iVar12 = 0;
          iVar9 = 0;
          puVar8 = puVar1;
          do {
            uVar11 = *(uint *)((int)puVar8 + uVar11);
            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |
                     uVar11 << 0x18;
            if (uVar3 <= uVar11) {
              pcVar6 = "verdaux vda_name field out of range: %u";
              goto LAB_001aa67a;
            }
            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);
            uVar11 = *(uint *)(puVar8 + 8);
            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |
                     uVar11 << 0x18;
            if (uVar4 <= iVar9 + uVar11) {
              pcVar6 = "verdef vd_next field out of range: %u";
              goto LAB_001aa67a;
            }
            puVar8 = (ushort *)((int)puVar8 + uVar11);
            iVar12 = iVar12 + 1;
            if (iVar5 == iVar12) {
              return;
            }
            uVar10 = *puVar8 << 8 | *puVar8 >> 8;
            if (uVar10 != 1) goto LAB_001aa6a0;
            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;
            if (puVar8[3] == 0) goto LAB_001aa6c0;
            uVar11 = *(uint *)(puVar8 + 6);
            iVar9 = (int)puVar8 - (int)puVar1;
            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |
                     uVar11 << 0x18;
          } while (iVar9 + uVar11 < uVar4);
        }
        pcVar6 = "verdef vd_aux field out of range: %u";
LAB_001aa67a:
        uVar7 = gettext(pcVar6);
      }
      else {
LAB_001aa6a0:
        uVar11 = (uint)uVar10;
        uVar7 = gettext("unexpected verdef version %u");
      }
      FUN_000b1840(param_1,uVar7,uVar11);
    }
  }
  return;
}


CALL 0x000559e6
ADD EAX,0x1e4a9b
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 0x001aa693
MOV ECX,dword ptr [EAX + 0x18]
MOV EDI,dword ptr [EDX + 0x8]
MOV ECX,dword ptr [ECX + 0x8]
MOV dword ptr [ESP + 0xc],EDI
MOV dword ptr [ESP + 0x14],ECX
MOV ECX,dword ptr [EAX + 0x1c]
MOV dword ptr [ESP + 0x10],ECX
MOV ECX,dword ptr [EAX + 0x2c]
MOV EAX,dword ptr [EAX + 0x30]
MOV dword ptr [ESP + 0x8],ECX
MOV dword ptr [ESP + 0x18],EAX
TEST EAX,EAX
JZ 0x001aa693
MOVZX ESI,word ptr [EDI]
ROL SI,0x8
CMP SI,0x1
JNZ 0x001aa6a0
MOVZX EAX,word ptr [EDI + 0x4]
ROL AX,0x8
CMP word ptr [EDI + 0x6],0x0
MOVZX EAX,AX
JZ 0x001aa6c0
MOV EBX,dword ptr [ESP + 0xc]
MOV ESI,dword ptr [EBX + 0xc]
BSWAP ESI
CMP dword ptr [ESP + 0x8],ESI
JBE 0x001aa6f0
XOR EDI,EDI
XOR EBP,EBP
JMP 0x001aa662
ADD ESI,dword ptr [ESP + 0x14]
PUSH ESI
PUSH EAX
PUSH dword ptr [ESP + 0x50]
PUSH dword ptr [ESP + 0x4c]
CALL 0x001aa4c0
MOV ESI,dword ptr [EBX + 0x10]
ADD ESP,0x10
BSWAP ESI
ADD EBP,ESI
CMP EBP,dword ptr [ESP + 0x8]
JNC 0x001aa708
ADD EBX,ESI
ADD EDI,0x1
CMP dword ptr [ESP + 0x18],EDI
JZ 0x001aa693
MOVZX ESI,word ptr [EBX]
ROL SI,0x8
CMP SI,0x1
JNZ 0x001aa6a0
MOVZX EAX,word ptr [EBX + 0x4]
ROL AX,0x8
CMP word ptr [EBX + 0x6],0x0
MOVZX EAX,AX
JZ 0x001aa6c0
MOV ESI,dword ptr [EBX + 0xc]
MOV EBP,EBX
SUB EBP,dword ptr [ESP + 0xc]
BSWAP ESI
LEA ECX,[EBP + ESI*0x1]
CMP ECX,dword ptr [ESP + 0x8]
JNC 0x001aa6f0
MOV ESI,dword ptr [EBX + ESI*0x1]
BSWAP ESI
CMP dword ptr [ESP + 0x10],ESI
JA 0x001aa5f8
SUB ESP,0xc
MOV EDI,dword ptr [ESP + 0x28]
LEA EAX,[EDI + 0xfff0f288]
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
SUB ESP,0xc
MOVZX ESI,SI
MOV EDI,dword ptr [ESP + 0x28]
LEA EAX,[EDI + 0xfff0f2d6]
MOV EBX,EDI
PUSH EAX
CALL 0x000293b0
ADD ESP,0xc
JMP 0x001aa685
SUB ESP,0xc
MOV EDI,dword ptr [ESP + 0x28]
LEA EAX,[EDI + 0xfff0f23c]
MOV EBX,EDI
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
SUB ESP,0xc
MOV EDI,dword ptr [ESP + 0x28]
LEA EAX,[EDI + 0xfff0f260]
JMP 0x001aa67a
SUB ESP,0xc
MOV EDI,dword ptr [ESP + 0x28]
LEA EAX,[EDI + 0xfff0f2b0]
JMP 0x001aa67a
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.ax replaced with injection: get_pc_thunk_ax */\n\nvoid FUN_001aa560(undefined4 param_1,int param_2,undefined4 param_3)\n\n{\n  ushort *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  char *pcVar6;\n  undefined4 uVar7;\n  ushort *puVar8;\n  int iVar9;\n  ushort uVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }\n  }\n  return;\n}\n\n" comment (function_definition "void FUN_001aa560(undefined4 param_1,int param_2,undefined4 param_3)\n\n{\n  ushort *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  char *pcVar6;\n  undefined4 uVar7;\n  ushort *puVar8;\n  int iVar9;\n  ushort uVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }\n  }\n  return;\n}" primitive_type (function_declarator "FUN_001aa560(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 *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  char *pcVar6;\n  undefined4 uVar7;\n  ushort *puVar8;\n  int iVar9;\n  ushort uVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }\n  }\n  return;\n}" { (declaration "ushort *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "char *pcVar6;" primitive_type (pointer_declarator "*pcVar6" * identifier) ;) (declaration "undefined4 uVar7;" type_identifier identifier ;) (declaration "ushort *puVar8;" type_identifier (pointer_declarator "*puVar8" * identifier) ;) (declaration "int iVar9;" primitive_type identifier ;) (declaration "ushort uVar10;" type_identifier identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "int iVar12;" primitive_type identifier ;) (if_statement "if (*(int *)(param_2 + 0x28) != 0) {\n    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,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    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }\n  }" { (expression_statement "puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);" (assignment_expression "puVar1 = *(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 "iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);" (assignment_expression "iVar2 = *(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 "uVar3 = *(uint *)(param_2 + 0x1c);" (assignment_expression "uVar3 = *(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 "uVar4 = *(uint *)(param_2 + 0x2c);" (assignment_expression "uVar4 = *(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 "iVar5 = *(int *)(param_2 + 0x30);" (assignment_expression "iVar5 = *(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 (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }" if (parenthesized_expression "(iVar5 != 0)" ( (binary_expression "iVar5 != 0" identifier != number_literal) )) (compound_statement "{\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }" { (expression_statement "uVar10 = *puVar1 << 8 | *puVar1 >> 8;" (assignment_expression "uVar10 = *puVar1 << 8 | *puVar1 >> 8" identifier = (binary_expression "*puVar1 << 8 | *puVar1 >> 8" (binary_expression "*puVar1 << 8" (pointer_expression "*puVar1" * identifier) << number_literal) | (binary_expression "*puVar1 >> 8" (pointer_expression "*puVar1" * identifier) >> number_literal))) ;) (if_statement "if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }" if (parenthesized_expression "(uVar10 == 1)" ( (binary_expression "uVar10 == 1" identifier == number_literal) )) (compound_statement "{\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }" { (expression_statement "uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;" (assignment_expression "uVar10 = puVar1[2] << 8 | puVar1[2] >> 8" identifier = (binary_expression "puVar1[2] << 8 | puVar1[2] >> 8" (binary_expression "puVar1[2] << 8" (subscript_expression "puVar1[2]" identifier [ number_literal ]) << number_literal) | (binary_expression "puVar1[2] >> 8" (subscript_expression "puVar1[2]" identifier [ number_literal ]) >> number_literal))) ;) (if_statement "if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }" if (parenthesized_expression "(puVar1[3] == 0)" ( (binary_expression "puVar1[3] == 0" (subscript_expression "puVar1[3]" identifier [ number_literal ]) == number_literal) )) (compound_statement "{\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }" { (labeled_statement "LAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");" statement_identifier : (expression_statement "uVar7 = gettext("verdef vd_cnt field too small: %u");" (assignment_expression "uVar7 = 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,uVar7,0);" (call_expression "FUN_000b1840(param_1,uVar7,0)" identifier (argument_list "(param_1,uVar7,0)" ( identifier , identifier , number_literal ))) ;) (return_statement "return;" return ;) })) (expression_statement "uVar11 = *(uint *)(puVar1 + 6);" (assignment_expression "uVar11 = *(uint *)(puVar1 + 6)" identifier = (pointer_expression "*(uint *)(puVar1 + 6)" * (cast_expression "(uint *)(puVar1 + 6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + 6)" ( (binary_expression "puVar1 + 6" identifier + number_literal) ))))) ;) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18" identifier = (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" ( (binary_expression "uVar11 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" ( (binary_expression "uVar11 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar11 << 0x18" identifier << number_literal))) ;) (if_statement "if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }" if (parenthesized_expression "(uVar11 < uVar4)" ( (binary_expression "uVar11 < uVar4" identifier < identifier) )) (compound_statement "{\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }" { (expression_statement "iVar12 = 0;" (assignment_expression "iVar12 = 0" identifier = number_literal) ;) (expression_statement "iVar9 = 0;" (assignment_expression "iVar9 = 0" identifier = number_literal) ;) (expression_statement "puVar8 = puVar1;" (assignment_expression "puVar8 = puVar1" identifier = identifier) ;) (do_statement "do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);" do (compound_statement "{\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          }" { (expression_statement "uVar11 = *(uint *)((int)puVar8 + uVar11);" (assignment_expression "uVar11 = *(uint *)((int)puVar8 + uVar11)" identifier = (pointer_expression "*(uint *)((int)puVar8 + uVar11)" * (cast_expression "(uint *)((int)puVar8 + uVar11)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar8 + uVar11)" ( (binary_expression "(int)puVar8 + uVar11" (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) ))))) ;) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" identifier = (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" ( (binary_expression "uVar11 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" ( (binary_expression "uVar11 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar11 << 0x18" identifier << number_literal))) ;) (if_statement "if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }" if (parenthesized_expression "(uVar3 <= uVar11)" ( (binary_expression "uVar3 <= uVar11" identifier <= identifier) )) (compound_statement "{\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }" { (expression_statement "pcVar6 = "verdaux vda_name field out of range: %u";" (assignment_expression "pcVar6 = "verdaux vda_name field out of range: %u"" identifier = (string_literal ""verdaux vda_name field out of range: %u"" " string_content ")) ;) (goto_statement "goto LAB_001aa67a;" goto statement_identifier ;) })) (expression_statement "FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);" (call_expression "FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2)" identifier (argument_list "(param_1,param_3,uVar10,uVar11 + iVar2)" ( identifier , identifier , identifier , (binary_expression "uVar11 + iVar2" identifier + identifier) ))) ;) (expression_statement "uVar11 = *(uint *)(puVar8 + 8);" (assignment_expression "uVar11 = *(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) ))))) ;) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" identifier = (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" ( (binary_expression "uVar11 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" ( (binary_expression "uVar11 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar11 << 0x18" identifier << number_literal))) ;) (if_statement "if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }" if (parenthesized_expression "(uVar4 <= iVar9 + uVar11)" ( (binary_expression "uVar4 <= iVar9 + uVar11" identifier <= (binary_expression "iVar9 + uVar11" identifier + identifier)) )) (compound_statement "{\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }" { (expression_statement "pcVar6 = "verdef vd_next field out of range: %u";" (assignment_expression "pcVar6 = "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_001aa67a;" goto statement_identifier ;) })) (expression_statement "puVar8 = (ushort *)((int)puVar8 + uVar11);" (assignment_expression "puVar8 = (ushort *)((int)puVar8 + uVar11)" identifier = (cast_expression "(ushort *)((int)puVar8 + uVar11)" ( (type_descriptor "ushort *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar8 + uVar11)" ( (binary_expression "(int)puVar8 + uVar11" (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) )))) ;) (expression_statement "iVar12 = iVar12 + 1;" (assignment_expression "iVar12 = iVar12 + 1" identifier = (binary_expression "iVar12 + 1" identifier + number_literal)) ;) (if_statement "if (iVar5 == iVar12) {\n              return;\n            }" if (parenthesized_expression "(iVar5 == iVar12)" ( (binary_expression "iVar5 == iVar12" identifier == identifier) )) (compound_statement "{\n              return;\n            }" { (return_statement "return;" return ;) })) (expression_statement "uVar10 = *puVar8 << 8 | *puVar8 >> 8;" (assignment_expression "uVar10 = *puVar8 << 8 | *puVar8 >> 8" identifier = (binary_expression "*puVar8 << 8 | *puVar8 >> 8" (binary_expression "*puVar8 << 8" (pointer_expression "*puVar8" * identifier) << number_literal) | (binary_expression "*puVar8 >> 8" (pointer_expression "*puVar8" * identifier) >> number_literal))) ;) (if_statement "if (uVar10 != 1) goto LAB_001aa6a0;" if (parenthesized_expression "(uVar10 != 1)" ( (binary_expression "uVar10 != 1" identifier != number_literal) )) (goto_statement "goto LAB_001aa6a0;" goto statement_identifier ;)) (expression_statement "uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;" (assignment_expression "uVar10 = puVar8[2] << 8 | puVar8[2] >> 8" identifier = (binary_expression "puVar8[2] << 8 | puVar8[2] >> 8" (binary_expression "puVar8[2] << 8" (subscript_expression "puVar8[2]" identifier [ number_literal ]) << number_literal) | (binary_expression "puVar8[2] >> 8" (subscript_expression "puVar8[2]" identifier [ number_literal ]) >> number_literal))) ;) (if_statement "if (puVar8[3] == 0) goto LAB_001aa6c0;" if (parenthesized_expression "(puVar8[3] == 0)" ( (binary_expression "puVar8[3] == 0" (subscript_expression "puVar8[3]" identifier [ number_literal ]) == number_literal) )) (goto_statement "goto LAB_001aa6c0;" goto statement_identifier ;)) (expression_statement "uVar11 = *(uint *)(puVar8 + 6);" (assignment_expression "uVar11 = *(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 "iVar9 = (int)puVar8 - (int)puVar1;" (assignment_expression "iVar9 = (int)puVar8 - (int)puVar1" identifier = (binary_expression "(int)puVar8 - (int)puVar1" (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier) - (cast_expression "(int)puVar1" ( (type_descriptor "int" primitive_type) ) identifier))) ;) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" identifier = (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" ( (binary_expression "uVar11 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" ( (binary_expression "uVar11 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar11 << 0x18" identifier << number_literal))) ;) }) while (parenthesized_expression "(iVar9 + uVar11 < uVar4)" ( (binary_expression "iVar9 + uVar11 < uVar4" (binary_expression "iVar9 + uVar11" identifier + identifier) < identifier) )) ;) })) (expression_statement "pcVar6 = "verdef vd_aux field out of range: %u";" (assignment_expression "pcVar6 = "verdef vd_aux field out of range: %u"" identifier = (string_literal ""verdef vd_aux field out of range: %u"" " string_content ")) ;) (labeled_statement "LAB_001aa67a:\n        uVar7 = gettext(pcVar6);" statement_identifier : (expression_statement "uVar7 = gettext(pcVar6);" (assignment_expression "uVar7 = gettext(pcVar6)" identifier = (call_expression "gettext(pcVar6)" identifier (argument_list "(pcVar6)" ( identifier )))) ;)) }) (else_clause "else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }" else (compound_statement "{\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }" { (labeled_statement "LAB_001aa6a0:\n        uVar11 = (uint)uVar10;" statement_identifier : (expression_statement "uVar11 = (uint)uVar10;" (assignment_expression "uVar11 = (uint)uVar10" identifier = (cast_expression "(uint)uVar10" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar7 = gettext("unexpected verdef version %u");" (assignment_expression "uVar7 = gettext("unexpected verdef version %u")" identifier = (call_expression "gettext("unexpected verdef version %u")" identifier (argument_list "("unexpected verdef version %u")" ( (string_literal ""unexpected verdef version %u"" " string_content ") )))) ;) }))) (expression_statement "FUN_000b1840(param_1,uVar7,uVar11);" (call_expression "FUN_000b1840(param_1,uVar7,uVar11)" identifier (argument_list "(param_1,uVar7,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<32,_true> * this, Read_symbols_data *\n   sd, Version_map * version_map) */\n\nvoid __thiscall\ngold::Sized_dynobj<32,_true>::make_verdef_map\n          (Sized_dynobj<32,_true> *this,Read_symbols_data *sd,Version_map *version_map)\n\n{\n  ushort *puVar1;\n  uchar *puVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  char *pcVar6;\n  ushort *puVar7;\n  int iVar8;\n  ushort uVar9;\n  uint uVar10;\n  uint uVar11;\n  \n  if (sd->verdef != (File_view *)0x0) {\n    puVar1 = (ushort *)sd->verdef->data_;\n    puVar2 = sd->symbol_names->data_;\n    uVar3 = sd->symbol_names_size;\n    uVar4 = sd->verdef_size;\n    uVar5 = sd->verdef_info;\n    if (uVar5 != 0) {\n      uVar9 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar9 == 1) {\n        uVar9 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar6,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar1 + 6);\n        uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 | uVar10 << 0x18\n        ;\n        if (uVar10 < uVar4) {\n          uVar11 = 0;\n          iVar8 = 0;\n          puVar7 = puVar1;\n          do {\n            uVar10 = *(uint *)((int)puVar7 + uVar10);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));\n            uVar10 = *(uint *)(puVar7 + 8);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar7 = (ushort *)((int)puVar7 + uVar10);\n            uVar11 = uVar11 + 1;\n            if (uVar5 == uVar11) {\n              return;\n            }\n            uVar9 = *puVar7 << 8 | *puVar7 >> 8;\n            if (uVar9 != 1) goto LAB_001aa6a0;\n            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;\n            if (puVar7[3] == 0) goto LAB_001aa6c0;\n            uVar10 = *(uint *)(puVar7 + 6);\n            iVar8 = (int)puVar7 - (int)puVar1;\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n          } while (iVar8 + uVar10 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        pcVar6 = (char *)gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar10 = (uint)uVar9;\n        pcVar6 = (char *)gettext("unexpected verdef version %u");\n      }\n      Object::error((Object *)this,pcVar6,uVar10);\n    }\n  }\n  return;\n}\n\n" comment comment (declaration "void __thiscall\ngold::Sized_dynobj<32,_true>::make_verdef_map\n          (Sized_dynobj<32,_true> *this,Read_symbols_data *sd,Version_map *version_map)\n\n{\n  ushort *puVar1;" primitive_type (ms_call_modifier "__thiscall" __thiscall) (ERROR "gold::" identifier : :) identifier (ERROR "<32" < number_literal) , (ERROR "_true>::make_verdef_map\n          (Sized_dynobj<32,_true> *this,Read_symbols_data *sd,Version_map *version_map)\n\n{\n  ushort" identifier > : : (function_declarator "make_verdef_map\n          (Sized_dynobj<32,_true> *this,Read_symbols_data *sd,Version_map *version_map)" identifier (parameter_list "(Sized_dynobj<32,_true> *this,Read_symbols_data *sd,Version_map *version_map)" ( (parameter_declaration "Sized_dynobj" type_identifier) (ERROR "<32" < number_literal) , (parameter_declaration "_true> *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) (pointer_declarator "*puVar1" * identifier) ;) (declaration "uchar *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "char *pcVar6;" primitive_type (pointer_declarator "*pcVar6" * identifier) ;) (declaration "ushort *puVar7;" type_identifier (pointer_declarator "*puVar7" * identifier) ;) (declaration "int iVar8;" primitive_type identifier ;) (declaration "ushort uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (if_statement "if (sd->verdef != (File_view *)0x0) {\n    puVar1 = (ushort *)sd->verdef->data_;\n    puVar2 = sd->symbol_names->data_;\n    uVar3 = sd->symbol_names_size;\n    uVar4 = sd->verdef_size;\n    uVar5 = sd->verdef_info;\n    if (uVar5 != 0) {\n      uVar9 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar9 == 1) {\n        uVar9 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar6,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar1 + 6);\n        uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 | uVar10 << 0x18\n        ;\n        if (uVar10 < uVar4) {\n          uVar11 = 0;\n          iVar8 = 0;\n          puVar7 = puVar1;\n          do {\n            uVar10 = *(uint *)((int)puVar7 + uVar10);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));\n            uVar10 = *(uint *)(puVar7 + 8);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar7 = (ushort *)((int)puVar7 + uVar10);\n            uVar11 = uVar11 + 1;\n            if (uVar5 == uVar11) {\n              return;\n            }\n            uVar9 = *puVar7 << 8 | *puVar7 >> 8;\n            if (uVar9 != 1) goto LAB_001aa6a0;\n            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;\n            if (puVar7[3] == 0) goto LAB_001aa6c0;\n            uVar10 = *(uint *)(puVar7 + 6);\n            iVar8 = (int)puVar7 - (int)puVar1;\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n          } while (iVar8 + uVar10 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        pcVar6 = (char *)gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar10 = (uint)uVar9;\n        pcVar6 = (char *)gettext("unexpected verdef version %u");\n      }\n      Object::error((Object *)this,pcVar6,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    puVar1 = (ushort *)sd->verdef->data_;\n    puVar2 = sd->symbol_names->data_;\n    uVar3 = sd->symbol_names_size;\n    uVar4 = sd->verdef_size;\n    uVar5 = sd->verdef_info;\n    if (uVar5 != 0) {\n      uVar9 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar9 == 1) {\n        uVar9 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar6,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar1 + 6);\n        uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 | uVar10 << 0x18\n        ;\n        if (uVar10 < uVar4) {\n          uVar11 = 0;\n          iVar8 = 0;\n          puVar7 = puVar1;\n          do {\n            uVar10 = *(uint *)((int)puVar7 + uVar10);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));\n            uVar10 = *(uint *)(puVar7 + 8);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar7 = (ushort *)((int)puVar7 + uVar10);\n            uVar11 = uVar11 + 1;\n            if (uVar5 == uVar11) {\n              return;\n            }\n            uVar9 = *puVar7 << 8 | *puVar7 >> 8;\n            if (uVar9 != 1) goto LAB_001aa6a0;\n            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;\n            if (puVar7[3] == 0) goto LAB_001aa6c0;\n            uVar10 = *(uint *)(puVar7 + 6);\n            iVar8 = (int)puVar7 - (int)puVar1;\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n          } while (iVar8 + uVar10 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        pcVar6 = (char *)gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar10 = (uint)uVar9;\n        pcVar6 = (char *)gettext("unexpected verdef version %u");\n      }\n      Object::error((Object *)this,pcVar6,uVar10);\n    }\n  }" { (expression_statement "puVar1 = (ushort *)sd->verdef->data_;" (assignment_expression "puVar1 = (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 "puVar2 = sd->symbol_names->data_;" (assignment_expression "puVar2 = sd->symbol_names->data_" identifier = (field_expression "sd->symbol_names->data_" (field_expression "sd->symbol_names" identifier -> field_identifier) -> field_identifier)) ;) (expression_statement "uVar3 = sd->symbol_names_size;" (assignment_expression "uVar3 = sd->symbol_names_size" identifier = (field_expression "sd->symbol_names_size" identifier -> field_identifier)) ;) (expression_statement "uVar4 = sd->verdef_size;" (assignment_expression "uVar4 = sd->verdef_size" identifier = (field_expression "sd->verdef_size" identifier -> field_identifier)) ;) (expression_statement "uVar5 = sd->verdef_info;" (assignment_expression "uVar5 = sd->verdef_info" identifier = (field_expression "sd->verdef_info" identifier -> field_identifier)) ;) (if_statement "if (uVar5 != 0) {\n      uVar9 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar9 == 1) {\n        uVar9 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar6,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar1 + 6);\n        uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 | uVar10 << 0x18\n        ;\n        if (uVar10 < uVar4) {\n          uVar11 = 0;\n          iVar8 = 0;\n          puVar7 = puVar1;\n          do {\n            uVar10 = *(uint *)((int)puVar7 + uVar10);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));\n            uVar10 = *(uint *)(puVar7 + 8);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar7 = (ushort *)((int)puVar7 + uVar10);\n            uVar11 = uVar11 + 1;\n            if (uVar5 == uVar11) {\n              return;\n            }\n            uVar9 = *puVar7 << 8 | *puVar7 >> 8;\n            if (uVar9 != 1) goto LAB_001aa6a0;\n            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;\n            if (puVar7[3] == 0) goto LAB_001aa6c0;\n            uVar10 = *(uint *)(puVar7 + 6);\n            iVar8 = (int)puVar7 - (int)puVar1;\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n          } while (iVar8 + uVar10 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        pcVar6 = (char *)gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar10 = (uint)uVar9;\n        pcVar6 = (char *)gettext("unexpected verdef version %u");\n      }\n      Object::error((Object *)this,pcVar6,uVar10);\n    }" if (parenthesized_expression "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) )) (compound_statement "{\n      uVar9 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar9 == 1) {\n        uVar9 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar6,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar1 + 6);\n        uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 | uVar10 << 0x18\n        ;\n        if (uVar10 < uVar4) {\n          uVar11 = 0;\n          iVar8 = 0;\n          puVar7 = puVar1;\n          do {\n            uVar10 = *(uint *)((int)puVar7 + uVar10);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));\n            uVar10 = *(uint *)(puVar7 + 8);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar7 = (ushort *)((int)puVar7 + uVar10);\n            uVar11 = uVar11 + 1;\n            if (uVar5 == uVar11) {\n              return;\n            }\n            uVar9 = *puVar7 << 8 | *puVar7 >> 8;\n            if (uVar9 != 1) goto LAB_001aa6a0;\n            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;\n            if (puVar7[3] == 0) goto LAB_001aa6c0;\n            uVar10 = *(uint *)(puVar7 + 6);\n            iVar8 = (int)puVar7 - (int)puVar1;\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n          } while (iVar8 + uVar10 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        pcVar6 = (char *)gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar10 = (uint)uVar9;\n        pcVar6 = (char *)gettext("unexpected verdef version %u");\n      }\n      Object::error((Object *)this,pcVar6,uVar10);\n    }" { (expression_statement "uVar9 = *puVar1 << 8 | *puVar1 >> 8;" (assignment_expression "uVar9 = *puVar1 << 8 | *puVar1 >> 8" identifier = (binary_expression "*puVar1 << 8 | *puVar1 >> 8" (binary_expression "*puVar1 << 8" (pointer_expression "*puVar1" * identifier) << number_literal) | (binary_expression "*puVar1 >> 8" (pointer_expression "*puVar1" * identifier) >> number_literal))) ;) (if_statement "if (uVar9 == 1) {\n        uVar9 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar6,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar1 + 6);\n        uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 | uVar10 << 0x18\n        ;\n        if (uVar10 < uVar4) {\n          uVar11 = 0;\n          iVar8 = 0;\n          puVar7 = puVar1;\n          do {\n            uVar10 = *(uint *)((int)puVar7 + uVar10);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));\n            uVar10 = *(uint *)(puVar7 + 8);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar7 = (ushort *)((int)puVar7 + uVar10);\n            uVar11 = uVar11 + 1;\n            if (uVar5 == uVar11) {\n              return;\n            }\n            uVar9 = *puVar7 << 8 | *puVar7 >> 8;\n            if (uVar9 != 1) goto LAB_001aa6a0;\n            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;\n            if (puVar7[3] == 0) goto LAB_001aa6c0;\n            uVar10 = *(uint *)(puVar7 + 6);\n            iVar8 = (int)puVar7 - (int)puVar1;\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n          } while (iVar8 + uVar10 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        pcVar6 = (char *)gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar10 = (uint)uVar9;\n        pcVar6 = (char *)gettext("unexpected verdef version %u");\n      }" if (parenthesized_expression "(uVar9 == 1)" ( (binary_expression "uVar9 == 1" identifier == number_literal) )) (compound_statement "{\n        uVar9 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar6,0);\n          return;\n        }\n        uVar10 = *(uint *)(puVar1 + 6);\n        uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 | uVar10 << 0x18\n        ;\n        if (uVar10 < uVar4) {\n          uVar11 = 0;\n          iVar8 = 0;\n          puVar7 = puVar1;\n          do {\n            uVar10 = *(uint *)((int)puVar7 + uVar10);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));\n            uVar10 = *(uint *)(puVar7 + 8);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar7 = (ushort *)((int)puVar7 + uVar10);\n            uVar11 = uVar11 + 1;\n            if (uVar5 == uVar11) {\n              return;\n            }\n            uVar9 = *puVar7 << 8 | *puVar7 >> 8;\n            if (uVar9 != 1) goto LAB_001aa6a0;\n            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;\n            if (puVar7[3] == 0) goto LAB_001aa6c0;\n            uVar10 = *(uint *)(puVar7 + 6);\n            iVar8 = (int)puVar7 - (int)puVar1;\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n          } while (iVar8 + uVar10 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        pcVar6 = (char *)gettext(pcVar6);\n      }" { (expression_statement "uVar9 = puVar1[2] << 8 | puVar1[2] >> 8;" (assignment_expression "uVar9 = puVar1[2] << 8 | puVar1[2] >> 8" identifier = (binary_expression "puVar1[2] << 8 | puVar1[2] >> 8" (binary_expression "puVar1[2] << 8" (subscript_expression "puVar1[2]" identifier [ number_literal ]) << number_literal) | (binary_expression "puVar1[2] >> 8" (subscript_expression "puVar1[2]" identifier [ number_literal ]) >> number_literal))) ;) (if_statement "if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar6,0);\n          return;\n        }" if (parenthesized_expression "(puVar1[3] == 0)" ( (binary_expression "puVar1[3] == 0" (subscript_expression "puVar1[3]" identifier [ number_literal ]) == number_literal) )) (compound_statement "{\nLAB_001aa6c0:\n          pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");\n          Object::error((Object *)this,pcVar6,0);\n          return;\n        }" { (labeled_statement "LAB_001aa6c0:\n          pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");" statement_identifier : (expression_statement "pcVar6 = (char *)gettext("verdef vd_cnt field too small: %u");" (assignment_expression "pcVar6 = (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,pcVar6,0);" statement_identifier : (ERROR ":" :) (expression_statement "error((Object *)this,pcVar6,0);" (call_expression "error((Object *)this,pcVar6,0)" identifier (argument_list "((Object *)this,pcVar6,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 *)(puVar1 + 6);" (assignment_expression "uVar10 = *(uint *)(puVar1 + 6)" identifier = (pointer_expression "*(uint *)(puVar1 + 6)" * (cast_expression "(uint *)(puVar1 + 6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + 6)" ( (binary_expression "puVar1 + 6" identifier + number_literal) ))))) ;) (expression_statement "uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 | uVar10 << 0x18\n        ;" (assignment_expression "uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 | uVar10 << 0x18" identifier = (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 | uVar10 << 0x18" (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8" (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8" (binary_expression "uVar10 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar10 & 0xff0000) >> 8" (parenthesized_expression "(uVar10 & 0xff0000)" ( (binary_expression "uVar10 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar10 & 0xff00) << 8" (parenthesized_expression "(uVar10 & 0xff00)" ( (binary_expression "uVar10 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar10 << 0x18" identifier << number_literal))) ;) (if_statement "if (uVar10 < uVar4) {\n          uVar11 = 0;\n          iVar8 = 0;\n          puVar7 = puVar1;\n          do {\n            uVar10 = *(uint *)((int)puVar7 + uVar10);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));\n            uVar10 = *(uint *)(puVar7 + 8);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar7 = (ushort *)((int)puVar7 + uVar10);\n            uVar11 = uVar11 + 1;\n            if (uVar5 == uVar11) {\n              return;\n            }\n            uVar9 = *puVar7 << 8 | *puVar7 >> 8;\n            if (uVar9 != 1) goto LAB_001aa6a0;\n            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;\n            if (puVar7[3] == 0) goto LAB_001aa6c0;\n            uVar10 = *(uint *)(puVar7 + 6);\n            iVar8 = (int)puVar7 - (int)puVar1;\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n          } while (iVar8 + uVar10 < uVar4);\n        }" if (parenthesized_expression "(uVar10 < uVar4)" ( (binary_expression "uVar10 < uVar4" identifier < identifier) )) (compound_statement "{\n          uVar11 = 0;\n          iVar8 = 0;\n          puVar7 = puVar1;\n          do {\n            uVar10 = *(uint *)((int)puVar7 + uVar10);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));\n            uVar10 = *(uint *)(puVar7 + 8);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar7 = (ushort *)((int)puVar7 + uVar10);\n            uVar11 = uVar11 + 1;\n            if (uVar5 == uVar11) {\n              return;\n            }\n            uVar9 = *puVar7 << 8 | *puVar7 >> 8;\n            if (uVar9 != 1) goto LAB_001aa6a0;\n            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;\n            if (puVar7[3] == 0) goto LAB_001aa6c0;\n            uVar10 = *(uint *)(puVar7 + 6);\n            iVar8 = (int)puVar7 - (int)puVar1;\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n          } while (iVar8 + uVar10 < uVar4);\n        }" { (expression_statement "uVar11 = 0;" (assignment_expression "uVar11 = 0" identifier = number_literal) ;) (expression_statement "iVar8 = 0;" (assignment_expression "iVar8 = 0" identifier = number_literal) ;) (expression_statement "puVar7 = puVar1;" (assignment_expression "puVar7 = puVar1" identifier = identifier) ;) (do_statement "do {\n            uVar10 = *(uint *)((int)puVar7 + uVar10);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));\n            uVar10 = *(uint *)(puVar7 + 8);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar7 = (ushort *)((int)puVar7 + uVar10);\n            uVar11 = uVar11 + 1;\n            if (uVar5 == uVar11) {\n              return;\n            }\n            uVar9 = *puVar7 << 8 | *puVar7 >> 8;\n            if (uVar9 != 1) goto LAB_001aa6a0;\n            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;\n            if (puVar7[3] == 0) goto LAB_001aa6c0;\n            uVar10 = *(uint *)(puVar7 + 6);\n            iVar8 = (int)puVar7 - (int)puVar1;\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n          } while (iVar8 + uVar10 < uVar4);" do (compound_statement "{\n            uVar10 = *(uint *)((int)puVar7 + uVar10);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));\n            uVar10 = *(uint *)(puVar7 + 8);\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n            if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar7 = (ushort *)((int)puVar7 + uVar10);\n            uVar11 = uVar11 + 1;\n            if (uVar5 == uVar11) {\n              return;\n            }\n            uVar9 = *puVar7 << 8 | *puVar7 >> 8;\n            if (uVar9 != 1) goto LAB_001aa6a0;\n            uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;\n            if (puVar7[3] == 0) goto LAB_001aa6c0;\n            uVar10 = *(uint *)(puVar7 + 6);\n            iVar8 = (int)puVar7 - (int)puVar1;\n            uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;\n          }" { (expression_statement "uVar10 = *(uint *)((int)puVar7 + uVar10);" (assignment_expression "uVar10 = *(uint *)((int)puVar7 + uVar10)" identifier = (pointer_expression "*(uint *)((int)puVar7 + uVar10)" * (cast_expression "(uint *)((int)puVar7 + uVar10)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar7 + uVar10)" ( (binary_expression "(int)puVar7 + uVar10" (cast_expression "(int)puVar7" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) ))))) ;) (expression_statement "uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;" (assignment_expression "uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18" identifier = (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18" (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8" (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8" (binary_expression "uVar10 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar10 & 0xff0000) >> 8" (parenthesized_expression "(uVar10 & 0xff0000)" ( (binary_expression "uVar10 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar10 & 0xff00) << 8" (parenthesized_expression "(uVar10 & 0xff00)" ( (binary_expression "uVar10 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar10 << 0x18" identifier << number_literal))) ;) (if_statement "if (uVar3 <= uVar10) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }" if (parenthesized_expression "(uVar3 <= uVar10)" ( (binary_expression "uVar3 <= uVar10" identifier <= identifier) )) (compound_statement "{\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }" { (expression_statement "pcVar6 = "verdaux vda_name field out of range: %u";" (assignment_expression "pcVar6 = "verdaux vda_name field out of range: %u"" identifier = (string_literal ""verdaux vda_name field out of range: %u"" " string_content ")) ;) (goto_statement "goto LAB_001aa67a;" goto statement_identifier ;) })) (expression_statement "set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10));" (call_expression "set_version_map(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10))" identifier (argument_list "(this,version_map,(uint)uVar9,(char *)(puVar2 + uVar10))" ( identifier , identifier , (cast_expression "(uint)uVar9" ( (type_descriptor "uint" type_identifier) ) identifier) , (cast_expression "(char *)(puVar2 + uVar10)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar2 + uVar10)" ( (binary_expression "puVar2 + uVar10" identifier + identifier) ))) ))) ;) (expression_statement "uVar10 = *(uint *)(puVar7 + 8);" (assignment_expression "uVar10 = *(uint *)(puVar7 + 8)" identifier = (pointer_expression "*(uint *)(puVar7 + 8)" * (cast_expression "(uint *)(puVar7 + 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar7 + 8)" ( (binary_expression "puVar7 + 8" identifier + number_literal) ))))) ;) (expression_statement "uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;" (assignment_expression "uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18" identifier = (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18" (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8" (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8" (binary_expression "uVar10 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar10 & 0xff0000) >> 8" (parenthesized_expression "(uVar10 & 0xff0000)" ( (binary_expression "uVar10 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar10 & 0xff00) << 8" (parenthesized_expression "(uVar10 & 0xff00)" ( (binary_expression "uVar10 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar10 << 0x18" identifier << number_literal))) ;) (if_statement "if (uVar4 <= iVar8 + uVar10) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }" if (parenthesized_expression "(uVar4 <= iVar8 + uVar10)" ( (binary_expression "uVar4 <= iVar8 + uVar10" identifier <= (binary_expression "iVar8 + uVar10" identifier + identifier)) )) (compound_statement "{\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }" { (expression_statement "pcVar6 = "verdef vd_next field out of range: %u";" (assignment_expression "pcVar6 = "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_001aa67a;" goto statement_identifier ;) })) (expression_statement "puVar7 = (ushort *)((int)puVar7 + uVar10);" (assignment_expression "puVar7 = (ushort *)((int)puVar7 + uVar10)" identifier = (cast_expression "(ushort *)((int)puVar7 + uVar10)" ( (type_descriptor "ushort *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar7 + uVar10)" ( (binary_expression "(int)puVar7 + uVar10" (cast_expression "(int)puVar7" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) )))) ;) (expression_statement "uVar11 = uVar11 + 1;" (assignment_expression "uVar11 = uVar11 + 1" identifier = (binary_expression "uVar11 + 1" identifier + number_literal)) ;) (if_statement "if (uVar5 == uVar11) {\n              return;\n            }" if (parenthesized_expression "(uVar5 == uVar11)" ( (binary_expression "uVar5 == uVar11" identifier == identifier) )) (compound_statement "{\n              return;\n            }" { (return_statement "return;" return ;) })) (expression_statement "uVar9 = *puVar7 << 8 | *puVar7 >> 8;" (assignment_expression "uVar9 = *puVar7 << 8 | *puVar7 >> 8" identifier = (binary_expression "*puVar7 << 8 | *puVar7 >> 8" (binary_expression "*puVar7 << 8" (pointer_expression "*puVar7" * identifier) << number_literal) | (binary_expression "*puVar7 >> 8" (pointer_expression "*puVar7" * identifier) >> number_literal))) ;) (if_statement "if (uVar9 != 1) goto LAB_001aa6a0;" if (parenthesized_expression "(uVar9 != 1)" ( (binary_expression "uVar9 != 1" identifier != number_literal) )) (goto_statement "goto LAB_001aa6a0;" goto statement_identifier ;)) (expression_statement "uVar9 = puVar7[2] << 8 | puVar7[2] >> 8;" (assignment_expression "uVar9 = puVar7[2] << 8 | puVar7[2] >> 8" identifier = (binary_expression "puVar7[2] << 8 | puVar7[2] >> 8" (binary_expression "puVar7[2] << 8" (subscript_expression "puVar7[2]" identifier [ number_literal ]) << number_literal) | (binary_expression "puVar7[2] >> 8" (subscript_expression "puVar7[2]" identifier [ number_literal ]) >> number_literal))) ;) (if_statement "if (puVar7[3] == 0) goto LAB_001aa6c0;" if (parenthesized_expression "(puVar7[3] == 0)" ( (binary_expression "puVar7[3] == 0" (subscript_expression "puVar7[3]" identifier [ number_literal ]) == number_literal) )) (goto_statement "goto LAB_001aa6c0;" goto statement_identifier ;)) (expression_statement "uVar10 = *(uint *)(puVar7 + 6);" (assignment_expression "uVar10 = *(uint *)(puVar7 + 6)" identifier = (pointer_expression "*(uint *)(puVar7 + 6)" * (cast_expression "(uint *)(puVar7 + 6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar7 + 6)" ( (binary_expression "puVar7 + 6" identifier + number_literal) ))))) ;) (expression_statement "iVar8 = (int)puVar7 - (int)puVar1;" (assignment_expression "iVar8 = (int)puVar7 - (int)puVar1" identifier = (binary_expression "(int)puVar7 - (int)puVar1" (cast_expression "(int)puVar7" ( (type_descriptor "int" primitive_type) ) identifier) - (cast_expression "(int)puVar1" ( (type_descriptor "int" primitive_type) ) identifier))) ;) (expression_statement "uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18;" (assignment_expression "uVar10 = uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18" identifier = (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8 |\n                     uVar10 << 0x18" (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8 | (uVar10 & 0xff00) << 8" (binary_expression "uVar10 >> 0x18 | (uVar10 & 0xff0000) >> 8" (binary_expression "uVar10 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar10 & 0xff0000) >> 8" (parenthesized_expression "(uVar10 & 0xff0000)" ( (binary_expression "uVar10 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar10 & 0xff00) << 8" (parenthesized_expression "(uVar10 & 0xff00)" ( (binary_expression "uVar10 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar10 << 0x18" identifier << number_literal))) ;) }) while (parenthesized_expression "(iVar8 + uVar10 < uVar4)" ( (binary_expression "iVar8 + uVar10 < uVar4" (binary_expression "iVar8 + uVar10" identifier + identifier) < identifier) )) ;) })) (expression_statement "pcVar6 = "verdef vd_aux field out of range: %u";" (assignment_expression "pcVar6 = "verdef vd_aux field out of range: %u"" identifier = (string_literal ""verdef vd_aux field out of range: %u"" " string_content ")) ;) (labeled_statement "LAB_001aa67a:\n        pcVar6 = (char *)gettext(pcVar6);" statement_identifier : (expression_statement "pcVar6 = (char *)gettext(pcVar6);" (assignment_expression "pcVar6 = (char *)gettext(pcVar6)" identifier = (cast_expression "(char *)gettext(pcVar6)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "gettext(pcVar6)" identifier (argument_list "(pcVar6)" ( identifier ))))) ;)) }) (else_clause "else {\nLAB_001aa6a0:\n        uVar10 = (uint)uVar9;\n        pcVar6 = (char *)gettext("unexpected verdef version %u");\n      }" else (compound_statement "{\nLAB_001aa6a0:\n        uVar10 = (uint)uVar9;\n        pcVar6 = (char *)gettext("unexpected verdef version %u");\n      }" { (labeled_statement "LAB_001aa6a0:\n        uVar10 = (uint)uVar9;" statement_identifier : (expression_statement "uVar10 = (uint)uVar9;" (assignment_expression "uVar10 = (uint)uVar9" identifier = (cast_expression "(uint)uVar9" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "pcVar6 = (char *)gettext("unexpected verdef version %u");" (assignment_expression "pcVar6 = (char *)gettext("unexpected verdef version %u")" identifier = (cast_expression "(char *)gettext("unexpected verdef version %u")" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "gettext("unexpected verdef version %u")" identifier (argument_list "("unexpected verdef version %u")" ( (string_literal ""unexpected verdef version %u"" " string_content ") ))))) ;) }))) (labeled_statement "Object::error((Object *)this,pcVar6,uVar10);" statement_identifier : (ERROR ":" :) (expression_statement "error((Object *)this,pcVar6,uVar10);" (call_expression "error((Object *)this,pcVar6,uVar10)" identifier (argument_list "((Object *)this,pcVar6,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_001aa560(undefined4 param_1,int param_2,undefined4 param_3)\n\n{\n  ushort *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  char *pcVar6;\n  undefined4 uVar7;\n  ushort *puVar8;\n  int iVar9;\n  ushort uVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }\n  }\n  return;\n}\n\n" (function_definition "void FUN_001aa560(undefined4 param_1,int param_2,undefined4 param_3)\n\n{\n  ushort *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  char *pcVar6;\n  undefined4 uVar7;\n  ushort *puVar8;\n  int iVar9;\n  ushort uVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }\n  }\n  return;\n}" primitive_type (function_declarator "FUN_001aa560(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 *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  char *pcVar6;\n  undefined4 uVar7;\n  ushort *puVar8;\n  int iVar9;\n  ushort uVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }\n  }\n  return;\n}" { (declaration "ushort *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "char *pcVar6;" primitive_type (pointer_declarator "*pcVar6" * identifier) ;) (declaration "undefined4 uVar7;" type_identifier identifier ;) (declaration "ushort *puVar8;" type_identifier (pointer_declarator "*puVar8" * identifier) ;) (declaration "int iVar9;" primitive_type identifier ;) (declaration "ushort uVar10;" type_identifier identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "int iVar12;" primitive_type identifier ;) (if_statement "if (*(int *)(param_2 + 0x28) != 0) {\n    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,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    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }\n  }" { (expression_statement "puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);" (assignment_expression "puVar1 = *(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 "iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);" (assignment_expression "iVar2 = *(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 "uVar3 = *(uint *)(param_2 + 0x1c);" (assignment_expression "uVar3 = *(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 "uVar4 = *(uint *)(param_2 + 0x2c);" (assignment_expression "uVar4 = *(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 "iVar5 = *(int *)(param_2 + 0x30);" (assignment_expression "iVar5 = *(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 (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }" if (parenthesized_expression "(iVar5 != 0)" ( (binary_expression "iVar5 != 0" identifier != number_literal) )) (compound_statement "{\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }" { (expression_statement "uVar10 = *puVar1 << 8 | *puVar1 >> 8;" (assignment_expression "uVar10 = *puVar1 << 8 | *puVar1 >> 8" identifier = (binary_expression "*puVar1 << 8 | *puVar1 >> 8" (binary_expression "*puVar1 << 8" (pointer_expression "*puVar1" * identifier) << number_literal) | (binary_expression "*puVar1 >> 8" (pointer_expression "*puVar1" * identifier) >> number_literal))) ;) (if_statement "if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }" if (parenthesized_expression "(uVar10 == 1)" ( (binary_expression "uVar10 == 1" identifier == number_literal) )) (compound_statement "{\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }" { (expression_statement "uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;" (assignment_expression "uVar10 = puVar1[2] << 8 | puVar1[2] >> 8" identifier = (binary_expression "puVar1[2] << 8 | puVar1[2] >> 8" (binary_expression "puVar1[2] << 8" (subscript_expression "puVar1[2]" identifier [ number_literal ]) << number_literal) | (binary_expression "puVar1[2] >> 8" (subscript_expression "puVar1[2]" identifier [ number_literal ]) >> number_literal))) ;) (if_statement "if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }" if (parenthesized_expression "(puVar1[3] == 0)" ( (binary_expression "puVar1[3] == 0" (subscript_expression "puVar1[3]" identifier [ number_literal ]) == number_literal) )) (compound_statement "{\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }" { (labeled_statement "LAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");" statement_identifier : (expression_statement "uVar7 = gettext("verdef vd_cnt field too small: %u");" (assignment_expression "uVar7 = 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,uVar7,0);" (call_expression "FUN_000b1840(param_1,uVar7,0)" identifier (argument_list "(param_1,uVar7,0)" ( identifier , identifier , number_literal ))) ;) (return_statement "return;" return ;) })) (expression_statement "uVar11 = *(uint *)(puVar1 + 6);" (assignment_expression "uVar11 = *(uint *)(puVar1 + 6)" identifier = (pointer_expression "*(uint *)(puVar1 + 6)" * (cast_expression "(uint *)(puVar1 + 6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + 6)" ( (binary_expression "puVar1 + 6" identifier + number_literal) ))))) ;) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18" identifier = (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" ( (binary_expression "uVar11 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" ( (binary_expression "uVar11 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar11 << 0x18" identifier << number_literal))) ;) (if_statement "if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }" if (parenthesized_expression "(uVar11 < uVar4)" ( (binary_expression "uVar11 < uVar4" identifier < identifier) )) (compound_statement "{\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }" { (expression_statement "iVar12 = 0;" (assignment_expression "iVar12 = 0" identifier = number_literal) ;) (expression_statement "iVar9 = 0;" (assignment_expression "iVar9 = 0" identifier = number_literal) ;) (expression_statement "puVar8 = puVar1;" (assignment_expression "puVar8 = puVar1" identifier = identifier) ;) (do_statement "do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);" do (compound_statement "{\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          }" { (expression_statement "uVar11 = *(uint *)((int)puVar8 + uVar11);" (assignment_expression "uVar11 = *(uint *)((int)puVar8 + uVar11)" identifier = (pointer_expression "*(uint *)((int)puVar8 + uVar11)" * (cast_expression "(uint *)((int)puVar8 + uVar11)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar8 + uVar11)" ( (binary_expression "(int)puVar8 + uVar11" (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) ))))) ;) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" identifier = (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" ( (binary_expression "uVar11 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" ( (binary_expression "uVar11 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar11 << 0x18" identifier << number_literal))) ;) (if_statement "if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }" if (parenthesized_expression "(uVar3 <= uVar11)" ( (binary_expression "uVar3 <= uVar11" identifier <= identifier) )) (compound_statement "{\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }" { (expression_statement "pcVar6 = "verdaux vda_name field out of range: %u";" (assignment_expression "pcVar6 = "verdaux vda_name field out of range: %u"" identifier = (string_literal ""verdaux vda_name field out of range: %u"" " string_content ")) ;) (goto_statement "goto LAB_001aa67a;" goto statement_identifier ;) })) (expression_statement "FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);" (call_expression "FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2)" identifier (argument_list "(param_1,param_3,uVar10,uVar11 + iVar2)" ( identifier , identifier , identifier , (binary_expression "uVar11 + iVar2" identifier + identifier) ))) ;) (expression_statement "uVar11 = *(uint *)(puVar8 + 8);" (assignment_expression "uVar11 = *(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) ))))) ;) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" identifier = (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" ( (binary_expression "uVar11 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" ( (binary_expression "uVar11 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar11 << 0x18" identifier << number_literal))) ;) (if_statement "if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }" if (parenthesized_expression "(uVar4 <= iVar9 + uVar11)" ( (binary_expression "uVar4 <= iVar9 + uVar11" identifier <= (binary_expression "iVar9 + uVar11" identifier + identifier)) )) (compound_statement "{\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }" { (expression_statement "pcVar6 = "verdef vd_next field out of range: %u";" (assignment_expression "pcVar6 = "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_001aa67a;" goto statement_identifier ;) })) (expression_statement "puVar8 = (ushort *)((int)puVar8 + uVar11);" (assignment_expression "puVar8 = (ushort *)((int)puVar8 + uVar11)" identifier = (cast_expression "(ushort *)((int)puVar8 + uVar11)" ( (type_descriptor "ushort *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar8 + uVar11)" ( (binary_expression "(int)puVar8 + uVar11" (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) )))) ;) (expression_statement "iVar12 = iVar12 + 1;" (assignment_expression "iVar12 = iVar12 + 1" identifier = (binary_expression "iVar12 + 1" identifier + number_literal)) ;) (if_statement "if (iVar5 == iVar12) {\n              return;\n            }" if (parenthesized_expression "(iVar5 == iVar12)" ( (binary_expression "iVar5 == iVar12" identifier == identifier) )) (compound_statement "{\n              return;\n            }" { (return_statement "return;" return ;) })) (expression_statement "uVar10 = *puVar8 << 8 | *puVar8 >> 8;" (assignment_expression "uVar10 = *puVar8 << 8 | *puVar8 >> 8" identifier = (binary_expression "*puVar8 << 8 | *puVar8 >> 8" (binary_expression "*puVar8 << 8" (pointer_expression "*puVar8" * identifier) << number_literal) | (binary_expression "*puVar8 >> 8" (pointer_expression "*puVar8" * identifier) >> number_literal))) ;) (if_statement "if (uVar10 != 1) goto LAB_001aa6a0;" if (parenthesized_expression "(uVar10 != 1)" ( (binary_expression "uVar10 != 1" identifier != number_literal) )) (goto_statement "goto LAB_001aa6a0;" goto statement_identifier ;)) (expression_statement "uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;" (assignment_expression "uVar10 = puVar8[2] << 8 | puVar8[2] >> 8" identifier = (binary_expression "puVar8[2] << 8 | puVar8[2] >> 8" (binary_expression "puVar8[2] << 8" (subscript_expression "puVar8[2]" identifier [ number_literal ]) << number_literal) | (binary_expression "puVar8[2] >> 8" (subscript_expression "puVar8[2]" identifier [ number_literal ]) >> number_literal))) ;) (if_statement "if (puVar8[3] == 0) goto LAB_001aa6c0;" if (parenthesized_expression "(puVar8[3] == 0)" ( (binary_expression "puVar8[3] == 0" (subscript_expression "puVar8[3]" identifier [ number_literal ]) == number_literal) )) (goto_statement "goto LAB_001aa6c0;" goto statement_identifier ;)) (expression_statement "uVar11 = *(uint *)(puVar8 + 6);" (assignment_expression "uVar11 = *(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 "iVar9 = (int)puVar8 - (int)puVar1;" (assignment_expression "iVar9 = (int)puVar8 - (int)puVar1" identifier = (binary_expression "(int)puVar8 - (int)puVar1" (cast_expression "(int)puVar8" ( (type_descriptor "int" primitive_type) ) identifier) - (cast_expression "(int)puVar1" ( (type_descriptor "int" primitive_type) ) identifier))) ;) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" identifier = (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" identifier >> number_literal) | (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" ( (binary_expression "uVar11 & 0xff0000" identifier & number_literal) )) >> number_literal)) | (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" ( (binary_expression "uVar11 & 0xff00" identifier & number_literal) )) << number_literal)) | (binary_expression "uVar11 << 0x18" identifier << number_literal))) ;) }) while (parenthesized_expression "(iVar9 + uVar11 < uVar4)" ( (binary_expression "iVar9 + uVar11 < uVar4" (binary_expression "iVar9 + uVar11" identifier + identifier) < identifier) )) ;) })) (expression_statement "pcVar6 = "verdef vd_aux field out of range: %u";" (assignment_expression "pcVar6 = "verdef vd_aux field out of range: %u"" identifier = (string_literal ""verdef vd_aux field out of range: %u"" " string_content ")) ;) (labeled_statement "LAB_001aa67a:\n        uVar7 = gettext(pcVar6);" statement_identifier : (expression_statement "uVar7 = gettext(pcVar6);" (assignment_expression "uVar7 = gettext(pcVar6)" identifier = (call_expression "gettext(pcVar6)" identifier (argument_list "(pcVar6)" ( identifier )))) ;)) }) (else_clause "else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }" else (compound_statement "{\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }" { (labeled_statement "LAB_001aa6a0:\n        uVar11 = (uint)uVar10;" statement_identifier : (expression_statement "uVar11 = (uint)uVar10;" (assignment_expression "uVar11 = (uint)uVar10" identifier = (cast_expression "(uint)uVar10" ( (type_descriptor "uint" type_identifier) ) identifier)) ;)) (expression_statement "uVar7 = gettext("unexpected verdef version %u");" (assignment_expression "uVar7 = gettext("unexpected verdef version %u")" identifier = (call_expression "gettext("unexpected verdef version %u")" identifier (argument_list "("unexpected verdef version %u")" ( (string_literal ""unexpected verdef version %u"" " string_content ") )))) ;) }))) (expression_statement "FUN_000b1840(param_1,uVar7,uVar11);" (call_expression "FUN_000b1840(param_1,uVar7,uVar11)" identifier (argument_list "(param_1,uVar7,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 (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 ;) (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 = (binary_expression (binary_expression (pointer_expression * IDENT) << LIT) | (binary_expression (pointer_expression * IDENT) >> LIT))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) << LIT) | (binary_expression (subscript_expression IDENT [ LIT ]) >> 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) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression (binary_expression IDENT >> LIT) | (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) >> LIT)) | (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) << LIT)) | (binary_expression IDENT << LIT))) ;) (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 (assignment_expression IDENT = (pointer_expression * (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 (binary_expression (binary_expression (binary_expression IDENT >> LIT) | (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) >> LIT)) | (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) << LIT)) | (binary_expression IDENT << LIT))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (string_literal " string_content ")) ;) (goto_statement goto statement_identifier ;) })) (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) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression (binary_expression IDENT >> LIT) | (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) >> LIT)) | (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) << LIT)) | (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 = (binary_expression (binary_expression (pointer_expression * IDENT) << LIT) | (binary_expression (pointer_expression * IDENT) >> LIT))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) << LIT) | (binary_expression (subscript_expression IDENT [ LIT ]) >> 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))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression (binary_expression IDENT >> LIT) | (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) >> LIT)) | (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) << LIT)) | (binary_expression IDENT << LIT))) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression IDENT + IDENT) < 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 )))) ;)) }) (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 = (call_expression IDENT (argument_list ( (string_literal " string_content ") )))) ;) }))) (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT ))) ;) })) })) (return_statement return ;) })))
(function_definition "void FUN_001aa560(undefined4 param_1,int param_2,undefined4 param_3)\n\n{\n  ushort *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  char *pcVar6;\n  undefined4 uVar7;\n  ushort *puVar8;\n  int iVar9;\n  ushort uVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }\n  }\n  return;\n}" (primitive_type "void") (function_declarator "FUN_001aa560(undefined4 param_1,int param_2,undefined4 param_3)" (identifier "FUN_001aa560") (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 *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  char *pcVar6;\n  undefined4 uVar7;\n  ushort *puVar8;\n  int iVar9;\n  ushort uVar10;\n  uint uVar11;\n  int iVar12;\n  \n  if (*(int *)(param_2 + 0x28) != 0) {\n    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }\n  }\n  return;\n}" ({ "{") (declaration "ushort *puVar1;" (type_identifier "ushort") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (declaration "char *pcVar6;" (primitive_type "char") (pointer_declarator "*pcVar6" (* "*") (identifier "pcVar6")) (; ";")) (declaration "undefined4 uVar7;" (type_identifier "undefined4") (identifier "uVar7") (; ";")) (declaration "ushort *puVar8;" (type_identifier "ushort") (pointer_declarator "*puVar8" (* "*") (identifier "puVar8")) (; ";")) (declaration "int iVar9;" (primitive_type "int") (identifier "iVar9") (; ";")) (declaration "ushort uVar10;" (type_identifier "ushort") (identifier "uVar10") (; ";")) (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    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,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    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);\n    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);\n    uVar3 = *(uint *)(param_2 + 0x1c);\n    uVar4 = *(uint *)(param_2 + 0x2c);\n    iVar5 = *(int *)(param_2 + 0x30);\n    if (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }\n  }" ({ "{") (expression_statement "puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);" (assignment_expression "puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8)" (identifier "puVar1") (= "=") (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 "iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);" (assignment_expression "iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8)" (identifier "iVar2") (= "=") (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 "uVar3 = *(uint *)(param_2 + 0x1c);" (assignment_expression "uVar3 = *(uint *)(param_2 + 0x1c)" (identifier "uVar3") (= "=") (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 "uVar4 = *(uint *)(param_2 + 0x2c);" (assignment_expression "uVar4 = *(uint *)(param_2 + 0x2c)" (identifier "uVar4") (= "=") (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 "iVar5 = *(int *)(param_2 + 0x30);" (assignment_expression "iVar5 = *(int *)(param_2 + 0x30)" (identifier "iVar5") (= "=") (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 (iVar5 != 0) {\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }" (if "if") (parenthesized_expression "(iVar5 != 0)" (( "(") (binary_expression "iVar5 != 0" (identifier "iVar5") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      uVar10 = *puVar1 << 8 | *puVar1 >> 8;\n      if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }\n      FUN_000b1840(param_1,uVar7,uVar11);\n    }" ({ "{") (expression_statement "uVar10 = *puVar1 << 8 | *puVar1 >> 8;" (assignment_expression "uVar10 = *puVar1 << 8 | *puVar1 >> 8" (identifier "uVar10") (= "=") (binary_expression "*puVar1 << 8 | *puVar1 >> 8" (binary_expression "*puVar1 << 8" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (<< "<<") (number_literal "8")) (| "|") (binary_expression "*puVar1 >> 8" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (>> ">>") (number_literal "8")))) (; ";")) (if_statement "if (uVar10 == 1) {\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }\n      else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }" (if "if") (parenthesized_expression "(uVar10 == 1)" (( "(") (binary_expression "uVar10 == 1" (identifier "uVar10") (== "==") (number_literal "1")) () ")")) (compound_statement "{\n        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;\n        if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }\n        uVar11 = *(uint *)(puVar1 + 6);\n        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;\n        if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }\n        pcVar6 = "verdef vd_aux field out of range: %u";\nLAB_001aa67a:\n        uVar7 = gettext(pcVar6);\n      }" ({ "{") (expression_statement "uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;" (assignment_expression "uVar10 = puVar1[2] << 8 | puVar1[2] >> 8" (identifier "uVar10") (= "=") (binary_expression "puVar1[2] << 8 | puVar1[2] >> 8" (binary_expression "puVar1[2] << 8" (subscript_expression "puVar1[2]" (identifier "puVar1") ([ "[") (number_literal "2") (] "]")) (<< "<<") (number_literal "8")) (| "|") (binary_expression "puVar1[2] >> 8" (subscript_expression "puVar1[2]" (identifier "puVar1") ([ "[") (number_literal "2") (] "]")) (>> ">>") (number_literal "8")))) (; ";")) (if_statement "if (puVar1[3] == 0) {\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }" (if "if") (parenthesized_expression "(puVar1[3] == 0)" (( "(") (binary_expression "puVar1[3] == 0" (subscript_expression "puVar1[3]" (identifier "puVar1") ([ "[") (number_literal "3") (] "]")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\nLAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");\n          FUN_000b1840(param_1,uVar7,0);\n          return;\n        }" ({ "{") (labeled_statement "LAB_001aa6c0:\n          uVar7 = gettext("verdef vd_cnt field too small: %u");" (statement_identifier "LAB_001aa6c0") (: ":") (expression_statement "uVar7 = gettext("verdef vd_cnt field too small: %u");" (assignment_expression "uVar7 = gettext("verdef vd_cnt field too small: %u")" (identifier "uVar7") (= "=") (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,uVar7,0);" (call_expression "FUN_000b1840(param_1,uVar7,0)" (identifier "FUN_000b1840") (argument_list "(param_1,uVar7,0)" (( "(") (identifier "param_1") (, ",") (identifier "uVar7") (, ",") (number_literal "0") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "uVar11 = *(uint *)(puVar1 + 6);" (assignment_expression "uVar11 = *(uint *)(puVar1 + 6)" (identifier "uVar11") (= "=") (pointer_expression "*(uint *)(puVar1 + 6)" (* "*") (cast_expression "(uint *)(puVar1 + 6)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar1 + 6)" (( "(") (binary_expression "puVar1 + 6" (identifier "puVar1") (+ "+") (number_literal "6")) () ")"))))) (; ";")) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18\n        ;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18" (identifier "uVar11") (= "=") (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" (identifier "uVar11") (>> ">>") (number_literal "0x18")) (| "|") (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" (( "(") (binary_expression "uVar11 & 0xff0000" (identifier "uVar11") (& "&") (number_literal "0xff0000")) () ")")) (>> ">>") (number_literal "8"))) (| "|") (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" (( "(") (binary_expression "uVar11 & 0xff00" (identifier "uVar11") (& "&") (number_literal "0xff00")) () ")")) (<< "<<") (number_literal "8"))) (| "|") (binary_expression "uVar11 << 0x18" (identifier "uVar11") (<< "<<") (number_literal "0x18")))) (; ";")) (if_statement "if (uVar11 < uVar4) {\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }" (if "if") (parenthesized_expression "(uVar11 < uVar4)" (( "(") (binary_expression "uVar11 < uVar4" (identifier "uVar11") (< "<") (identifier "uVar4")) () ")")) (compound_statement "{\n          iVar12 = 0;\n          iVar9 = 0;\n          puVar8 = puVar1;\n          do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);\n        }" ({ "{") (expression_statement "iVar12 = 0;" (assignment_expression "iVar12 = 0" (identifier "iVar12") (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar9 = 0;" (assignment_expression "iVar9 = 0" (identifier "iVar9") (= "=") (number_literal "0")) (; ";")) (expression_statement "puVar8 = puVar1;" (assignment_expression "puVar8 = puVar1" (identifier "puVar8") (= "=") (identifier "puVar1")) (; ";")) (do_statement "do {\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          } while (iVar9 + uVar11 < uVar4);" (do "do") (compound_statement "{\n            uVar11 = *(uint *)((int)puVar8 + uVar11);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);\n            uVar11 = *(uint *)(puVar8 + 8);\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n            if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }\n            puVar8 = (ushort *)((int)puVar8 + uVar11);\n            iVar12 = iVar12 + 1;\n            if (iVar5 == iVar12) {\n              return;\n            }\n            uVar10 = *puVar8 << 8 | *puVar8 >> 8;\n            if (uVar10 != 1) goto LAB_001aa6a0;\n            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;\n            if (puVar8[3] == 0) goto LAB_001aa6c0;\n            uVar11 = *(uint *)(puVar8 + 6);\n            iVar9 = (int)puVar8 - (int)puVar1;\n            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;\n          }" ({ "{") (expression_statement "uVar11 = *(uint *)((int)puVar8 + uVar11);" (assignment_expression "uVar11 = *(uint *)((int)puVar8 + uVar11)" (identifier "uVar11") (= "=") (pointer_expression "*(uint *)((int)puVar8 + uVar11)" (* "*") (cast_expression "(uint *)((int)puVar8 + uVar11)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar8 + uVar11)" (( "(") (binary_expression "(int)puVar8 + uVar11" (cast_expression "(int)puVar8" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar8")) (+ "+") (identifier "uVar11")) () ")"))))) (; ";")) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (identifier "uVar11") (= "=") (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" (identifier "uVar11") (>> ">>") (number_literal "0x18")) (| "|") (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" (( "(") (binary_expression "uVar11 & 0xff0000" (identifier "uVar11") (& "&") (number_literal "0xff0000")) () ")")) (>> ">>") (number_literal "8"))) (| "|") (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" (( "(") (binary_expression "uVar11 & 0xff00" (identifier "uVar11") (& "&") (number_literal "0xff00")) () ")")) (<< "<<") (number_literal "8"))) (| "|") (binary_expression "uVar11 << 0x18" (identifier "uVar11") (<< "<<") (number_literal "0x18")))) (; ";")) (if_statement "if (uVar3 <= uVar11) {\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }" (if "if") (parenthesized_expression "(uVar3 <= uVar11)" (( "(") (binary_expression "uVar3 <= uVar11" (identifier "uVar3") (<= "<=") (identifier "uVar11")) () ")")) (compound_statement "{\n              pcVar6 = "verdaux vda_name field out of range: %u";\n              goto LAB_001aa67a;\n            }" ({ "{") (expression_statement "pcVar6 = "verdaux vda_name field out of range: %u";" (assignment_expression "pcVar6 = "verdaux vda_name field out of range: %u"" (identifier "pcVar6") (= "=") (string_literal ""verdaux vda_name field out of range: %u"" (" """) (string_content "verdaux vda_name field out of range: %u") (" """))) (; ";")) (goto_statement "goto LAB_001aa67a;" (goto "goto") (statement_identifier "LAB_001aa67a") (; ";")) (} "}"))) (expression_statement "FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);" (call_expression "FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2)" (identifier "FUN_001aa4c0") (argument_list "(param_1,param_3,uVar10,uVar11 + iVar2)" (( "(") (identifier "param_1") (, ",") (identifier "param_3") (, ",") (identifier "uVar10") (, ",") (binary_expression "uVar11 + iVar2" (identifier "uVar11") (+ "+") (identifier "iVar2")) () ")"))) (; ";")) (expression_statement "uVar11 = *(uint *)(puVar8 + 8);" (assignment_expression "uVar11 = *(uint *)(puVar8 + 8)" (identifier "uVar11") (= "=") (pointer_expression "*(uint *)(puVar8 + 8)" (* "*") (cast_expression "(uint *)(puVar8 + 8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar8 + 8)" (( "(") (binary_expression "puVar8 + 8" (identifier "puVar8") (+ "+") (number_literal "8")) () ")"))))) (; ";")) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (identifier "uVar11") (= "=") (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" (identifier "uVar11") (>> ">>") (number_literal "0x18")) (| "|") (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" (( "(") (binary_expression "uVar11 & 0xff0000" (identifier "uVar11") (& "&") (number_literal "0xff0000")) () ")")) (>> ">>") (number_literal "8"))) (| "|") (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" (( "(") (binary_expression "uVar11 & 0xff00" (identifier "uVar11") (& "&") (number_literal "0xff00")) () ")")) (<< "<<") (number_literal "8"))) (| "|") (binary_expression "uVar11 << 0x18" (identifier "uVar11") (<< "<<") (number_literal "0x18")))) (; ";")) (if_statement "if (uVar4 <= iVar9 + uVar11) {\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }" (if "if") (parenthesized_expression "(uVar4 <= iVar9 + uVar11)" (( "(") (binary_expression "uVar4 <= iVar9 + uVar11" (identifier "uVar4") (<= "<=") (binary_expression "iVar9 + uVar11" (identifier "iVar9") (+ "+") (identifier "uVar11"))) () ")")) (compound_statement "{\n              pcVar6 = "verdef vd_next field out of range: %u";\n              goto LAB_001aa67a;\n            }" ({ "{") (expression_statement "pcVar6 = "verdef vd_next field out of range: %u";" (assignment_expression "pcVar6 = "verdef vd_next field out of range: %u"" (identifier "pcVar6") (= "=") (string_literal ""verdef vd_next field out of range: %u"" (" """) (string_content "verdef vd_next field out of range: %u") (" """))) (; ";")) (goto_statement "goto LAB_001aa67a;" (goto "goto") (statement_identifier "LAB_001aa67a") (; ";")) (} "}"))) (expression_statement "puVar8 = (ushort *)((int)puVar8 + uVar11);" (assignment_expression "puVar8 = (ushort *)((int)puVar8 + uVar11)" (identifier "puVar8") (= "=") (cast_expression "(ushort *)((int)puVar8 + uVar11)" (( "(") (type_descriptor "ushort *" (type_identifier "ushort") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar8 + uVar11)" (( "(") (binary_expression "(int)puVar8 + uVar11" (cast_expression "(int)puVar8" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar8")) (+ "+") (identifier "uVar11")) () ")")))) (; ";")) (expression_statement "iVar12 = iVar12 + 1;" (assignment_expression "iVar12 = iVar12 + 1" (identifier "iVar12") (= "=") (binary_expression "iVar12 + 1" (identifier "iVar12") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (iVar5 == iVar12) {\n              return;\n            }" (if "if") (parenthesized_expression "(iVar5 == iVar12)" (( "(") (binary_expression "iVar5 == iVar12" (identifier "iVar5") (== "==") (identifier "iVar12")) () ")")) (compound_statement "{\n              return;\n            }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "uVar10 = *puVar8 << 8 | *puVar8 >> 8;" (assignment_expression "uVar10 = *puVar8 << 8 | *puVar8 >> 8" (identifier "uVar10") (= "=") (binary_expression "*puVar8 << 8 | *puVar8 >> 8" (binary_expression "*puVar8 << 8" (pointer_expression "*puVar8" (* "*") (identifier "puVar8")) (<< "<<") (number_literal "8")) (| "|") (binary_expression "*puVar8 >> 8" (pointer_expression "*puVar8" (* "*") (identifier "puVar8")) (>> ">>") (number_literal "8")))) (; ";")) (if_statement "if (uVar10 != 1) goto LAB_001aa6a0;" (if "if") (parenthesized_expression "(uVar10 != 1)" (( "(") (binary_expression "uVar10 != 1" (identifier "uVar10") (!= "!=") (number_literal "1")) () ")")) (goto_statement "goto LAB_001aa6a0;" (goto "goto") (statement_identifier "LAB_001aa6a0") (; ";"))) (expression_statement "uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;" (assignment_expression "uVar10 = puVar8[2] << 8 | puVar8[2] >> 8" (identifier "uVar10") (= "=") (binary_expression "puVar8[2] << 8 | puVar8[2] >> 8" (binary_expression "puVar8[2] << 8" (subscript_expression "puVar8[2]" (identifier "puVar8") ([ "[") (number_literal "2") (] "]")) (<< "<<") (number_literal "8")) (| "|") (binary_expression "puVar8[2] >> 8" (subscript_expression "puVar8[2]" (identifier "puVar8") ([ "[") (number_literal "2") (] "]")) (>> ">>") (number_literal "8")))) (; ";")) (if_statement "if (puVar8[3] == 0) goto LAB_001aa6c0;" (if "if") (parenthesized_expression "(puVar8[3] == 0)" (( "(") (binary_expression "puVar8[3] == 0" (subscript_expression "puVar8[3]" (identifier "puVar8") ([ "[") (number_literal "3") (] "]")) (== "==") (number_literal "0")) () ")")) (goto_statement "goto LAB_001aa6c0;" (goto "goto") (statement_identifier "LAB_001aa6c0") (; ";"))) (expression_statement "uVar11 = *(uint *)(puVar8 + 6);" (assignment_expression "uVar11 = *(uint *)(puVar8 + 6)" (identifier "uVar11") (= "=") (pointer_expression "*(uint *)(puVar8 + 6)" (* "*") (cast_expression "(uint *)(puVar8 + 6)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar8 + 6)" (( "(") (binary_expression "puVar8 + 6" (identifier "puVar8") (+ "+") (number_literal "6")) () ")"))))) (; ";")) (expression_statement "iVar9 = (int)puVar8 - (int)puVar1;" (assignment_expression "iVar9 = (int)puVar8 - (int)puVar1" (identifier "iVar9") (= "=") (binary_expression "(int)puVar8 - (int)puVar1" (cast_expression "(int)puVar8" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar8")) (- "-") (cast_expression "(int)puVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar1")))) (; ";")) (expression_statement "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18;" (assignment_expression "uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (identifier "uVar11") (= "=") (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |\n                     uVar11 << 0x18" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8" (binary_expression "uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8" (binary_expression "uVar11 >> 0x18" (identifier "uVar11") (>> ">>") (number_literal "0x18")) (| "|") (binary_expression "(uVar11 & 0xff0000) >> 8" (parenthesized_expression "(uVar11 & 0xff0000)" (( "(") (binary_expression "uVar11 & 0xff0000" (identifier "uVar11") (& "&") (number_literal "0xff0000")) () ")")) (>> ">>") (number_literal "8"))) (| "|") (binary_expression "(uVar11 & 0xff00) << 8" (parenthesized_expression "(uVar11 & 0xff00)" (( "(") (binary_expression "uVar11 & 0xff00" (identifier "uVar11") (& "&") (number_literal "0xff00")) () ")")) (<< "<<") (number_literal "8"))) (| "|") (binary_expression "uVar11 << 0x18" (identifier "uVar11") (<< "<<") (number_literal "0x18")))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar9 + uVar11 < uVar4)" (( "(") (binary_expression "iVar9 + uVar11 < uVar4" (binary_expression "iVar9 + uVar11" (identifier "iVar9") (+ "+") (identifier "uVar11")) (< "<") (identifier "uVar4")) () ")")) (; ";")) (} "}"))) (expression_statement "pcVar6 = "verdef vd_aux field out of range: %u";" (assignment_expression "pcVar6 = "verdef vd_aux field out of range: %u"" (identifier "pcVar6") (= "=") (string_literal ""verdef vd_aux field out of range: %u"" (" """) (string_content "verdef vd_aux field out of range: %u") (" """))) (; ";")) (labeled_statement "LAB_001aa67a:\n        uVar7 = gettext(pcVar6);" (statement_identifier "LAB_001aa67a") (: ":") (expression_statement "uVar7 = gettext(pcVar6);" (assignment_expression "uVar7 = gettext(pcVar6)" (identifier "uVar7") (= "=") (call_expression "gettext(pcVar6)" (identifier "gettext") (argument_list "(pcVar6)" (( "(") (identifier "pcVar6") () ")")))) (; ";"))) (} "}")) (else_clause "else {\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }" (else "else") (compound_statement "{\nLAB_001aa6a0:\n        uVar11 = (uint)uVar10;\n        uVar7 = gettext("unexpected verdef version %u");\n      }" ({ "{") (labeled_statement "LAB_001aa6a0:\n        uVar11 = (uint)uVar10;" (statement_identifier "LAB_001aa6a0") (: ":") (expression_statement "uVar11 = (uint)uVar10;" (assignment_expression "uVar11 = (uint)uVar10" (identifier "uVar11") (= "=") (cast_expression "(uint)uVar10" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar10"))) (; ";"))) (expression_statement "uVar7 = gettext("unexpected verdef version %u");" (assignment_expression "uVar7 = gettext("unexpected verdef version %u")" (identifier "uVar7") (= "=") (call_expression "gettext("unexpected verdef version %u")" (identifier "gettext") (argument_list "("unexpected verdef version %u")" (( "(") (string_literal ""unexpected verdef version %u"" (" """) (string_content "unexpected verdef version %u") (" """)) () ")")))) (; ";")) (} "}")))) (expression_statement "FUN_000b1840(param_1,uVar7,uVar11);" (call_expression "FUN_000b1840(param_1,uVar7,uVar11)" (identifier "FUN_000b1840") (argument_list "(param_1,uVar7,uVar11)" (( "(") (identifier "param_1") (, ",") (identifier "uVar7") (, ",") (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<32,_true> * this, Read_symbols_data *
   sd, Version_map * version_map) */

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

{
  type_3 *var_5;
  type_1 *var_10;
  type_2 var_8;
  type_2 var_7;
  type_2 var_1;
  char *pcVar6;
  type_3 *var_11;
  int var_12;
  type_3 var_2;
  type_2 var_6;
  type_2 var_13;
  
  if (sd->verdef != (type_4 *)0x0) {
    var_5 = (type_3 *)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 << 8 | *var_5 >> 8;
      if (var_2 == 1) {
        var_2 = var_5[2] << 8 | var_5[2] >> 8;
        if (var_5[3] == 0) {
LAB_001aa6c0:
          pcVar6 = (char *)var_3("verdef vd_cnt field too small: %u");
          Object::var_4((type_5 *)this,pcVar6,0);
          return;
        }
        var_6 = *(type_2 *)(var_5 + 6);
        var_6 = var_6 >> 0x18 | (var_6 & 0xff0000) >> 8 | (var_6 & 0xff00) << 8 | var_6 << 0x18
        ;
        if (var_6 < var_7) {
          var_13 = 0;
          var_12 = 0;
          var_11 = var_5;
          do {
            var_6 = *(type_2 *)((int)var_11 + var_6);
            var_6 = var_6 >> 0x18 | (var_6 & 0xff0000) >> 8 | (var_6 & 0xff00) << 8 |
                     var_6 << 0x18;
            if (var_8 <= var_6) {
              pcVar6 = "verdaux vda_name field out of range: %u";
              goto LAB_001aa67a;
            }
            var_9(this,version_map,(type_2)var_2,(char *)(var_10 + var_6));
            var_6 = *(type_2 *)(var_11 + 8);
            var_6 = var_6 >> 0x18 | (var_6 & 0xff0000) >> 8 | (var_6 & 0xff00) << 8 |
                     var_6 << 0x18;
            if (var_7 <= var_12 + var_6) {
              pcVar6 = "verdef vd_next field out of range: %u";
              goto LAB_001aa67a;
            }
            var_11 = (type_3 *)((int)var_11 + var_6);
            var_13 = var_13 + 1;
            if (var_1 == var_13) {
              return;
            }
            var_2 = *var_11 << 8 | *var_11 >> 8;
            if (var_2 != 1) goto LAB_001aa6a0;
            var_2 = var_11[2] << 8 | var_11[2] >> 8;
            if (var_11[3] == 0) goto LAB_001aa6c0;
            var_6 = *(type_2 *)(var_11 + 6);
            var_12 = (int)var_11 - (int)var_5;
            var_6 = var_6 >> 0x18 | (var_6 & 0xff0000) >> 8 | (var_6 & 0xff00) << 8 |
                     var_6 << 0x18;
          } while (var_12 + var_6 < var_7);
        }
        pcVar6 = "verdef vd_aux field out of range: %u";
LAB_001aa67a:
        pcVar6 = (char *)var_3(pcVar6);
      }
      else {
LAB_001aa6a0:
        var_6 = (type_2)var_2;
        pcVar6 = (char *)var_3("unexpected verdef version %u");
      }
      Object::var_4((type_5 *)this,pcVar6,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: (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: (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: (binary_expression left: (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal)) right: (binary_expression left: (pointer_expression argument: (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: (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal)) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (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))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) right: (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: (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 (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))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) right: (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: (string_literal (string_content)))) (goto_statement label: (statement_identifier)))) (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))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) right: (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: (binary_expression left: (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))))) (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: (binary_expression left: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal)) right: (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (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))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) right: (binary_expression left: (identifier) right: (number_literal)))))) condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (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))))))) 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: (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content))))))))) (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 *puVar1;
  int iVar2;
  uint uVar3;
  uint uVar4;
  int iVar5;
  char *pcVar6;
  undefined4 uVar7;
  ushort *puVar8;
  int iVar9;
  ushort uVar10;
  uint uVar11;
  int iVar12;
  
  if (*(int *)(param_2 + 0x28) != 0) {
    puVar1 = *(ushort **)(*(int *)(param_2 + 0x28) + 8);
    iVar2 = *(int *)(*(int *)(param_2 + 0x18) + 8);
    uVar3 = *(uint *)(param_2 + 0x1c);
    uVar4 = *(uint *)(param_2 + 0x2c);
    iVar5 = *(int *)(param_2 + 0x30);
    if (iVar5 != 0) {
      uVar10 = *puVar1 << 8 | *puVar1 >> 8;
      if (uVar10 == 1) {
        uVar10 = puVar1[2] << 8 | puVar1[2] >> 8;
        if (puVar1[3] == 0) {
LAB_001aa6c0:
          uVar7 = gettext("verdef vd_cnt field too small: %u");
          FUN_000b1840(param_1,uVar7,0);
          return;
        }
        uVar11 = *(uint *)(puVar1 + 6);
        uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 | uVar11 << 0x18
        ;
        if (uVar11 < uVar4) {
          iVar12 = 0;
          iVar9 = 0;
          puVar8 = puVar1;
          do {
            uVar11 = *(uint *)((int)puVar8 + uVar11);
            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |
                     uVar11 << 0x18;
            if (uVar3 <= uVar11) {
              pcVar6 = "verdaux vda_name field out of range: %u";
              goto LAB_001aa67a;
            }
            FUN_001aa4c0(param_1,param_3,uVar10,uVar11 + iVar2);
            uVar11 = *(uint *)(puVar8 + 8);
            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |
                     uVar11 << 0x18;
            if (uVar4 <= iVar9 + uVar11) {
              pcVar6 = "verdef vd_next field out of range: %u";
              goto LAB_001aa67a;
            }
            puVar8 = (ushort *)((int)puVar8 + uVar11);
            iVar12 = iVar12 + 1;
            if (iVar5 == iVar12) {
              return;
            }
            uVar10 = *puVar8 << 8 | *puVar8 >> 8;
            if (uVar10 != 1) goto LAB_001aa6a0;
            uVar10 = puVar8[2] << 8 | puVar8[2] >> 8;
            if (puVar8[3] == 0) goto LAB_001aa6c0;
            uVar11 = *(uint *)(puVar8 + 6);
            iVar9 = (int)puVar8 - (int)puVar1;
            uVar11 = uVar11 >> 0x18 | (uVar11 & 0xff0000) >> 8 | (uVar11 & 0xff00) << 8 |
                     uVar11 << 0x18;
          } while (iVar9 + uVar11 < uVar4);
        }
        pcVar6 = "verdef vd_aux field out of range: %u";
LAB_001aa67a:
        uVar7 = gettext(pcVar6);
      }
      else {
LAB_001aa6a0:
        uVar11 = (uint)uVar10;
        uVar7 = gettext("unexpected verdef version %u");
      }
      FUN_000b1840(param_1,uVar7,uVar11);
    }
  }
  return;
}

