
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

uchar * __regparm3 display_tag_value(int tag,uchar *p,uchar *end)

{
  char *pcVar1;
  size_t sVar2;
  uchar *__maxlen;
  dwarf_vma dVar3;
  uint len;
  undefined4 uStack_14;
  
  uStack_14 = 0x1ff4f;
  if (0 < tag) {
    printf("  Tag_unknown_%d: ",tag);
  }
  if (p < end) {
    if ((tag & 1U) == 0) {
      dVar3 = read_leb128(p,&len,0,end);
      p = p + len;
      printf("%ld (0x%lx)\n",(int)dVar3,(int)dVar3);
    }
    else {
      __maxlen = end + (-1 - (int)p);
      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);
      if (__maxlen == (uchar *)0x0) {
        pcVar1 = (char *)dcgettext(0,"<corrupt string tag>",5);
        printf(pcVar1);
        p = end;
      }
      else {
        print_symbol((int)__maxlen,(char *)p);
        sVar2 = strnlen((char *)p,(size_t)__maxlen);
        p = p + sVar2 + 1;
      }
      puts("\"");
    }
  }
  else {
    pcVar1 = (char *)dcgettext(0,"<corrupt tag>\n",5);
    warn(pcVar1);
  }
  if (p <= end) {
    return p;
  }
                    /* WARNING: Subroutine does not return */
  __assert_fail("p <= end","../../binutils/readelf.c",0x36d3,"display_tag_value");
}



/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

char * __regparm3 FUN_0001ff40(uint param_1,char *param_2,char *param_3)

{
  undefined4 uVar1;
  char *__format;
  size_t sVar2;
  int local_20 [3];
  undefined4 uStack_14;
  
  uStack_14 = 0x1ff4f;
  if (0 < (int)param_1) {
    printf("  Tag_unknown_%d: ",param_1);
  }
  if (param_2 < param_3) {
    if ((param_1 & 1) == 0) {
      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);
      param_2 = param_2 + local_20[0];
      printf("%ld (0x%lx)\n",uVar1,uVar1);
    }
    else {
      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);
      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {
        __format = (char *)dcgettext(0,"<corrupt string tag>",5);
        printf(__format);
        param_2 = param_3;
      }
      else {
        FUN_0001fd20();
        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));
        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 EBP
MOV EBP,EAX
PUSH EDI
MOV EDI,ECX
PUSH ESI
MOV ESI,EDX
PUSH EBX
CALL 0x00013f70
ADD EBX,0x940b1
SUB ESP,0x1c
TEST EAX,EAX
JLE 0x0001ff6f
SUB ESP,0x8
PUSH EAX
LEA EAX,[EBX + 0xfffc2b24]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
CMP ESI,EDI
JNC 0x00020010
AND EBP,0x1
JNZ 0x0001ffb8
PUSH EDI
PUSH 0x0
LEA EAX,[ESP + 0x14]
PUSH EAX
PUSH ESI
CALL 0x0004f990
ADD ESI,dword ptr [ESP + 0x1c]
ADD ESP,0xc
PUSH EAX
PUSH EAX
LEA EAX,[EBX + 0xfffc2b5b]
PUSH EAX
CALL 0x00013060
ADD ESP,0x10
CMP ESI,EDI
JA 0x00020054
ADD ESP,0x1c
MOV EAX,ESI
POP EBX
POP ESI
POP EDI
POP EBP
RET
MOV EAX,dword ptr [EBX + 0xffffffd8]
SUB ESP,0x8
MOV EBP,EDI
SUB EBP,ESI
PUSH dword ptr [EAX]
SUB EBP,0x1
PUSH 0x22
CALL 0x00013360
ADD ESP,0x10
TEST EBP,EBP
JNZ 0x00020038
SUB ESP,0x4
LEA EAX,[EBX + 0xfffc2b46]
MOV ESI,EDI
PUSH 0x5
PUSH EAX
PUSH 0x0
CALL 0x000130f0
MOV dword ptr [ESP],EAX
CALL 0x00013060
ADD ESP,0x10
SUB ESP,0xc
LEA EAX,[EBX + 0xfffc2d5c]
PUSH EAX
CALL 0x000131d0
ADD ESP,0x10
JMP 0x0001ffa2
SUB ESP,0x4
LEA EAX,[EBX + 0xfffc2b37]
PUSH 0x5
PUSH EAX
PUSH 0x0
CALL 0x000130f0
MOV dword ptr [ESP],EAX
CALL 0x00066db0
ADD ESP,0x10
JMP 0x0001ffa2
MOV EDX,ESI
MOV EAX,EBP
CALL 0x0001fd20
SUB ESP,0x8
PUSH EBP
PUSH ESI
CALL 0x00013310
ADD ESP,0x10
LEA ESI,[ESI + EAX*0x1 + 0x1]
JMP 0x0001fff8
LEA EAX,[EBX + 0xfffda3ec]
PUSH EAX
LEA EAX,[EBX + 0xfffc2a91]
PUSH 0x36d3
PUSH EAX
LEA EAX,[EBX + 0xfffc2b68]
PUSH EAX
CALL 0x00013420
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nchar * __regparm3 FUN_0001ff40(uint param_1,char *param_2,char *param_3)\n\n{\n  undefined4 uVar1;\n  char *__format;\n  size_t sVar2;\n  int local_20 [3];\n  undefined4 uStack_14;\n  \n  uStack_14 = 0x1ff4f;\n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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" comment (function_definition "char * __regparm3 FUN_0001ff40(uint param_1,char *param_2,char *param_3)\n\n{\n  undefined4 uVar1;\n  char *__format;\n  size_t sVar2;\n  int local_20 [3];\n  undefined4 uStack_14;\n  \n  uStack_14 = 0x1ff4f;\n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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 "* __regparm3 FUN_0001ff40(uint param_1,char *param_2,char *param_3)" * (ERROR "__regparm3" identifier) (function_declarator "FUN_0001ff40(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  undefined4 uVar1;\n  char *__format;\n  size_t sVar2;\n  int local_20 [3];\n  undefined4 uStack_14;\n  \n  uStack_14 = 0x1ff4f;\n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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 "undefined4 uVar1;" type_identifier identifier ;) (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (declaration "size_t sVar2;" primitive_type identifier ;) (declaration "int local_20 [3];" primitive_type (array_declarator "local_20 [3]" identifier [ number_literal ]) ;) (declaration "undefined4 uStack_14;" type_identifier identifier ;) (expression_statement "uStack_14 = 0x1ff4f;" (assignment_expression "uStack_14 = 0x1ff4f" identifier = number_literal) ;) (if_statement "if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",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: ",param_1);\n  }" { (expression_statement "printf("  Tag_unknown_%d: ",param_1);" (call_expression "printf("  Tag_unknown_%d: ",param_1)" identifier (argument_list "("  Tag_unknown_%d: ",param_1)" ( (string_literal ""  Tag_unknown_%d: "" " string_content ") , identifier ))) ;) })) (if_statement "if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }" { (if_statement "if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }" { (expression_statement "uVar1 = FUN_0004f990(param_2,local_20,0,param_3);" (assignment_expression "uVar1 = FUN_0004f990(param_2,local_20,0,param_3)" identifier = (call_expression "FUN_0004f990(param_2,local_20,0,param_3)" identifier (argument_list "(param_2,local_20,0,param_3)" ( identifier , identifier , number_literal , identifier )))) ;) (expression_statement "param_2 = param_2 + local_20[0];" (assignment_expression "param_2 = param_2 + local_20[0]" identifier = (binary_expression "param_2 + local_20[0]" identifier + (subscript_expression "local_20[0]" identifier [ number_literal ]))) ;) (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      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" else (compound_statement "{\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" { (expression_statement "putc(0x22,*(FILE **)PTR_stdout_000b3fd8);" (call_expression "putc(0x22,*(FILE **)PTR_stdout_000b3fd8)" identifier (argument_list "(0x22,*(FILE **)PTR_stdout_000b3fd8)" ( number_literal , (pointer_expression "*(FILE **)PTR_stdout_000b3fd8" * (cast_expression "(FILE **)PTR_stdout_000b3fd8" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (if_statement "if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }" if (parenthesized_expression "(param_3 + (-1 - (int)param_2) == (char *)0x0)" ( (binary_expression "param_3 + (-1 - (int)param_2) == (char *)0x0" (binary_expression "param_3 + (-1 - (int)param_2)" identifier + (parenthesized_expression "(-1 - (int)param_2)" ( (binary_expression "-1 - (int)param_2" number_literal - (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier)) ))) == (cast_expression "(char *)0x0" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }" { (expression_statement "__format = (char *)dcgettext(0,"<corrupt string tag>",5);" (assignment_expression "__format = (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(__format);" (call_expression "printf(__format)" identifier (argument_list "(__format)" ( identifier ))) ;) (expression_statement "param_2 = param_3;" (assignment_expression "param_2 = param_3" identifier = identifier) ;) }) (else_clause "else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }" else (compound_statement "{\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }" { (expression_statement "FUN_0001fd20();" (call_expression "FUN_0001fd20()" identifier (argument_list "()" ( ))) ;) (expression_statement "sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));" (assignment_expression "sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)))" identifier = (call_expression "strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)))" identifier (argument_list "(param_2,(size_t)(param_3 + (-1 - (int)param_2)))" ( identifier , (cast_expression "(size_t)(param_3 + (-1 - (int)param_2))" ( (type_descriptor "size_t" primitive_type) ) (parenthesized_expression "(param_3 + (-1 - (int)param_2))" ( (binary_expression "param_3 + (-1 - (int)param_2)" identifier + (parenthesized_expression "(-1 - (int)param_2)" ( (binary_expression "-1 - (int)param_2" number_literal - (cast_expression "(int)param_2" ( (type_descriptor "int" 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 "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nuchar * __regparm3 display_tag_value(int tag,uchar *p,uchar *end)\n\n{\n  char *pcVar1;\n  size_t sVar2;\n  uchar *__maxlen;\n  dwarf_vma dVar3;\n  uint len;\n  undefined4 uStack_14;\n  \n  uStack_14 = 0x1ff4f;\n  if (0 < tag) {\n    printf("  Tag_unknown_%d: ",tag);\n  }\n  if (p < end) {\n    if ((tag & 1U) == 0) {\n      dVar3 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",(int)dVar3,(int)dVar3);\n    }\n    else {\n      __maxlen = end + (-1 - (int)p);\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar1 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar1);\n        p = end;\n      }\n      else {\n        print_symbol((int)__maxlen,(char *)p);\n        sVar2 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    pcVar1 = (char *)dcgettext(0,"<corrupt tag>\n",5);\n    warn(pcVar1);\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" comment (ERROR "uchar * __regparm3 display_tag_value(int tag,uchar *p,uchar *end)" (binary_expression "uchar * __regparm3 display_tag_value(int tag,uchar *p,uchar *end)" identifier * (ERROR "__regparm3" identifier) (call_expression "display_tag_value(int tag,uchar *p,uchar *end)" identifier (argument_list "(int tag,uchar *p,uchar *end)" ( identifier (ERROR "tag" identifier) , (binary_expression "uchar *p" identifier * identifier) , (binary_expression "uchar *end" identifier * identifier) ))))) (compound_statement "{\n  char *pcVar1;\n  size_t sVar2;\n  uchar *__maxlen;\n  dwarf_vma dVar3;\n  uint len;\n  undefined4 uStack_14;\n  \n  uStack_14 = 0x1ff4f;\n  if (0 < tag) {\n    printf("  Tag_unknown_%d: ",tag);\n  }\n  if (p < end) {\n    if ((tag & 1U) == 0) {\n      dVar3 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",(int)dVar3,(int)dVar3);\n    }\n    else {\n      __maxlen = end + (-1 - (int)p);\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar1 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar1);\n        p = end;\n      }\n      else {\n        print_symbol((int)__maxlen,(char *)p);\n        sVar2 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    pcVar1 = (char *)dcgettext(0,"<corrupt tag>\n",5);\n    warn(pcVar1);\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 "char *pcVar1;" primitive_type (pointer_declarator "*pcVar1" * identifier) ;) (declaration "size_t sVar2;" primitive_type identifier ;) (declaration "uchar *__maxlen;" type_identifier (pointer_declarator "*__maxlen" * identifier) ;) (declaration "dwarf_vma dVar3;" type_identifier identifier ;) (declaration "uint len;" type_identifier identifier ;) (declaration "undefined4 uStack_14;" type_identifier identifier ;) (expression_statement "uStack_14 = 0x1ff4f;" (assignment_expression "uStack_14 = 0x1ff4f" identifier = number_literal) ;) (if_statement "if (0 < tag) {\n    printf("  Tag_unknown_%d: ",tag);\n  }" if (parenthesized_expression "(0 < tag)" ( (binary_expression "0 < tag" number_literal < identifier) )) (compound_statement "{\n    printf("  Tag_unknown_%d: ",tag);\n  }" { (expression_statement "printf("  Tag_unknown_%d: ",tag);" (call_expression "printf("  Tag_unknown_%d: ",tag)" identifier (argument_list "("  Tag_unknown_%d: ",tag)" ( (string_literal ""  Tag_unknown_%d: "" " string_content ") , identifier ))) ;) })) (if_statement "if (p < end) {\n    if ((tag & 1U) == 0) {\n      dVar3 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",(int)dVar3,(int)dVar3);\n    }\n    else {\n      __maxlen = end + (-1 - (int)p);\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar1 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar1);\n        p = end;\n      }\n      else {\n        print_symbol((int)__maxlen,(char *)p);\n        sVar2 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }\n  else {\n    pcVar1 = (char *)dcgettext(0,"<corrupt tag>\n",5);\n    warn(pcVar1);\n  }" if (parenthesized_expression "(p < end)" ( (binary_expression "p < end" identifier < identifier) )) (compound_statement "{\n    if ((tag & 1U) == 0) {\n      dVar3 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",(int)dVar3,(int)dVar3);\n    }\n    else {\n      __maxlen = end + (-1 - (int)p);\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar1 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar1);\n        p = end;\n      }\n      else {\n        print_symbol((int)__maxlen,(char *)p);\n        sVar2 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }" { (if_statement "if ((tag & 1U) == 0) {\n      dVar3 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",(int)dVar3,(int)dVar3);\n    }\n    else {\n      __maxlen = end + (-1 - (int)p);\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar1 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar1);\n        p = end;\n      }\n      else {\n        print_symbol((int)__maxlen,(char *)p);\n        sVar2 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar2 + 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      dVar3 = read_leb128(p,&len,0,end);\n      p = p + len;\n      printf("%ld (0x%lx)\n",(int)dVar3,(int)dVar3);\n    }" { (expression_statement "dVar3 = read_leb128(p,&len,0,end);" (assignment_expression "dVar3 = 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",(int)dVar3,(int)dVar3);" (call_expression "printf("%ld (0x%lx)\n",(int)dVar3,(int)dVar3)" identifier (argument_list "("%ld (0x%lx)\n",(int)dVar3,(int)dVar3)" ( (string_literal ""%ld (0x%lx)\n"" " string_content escape_sequence ") , (cast_expression "(int)dVar3" ( (type_descriptor "int" primitive_type) ) identifier) , (cast_expression "(int)dVar3" ( (type_descriptor "int" primitive_type) ) identifier) ))) ;) }) (else_clause "else {\n      __maxlen = end + (-1 - (int)p);\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar1 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar1);\n        p = end;\n      }\n      else {\n        print_symbol((int)__maxlen,(char *)p);\n        sVar2 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar2 + 1;\n      }\n      puts("\"");\n    }" else (compound_statement "{\n      __maxlen = end + (-1 - (int)p);\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (__maxlen == (uchar *)0x0) {\n        pcVar1 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar1);\n        p = end;\n      }\n      else {\n        print_symbol((int)__maxlen,(char *)p);\n        sVar2 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar2 + 1;\n      }\n      puts("\"");\n    }" { (expression_statement "__maxlen = end + (-1 - (int)p);" (assignment_expression "__maxlen = end + (-1 - (int)p)" identifier = (binary_expression "end + (-1 - (int)p)" identifier + (parenthesized_expression "(-1 - (int)p)" ( (binary_expression "-1 - (int)p" number_literal - (cast_expression "(int)p" ( (type_descriptor "int" primitive_type) ) identifier)) )))) ;) (expression_statement "putc(0x22,*(FILE **)PTR_stdout_000b3fd8);" (call_expression "putc(0x22,*(FILE **)PTR_stdout_000b3fd8)" identifier (argument_list "(0x22,*(FILE **)PTR_stdout_000b3fd8)" ( number_literal , (pointer_expression "*(FILE **)PTR_stdout_000b3fd8" * (cast_expression "(FILE **)PTR_stdout_000b3fd8" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (if_statement "if (__maxlen == (uchar *)0x0) {\n        pcVar1 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar1);\n        p = end;\n      }\n      else {\n        print_symbol((int)__maxlen,(char *)p);\n        sVar2 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar2 + 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        pcVar1 = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(pcVar1);\n        p = end;\n      }" { (expression_statement "pcVar1 = (char *)dcgettext(0,"<corrupt string tag>",5);" (assignment_expression "pcVar1 = (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(pcVar1);" (call_expression "printf(pcVar1)" identifier (argument_list "(pcVar1)" ( identifier ))) ;) (expression_statement "p = end;" (assignment_expression "p = end" identifier = identifier) ;) }) (else_clause "else {\n        print_symbol((int)__maxlen,(char *)p);\n        sVar2 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar2 + 1;\n      }" else (compound_statement "{\n        print_symbol((int)__maxlen,(char *)p);\n        sVar2 = strnlen((char *)p,(size_t)__maxlen);\n        p = p + sVar2 + 1;\n      }" { (expression_statement "print_symbol((int)__maxlen,(char *)p);" (call_expression "print_symbol((int)__maxlen,(char *)p)" identifier (argument_list "((int)__maxlen,(char *)p)" ( (cast_expression "(int)__maxlen" ( (type_descriptor "int" primitive_type) ) identifier) , (cast_expression "(char *)p" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier) ))) ;) (expression_statement "sVar2 = strnlen((char *)p,(size_t)__maxlen);" (assignment_expression "sVar2 = 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 + sVar2 + 1;" (assignment_expression "p = p + sVar2 + 1" identifier = (binary_expression "p + sVar2 + 1" (binary_expression "p + sVar2" identifier + identifier) + number_literal)) ;) }))) (expression_statement "puts("\"");" (call_expression "puts("\"")" identifier (argument_list "("\"")" ( (string_literal ""\""" " escape_sequence ") ))) ;) }))) }) (else_clause "else {\n    pcVar1 = (char *)dcgettext(0,"<corrupt tag>\n",5);\n    warn(pcVar1);\n  }" else (compound_statement "{\n    pcVar1 = (char *)dcgettext(0,"<corrupt tag>\n",5);\n    warn(pcVar1);\n  }" { (expression_statement "pcVar1 = (char *)dcgettext(0,"<corrupt tag>\n",5);" (assignment_expression "pcVar1 = (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(pcVar1);" (call_expression "warn(pcVar1)" identifier (argument_list "(pcVar1)" ( 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 * __regparm3 FUN_0001ff40(uint param_1,char *param_2,char *param_3)\n\n{\n  undefined4 uVar1;\n  char *__format;\n  size_t sVar2;\n  int local_20 [3];\n  undefined4 uStack_14;\n  \n  uStack_14 = 0x1ff4f;\n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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 * __regparm3 FUN_0001ff40(uint param_1,char *param_2,char *param_3)\n\n{\n  undefined4 uVar1;\n  char *__format;\n  size_t sVar2;\n  int local_20 [3];\n  undefined4 uStack_14;\n  \n  uStack_14 = 0x1ff4f;\n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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 "* __regparm3 FUN_0001ff40(uint param_1,char *param_2,char *param_3)" * (ERROR "__regparm3" identifier) (function_declarator "FUN_0001ff40(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  undefined4 uVar1;\n  char *__format;\n  size_t sVar2;\n  int local_20 [3];\n  undefined4 uStack_14;\n  \n  uStack_14 = 0x1ff4f;\n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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 "undefined4 uVar1;" type_identifier identifier ;) (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (declaration "size_t sVar2;" primitive_type identifier ;) (declaration "int local_20 [3];" primitive_type (array_declarator "local_20 [3]" identifier [ number_literal ]) ;) (declaration "undefined4 uStack_14;" type_identifier identifier ;) (expression_statement "uStack_14 = 0x1ff4f;" (assignment_expression "uStack_14 = 0x1ff4f" identifier = number_literal) ;) (if_statement "if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",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: ",param_1);\n  }" { (expression_statement "printf("  Tag_unknown_%d: ",param_1);" (call_expression "printf("  Tag_unknown_%d: ",param_1)" identifier (argument_list "("  Tag_unknown_%d: ",param_1)" ( (string_literal ""  Tag_unknown_%d: "" " string_content ") , identifier ))) ;) })) (if_statement "if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }" { (if_statement "if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }" { (expression_statement "uVar1 = FUN_0004f990(param_2,local_20,0,param_3);" (assignment_expression "uVar1 = FUN_0004f990(param_2,local_20,0,param_3)" identifier = (call_expression "FUN_0004f990(param_2,local_20,0,param_3)" identifier (argument_list "(param_2,local_20,0,param_3)" ( identifier , identifier , number_literal , identifier )))) ;) (expression_statement "param_2 = param_2 + local_20[0];" (assignment_expression "param_2 = param_2 + local_20[0]" identifier = (binary_expression "param_2 + local_20[0]" identifier + (subscript_expression "local_20[0]" identifier [ number_literal ]))) ;) (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      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" else (compound_statement "{\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" { (expression_statement "putc(0x22,*(FILE **)PTR_stdout_000b3fd8);" (call_expression "putc(0x22,*(FILE **)PTR_stdout_000b3fd8)" identifier (argument_list "(0x22,*(FILE **)PTR_stdout_000b3fd8)" ( number_literal , (pointer_expression "*(FILE **)PTR_stdout_000b3fd8" * (cast_expression "(FILE **)PTR_stdout_000b3fd8" ( (type_descriptor "FILE **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (if_statement "if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }" if (parenthesized_expression "(param_3 + (-1 - (int)param_2) == (char *)0x0)" ( (binary_expression "param_3 + (-1 - (int)param_2) == (char *)0x0" (binary_expression "param_3 + (-1 - (int)param_2)" identifier + (parenthesized_expression "(-1 - (int)param_2)" ( (binary_expression "-1 - (int)param_2" number_literal - (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier)) ))) == (cast_expression "(char *)0x0" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }" { (expression_statement "__format = (char *)dcgettext(0,"<corrupt string tag>",5);" (assignment_expression "__format = (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(__format);" (call_expression "printf(__format)" identifier (argument_list "(__format)" ( identifier ))) ;) (expression_statement "param_2 = param_3;" (assignment_expression "param_2 = param_3" identifier = identifier) ;) }) (else_clause "else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }" else (compound_statement "{\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }" { (expression_statement "FUN_0001fd20();" (call_expression "FUN_0001fd20()" identifier (argument_list "()" ( ))) ;) (expression_statement "sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));" (assignment_expression "sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)))" identifier = (call_expression "strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)))" identifier (argument_list "(param_2,(size_t)(param_3 + (-1 - (int)param_2)))" ( identifier , (cast_expression "(size_t)(param_3 + (-1 - (int)param_2))" ( (type_descriptor "size_t" primitive_type) ) (parenthesized_expression "(param_3 + (-1 - (int)param_2))" ( (binary_expression "param_3 + (-1 - (int)param_2)" identifier + (parenthesized_expression "(-1 - (int)param_2)" ( (binary_expression "-1 - (int)param_2" number_literal - (cast_expression "(int)param_2" ( (type_descriptor "int" 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 * (ERROR IDENT) (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 (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE (array_declarator IDENT [ LIT ]) ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = LIT) ;) (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 ") , 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 , IDENT , LIT , IDENT )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content escape_sequence ") , IDENT , IDENT ))) ;) }) (else_clause else (compound_statement { (expression_statement (call_expression IDENT (argument_list ( LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) IDENT)) ))) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT + (parenthesized_expression ( (binary_expression LIT - (cast_expression ( (type_descriptor TYPE) ) 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 ( ))) ;) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression IDENT + (parenthesized_expression ( (binary_expression LIT - (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 * __regparm3 FUN_0001ff40(uint param_1,char *param_2,char *param_3)\n\n{\n  undefined4 uVar1;\n  char *__format;\n  size_t sVar2;\n  int local_20 [3];\n  undefined4 uStack_14;\n  \n  uStack_14 = 0x1ff4f;\n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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 "* __regparm3 FUN_0001ff40(uint param_1,char *param_2,char *param_3)" (* "*") (ERROR "__regparm3" (identifier "__regparm3")) (function_declarator "FUN_0001ff40(uint param_1,char *param_2,char *param_3)" (identifier "FUN_0001ff40") (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  undefined4 uVar1;\n  char *__format;\n  size_t sVar2;\n  int local_20 [3];\n  undefined4 uStack_14;\n  \n  uStack_14 = 0x1ff4f;\n  if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",param_1);\n  }\n  if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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 "undefined4 uVar1;" (type_identifier "undefined4") (identifier "uVar1") (; ";")) (declaration "char *__format;" (primitive_type "char") (pointer_declarator "*__format" (* "*") (identifier "__format")) (; ";")) (declaration "size_t sVar2;" (primitive_type "size_t") (identifier "sVar2") (; ";")) (declaration "int local_20 [3];" (primitive_type "int") (array_declarator "local_20 [3]" (identifier "local_20") ([ "[") (number_literal "3") (] "]")) (; ";")) (declaration "undefined4 uStack_14;" (type_identifier "undefined4") (identifier "uStack_14") (; ";")) (expression_statement "uStack_14 = 0x1ff4f;" (assignment_expression "uStack_14 = 0x1ff4f" (identifier "uStack_14") (= "=") (number_literal "0x1ff4f")) (; ";")) (if_statement "if (0 < (int)param_1) {\n    printf("  Tag_unknown_%d: ",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: ",param_1);\n  }" ({ "{") (expression_statement "printf("  Tag_unknown_%d: ",param_1);" (call_expression "printf("  Tag_unknown_%d: ",param_1)" (identifier "printf") (argument_list "("  Tag_unknown_%d: ",param_1)" (( "(") (string_literal ""  Tag_unknown_%d: "" (" """) (string_content "  Tag_unknown_%d: ") (" """)) (, ",") (identifier "param_1") () ")"))) (; ";")) (} "}"))) (if_statement "if (param_2 < param_3) {\n    if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }\n  }" ({ "{") (if_statement "if ((param_1 & 1) == 0) {\n      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }\n    else {\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\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_0004f990(param_2,local_20,0,param_3);\n      param_2 = param_2 + local_20[0];\n      printf("%ld (0x%lx)\n",uVar1,uVar1);\n    }" ({ "{") (expression_statement "uVar1 = FUN_0004f990(param_2,local_20,0,param_3);" (assignment_expression "uVar1 = FUN_0004f990(param_2,local_20,0,param_3)" (identifier "uVar1") (= "=") (call_expression "FUN_0004f990(param_2,local_20,0,param_3)" (identifier "FUN_0004f990") (argument_list "(param_2,local_20,0,param_3)" (( "(") (identifier "param_2") (, ",") (identifier "local_20") (, ",") (number_literal "0") (, ",") (identifier "param_3") () ")")))) (; ";")) (expression_statement "param_2 = param_2 + local_20[0];" (assignment_expression "param_2 = param_2 + local_20[0]" (identifier "param_2") (= "=") (binary_expression "param_2 + local_20[0]" (identifier "param_2") (+ "+") (subscript_expression "local_20[0]" (identifier "local_20") ([ "[") (number_literal "0") (] "]")))) (; ";")) (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      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" (else "else") (compound_statement "{\n      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);\n      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }\n      puts("\"");\n    }" ({ "{") (expression_statement "putc(0x22,*(FILE **)PTR_stdout_000b3fd8);" (call_expression "putc(0x22,*(FILE **)PTR_stdout_000b3fd8)" (identifier "putc") (argument_list "(0x22,*(FILE **)PTR_stdout_000b3fd8)" (( "(") (number_literal "0x22") (, ",") (pointer_expression "*(FILE **)PTR_stdout_000b3fd8" (* "*") (cast_expression "(FILE **)PTR_stdout_000b3fd8" (( "(") (type_descriptor "FILE **" (type_identifier "FILE") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (identifier "PTR_stdout_000b3fd8"))) () ")"))) (; ";")) (if_statement "if (param_3 + (-1 - (int)param_2) == (char *)0x0) {\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }\n      else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }" (if "if") (parenthesized_expression "(param_3 + (-1 - (int)param_2) == (char *)0x0)" (( "(") (binary_expression "param_3 + (-1 - (int)param_2) == (char *)0x0" (binary_expression "param_3 + (-1 - (int)param_2)" (identifier "param_3") (+ "+") (parenthesized_expression "(-1 - (int)param_2)" (( "(") (binary_expression "-1 - (int)param_2" (number_literal "-1") (- "-") (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2"))) () ")"))) (== "==") (cast_expression "(char *)0x0" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n        __format = (char *)dcgettext(0,"<corrupt string tag>",5);\n        printf(__format);\n        param_2 = param_3;\n      }" ({ "{") (expression_statement "__format = (char *)dcgettext(0,"<corrupt string tag>",5);" (assignment_expression "__format = (char *)dcgettext(0,"<corrupt string tag>",5)" (identifier "__format") (= "=") (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(__format);" (call_expression "printf(__format)" (identifier "printf") (argument_list "(__format)" (( "(") (identifier "__format") () ")"))) (; ";")) (expression_statement "param_2 = param_3;" (assignment_expression "param_2 = param_3" (identifier "param_2") (= "=") (identifier "param_3")) (; ";")) (} "}")) (else_clause "else {\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }" (else "else") (compound_statement "{\n        FUN_0001fd20();\n        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));\n        param_2 = param_2 + sVar2 + 1;\n      }" ({ "{") (expression_statement "FUN_0001fd20();" (call_expression "FUN_0001fd20()" (identifier "FUN_0001fd20") (argument_list "()" (( "(") () ")"))) (; ";")) (expression_statement "sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));" (assignment_expression "sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)))" (identifier "sVar2") (= "=") (call_expression "strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)))" (identifier "strnlen") (argument_list "(param_2,(size_t)(param_3 + (-1 - (int)param_2)))" (( "(") (identifier "param_2") (, ",") (cast_expression "(size_t)(param_3 + (-1 - (int)param_2))" (( "(") (type_descriptor "size_t" (primitive_type "size_t")) () ")") (parenthesized_expression "(param_3 + (-1 - (int)param_2))" (( "(") (binary_expression "param_3 + (-1 - (int)param_2)" (identifier "param_3") (+ "+") (parenthesized_expression "(-1 - (int)param_2)" (( "(") (binary_expression "-1 - (int)param_2" (number_literal "-1") (- "-") (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2"))) () ")"))) () ")"))) () ")")))) (; ";")) (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") (" """)) () ")"))) (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

type_1 * __regparm3 display_tag_value(int var_1,type_1 *var_3,type_1 *var_4)

{
  char *pcVar1;
  size_t var_12;
  type_1 *var_8;
  type_2 dVar3;
  type_3 var_6;
  type_4 uStack_14;
  
  uStack_14 = 0x1ff4f;
  if (0 < var_1) {
    var_2("  Tag_unknown_%d: ",var_1);
  }
  if (var_3 < var_4) {
    if ((var_1 & 1U) == 0) {
      dVar3 = var_5(var_3,&var_6,0,var_4);
      var_3 = var_3 + var_6;
      var_2("%ld (0x%lx)\n",(int)dVar3,(int)dVar3);
    }
    else {
      var_8 = var_4 + (-1 - (int)var_3);
      var_7(0x22,*(type_5 **)PTR_stdout_000b3fd8);
      if (var_8 == (type_1 *)0x0) {
        pcVar1 = (char *)var_9(0,"<corrupt string tag>",5);
        var_2(pcVar1);
        var_3 = var_4;
      }
      else {
        var_10((int)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 {
    pcVar1 = (char *)var_9(0,"<corrupt tag>\n",5);
    var_14(pcVar1);
  }
  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 (ERROR (identifier)) 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: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (array_declarator declarator: (identifier) size: (number_literal))) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (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)) (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) (identifier) (number_literal) (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content) (escape_sequence)) (identifier) (identifier))))) alternative: (else_clause (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (number_literal) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (identifier)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (number_literal) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (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))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (number_literal) right: (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))))))))

/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

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

{
  undefined4 uVar1;
  char *__format;
  size_t sVar2;
  int local_20 [3];
  undefined4 uStack_14;
  
  uStack_14 = 0x1ff4f;
  if (0 < (int)param_1) {
    printf("  Tag_unknown_%d: ",param_1);
  }
  if (param_2 < param_3) {
    if ((param_1 & 1) == 0) {
      uVar1 = FUN_0004f990(param_2,local_20,0,param_3);
      param_2 = param_2 + local_20[0];
      printf("%ld (0x%lx)\n",uVar1,uVar1);
    }
    else {
      putc(0x22,*(FILE **)PTR_stdout_000b3fd8);
      if (param_3 + (-1 - (int)param_2) == (char *)0x0) {
        __format = (char *)dcgettext(0,"<corrupt string tag>",5);
        printf(__format);
        param_2 = param_3;
      }
      else {
        FUN_0001fd20();
        sVar2 = strnlen(param_2,(size_t)(param_3 + (-1 - (int)param_2)));
        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");
}

