
uchar * display_tag_value(wchar_t tag,uchar *p,uchar *end)

{
  dwarf_vma dVar1;
  char *pcVar2;
  size_t sVar3;
  uchar *__maxlen;
  uint len;
  
  if (L'\0' < tag) {
    printf("  Tag_unknown_%d: ",(ulong)(uint)tag);
  }
  if (p < end) {
    if ((tag & 1U) == 0) {
      dVar1 = read_leb128(p,&len,0,end);
      p = p + len;
      printf("%ld (0x%lx)\n",dVar1,dVar1);
    }
    else {
      __maxlen = end + (-1 - (long)p);
      putc(0x22,stdout);
      if (__maxlen == (uchar *)0x0) {
        pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);
        printf(pcVar2);
        p = end;
      }
      else {
        print_symbol((wchar_t)__maxlen,(char *)p);
        sVar3 = strnlen((char *)p,(size_t)__maxlen);
        p = p + sVar3 + 1;
      }
      puts("\"");
    }
  }
  else {
    pcVar2 = (char *)dcgettext(0,"<corrupt tag>\n",5);
    warn(pcVar2);
  }
  if (p <= end) {
    return p;
  }
                    /* WARNING: Subroutine does not return */
  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");
}



char * FUN_001124d0(uint param_1,char *param_2,char *param_3)

{
  undefined8 uVar1;
  size_t sVar2;
  char *pcVar3;
  uint local_1c;
  
  if (0 < (int)param_1) {
    printf("  Tag_unknown_%d: ",(ulong)param_1);
  }
  if (param_2 < param_3) {
    if ((param_1 & 1) == 0) {
      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);
      param_2 = param_2 + local_1c;
      printf("%ld (0x%lx)\n",uVar1,uVar1);
    }
    else {
      pcVar3 = param_3 + (-1 - (long)param_2);
      putc(0x22,stdout);
      if (pcVar3 == (char *)0x0) {
        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);
        printf(pcVar3);
        param_2 = param_3;
      }
      else {
        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);
        sVar2 = strnlen(param_2,(size_t)pcVar3);
        param_2 = param_2 + sVar2 + 1;
      }
      puts("\"");
    }
  }
  else {
    uVar1 = dcgettext(0,"<corrupt tag>\n",5);
    warn(uVar1);
  }
  if (param_2 <= param_3) {
    return param_2;
  }
                    /* WARNING: Subroutine does not return */
  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");
}


PUSH R12
MOV R12D,EDI
PUSH RBP
MOV RBP,RDX
PUSH RBX
MOV RBX,RSI
SUB RSP,0x10
TEST EDI,EDI
JLE 0x001124f5
MOV ESI,EDI
XOR EAX,EAX
LEA RDI,[0x1648ff]
CALL 0x00107190
CMP RBX,RBP
JNC 0x001125a0
AND R12D,0x1
JNZ 0x00112550
MOV RDI,RBX
LEA RSI,[RSP + 0xc]
XOR EDX,EDX
MOV RCX,RBP
CALL 0x0013fb20
MOV EDX,dword ptr [RSP + 0xc]
LEA RDI,[0x164936]
MOV RSI,RAX
ADD RBX,RDX
MOV RDX,RAX
XOR EAX,EAX
CALL 0x00107190
CMP RBX,RBP
JA 0x001125e5
ADD RSP,0x10
MOV RAX,RBX
POP RBX
POP RBP
POP R12
RET
MOV R12,RBP
MOV RSI,qword ptr [0x001923a0]
MOV EDI,0x22
SUB R12,RBX
SUB R12,0x1
CALL 0x00107270
TEST R12,R12
JNZ 0x001125c8
MOV EDX,0x5
LEA RSI,[0x164921]
XOR EDI,EDI
MOV RBX,RBP
CALL 0x00107130
MOV RDI,RAX
XOR EAX,EAX
CALL 0x00107190
LEA RDI,[0x164a69]
CALL 0x001070b0
JMP 0x00112531
XOR EDI,EDI
MOV EDX,0x5
LEA RSI,[0x164912]
CALL 0x00107130
MOV RDI,RAX
XOR EAX,EAX
CALL 0x001550d0
JMP 0x00112531
MOV RSI,RBX
MOV EDI,R12D
CALL 0x001122a0
MOV RDI,RBX
MOV RSI,R12
CALL 0x00107210
LEA RBX,[RBX + RAX*0x1 + 0x1]
JMP 0x00112590
LEA RCX,[0x17c440]
MOV EDX,0x36d3
LEA RSI,[0x16486c]
LEA RDI,[0x164943]
CALL 0x001071d0
(translation_unit "char * FUN_001124d0(uint param_1,char *param_2,char *param_3)\n\n{\n  undefined8 uVar1;\n  size_t sVar2;\n  char *pcVar3;\n  uint local_1c;\n  \n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }\n  if (param_2 <= param_3) {\n    return param_2;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");\n}\n\n" (function_definition "char * FUN_001124d0(uint param_1,char *param_2,char *param_3)\n\n{\n  undefined8 uVar1;\n  size_t sVar2;\n  char *pcVar3;\n  uint local_1c;\n  \n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }\n  if (param_2 <= param_3) {\n    return param_2;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");\n}" primitive_type (pointer_declarator "* FUN_001124d0(uint param_1,char *param_2,char *param_3)" * (function_declarator "FUN_001124d0(uint param_1,char *param_2,char *param_3)" identifier (parameter_list "(uint param_1,char *param_2,char *param_3)" ( (parameter_declaration "uint param_1" type_identifier identifier) , (parameter_declaration "char *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "char *param_3" primitive_type (pointer_declarator "*param_3" * identifier)) )))) (compound_statement "{\n  undefined8 uVar1;\n  size_t sVar2;\n  char *pcVar3;\n  uint local_1c;\n  \n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }\n  if (param_2 <= param_3) {\n    return param_2;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");\n}" { (declaration "undefined8 uVar1;" type_identifier identifier ;) (declaration "size_t sVar2;" primitive_type identifier ;) (declaration "char *pcVar3;" primitive_type (pointer_declarator "*pcVar3" * identifier) ;) (declaration "uint local_1c;" type_identifier identifier ;) (if_statement "if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }" if (parenthesized_expression "(0 < (int)param_1)" ( (binary_expression "0 < (int)param_1" number_literal < (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }" { (expression_statement "printf("  Tag_unknown_%d: ",(ulong)param_1);" (call_expression "printf("  Tag_unknown_%d: ",(ulong)param_1)" identifier (argument_list "("  Tag_unknown_%d: ",(ulong)param_1)" ( (string_literal ""  Tag_unknown_%d: "" " string_content ") , (cast_expression "(ulong)param_1" ( (type_descriptor "ulong" type_identifier) ) identifier) ))) ;) })) (if_statement "if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }" if (parenthesized_expression "(param_2 < param_3)" ( (binary_expression "param_2 < param_3" identifier < identifier) )) (compound_statement "{\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }" { (if_statement "if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" if (parenthesized_expression "((param_1 & 1) == 0)" ( (binary_expression "(param_1 & 1) == 0" (parenthesized_expression "(param_1 & 1)" ( (binary_expression "param_1 & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }" { (expression_statement "uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);" (assignment_expression "uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3)" identifier = (call_expression "FUN_0013fb20(param_2,&local_1c,0,param_3)" identifier (argument_list "(param_2,&local_1c,0,param_3)" ( identifier , (pointer_expression "&local_1c" & identifier) , number_literal , identifier )))) ;) (expression_statement "param_2 = param_2 + local_1c;" (assignment_expression "param_2 = param_2 + local_1c" identifier = (binary_expression "param_2 + local_1c" identifier + identifier)) ;) (expression_statement "printf("%ld (0x%lx)\n",uVar1,uVar1);" (call_expression "printf("%ld (0x%lx)\n",uVar1,uVar1)" identifier (argument_list "("%ld (0x%lx)\n",uVar1,uVar1)" ( (string_literal ""%ld (0x%lx)\n"" " string_content escape_sequence ") , identifier , identifier ))) ;) }) (else_clause "else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" else (compound_statement "{\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" { (expression_statement "pcVar3 = param_3 + (-1 - (long)param_2);" (assignment_expression "pcVar3 = param_3 + (-1 - (long)param_2)" identifier = (binary_expression "param_3 + (-1 - (long)param_2)" identifier + (parenthesized_expression "(-1 - (long)param_2)" ( (binary_expression "-1 - (long)param_2" number_literal - (cast_expression "(long)param_2" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier)) )))) ;) (expression_statement "putc(0x22,stdout);" (call_expression "putc(0x22,stdout)" identifier (argument_list "(0x22,stdout)" ( number_literal , identifier ))) ;) (if_statement "if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }" if (parenthesized_expression "(pcVar3 == (char *)0x0)" ( (binary_expression "pcVar3 == (char *)0x0" identifier == (cast_expression "(char *)0x0" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }" { (expression_statement "pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);" (assignment_expression "pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5)" identifier = (cast_expression "(char *)dcgettext(0,"<corrupt string tag>",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"<corrupt string tag>",5)" identifier (argument_list "(0,"<corrupt string tag>",5)" ( number_literal , (string_literal ""<corrupt string tag>"" " string_content ") , number_literal ))))) ;) (expression_statement "printf(pcVar3);" (call_expression "printf(pcVar3)" identifier (argument_list "(pcVar3)" ( identifier ))) ;) (expression_statement "param_2 = param_3;" (assignment_expression "param_2 = param_3" identifier = identifier) ;) }) (else_clause "else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }" else (compound_statement "{\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }" { (expression_statement "FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);" (call_expression "FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2)" identifier (argument_list "((ulong)pcVar3 & 0xffffffff,param_2)" ( (binary_expression "(ulong)pcVar3 & 0xffffffff" (cast_expression "(ulong)pcVar3" ( (type_descriptor "ulong" type_identifier) ) identifier) & number_literal) , identifier ))) ;) (expression_statement "sVar2 = strnlen(param_2,(size_t)pcVar3);" (assignment_expression "sVar2 = strnlen(param_2,(size_t)pcVar3)" identifier = (call_expression "strnlen(param_2,(size_t)pcVar3)" identifier (argument_list "(param_2,(size_t)pcVar3)" ( identifier , (cast_expression "(size_t)pcVar3" ( (type_descriptor "size_t" primitive_type) ) identifier) )))) ;) (expression_statement "param_2 = param_2 + sVar2 + 1;" (assignment_expression "param_2 = param_2 + sVar2 + 1" identifier = (binary_expression "param_2 + sVar2 + 1" (binary_expression "param_2 + sVar2" identifier + identifier) + number_literal)) ;) }))) (expression_statement "puts("\"");" (call_expression "puts("\"")" identifier (argument_list "("\"")" ( (string_literal ""\""" " escape_sequence ") ))) ;) }))) }) (else_clause "else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }" else (compound_statement "{\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }" { (expression_statement "uVar1 = dcgettext(0,"<corrupt tag>\n",5);" (assignment_expression "uVar1 = dcgettext(0,"<corrupt tag>\n",5)" identifier = (call_expression "dcgettext(0,"<corrupt tag>\n",5)" identifier (argument_list "(0,"<corrupt tag>\n",5)" ( number_literal , (string_literal ""<corrupt tag>\n"" " string_content escape_sequence ") , number_literal )))) ;) (expression_statement "warn(uVar1);" (call_expression "warn(uVar1)" identifier (argument_list "(uVar1)" ( identifier ))) ;) }))) (if_statement "if (param_2 <= param_3) {\n    return param_2;\n  }" if (parenthesized_expression "(param_2 <= param_3)" ( (binary_expression "param_2 <= param_3" identifier <= identifier) )) (compound_statement "{\n    return param_2;\n  }" { (return_statement "return param_2;" return identifier ;) })) comment (expression_statement "__assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");" (call_expression "__assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value")" identifier (argument_list "("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value")" ( (string_literal ""p <= end"" " string_content ") , (string_literal ""../../binutils/readelf.c"" " string_content ") , number_literal , (string_literal ""display_tag_value"" " string_content ") ))) ;) })))
(translation_unit "uchar * display_tag_value(wchar_t tag,uchar *p,uchar *end)\n\n{\n  dwarf_vma dVar1;\n  char *pcVar2;\n  size_t sVar3;\n  uchar *__maxlen;\n  uint len;\n  \n  if (L'\0' < tag) {\n    printf("  Tag_unknown_%d: ",(ulong)(uint)tag);\n  }\n  if (p < end) {\n    if ((tag & 1U) == 0) {\n      dVar1 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",dVar1,dVar1);\n    }\n    else {\n      __maxlen = end + (-1 - (long)p);\n      putc(0x22,stdout);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar2);\n        p = end;\n      }\n      else {\n        print_symbol((wchar_t)__maxlen,(char *)p);\n        sVar3 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar3 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    pcVar2 = (char *)dcgettext(0,"<corrupt tag>\n",5);\n    warn(pcVar2);\n  }\n  if (p <= end) {\n    return p;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");\n}\n\n" (function_definition "uchar * display_tag_value(wchar_t tag,uchar *p,uchar *end)\n\n{\n  dwarf_vma dVar1;\n  char *pcVar2;\n  size_t sVar3;\n  uchar *__maxlen;\n  uint len;\n  \n  if (L'\0' < tag) {\n    printf("  Tag_unknown_%d: ",(ulong)(uint)tag);\n  }\n  if (p < end) {\n    if ((tag & 1U) == 0) {\n      dVar1 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",dVar1,dVar1);\n    }\n    else {\n      __maxlen = end + (-1 - (long)p);\n      putc(0x22,stdout);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar2);\n        p = end;\n      }\n      else {\n        print_symbol((wchar_t)__maxlen,(char *)p);\n        sVar3 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar3 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    pcVar2 = (char *)dcgettext(0,"<corrupt tag>\n",5);\n    warn(pcVar2);\n  }\n  if (p <= end) {\n    return p;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");\n}" type_identifier (pointer_declarator "* display_tag_value(wchar_t tag,uchar *p,uchar *end)" * (function_declarator "display_tag_value(wchar_t tag,uchar *p,uchar *end)" identifier (parameter_list "(wchar_t tag,uchar *p,uchar *end)" ( (parameter_declaration "wchar_t tag" type_identifier identifier) , (parameter_declaration "uchar *p" type_identifier (pointer_declarator "*p" * identifier)) , (parameter_declaration "uchar *end" type_identifier (pointer_declarator "*end" * identifier)) )))) (compound_statement "{\n  dwarf_vma dVar1;\n  char *pcVar2;\n  size_t sVar3;\n  uchar *__maxlen;\n  uint len;\n  \n  if (L'\0' < tag) {\n    printf("  Tag_unknown_%d: ",(ulong)(uint)tag);\n  }\n  if (p < end) {\n    if ((tag & 1U) == 0) {\n      dVar1 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",dVar1,dVar1);\n    }\n    else {\n      __maxlen = end + (-1 - (long)p);\n      putc(0x22,stdout);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar2);\n        p = end;\n      }\n      else {\n        print_symbol((wchar_t)__maxlen,(char *)p);\n        sVar3 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar3 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    pcVar2 = (char *)dcgettext(0,"<corrupt tag>\n",5);\n    warn(pcVar2);\n  }\n  if (p <= end) {\n    return p;\n  }\n                    /* WARNING: Subroutine does not return */\n  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");\n}" { (declaration "dwarf_vma dVar1;" type_identifier identifier ;) (declaration "char *pcVar2;" primitive_type (pointer_declarator "*pcVar2" * identifier) ;) (declaration "size_t sVar3;" primitive_type identifier ;) (declaration "uchar *__maxlen;" type_identifier (pointer_declarator "*__maxlen" * identifier) ;) (declaration "uint len;" type_identifier identifier ;) (if_statement "if (L'\0' < tag) {\n    printf("  Tag_unknown_%d: ",(ulong)(uint)tag);\n  }" if (parenthesized_expression "(L'\0' < tag)" ( (binary_expression "L'\0' < tag" (char_literal "L'\0'" L' escape_sequence ') < identifier) )) (compound_statement "{\n    printf("  Tag_unknown_%d: ",(ulong)(uint)tag);\n  }" { (expression_statement "printf("  Tag_unknown_%d: ",(ulong)(uint)tag);" (call_expression "printf("  Tag_unknown_%d: ",(ulong)(uint)tag)" identifier (argument_list "("  Tag_unknown_%d: ",(ulong)(uint)tag)" ( (string_literal ""  Tag_unknown_%d: "" " string_content ") , (cast_expression "(ulong)(uint)tag" ( (type_descriptor "ulong" type_identifier) ) (cast_expression "(uint)tag" ( (type_descriptor "uint" type_identifier) ) identifier)) ))) ;) })) (if_statement "if (p < end) {\n    if ((tag & 1U) == 0) {\n      dVar1 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",dVar1,dVar1);\n    }\n    else {\n      __maxlen = end + (-1 - (long)p);\n      putc(0x22,stdout);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar2);\n        p = end;\n      }\n      else {\n        print_symbol((wchar_t)__maxlen,(char *)p);\n        sVar3 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar3 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    pcVar2 = (char *)dcgettext(0,"<corrupt tag>\n",5);\n    warn(pcVar2);\n  }" if (parenthesized_expression "(p < end)" ( (binary_expression "p < end" identifier < identifier) )) (compound_statement "{\n    if ((tag & 1U) == 0) {\n      dVar1 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",dVar1,dVar1);\n    }\n    else {\n      __maxlen = end + (-1 - (long)p);\n      putc(0x22,stdout);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar2);\n        p = end;\n      }\n      else {\n        print_symbol((wchar_t)__maxlen,(char *)p);\n        sVar3 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar3 + 1;\n      }\n      puts("\"");\n    }\n  }" { (if_statement "if ((tag & 1U) == 0) {\n      dVar1 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",dVar1,dVar1);\n    }\n    else {\n      __maxlen = end + (-1 - (long)p);\n      putc(0x22,stdout);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar2);\n        p = end;\n      }\n      else {\n        print_symbol((wchar_t)__maxlen,(char *)p);\n        sVar3 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar3 + 1;\n      }\n      puts("\"");\n    }" if (parenthesized_expression "((tag & 1U) == 0)" ( (binary_expression "(tag & 1U) == 0" (parenthesized_expression "(tag & 1U)" ( (binary_expression "tag & 1U" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      dVar1 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",dVar1,dVar1);\n    }" { (expression_statement "dVar1 = read_leb128(p,&len,0,end);" (assignment_expression "dVar1 = read_leb128(p,&len,0,end)" identifier = (call_expression "read_leb128(p,&len,0,end)" identifier (argument_list "(p,&len,0,end)" ( identifier , (pointer_expression "&len" & identifier) , number_literal , identifier )))) ;) (expression_statement "p = p + len;" (assignment_expression "p = p + len" identifier = (binary_expression "p + len" identifier + identifier)) ;) (expression_statement "printf("%ld (0x%lx)\n",dVar1,dVar1);" (call_expression "printf("%ld (0x%lx)\n",dVar1,dVar1)" identifier (argument_list "("%ld (0x%lx)\n",dVar1,dVar1)" ( (string_literal ""%ld (0x%lx)\n"" " string_content escape_sequence ") , identifier , identifier ))) ;) }) (else_clause "else {\n      __maxlen = end + (-1 - (long)p);\n      putc(0x22,stdout);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar2);\n        p = end;\n      }\n      else {\n        print_symbol((wchar_t)__maxlen,(char *)p);\n        sVar3 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar3 + 1;\n      }\n      puts("\"");\n    }" else (compound_statement "{\n      __maxlen = end + (-1 - (long)p);\n      putc(0x22,stdout);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar2);\n        p = end;\n      }\n      else {\n        print_symbol((wchar_t)__maxlen,(char *)p);\n        sVar3 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar3 + 1;\n      }\n      puts("\"");\n    }" { (expression_statement "__maxlen = end + (-1 - (long)p);" (assignment_expression "__maxlen = end + (-1 - (long)p)" identifier = (binary_expression "end + (-1 - (long)p)" identifier + (parenthesized_expression "(-1 - (long)p)" ( (binary_expression "-1 - (long)p" number_literal - (cast_expression "(long)p" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier)) )))) ;) (expression_statement "putc(0x22,stdout);" (call_expression "putc(0x22,stdout)" identifier (argument_list "(0x22,stdout)" ( number_literal , identifier ))) ;) (if_statement "if (__maxlen == (uchar *)0x0) {\n        pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar2);\n        p = end;\n      }\n      else {\n        print_symbol((wchar_t)__maxlen,(char *)p);\n        sVar3 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar3 + 1;\n      }" if (parenthesized_expression "(__maxlen == (uchar *)0x0)" ( (binary_expression "__maxlen == (uchar *)0x0" identifier == (cast_expression "(uchar *)0x0" ( (type_descriptor "uchar *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar2);\n        p = end;\n      }" { (expression_statement "pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5);" (assignment_expression "pcVar2 = (char *)dcgettext(0,"<corrupt string tag>",5)" identifier = (cast_expression "(char *)dcgettext(0,"<corrupt string tag>",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"<corrupt string tag>",5)" identifier (argument_list "(0,"<corrupt string tag>",5)" ( number_literal , (string_literal ""<corrupt string tag>"" " string_content ") , number_literal ))))) ;) (expression_statement "printf(pcVar2);" (call_expression "printf(pcVar2)" identifier (argument_list "(pcVar2)" ( identifier ))) ;) (expression_statement "p = end;" (assignment_expression "p = end" identifier = identifier) ;) }) (else_clause "else {\n        print_symbol((wchar_t)__maxlen,(char *)p);\n        sVar3 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar3 + 1;\n      }" else (compound_statement "{\n        print_symbol((wchar_t)__maxlen,(char *)p);\n        sVar3 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar3 + 1;\n      }" { (expression_statement "print_symbol((wchar_t)__maxlen,(char *)p);" (call_expression "print_symbol((wchar_t)__maxlen,(char *)p)" identifier (argument_list "((wchar_t)__maxlen,(char *)p)" ( (cast_expression "(wchar_t)__maxlen" ( (type_descriptor "wchar_t" type_identifier) ) identifier) , (cast_expression "(char *)p" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier) ))) ;) (expression_statement "sVar3 = strnlen((char *)p,(size_t)__maxlen);" (assignment_expression "sVar3 = strnlen((char *)p,(size_t)__maxlen)" identifier = (call_expression "strnlen((char *)p,(size_t)__maxlen)" identifier (argument_list "((char *)p,(size_t)__maxlen)" ( (cast_expression "(char *)p" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier) , (cast_expression "(size_t)__maxlen" ( (type_descriptor "size_t" primitive_type) ) identifier) )))) ;) (expression_statement "p = p + sVar3 + 1;" (assignment_expression "p = p + sVar3 + 1" identifier = (binary_expression "p + sVar3 + 1" (binary_expression "p + sVar3" identifier + identifier) + number_literal)) ;) }))) (expression_statement "puts("\"");" (call_expression "puts("\"")" identifier (argument_list "("\"")" ( (string_literal ""\""" " escape_sequence ") ))) ;) }))) }) (else_clause "else {\n    pcVar2 = (char *)dcgettext(0,"<corrupt tag>\n",5);\n    warn(pcVar2);\n  }" else (compound_statement "{\n    pcVar2 = (char *)dcgettext(0,"<corrupt tag>\n",5);\n    warn(pcVar2);\n  }" { (expression_statement "pcVar2 = (char *)dcgettext(0,"<corrupt tag>\n",5);" (assignment_expression "pcVar2 = (char *)dcgettext(0,"<corrupt tag>\n",5)" identifier = (cast_expression "(char *)dcgettext(0,"<corrupt tag>\n",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"<corrupt tag>\n",5)" identifier (argument_list "(0,"<corrupt tag>\n",5)" ( number_literal , (string_literal ""<corrupt tag>\n"" " string_content escape_sequence ") , number_literal ))))) ;) (expression_statement "warn(pcVar2);" (call_expression "warn(pcVar2)" identifier (argument_list "(pcVar2)" ( identifier ))) ;) }))) (if_statement "if (p <= end) {\n    return p;\n  }" if (parenthesized_expression "(p <= end)" ( (binary_expression "p <= end" identifier <= identifier) )) (compound_statement "{\n    return p;\n  }" { (return_statement "return p;" return identifier ;) })) comment (expression_statement "__assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");" (call_expression "__assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value")" identifier (argument_list "("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value")" ( (string_literal ""p <= end"" " string_content ") , (string_literal ""../../binutils/readelf.c"" " string_content ") , number_literal , (string_literal ""display_tag_value"" " string_content ") ))) ;) })))
(translation_unit "char * FUN_001124d0(uint param_1,char *param_2,char *param_3)\n\n{\n  undefined8 uVar1;\n  size_t sVar2;\n  char *pcVar3;\n  uint local_1c;\n  \n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }\n  if (param_2 <= param_3) {\n    return param_2;\n  }\n                    \n  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");\n}\n\n" (function_definition "char * FUN_001124d0(uint param_1,char *param_2,char *param_3)\n\n{\n  undefined8 uVar1;\n  size_t sVar2;\n  char *pcVar3;\n  uint local_1c;\n  \n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }\n  if (param_2 <= param_3) {\n    return param_2;\n  }\n                    \n  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");\n}" primitive_type (pointer_declarator "* FUN_001124d0(uint param_1,char *param_2,char *param_3)" * (function_declarator "FUN_001124d0(uint param_1,char *param_2,char *param_3)" identifier (parameter_list "(uint param_1,char *param_2,char *param_3)" ( (parameter_declaration "uint param_1" type_identifier identifier) , (parameter_declaration "char *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "char *param_3" primitive_type (pointer_declarator "*param_3" * identifier)) )))) (compound_statement "{\n  undefined8 uVar1;\n  size_t sVar2;\n  char *pcVar3;\n  uint local_1c;\n  \n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }\n  if (param_2 <= param_3) {\n    return param_2;\n  }\n                    \n  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");\n}" { (declaration "undefined8 uVar1;" type_identifier identifier ;) (declaration "size_t sVar2;" primitive_type identifier ;) (declaration "char *pcVar3;" primitive_type (pointer_declarator "*pcVar3" * identifier) ;) (declaration "uint local_1c;" type_identifier identifier ;) (if_statement "if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }" if (parenthesized_expression "(0 < (int)param_1)" ( (binary_expression "0 < (int)param_1" number_literal < (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }" { (expression_statement "printf("  Tag_unknown_%d: ",(ulong)param_1);" (call_expression "printf("  Tag_unknown_%d: ",(ulong)param_1)" identifier (argument_list "("  Tag_unknown_%d: ",(ulong)param_1)" ( (string_literal ""  Tag_unknown_%d: "" " string_content ") , (cast_expression "(ulong)param_1" ( (type_descriptor "ulong" type_identifier) ) identifier) ))) ;) })) (if_statement "if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }" if (parenthesized_expression "(param_2 < param_3)" ( (binary_expression "param_2 < param_3" identifier < identifier) )) (compound_statement "{\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }" { (if_statement "if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" if (parenthesized_expression "((param_1 & 1) == 0)" ( (binary_expression "(param_1 & 1) == 0" (parenthesized_expression "(param_1 & 1)" ( (binary_expression "param_1 & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }" { (expression_statement "uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);" (assignment_expression "uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3)" identifier = (call_expression "FUN_0013fb20(param_2,&local_1c,0,param_3)" identifier (argument_list "(param_2,&local_1c,0,param_3)" ( identifier , (pointer_expression "&local_1c" & identifier) , number_literal , identifier )))) ;) (expression_statement "param_2 = param_2 + local_1c;" (assignment_expression "param_2 = param_2 + local_1c" identifier = (binary_expression "param_2 + local_1c" identifier + identifier)) ;) (expression_statement "printf("%ld (0x%lx)\n",uVar1,uVar1);" (call_expression "printf("%ld (0x%lx)\n",uVar1,uVar1)" identifier (argument_list "("%ld (0x%lx)\n",uVar1,uVar1)" ( (string_literal ""%ld (0x%lx)\n"" " string_content escape_sequence ") , identifier , identifier ))) ;) }) (else_clause "else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" else (compound_statement "{\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" { (expression_statement "pcVar3 = param_3 + (-1 - (long)param_2);" (assignment_expression "pcVar3 = param_3 + (-1 - (long)param_2)" identifier = (binary_expression "param_3 + (-1 - (long)param_2)" identifier + (parenthesized_expression "(-1 - (long)param_2)" ( (binary_expression "-1 - (long)param_2" number_literal - (cast_expression "(long)param_2" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier)) )))) ;) (expression_statement "putc(0x22,stdout);" (call_expression "putc(0x22,stdout)" identifier (argument_list "(0x22,stdout)" ( number_literal , identifier ))) ;) (if_statement "if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }" if (parenthesized_expression "(pcVar3 == (char *)0x0)" ( (binary_expression "pcVar3 == (char *)0x0" identifier == (cast_expression "(char *)0x0" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }" { (expression_statement "pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);" (assignment_expression "pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5)" identifier = (cast_expression "(char *)dcgettext(0,"<corrupt string tag>",5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,"<corrupt string tag>",5)" identifier (argument_list "(0,"<corrupt string tag>",5)" ( number_literal , (string_literal ""<corrupt string tag>"" " string_content ") , number_literal ))))) ;) (expression_statement "printf(pcVar3);" (call_expression "printf(pcVar3)" identifier (argument_list "(pcVar3)" ( identifier ))) ;) (expression_statement "param_2 = param_3;" (assignment_expression "param_2 = param_3" identifier = identifier) ;) }) (else_clause "else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }" else (compound_statement "{\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }" { (expression_statement "FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);" (call_expression "FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2)" identifier (argument_list "((ulong)pcVar3 & 0xffffffff,param_2)" ( (binary_expression "(ulong)pcVar3 & 0xffffffff" (cast_expression "(ulong)pcVar3" ( (type_descriptor "ulong" type_identifier) ) identifier) & number_literal) , identifier ))) ;) (expression_statement "sVar2 = strnlen(param_2,(size_t)pcVar3);" (assignment_expression "sVar2 = strnlen(param_2,(size_t)pcVar3)" identifier = (call_expression "strnlen(param_2,(size_t)pcVar3)" identifier (argument_list "(param_2,(size_t)pcVar3)" ( identifier , (cast_expression "(size_t)pcVar3" ( (type_descriptor "size_t" primitive_type) ) identifier) )))) ;) (expression_statement "param_2 = param_2 + sVar2 + 1;" (assignment_expression "param_2 = param_2 + sVar2 + 1" identifier = (binary_expression "param_2 + sVar2 + 1" (binary_expression "param_2 + sVar2" identifier + identifier) + number_literal)) ;) }))) (expression_statement "puts("\"");" (call_expression "puts("\"")" identifier (argument_list "("\"")" ( (string_literal ""\""" " escape_sequence ") ))) ;) }))) }) (else_clause "else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }" else (compound_statement "{\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }" { (expression_statement "uVar1 = dcgettext(0,"<corrupt tag>\n",5);" (assignment_expression "uVar1 = dcgettext(0,"<corrupt tag>\n",5)" identifier = (call_expression "dcgettext(0,"<corrupt tag>\n",5)" identifier (argument_list "(0,"<corrupt tag>\n",5)" ( number_literal , (string_literal ""<corrupt tag>\n"" " string_content escape_sequence ") , number_literal )))) ;) (expression_statement "warn(uVar1);" (call_expression "warn(uVar1)" identifier (argument_list "(uVar1)" ( identifier ))) ;) }))) (if_statement "if (param_2 <= param_3) {\n    return param_2;\n  }" if (parenthesized_expression "(param_2 <= param_3)" ( (binary_expression "param_2 <= param_3" identifier <= identifier) )) (compound_statement "{\n    return param_2;\n  }" { (return_statement "return param_2;" return identifier ;) })) (expression_statement "__assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");" (call_expression "__assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value")" identifier (argument_list "("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value")" ( (string_literal ""p <= end"" " string_content ") , (string_literal ""../../binutils/readelf.c"" " string_content ") , number_literal , (string_literal ""display_tag_value"" " string_content ") ))) ;) })))
(translation_unit (function_definition TYPE (pointer_declarator * (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) )))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (cast_expression ( (type_descriptor TYPE) ) IDENT) ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , (pointer_expression & IDENT) , LIT , IDENT )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content escape_sequence ") , IDENT , IDENT ))) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (parenthesized_expression ( (binary_expression LIT - (cast_expression ( (type_descriptor (sized_type_specifier long)) ) IDENT)) )))) ;) (expression_statement (call_expression IDENT (argument_list ( LIT , IDENT ))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( LIT , (string_literal " string_content ") , LIT ))))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }) (else_clause else (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT) , IDENT ))) ;) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , (cast_expression ( (type_descriptor TYPE) ) IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + IDENT) + LIT)) ;) }))) (expression_statement (call_expression IDENT (argument_list ( (string_literal " escape_sequence ") ))) ;) }))) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( LIT , (string_literal " string_content escape_sequence ") , LIT )))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (return_statement return IDENT ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })))
(function_definition "char * FUN_001124d0(uint param_1,char *param_2,char *param_3)\n\n{\n  undefined8 uVar1;\n  size_t sVar2;\n  char *pcVar3;\n  uint local_1c;\n  \n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }\n  if (param_2 <= param_3) {\n    return param_2;\n  }\n                    \n  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");\n}" (primitive_type "char") (pointer_declarator "* FUN_001124d0(uint param_1,char *param_2,char *param_3)" (* "*") (function_declarator "FUN_001124d0(uint param_1,char *param_2,char *param_3)" (identifier "FUN_001124d0") (parameter_list "(uint param_1,char *param_2,char *param_3)" (( "(") (parameter_declaration "uint param_1" (type_identifier "uint") (identifier "param_1")) (, ",") (parameter_declaration "char *param_2" (primitive_type "char") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "char *param_3" (primitive_type "char") (pointer_declarator "*param_3" (* "*") (identifier "param_3"))) () ")")))) (compound_statement "{\n  undefined8 uVar1;\n  size_t sVar2;\n  char *pcVar3;\n  uint local_1c;\n  \n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }\n  if (param_2 <= param_3) {\n    return param_2;\n  }\n                    \n  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");\n}" ({ "{") (declaration "undefined8 uVar1;" (type_identifier "undefined8") (identifier "uVar1") (; ";")) (declaration "size_t sVar2;" (primitive_type "size_t") (identifier "sVar2") (; ";")) (declaration "char *pcVar3;" (primitive_type "char") (pointer_declarator "*pcVar3" (* "*") (identifier "pcVar3")) (; ";")) (declaration "uint local_1c;" (type_identifier "uint") (identifier "local_1c") (; ";")) (if_statement "if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }" (if "if") (parenthesized_expression "(0 < (int)param_1)" (( "(") (binary_expression "0 < (int)param_1" (number_literal "0") (< "<") (cast_expression "(int)param_1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_1"))) () ")")) (compound_statement "{\n    printf("  Tag_unknown_%d: ",(ulong)param_1);\n  }" ({ "{") (expression_statement "printf("  Tag_unknown_%d: ",(ulong)param_1);" (call_expression "printf("  Tag_unknown_%d: ",(ulong)param_1)" (identifier "printf") (argument_list "("  Tag_unknown_%d: ",(ulong)param_1)" (( "(") (string_literal ""  Tag_unknown_%d: "" (" """) (string_content "  Tag_unknown_%d: ") (" """)) (, ",") (cast_expression "(ulong)param_1" (( "(") (type_descriptor "ulong" (type_identifier "ulong")) () ")") (identifier "param_1")) () ")"))) (; ";")) (} "}"))) (if_statement "if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }" (if "if") (parenthesized_expression "(param_2 < param_3)" (( "(") (binary_expression "param_2 < param_3" (identifier "param_2") (< "<") (identifier "param_3")) () ")")) (compound_statement "{\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }" ({ "{") (if_statement "if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" (if "if") (parenthesized_expression "((param_1 & 1) == 0)" (( "(") (binary_expression "(param_1 & 1) == 0" (parenthesized_expression "(param_1 & 1)" (( "(") (binary_expression "param_1 & 1" (identifier "param_1") (& "&") (number_literal "1")) () ")")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);\n      param_2 = param_2 + local_1c;\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }" ({ "{") (expression_statement "uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);" (assignment_expression "uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3)" (identifier "uVar1") (= "=") (call_expression "FUN_0013fb20(param_2,&local_1c,0,param_3)" (identifier "FUN_0013fb20") (argument_list "(param_2,&local_1c,0,param_3)" (( "(") (identifier "param_2") (, ",") (pointer_expression "&local_1c" (& "&") (identifier "local_1c")) (, ",") (number_literal "0") (, ",") (identifier "param_3") () ")")))) (; ";")) (expression_statement "param_2 = param_2 + local_1c;" (assignment_expression "param_2 = param_2 + local_1c" (identifier "param_2") (= "=") (binary_expression "param_2 + local_1c" (identifier "param_2") (+ "+") (identifier "local_1c"))) (; ";")) (expression_statement "printf("%ld (0x%lx)\n",uVar1,uVar1);" (call_expression "printf("%ld (0x%lx)\n",uVar1,uVar1)" (identifier "printf") (argument_list "("%ld (0x%lx)\n",uVar1,uVar1)" (( "(") (string_literal ""%ld (0x%lx)\n"" (" """) (string_content "%ld (0x%lx)") (escape_sequence "\n") (" """)) (, ",") (identifier "uVar1") (, ",") (identifier "uVar1") () ")"))) (; ";")) (} "}")) (else_clause "else {\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" (else "else") (compound_statement "{\n      pcVar3 = param_3 + (-1 - (long)param_2);\n      putc(0x22,stdout);\n      if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" ({ "{") (expression_statement "pcVar3 = param_3 + (-1 - (long)param_2);" (assignment_expression "pcVar3 = param_3 + (-1 - (long)param_2)" (identifier "pcVar3") (= "=") (binary_expression "param_3 + (-1 - (long)param_2)" (identifier "param_3") (+ "+") (parenthesized_expression "(-1 - (long)param_2)" (( "(") (binary_expression "-1 - (long)param_2" (number_literal "-1") (- "-") (cast_expression "(long)param_2" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (identifier "param_2"))) () ")")))) (; ";")) (expression_statement "putc(0x22,stdout);" (call_expression "putc(0x22,stdout)" (identifier "putc") (argument_list "(0x22,stdout)" (( "(") (number_literal "0x22") (, ",") (identifier "stdout") () ")"))) (; ";")) (if_statement "if (pcVar3 == (char *)0x0) {\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }\n      else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }" (if "if") (parenthesized_expression "(pcVar3 == (char *)0x0)" (( "(") (binary_expression "pcVar3 == (char *)0x0" (identifier "pcVar3") (== "==") (cast_expression "(char *)0x0" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar3);\n        param_2 = param_3;\n      }" ({ "{") (expression_statement "pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);" (assignment_expression "pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5)" (identifier "pcVar3") (= "=") (cast_expression "(char *)dcgettext(0,"<corrupt string tag>",5)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "dcgettext(0,"<corrupt string tag>",5)" (identifier "dcgettext") (argument_list "(0,"<corrupt string tag>",5)" (( "(") (number_literal "0") (, ",") (string_literal ""<corrupt string tag>"" (" """) (string_content "<corrupt string tag>") (" """)) (, ",") (number_literal "5") () ")"))))) (; ";")) (expression_statement "printf(pcVar3);" (call_expression "printf(pcVar3)" (identifier "printf") (argument_list "(pcVar3)" (( "(") (identifier "pcVar3") () ")"))) (; ";")) (expression_statement "param_2 = param_3;" (assignment_expression "param_2 = param_3" (identifier "param_2") (= "=") (identifier "param_3")) (; ";")) (} "}")) (else_clause "else {\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }" (else "else") (compound_statement "{\n        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);\n        sVar2 = strnlen(param_2,(size_t)pcVar3);\n        param_2 = param_2 + sVar2 + 1;\n      }" ({ "{") (expression_statement "FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);" (call_expression "FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2)" (identifier "FUN_001122a0") (argument_list "((ulong)pcVar3 & 0xffffffff,param_2)" (( "(") (binary_expression "(ulong)pcVar3 & 0xffffffff" (cast_expression "(ulong)pcVar3" (( "(") (type_descriptor "ulong" (type_identifier "ulong")) () ")") (identifier "pcVar3")) (& "&") (number_literal "0xffffffff")) (, ",") (identifier "param_2") () ")"))) (; ";")) (expression_statement "sVar2 = strnlen(param_2,(size_t)pcVar3);" (assignment_expression "sVar2 = strnlen(param_2,(size_t)pcVar3)" (identifier "sVar2") (= "=") (call_expression "strnlen(param_2,(size_t)pcVar3)" (identifier "strnlen") (argument_list "(param_2,(size_t)pcVar3)" (( "(") (identifier "param_2") (, ",") (cast_expression "(size_t)pcVar3" (( "(") (type_descriptor "size_t" (primitive_type "size_t")) () ")") (identifier "pcVar3")) () ")")))) (; ";")) (expression_statement "param_2 = param_2 + sVar2 + 1;" (assignment_expression "param_2 = param_2 + sVar2 + 1" (identifier "param_2") (= "=") (binary_expression "param_2 + sVar2 + 1" (binary_expression "param_2 + sVar2" (identifier "param_2") (+ "+") (identifier "sVar2")) (+ "+") (number_literal "1"))) (; ";")) (} "}")))) (expression_statement "puts("\"");" (call_expression "puts("\"")" (identifier "puts") (argument_list "("\"")" (( "(") (string_literal ""\""" (" """) (escape_sequence "\"") (" """)) () ")"))) (; ";")) (} "}")))) (} "}")) (else_clause "else {\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }" (else "else") (compound_statement "{\n    uVar1 = dcgettext(0,"<corrupt tag>\n",5);\n    warn(uVar1);\n  }" ({ "{") (expression_statement "uVar1 = dcgettext(0,"<corrupt tag>\n",5);" (assignment_expression "uVar1 = dcgettext(0,"<corrupt tag>\n",5)" (identifier "uVar1") (= "=") (call_expression "dcgettext(0,"<corrupt tag>\n",5)" (identifier "dcgettext") (argument_list "(0,"<corrupt tag>\n",5)" (( "(") (number_literal "0") (, ",") (string_literal ""<corrupt tag>\n"" (" """) (string_content "<corrupt tag>") (escape_sequence "\n") (" """)) (, ",") (number_literal "5") () ")")))) (; ";")) (expression_statement "warn(uVar1);" (call_expression "warn(uVar1)" (identifier "warn") (argument_list "(uVar1)" (( "(") (identifier "uVar1") () ")"))) (; ";")) (} "}")))) (if_statement "if (param_2 <= param_3) {\n    return param_2;\n  }" (if "if") (parenthesized_expression "(param_2 <= param_3)" (( "(") (binary_expression "param_2 <= param_3" (identifier "param_2") (<= "<=") (identifier "param_3")) () ")")) (compound_statement "{\n    return param_2;\n  }" ({ "{") (return_statement "return param_2;" (return "return") (identifier "param_2") (; ";")) (} "}"))) (expression_statement "__assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");" (call_expression "__assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value")" (identifier "__assert_fail") (argument_list "("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value")" (( "(") (string_literal ""p <= end"" (" """) (string_content "p <= end") (" """)) (, ",") (string_literal ""../../binutils/readelf.c"" (" """) (string_content "../../binutils/readelf.c") (" """)) (, ",") (number_literal "0x36d3") (, ",") (string_literal ""display_tag_value"" (" """) (string_content "display_tag_value") (" """)) () ")"))) (; ";")) (} "}")))

type_1 * function_1(type_2 var_1,type_1 *var_3,type_1 *var_4)

{
  type_3 dVar1;
  char *pcVar2;
  size_t var_12;
  type_1 *var_8;
  type_4 var_6;
  
  if (L'\0' < var_1) {
    var_2("  Tag_unknown_%d: ",(type_5)(type_4)var_1);
  }
  if (var_3 < var_4) {
    if ((var_1 & 1U) == 0) {
      dVar1 = var_5(var_3,&var_6,0,var_4);
      var_3 = var_3 + var_6;
      var_2("%ld (0x%lx)\n",dVar1,dVar1);
    }
    else {
      var_8 = var_4 + (-1 - (long)var_3);
      var_7(0x22,stdout);
      if (var_8 == (type_1 *)0x0) {
        pcVar2 = (char *)var_9(0,"<corrupt string tag>",5);
        var_2(pcVar2);
        var_3 = var_4;
      }
      else {
        var_10((type_2)var_8,(char *)var_3);
        var_12 = var_11((char *)var_3,(size_t)var_8);
        var_3 = var_3 + var_12 + 1;
      }
      var_13("\"");
    }
  }
  else {
    pcVar2 = (char *)var_9(0,"<corrupt tag>\n",5);
    var_14(pcVar2);
  }
  if (var_3 <= var_4) {
    return var_3;
  }
                    /* WARNING: Subroutine does not return */
  var_15("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");
}


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

char * MASKED(uint param_1,char *param_2,char *param_3)

{
  undefined8 uVar1;
  size_t sVar2;
  char *pcVar3;
  uint local_1c;
  
  if (0 < (int)param_1) {
    printf("  Tag_unknown_%d: ",(ulong)param_1);
  }
  if (param_2 < param_3) {
    if ((param_1 & 1) == 0) {
      uVar1 = FUN_0013fb20(param_2,&local_1c,0,param_3);
      param_2 = param_2 + local_1c;
      printf("%ld (0x%lx)\n",uVar1,uVar1);
    }
    else {
      pcVar3 = param_3 + (-1 - (long)param_2);
      putc(0x22,stdout);
      if (pcVar3 == (char *)0x0) {
        pcVar3 = (char *)dcgettext(0,"<corrupt string tag>",5);
        printf(pcVar3);
        param_2 = param_3;
      }
      else {
        FUN_001122a0((ulong)pcVar3 & 0xffffffff,param_2);
        sVar2 = strnlen(param_2,(size_t)pcVar3);
        param_2 = param_2 + sVar2 + 1;
      }
      puts("\"");
    }
  }
  else {
    uVar1 = dcgettext(0,"<corrupt tag>\n",5);
    warn(uVar1);
  }
  if (param_2 <= param_3) {
    return param_2;
  }
                    /* WARNING: Subroutine does not return */
  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");
}

