
void verify_symbol_chain(symbolS *rootP,symbolS *lastP)

{
  symbolS *psVar1;
  symbolS *symbolP;
  bool bVar2;
  
  if (rootP == (symbolS *)0x0) {
    return;
  }
  do {
    psVar1 = symbol_next(rootP);
    if (psVar1 == (symbolS *)0x0) {
      if (rootP != lastP) {
                    /* WARNING: Subroutine does not return */
        as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain");
      }
      return;
    }
    if (rootP->bsym == (asymbol *)0x0) {
                    /* WARNING: Subroutine does not return */
      as_abort("../../gas/symbols.c",0x38c,"verify_symbol_chain");
    }
    if (((uint)rootP->sy_flags & 1) != 0) {
                    /* WARNING: Subroutine does not return */
      as_abort("../../gas/symbols.c",0x38d,"verify_symbol_chain");
    }
    bVar2 = rootP->sy_next->sy_previous == rootP;
    rootP = psVar1;
  } while (bVar2);
                    /* WARNING: Subroutine does not return */
  as_abort("../../gas/symbols.c",0x38e,"verify_symbol_chain");
}



void FUN_0012d450(byte *param_1,byte *param_2)

{
  byte *pbVar1;
  bool bVar2;
  
  if (param_1 == (byte *)0x0) {
    return;
  }
  do {
    pbVar1 = (byte *)FUN_0012d410(param_1);
    if (pbVar1 == (byte *)0x0) {
      if (param_1 != param_2) {
                    /* WARNING: Subroutine does not return */
        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");
      }
      return;
    }
    if (*(long *)(param_1 + 8) == 0) {
                    /* WARNING: Subroutine does not return */
      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");
    }
    if ((*param_1 & 1) != 0) {
                    /* WARNING: Subroutine does not return */
      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");
    }
    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;
    param_1 = pbVar1;
  } while (bVar2);
                    /* WARNING: Subroutine does not return */
  FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");
}


TEST RDI,RDI
JZ 0x0012d49a
PUSH RBP
MOV RBP,RSI
PUSH RBX
MOV RBX,RDI
SUB RSP,0x8
JMP 0x0012d481
CMP qword ptr [RBX + 0x8],0x0
JZ 0x0012d49b
TEST byte ptr [RBX],0x1
JNZ 0x0012d4cb
MOV RDX,qword ptr [RBX + 0x30]
CMP qword ptr [RDX + 0x38],RBX
JNZ 0x0012d4b3
MOV RBX,RAX
MOV RDI,RBX
CALL 0x0012d410
TEST RAX,RAX
JNZ 0x0012d468
CMP RBX,RBP
JNZ 0x0012d4e3
ADD RSP,0x8
POP RBX
POP RBP
RET
RET
LEA RDX,[0x143750]
MOV ESI,0x38c
LEA RDI,[0x142fc0]
CALL 0x0011f960
LEA RDX,[0x143750]
MOV ESI,0x38e
LEA RDI,[0x142fc0]
CALL 0x0011f960
LEA RDX,[0x143750]
MOV ESI,0x38d
LEA RDI,[0x142fc0]
CALL 0x0011f960
LEA RDX,[0x143750]
MOV ESI,0x391
LEA RDI,[0x142fc0]
CALL 0x0011f960
(translation_unit "void FUN_0012d450(byte *param_1,byte *param_2)\n\n{\n  byte *pbVar1;\n  bool bVar2;\n  \n  if (param_1 == (byte *)0x0) {\n    return;\n  }\n  do {\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    /* WARNING: Subroutine does not return */\n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  } while (bVar2);\n                    /* WARNING: Subroutine does not return */\n  FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");\n}\n\n" (function_definition "void FUN_0012d450(byte *param_1,byte *param_2)\n\n{\n  byte *pbVar1;\n  bool bVar2;\n  \n  if (param_1 == (byte *)0x0) {\n    return;\n  }\n  do {\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    /* WARNING: Subroutine does not return */\n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  } while (bVar2);\n                    /* WARNING: Subroutine does not return */\n  FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");\n}" primitive_type (function_declarator "FUN_0012d450(byte *param_1,byte *param_2)" identifier (parameter_list "(byte *param_1,byte *param_2)" ( (parameter_declaration "byte *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "byte *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  byte *pbVar1;\n  bool bVar2;\n  \n  if (param_1 == (byte *)0x0) {\n    return;\n  }\n  do {\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    /* WARNING: Subroutine does not return */\n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  } while (bVar2);\n                    /* WARNING: Subroutine does not return */\n  FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");\n}" { (declaration "byte *pbVar1;" type_identifier (pointer_declarator "*pbVar1" * identifier) ;) (declaration "bool bVar2;" primitive_type identifier ;) (if_statement "if (param_1 == (byte *)0x0) {\n    return;\n  }" if (parenthesized_expression "(param_1 == (byte *)0x0)" ( (binary_expression "param_1 == (byte *)0x0" identifier == (cast_expression "(byte *)0x0" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (do_statement "do {\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    /* WARNING: Subroutine does not return */\n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  } while (bVar2);" do (compound_statement "{\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    /* WARNING: Subroutine does not return */\n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  }" { (expression_statement "pbVar1 = (byte *)FUN_0012d410(param_1);" (assignment_expression "pbVar1 = (byte *)FUN_0012d410(param_1)" identifier = (cast_expression "(byte *)FUN_0012d410(param_1)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0012d410(param_1)" identifier (argument_list "(param_1)" ( identifier ))))) ;) (if_statement "if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    /* WARNING: Subroutine does not return */\n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }" if (parenthesized_expression "(pbVar1 == (byte *)0x0)" ( (binary_expression "pbVar1 == (byte *)0x0" identifier == (cast_expression "(byte *)0x0" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      if (param_1 != param_2) {\n                    /* WARNING: Subroutine does not return */\n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }" { (if_statement "if (param_1 != param_2) {\n                    /* WARNING: Subroutine does not return */\n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }" if (parenthesized_expression "(param_1 != param_2)" ( (binary_expression "param_1 != param_2" identifier != identifier) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }" { comment (expression_statement "FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x391,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })) (return_statement "return;" return ;) })) (if_statement "if (*(long *)(param_1 + 8) == 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }" if (parenthesized_expression "(*(long *)(param_1 + 8) == 0)" ( (binary_expression "*(long *)(param_1 + 8) == 0" (pointer_expression "*(long *)(param_1 + 8)" * (cast_expression "(long *)(param_1 + 8)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }" { comment (expression_statement "FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x38c,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })) (if_statement "if ((*param_1 & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }" if (parenthesized_expression "((*param_1 & 1) != 0)" ( (binary_expression "(*param_1 & 1) != 0" (parenthesized_expression "(*param_1 & 1)" ( (binary_expression "*param_1 & 1" (pointer_expression "*param_1" * identifier) & number_literal) )) != number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }" { comment (expression_statement "FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x38d,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })) (expression_statement "bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;" (assignment_expression "bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1" identifier = (binary_expression "*(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1" (pointer_expression "*(byte **)(*(long *)(param_1 + 0x30) + 0x38)" * (cast_expression "(byte **)(*(long *)(param_1 + 0x30) + 0x38)" ( (type_descriptor "byte **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*(long *)(param_1 + 0x30) + 0x38)" ( (binary_expression "*(long *)(param_1 + 0x30) + 0x38" (pointer_expression "*(long *)(param_1 + 0x30)" * (cast_expression "(long *)(param_1 + 0x30)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x30)" ( (binary_expression "param_1 + 0x30" identifier + number_literal) )))) + number_literal) )))) == identifier)) ;) (expression_statement "param_1 = pbVar1;" (assignment_expression "param_1 = pbVar1" identifier = identifier) ;) }) while (parenthesized_expression "(bVar2)" ( identifier )) ;) comment (expression_statement "FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x38e,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })))
(translation_unit "void verify_symbol_chain(symbolS *rootP,symbolS *lastP)\n\n{\n  symbolS *psVar1;\n  symbolS *symbolP;\n  bool bVar2;\n  \n  if (rootP == (symbolS *)0x0) {\n    return;\n  }\n  do {\n    psVar1 = symbol_next(rootP);\n    if (psVar1 == (symbolS *)0x0) {\n      if (rootP != lastP) {\n                    /* WARNING: Subroutine does not return */\n        as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (rootP->bsym == (asymbol *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if (((uint)rootP->sy_flags & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = rootP->sy_next->sy_previous == rootP;\n    rootP = psVar1;\n  } while (bVar2);\n                    /* WARNING: Subroutine does not return */\n  as_abort("../../gas/symbols.c",0x38e,"verify_symbol_chain");\n}\n\n" (function_definition "void verify_symbol_chain(symbolS *rootP,symbolS *lastP)\n\n{\n  symbolS *psVar1;\n  symbolS *symbolP;\n  bool bVar2;\n  \n  if (rootP == (symbolS *)0x0) {\n    return;\n  }\n  do {\n    psVar1 = symbol_next(rootP);\n    if (psVar1 == (symbolS *)0x0) {\n      if (rootP != lastP) {\n                    /* WARNING: Subroutine does not return */\n        as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (rootP->bsym == (asymbol *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if (((uint)rootP->sy_flags & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = rootP->sy_next->sy_previous == rootP;\n    rootP = psVar1;\n  } while (bVar2);\n                    /* WARNING: Subroutine does not return */\n  as_abort("../../gas/symbols.c",0x38e,"verify_symbol_chain");\n}" primitive_type (function_declarator "verify_symbol_chain(symbolS *rootP,symbolS *lastP)" identifier (parameter_list "(symbolS *rootP,symbolS *lastP)" ( (parameter_declaration "symbolS *rootP" type_identifier (pointer_declarator "*rootP" * identifier)) , (parameter_declaration "symbolS *lastP" type_identifier (pointer_declarator "*lastP" * identifier)) ))) (compound_statement "{\n  symbolS *psVar1;\n  symbolS *symbolP;\n  bool bVar2;\n  \n  if (rootP == (symbolS *)0x0) {\n    return;\n  }\n  do {\n    psVar1 = symbol_next(rootP);\n    if (psVar1 == (symbolS *)0x0) {\n      if (rootP != lastP) {\n                    /* WARNING: Subroutine does not return */\n        as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (rootP->bsym == (asymbol *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if (((uint)rootP->sy_flags & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = rootP->sy_next->sy_previous == rootP;\n    rootP = psVar1;\n  } while (bVar2);\n                    /* WARNING: Subroutine does not return */\n  as_abort("../../gas/symbols.c",0x38e,"verify_symbol_chain");\n}" { (declaration "symbolS *psVar1;" type_identifier (pointer_declarator "*psVar1" * identifier) ;) (declaration "symbolS *symbolP;" type_identifier (pointer_declarator "*symbolP" * identifier) ;) (declaration "bool bVar2;" primitive_type identifier ;) (if_statement "if (rootP == (symbolS *)0x0) {\n    return;\n  }" if (parenthesized_expression "(rootP == (symbolS *)0x0)" ( (binary_expression "rootP == (symbolS *)0x0" identifier == (cast_expression "(symbolS *)0x0" ( (type_descriptor "symbolS *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (do_statement "do {\n    psVar1 = symbol_next(rootP);\n    if (psVar1 == (symbolS *)0x0) {\n      if (rootP != lastP) {\n                    /* WARNING: Subroutine does not return */\n        as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (rootP->bsym == (asymbol *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if (((uint)rootP->sy_flags & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = rootP->sy_next->sy_previous == rootP;\n    rootP = psVar1;\n  } while (bVar2);" do (compound_statement "{\n    psVar1 = symbol_next(rootP);\n    if (psVar1 == (symbolS *)0x0) {\n      if (rootP != lastP) {\n                    /* WARNING: Subroutine does not return */\n        as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (rootP->bsym == (asymbol *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if (((uint)rootP->sy_flags & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = rootP->sy_next->sy_previous == rootP;\n    rootP = psVar1;\n  }" { (expression_statement "psVar1 = symbol_next(rootP);" (assignment_expression "psVar1 = symbol_next(rootP)" identifier = (call_expression "symbol_next(rootP)" identifier (argument_list "(rootP)" ( identifier )))) ;) (if_statement "if (psVar1 == (symbolS *)0x0) {\n      if (rootP != lastP) {\n                    /* WARNING: Subroutine does not return */\n        as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }" if (parenthesized_expression "(psVar1 == (symbolS *)0x0)" ( (binary_expression "psVar1 == (symbolS *)0x0" identifier == (cast_expression "(symbolS *)0x0" ( (type_descriptor "symbolS *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      if (rootP != lastP) {\n                    /* WARNING: Subroutine does not return */\n        as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }" { (if_statement "if (rootP != lastP) {\n                    /* WARNING: Subroutine does not return */\n        as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }" if (parenthesized_expression "(rootP != lastP)" ( (binary_expression "rootP != lastP" identifier != identifier) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n        as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }" { comment (expression_statement "as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain");" (call_expression "as_abort("../../gas/symbols.c",0x391,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x391,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })) (return_statement "return;" return ;) })) (if_statement "if (rootP->bsym == (asymbol *)0x0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }" if (parenthesized_expression "(rootP->bsym == (asymbol *)0x0)" ( (binary_expression "rootP->bsym == (asymbol *)0x0" (field_expression "rootP->bsym" identifier -> field_identifier) == (cast_expression "(asymbol *)0x0" ( (type_descriptor "asymbol *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }" { comment (expression_statement "as_abort("../../gas/symbols.c",0x38c,"verify_symbol_chain");" (call_expression "as_abort("../../gas/symbols.c",0x38c,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x38c,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })) (if_statement "if (((uint)rootP->sy_flags & 1) != 0) {\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }" if (parenthesized_expression "(((uint)rootP->sy_flags & 1) != 0)" ( (binary_expression "((uint)rootP->sy_flags & 1) != 0" (parenthesized_expression "((uint)rootP->sy_flags & 1)" ( (binary_expression "(uint)rootP->sy_flags & 1" (cast_expression "(uint)rootP->sy_flags" ( (type_descriptor "uint" type_identifier) ) (field_expression "rootP->sy_flags" identifier -> field_identifier)) & number_literal) )) != number_literal) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      as_abort("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }" { comment (expression_statement "as_abort("../../gas/symbols.c",0x38d,"verify_symbol_chain");" (call_expression "as_abort("../../gas/symbols.c",0x38d,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x38d,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })) (expression_statement "bVar2 = rootP->sy_next->sy_previous == rootP;" (assignment_expression "bVar2 = rootP->sy_next->sy_previous == rootP" identifier = (binary_expression "rootP->sy_next->sy_previous == rootP" (field_expression "rootP->sy_next->sy_previous" (field_expression "rootP->sy_next" identifier -> field_identifier) -> field_identifier) == identifier)) ;) (expression_statement "rootP = psVar1;" (assignment_expression "rootP = psVar1" identifier = identifier) ;) }) while (parenthesized_expression "(bVar2)" ( identifier )) ;) comment (expression_statement "as_abort("../../gas/symbols.c",0x38e,"verify_symbol_chain");" (call_expression "as_abort("../../gas/symbols.c",0x38e,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x38e,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })))
(translation_unit "void FUN_0012d450(byte *param_1,byte *param_2)\n\n{\n  byte *pbVar1;\n  bool bVar2;\n  \n  if (param_1 == (byte *)0x0) {\n    return;\n  }\n  do {\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  } while (bVar2);\n                    \n  FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");\n}\n\n" (function_definition "void FUN_0012d450(byte *param_1,byte *param_2)\n\n{\n  byte *pbVar1;\n  bool bVar2;\n  \n  if (param_1 == (byte *)0x0) {\n    return;\n  }\n  do {\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  } while (bVar2);\n                    \n  FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");\n}" primitive_type (function_declarator "FUN_0012d450(byte *param_1,byte *param_2)" identifier (parameter_list "(byte *param_1,byte *param_2)" ( (parameter_declaration "byte *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "byte *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  byte *pbVar1;\n  bool bVar2;\n  \n  if (param_1 == (byte *)0x0) {\n    return;\n  }\n  do {\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  } while (bVar2);\n                    \n  FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");\n}" { (declaration "byte *pbVar1;" type_identifier (pointer_declarator "*pbVar1" * identifier) ;) (declaration "bool bVar2;" primitive_type identifier ;) (if_statement "if (param_1 == (byte *)0x0) {\n    return;\n  }" if (parenthesized_expression "(param_1 == (byte *)0x0)" ( (binary_expression "param_1 == (byte *)0x0" identifier == (cast_expression "(byte *)0x0" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (do_statement "do {\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  } while (bVar2);" do (compound_statement "{\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  }" { (expression_statement "pbVar1 = (byte *)FUN_0012d410(param_1);" (assignment_expression "pbVar1 = (byte *)FUN_0012d410(param_1)" identifier = (cast_expression "(byte *)FUN_0012d410(param_1)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0012d410(param_1)" identifier (argument_list "(param_1)" ( identifier ))))) ;) (if_statement "if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }" if (parenthesized_expression "(pbVar1 == (byte *)0x0)" ( (binary_expression "pbVar1 == (byte *)0x0" identifier == (cast_expression "(byte *)0x0" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }" { (if_statement "if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }" if (parenthesized_expression "(param_1 != param_2)" ( (binary_expression "param_1 != param_2" identifier != identifier) )) (compound_statement "{\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }" { (expression_statement "FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x391,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })) (return_statement "return;" return ;) })) (if_statement "if (*(long *)(param_1 + 8) == 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }" if (parenthesized_expression "(*(long *)(param_1 + 8) == 0)" ( (binary_expression "*(long *)(param_1 + 8) == 0" (pointer_expression "*(long *)(param_1 + 8)" * (cast_expression "(long *)(param_1 + 8)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) == number_literal) )) (compound_statement "{\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }" { (expression_statement "FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x38c,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })) (if_statement "if ((*param_1 & 1) != 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }" if (parenthesized_expression "((*param_1 & 1) != 0)" ( (binary_expression "(*param_1 & 1) != 0" (parenthesized_expression "(*param_1 & 1)" ( (binary_expression "*param_1 & 1" (pointer_expression "*param_1" * identifier) & number_literal) )) != number_literal) )) (compound_statement "{\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }" { (expression_statement "FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x38d,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })) (expression_statement "bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;" (assignment_expression "bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1" identifier = (binary_expression "*(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1" (pointer_expression "*(byte **)(*(long *)(param_1 + 0x30) + 0x38)" * (cast_expression "(byte **)(*(long *)(param_1 + 0x30) + 0x38)" ( (type_descriptor "byte **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(*(long *)(param_1 + 0x30) + 0x38)" ( (binary_expression "*(long *)(param_1 + 0x30) + 0x38" (pointer_expression "*(long *)(param_1 + 0x30)" * (cast_expression "(long *)(param_1 + 0x30)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x30)" ( (binary_expression "param_1 + 0x30" identifier + number_literal) )))) + number_literal) )))) == identifier)) ;) (expression_statement "param_1 = pbVar1;" (assignment_expression "param_1 = pbVar1" identifier = identifier) ;) }) while (parenthesized_expression "(bVar2)" ( identifier )) ;) (expression_statement "FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain")" identifier (argument_list "("../../gas/symbols.c",0x38e,"verify_symbol_chain")" ( (string_literal ""../../gas/symbols.c"" " string_content ") , number_literal , (string_literal ""verify_symbol_chain"" " string_content ") ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (return_statement return ;) })) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( IDENT ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != IDENT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (return_statement return ;) })) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) & LIT) )) != LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) )))) == IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }) while (parenthesized_expression ( IDENT )) ;) (expression_statement (call_expression IDENT (argument_list ( (string_literal " string_content ") , LIT , (string_literal " string_content ") ))) ;) })))
(function_definition "void FUN_0012d450(byte *param_1,byte *param_2)\n\n{\n  byte *pbVar1;\n  bool bVar2;\n  \n  if (param_1 == (byte *)0x0) {\n    return;\n  }\n  do {\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  } while (bVar2);\n                    \n  FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");\n}" (primitive_type "void") (function_declarator "FUN_0012d450(byte *param_1,byte *param_2)" (identifier "FUN_0012d450") (parameter_list "(byte *param_1,byte *param_2)" (( "(") (parameter_declaration "byte *param_1" (type_identifier "byte") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "byte *param_2" (type_identifier "byte") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) () ")"))) (compound_statement "{\n  byte *pbVar1;\n  bool bVar2;\n  \n  if (param_1 == (byte *)0x0) {\n    return;\n  }\n  do {\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  } while (bVar2);\n                    \n  FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");\n}" ({ "{") (declaration "byte *pbVar1;" (type_identifier "byte") (pointer_declarator "*pbVar1" (* "*") (identifier "pbVar1")) (; ";")) (declaration "bool bVar2;" (primitive_type "bool") (identifier "bVar2") (; ";")) (if_statement "if (param_1 == (byte *)0x0) {\n    return;\n  }" (if "if") (parenthesized_expression "(param_1 == (byte *)0x0)" (( "(") (binary_expression "param_1 == (byte *)0x0" (identifier "param_1") (== "==") (cast_expression "(byte *)0x0" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n    return;\n  }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (do_statement "do {\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  } while (bVar2);" (do "do") (compound_statement "{\n    pbVar1 = (byte *)FUN_0012d410(param_1);\n    if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }\n    if (*(long *)(param_1 + 8) == 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }\n    if ((*param_1 & 1) != 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }\n    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;\n    param_1 = pbVar1;\n  }" ({ "{") (expression_statement "pbVar1 = (byte *)FUN_0012d410(param_1);" (assignment_expression "pbVar1 = (byte *)FUN_0012d410(param_1)" (identifier "pbVar1") (= "=") (cast_expression "(byte *)FUN_0012d410(param_1)" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_0012d410(param_1)" (identifier "FUN_0012d410") (argument_list "(param_1)" (( "(") (identifier "param_1") () ")"))))) (; ";")) (if_statement "if (pbVar1 == (byte *)0x0) {\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }" (if "if") (parenthesized_expression "(pbVar1 == (byte *)0x0)" (( "(") (binary_expression "pbVar1 == (byte *)0x0" (identifier "pbVar1") (== "==") (cast_expression "(byte *)0x0" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) () ")")) (compound_statement "{\n      if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }\n      return;\n    }" ({ "{") (if_statement "if (param_1 != param_2) {\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }" (if "if") (parenthesized_expression "(param_1 != param_2)" (( "(") (binary_expression "param_1 != param_2" (identifier "param_1") (!= "!=") (identifier "param_2")) () ")")) (compound_statement "{\n                    \n        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");\n      }" ({ "{") (expression_statement "FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain")" (identifier "FUN_0011f960") (argument_list "("../../gas/symbols.c",0x391,"verify_symbol_chain")" (( "(") (string_literal ""../../gas/symbols.c"" (" """) (string_content "../../gas/symbols.c") (" """)) (, ",") (number_literal "0x391") (, ",") (string_literal ""verify_symbol_chain"" (" """) (string_content "verify_symbol_chain") (" """)) () ")"))) (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}"))) (if_statement "if (*(long *)(param_1 + 8) == 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }" (if "if") (parenthesized_expression "(*(long *)(param_1 + 8) == 0)" (( "(") (binary_expression "*(long *)(param_1 + 8) == 0" (pointer_expression "*(long *)(param_1 + 8)" (* "*") (cast_expression "(long *)(param_1 + 8)" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 8)" (( "(") (binary_expression "param_1 + 8" (identifier "param_1") (+ "+") (number_literal "8")) () ")")))) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");\n    }" ({ "{") (expression_statement "FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain")" (identifier "FUN_0011f960") (argument_list "("../../gas/symbols.c",0x38c,"verify_symbol_chain")" (( "(") (string_literal ""../../gas/symbols.c"" (" """) (string_content "../../gas/symbols.c") (" """)) (, ",") (number_literal "0x38c") (, ",") (string_literal ""verify_symbol_chain"" (" """) (string_content "verify_symbol_chain") (" """)) () ")"))) (; ";")) (} "}"))) (if_statement "if ((*param_1 & 1) != 0) {\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\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" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (& "&") (number_literal "1")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n                    \n      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");\n    }" ({ "{") (expression_statement "FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain")" (identifier "FUN_0011f960") (argument_list "("../../gas/symbols.c",0x38d,"verify_symbol_chain")" (( "(") (string_literal ""../../gas/symbols.c"" (" """) (string_content "../../gas/symbols.c") (" """)) (, ",") (number_literal "0x38d") (, ",") (string_literal ""verify_symbol_chain"" (" """) (string_content "verify_symbol_chain") (" """)) () ")"))) (; ";")) (} "}"))) (expression_statement "bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;" (assignment_expression "bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1" (identifier "bVar2") (= "=") (binary_expression "*(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1" (pointer_expression "*(byte **)(*(long *)(param_1 + 0x30) + 0x38)" (* "*") (cast_expression "(byte **)(*(long *)(param_1 + 0x30) + 0x38)" (( "(") (type_descriptor "byte **" (type_identifier "byte") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(*(long *)(param_1 + 0x30) + 0x38)" (( "(") (binary_expression "*(long *)(param_1 + 0x30) + 0x38" (pointer_expression "*(long *)(param_1 + 0x30)" (* "*") (cast_expression "(long *)(param_1 + 0x30)" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x30)" (( "(") (binary_expression "param_1 + 0x30" (identifier "param_1") (+ "+") (number_literal "0x30")) () ")")))) (+ "+") (number_literal "0x38")) () ")")))) (== "==") (identifier "param_1"))) (; ";")) (expression_statement "param_1 = pbVar1;" (assignment_expression "param_1 = pbVar1" (identifier "param_1") (= "=") (identifier "pbVar1")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(bVar2)" (( "(") (identifier "bVar2") () ")")) (; ";")) (expression_statement "FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");" (call_expression "FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain")" (identifier "FUN_0011f960") (argument_list "("../../gas/symbols.c",0x38e,"verify_symbol_chain")" (( "(") (string_literal ""../../gas/symbols.c"" (" """) (string_content "../../gas/symbols.c") (" """)) (, ",") (number_literal "0x38e") (, ",") (string_literal ""verify_symbol_chain"" (" """) (string_content "verify_symbol_chain") (" """)) () ")"))) (; ";")) (} "}")))

void function_1(type_1 *var_1,type_1 *var_4)

{
  type_1 *var_3;
  type_1 *symbolP;
  bool bVar2;
  
  if (var_1 == (type_1 *)0x0) {
    return;
  }
  do {
    var_3 = var_2(var_1);
    if (var_3 == (type_1 *)0x0) {
      if (var_1 != var_4) {
                    /* WARNING: Subroutine does not return */
        var_5("../../gas/symbols.c",0x391,"verify_symbol_chain");
      }
      return;
    }
    if (var_1->bsym == (type_2 *)0x0) {
                    /* WARNING: Subroutine does not return */
      var_5("../../gas/symbols.c",0x38c,"verify_symbol_chain");
    }
    if (((type_3)var_1->sy_flags & 1) != 0) {
                    /* WARNING: Subroutine does not return */
      var_5("../../gas/symbols.c",0x38d,"verify_symbol_chain");
    }
    bVar2 = var_1->sy_next->sy_previous == var_1;
    var_1 = var_3;
  } while (bVar2);
                    /* WARNING: Subroutine does not return */
  var_5("../../gas/symbols.c",0x38e,"verify_symbol_chain");
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (return_statement))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (call_expression function: (identifier) arguments: (argument_list (identifier)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (number_literal)))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (number_literal) (string_literal (string_content))))))) (return_statement))) (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (number_literal) (string_literal (string_content))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (number_literal) (string_literal (string_content))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator declarator: (abstract_pointer_declarator))) value: (parenthesized_expression (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal))))) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (identifier)))) condition: (parenthesized_expression (identifier))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (string_content)) (number_literal) (string_literal (string_content))))))))

void MASKED(byte *param_1,byte *param_2)

{
  byte *pbVar1;
  bool bVar2;
  
  if (param_1 == (byte *)0x0) {
    return;
  }
  do {
    pbVar1 = (byte *)FUN_0012d410(param_1);
    if (pbVar1 == (byte *)0x0) {
      if (param_1 != param_2) {
                    /* WARNING: Subroutine does not return */
        FUN_0011f960("../../gas/symbols.c",0x391,"verify_symbol_chain");
      }
      return;
    }
    if (*(long *)(param_1 + 8) == 0) {
                    /* WARNING: Subroutine does not return */
      FUN_0011f960("../../gas/symbols.c",0x38c,"verify_symbol_chain");
    }
    if ((*param_1 & 1) != 0) {
                    /* WARNING: Subroutine does not return */
      FUN_0011f960("../../gas/symbols.c",0x38d,"verify_symbol_chain");
    }
    bVar2 = *(byte **)(*(long *)(param_1 + 0x30) + 0x38) == param_1;
    param_1 = pbVar1;
  } while (bVar2);
                    /* WARNING: Subroutine does not return */
  FUN_0011f960("../../gas/symbols.c",0x38e,"verify_symbol_chain");
}

