
void print_dst_unreach(icmp6_hdr *icmp6)

{
  icmp_code_descr *piVar1;
  
  __printf_chk(1,"Destination unreachable: ");
  if (icmp_dest_unreach_desc[0].code == (uint)icmp6->icmp6_code) {
    piVar1 = icmp_dest_unreach_desc;
LAB_00103c25:
    puts(piVar1->diag);
  }
  else {
    piVar1 = icmp_dest_unreach_desc + 1;
    do {
      if (piVar1->code == (uint)icmp6->icmp6_code) goto LAB_00103c25;
      piVar1 = piVar1 + 1;
    } while (piVar1 != (icmp_code_descr *)&DAT_00110130);
    __printf_chk(1,"Unknown code %d\n");
  }
  return;
}



void FUN_00103bc8(long param_1)

{
  uint *puVar1;
  
  __printf_chk(1,"Destination unreachable: ");
  if (DAT_001100e0 == *(byte *)(param_1 + 1)) {
    puVar1 = &DAT_001100e0;
LAB_00103c25:
    puts(*(char **)(puVar1 + 2));
  }
  else {
    puVar1 = &DAT_001100f0;
    do {
      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;
      puVar1 = puVar1 + 4;
    } while (puVar1 != (uint *)&DAT_00110130);
    __printf_chk(1,"Unknown code %d\n");
  }
  return;
}


PUSH RBX
MOV RBX,RDI
LEA RSI,[0x10c10b]
MOV EDI,0x1
MOV EAX,0x0
CALL 0x00103390
MOVZX EDX,byte ptr [RBX + 0x1]
CMP dword ptr [0x001100e0],EDX
JZ 0x00103c1e
LEA RAX,[0x1100f0]
LEA RCX,[RAX + 0x40]
CMP dword ptr [RAX],EDX
JZ 0x00103c25
ADD RAX,0x10
CMP RAX,RCX
JNZ 0x00103bf9
LEA RSI,[0x10c0ea]
MOV EDI,0x1
MOV EAX,0x0
CALL 0x00103390
POP RBX
RET
LEA RAX,[0x1100e0]
MOV RDI,qword ptr [RAX + 0x8]
CALL 0x001030e0
JMP 0x00103c1c
(translation_unit "void FUN_00103bc8(long param_1)\n\n{\n  uint *puVar1;\n  \n  __printf_chk(1,"Destination unreachable: ");\n  if (DAT_001100e0 == *(byte *)(param_1 + 1)) {\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }\n  else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }\n  return;\n}\n\n" (function_definition "void FUN_00103bc8(long param_1)\n\n{\n  uint *puVar1;\n  \n  __printf_chk(1,"Destination unreachable: ");\n  if (DAT_001100e0 == *(byte *)(param_1 + 1)) {\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }\n  else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }\n  return;\n}" primitive_type (function_declarator "FUN_00103bc8(long param_1)" identifier (parameter_list "(long param_1)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) ))) (compound_statement "{\n  uint *puVar1;\n  \n  __printf_chk(1,"Destination unreachable: ");\n  if (DAT_001100e0 == *(byte *)(param_1 + 1)) {\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }\n  else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "__printf_chk(1,"Destination unreachable: ");" (call_expression "__printf_chk(1,"Destination unreachable: ")" identifier (argument_list "(1,"Destination unreachable: ")" ( number_literal , (string_literal ""Destination unreachable: "" " string_content ") ))) ;) (if_statement "if (DAT_001100e0 == *(byte *)(param_1 + 1)) {\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }\n  else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" if (parenthesized_expression "(DAT_001100e0 == *(byte *)(param_1 + 1))" ( (binary_expression "DAT_001100e0 == *(byte *)(param_1 + 1)" identifier == (pointer_expression "*(byte *)(param_1 + 1)" * (cast_expression "(byte *)(param_1 + 1)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) ))))) )) (compound_statement "{\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }" { (expression_statement "puVar1 = &DAT_001100e0;" (assignment_expression "puVar1 = &DAT_001100e0" identifier = (pointer_expression "&DAT_001100e0" & identifier)) ;) (labeled_statement "LAB_00103c25:\n    puts(*(char **)(puVar1 + 2));" statement_identifier : (expression_statement "puts(*(char **)(puVar1 + 2));" (call_expression "puts(*(char **)(puVar1 + 2))" identifier (argument_list "(*(char **)(puVar1 + 2))" ( (pointer_expression "*(char **)(puVar1 + 2)" * (cast_expression "(char **)(puVar1 + 2)" ( (type_descriptor "char **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(puVar1 + 2)" ( (binary_expression "puVar1 + 2" identifier + number_literal) )))) ))) ;)) }) (else_clause "else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" else (compound_statement "{\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" { (expression_statement "puVar1 = &DAT_001100f0;" (assignment_expression "puVar1 = &DAT_001100f0" identifier = (pointer_expression "&DAT_001100f0" & identifier)) ;) (do_statement "do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);" do (compound_statement "{\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    }" { (if_statement "if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;" if (parenthesized_expression "(*puVar1 == (uint)*(byte *)(param_1 + 1))" ( (binary_expression "*puVar1 == (uint)*(byte *)(param_1 + 1)" (pointer_expression "*puVar1" * identifier) == (binary_expression "(uint)*(byte *)(param_1 + 1)" (parenthesized_expression "(uint)" ( identifier )) * (cast_expression "(byte *)(param_1 + 1)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) ))))) )) (goto_statement "goto LAB_00103c25;" goto statement_identifier ;)) (expression_statement "puVar1 = puVar1 + 4;" (assignment_expression "puVar1 = puVar1 + 4" identifier = (binary_expression "puVar1 + 4" identifier + number_literal)) ;) }) while (parenthesized_expression "(puVar1 != (uint *)&DAT_00110130)" ( (binary_expression "puVar1 != (uint *)&DAT_00110130" identifier != (cast_expression "(uint *)&DAT_00110130" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&DAT_00110130" & identifier))) )) ;) (expression_statement "__printf_chk(1,"Unknown code %d\n");" (call_expression "__printf_chk(1,"Unknown code %d\n")" identifier (argument_list "(1,"Unknown code %d\n")" ( number_literal , (string_literal ""Unknown code %d\n"" " string_content escape_sequence ") ))) ;) }))) (return_statement "return;" return ;) })))
(translation_unit "void print_dst_unreach(icmp6_hdr *icmp6)\n\n{\n  icmp_code_descr *piVar1;\n  \n  __printf_chk(1,"Destination unreachable: ");\n  if (icmp_dest_unreach_desc[0].code == (uint)icmp6->icmp6_code) {\n    piVar1 = icmp_dest_unreach_desc;\nLAB_00103c25:\n    puts(piVar1->diag);\n  }\n  else {\n    piVar1 = icmp_dest_unreach_desc + 1;\n    do {\n      if (piVar1->code == (uint)icmp6->icmp6_code) goto LAB_00103c25;\n      piVar1 = piVar1 + 1;\n    } while (piVar1 != (icmp_code_descr *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }\n  return;\n}\n\n" (function_definition "void print_dst_unreach(icmp6_hdr *icmp6)\n\n{\n  icmp_code_descr *piVar1;\n  \n  __printf_chk(1,"Destination unreachable: ");\n  if (icmp_dest_unreach_desc[0].code == (uint)icmp6->icmp6_code) {\n    piVar1 = icmp_dest_unreach_desc;\nLAB_00103c25:\n    puts(piVar1->diag);\n  }\n  else {\n    piVar1 = icmp_dest_unreach_desc + 1;\n    do {\n      if (piVar1->code == (uint)icmp6->icmp6_code) goto LAB_00103c25;\n      piVar1 = piVar1 + 1;\n    } while (piVar1 != (icmp_code_descr *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }\n  return;\n}" primitive_type (function_declarator "print_dst_unreach(icmp6_hdr *icmp6)" identifier (parameter_list "(icmp6_hdr *icmp6)" ( (parameter_declaration "icmp6_hdr *icmp6" type_identifier (pointer_declarator "*icmp6" * identifier)) ))) (compound_statement "{\n  icmp_code_descr *piVar1;\n  \n  __printf_chk(1,"Destination unreachable: ");\n  if (icmp_dest_unreach_desc[0].code == (uint)icmp6->icmp6_code) {\n    piVar1 = icmp_dest_unreach_desc;\nLAB_00103c25:\n    puts(piVar1->diag);\n  }\n  else {\n    piVar1 = icmp_dest_unreach_desc + 1;\n    do {\n      if (piVar1->code == (uint)icmp6->icmp6_code) goto LAB_00103c25;\n      piVar1 = piVar1 + 1;\n    } while (piVar1 != (icmp_code_descr *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }\n  return;\n}" { (declaration "icmp_code_descr *piVar1;" type_identifier (pointer_declarator "*piVar1" * identifier) ;) (expression_statement "__printf_chk(1,"Destination unreachable: ");" (call_expression "__printf_chk(1,"Destination unreachable: ")" identifier (argument_list "(1,"Destination unreachable: ")" ( number_literal , (string_literal ""Destination unreachable: "" " string_content ") ))) ;) (if_statement "if (icmp_dest_unreach_desc[0].code == (uint)icmp6->icmp6_code) {\n    piVar1 = icmp_dest_unreach_desc;\nLAB_00103c25:\n    puts(piVar1->diag);\n  }\n  else {\n    piVar1 = icmp_dest_unreach_desc + 1;\n    do {\n      if (piVar1->code == (uint)icmp6->icmp6_code) goto LAB_00103c25;\n      piVar1 = piVar1 + 1;\n    } while (piVar1 != (icmp_code_descr *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" if (parenthesized_expression "(icmp_dest_unreach_desc[0].code == (uint)icmp6->icmp6_code)" ( (binary_expression "icmp_dest_unreach_desc[0].code == (uint)icmp6->icmp6_code" (field_expression "icmp_dest_unreach_desc[0].code" (subscript_expression "icmp_dest_unreach_desc[0]" identifier [ number_literal ]) . field_identifier) == (cast_expression "(uint)icmp6->icmp6_code" ( (type_descriptor "uint" type_identifier) ) (field_expression "icmp6->icmp6_code" identifier -> field_identifier))) )) (compound_statement "{\n    piVar1 = icmp_dest_unreach_desc;\nLAB_00103c25:\n    puts(piVar1->diag);\n  }" { (expression_statement "piVar1 = icmp_dest_unreach_desc;" (assignment_expression "piVar1 = icmp_dest_unreach_desc" identifier = identifier) ;) (labeled_statement "LAB_00103c25:\n    puts(piVar1->diag);" statement_identifier : (expression_statement "puts(piVar1->diag);" (call_expression "puts(piVar1->diag)" identifier (argument_list "(piVar1->diag)" ( (field_expression "piVar1->diag" identifier -> field_identifier) ))) ;)) }) (else_clause "else {\n    piVar1 = icmp_dest_unreach_desc + 1;\n    do {\n      if (piVar1->code == (uint)icmp6->icmp6_code) goto LAB_00103c25;\n      piVar1 = piVar1 + 1;\n    } while (piVar1 != (icmp_code_descr *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" else (compound_statement "{\n    piVar1 = icmp_dest_unreach_desc + 1;\n    do {\n      if (piVar1->code == (uint)icmp6->icmp6_code) goto LAB_00103c25;\n      piVar1 = piVar1 + 1;\n    } while (piVar1 != (icmp_code_descr *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" { (expression_statement "piVar1 = icmp_dest_unreach_desc + 1;" (assignment_expression "piVar1 = icmp_dest_unreach_desc + 1" identifier = (binary_expression "icmp_dest_unreach_desc + 1" identifier + number_literal)) ;) (do_statement "do {\n      if (piVar1->code == (uint)icmp6->icmp6_code) goto LAB_00103c25;\n      piVar1 = piVar1 + 1;\n    } while (piVar1 != (icmp_code_descr *)&DAT_00110130);" do (compound_statement "{\n      if (piVar1->code == (uint)icmp6->icmp6_code) goto LAB_00103c25;\n      piVar1 = piVar1 + 1;\n    }" { (if_statement "if (piVar1->code == (uint)icmp6->icmp6_code) goto LAB_00103c25;" if (parenthesized_expression "(piVar1->code == (uint)icmp6->icmp6_code)" ( (binary_expression "piVar1->code == (uint)icmp6->icmp6_code" (field_expression "piVar1->code" identifier -> field_identifier) == (cast_expression "(uint)icmp6->icmp6_code" ( (type_descriptor "uint" type_identifier) ) (field_expression "icmp6->icmp6_code" identifier -> field_identifier))) )) (goto_statement "goto LAB_00103c25;" goto statement_identifier ;)) (expression_statement "piVar1 = piVar1 + 1;" (assignment_expression "piVar1 = piVar1 + 1" identifier = (binary_expression "piVar1 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(piVar1 != (icmp_code_descr *)&DAT_00110130)" ( (binary_expression "piVar1 != (icmp_code_descr *)&DAT_00110130" identifier != (cast_expression "(icmp_code_descr *)&DAT_00110130" ( (type_descriptor "icmp_code_descr *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&DAT_00110130" & identifier))) )) ;) (expression_statement "__printf_chk(1,"Unknown code %d\n");" (call_expression "__printf_chk(1,"Unknown code %d\n")" identifier (argument_list "(1,"Unknown code %d\n")" ( number_literal , (string_literal ""Unknown code %d\n"" " string_content escape_sequence ") ))) ;) }))) (return_statement "return;" return ;) })))
(translation_unit "void FUN_00103bc8(long param_1)\n\n{\n  uint *puVar1;\n  \n  __printf_chk(1,"Destination unreachable: ");\n  if (DAT_001100e0 == *(byte *)(param_1 + 1)) {\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }\n  else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }\n  return;\n}\n\n" (function_definition "void FUN_00103bc8(long param_1)\n\n{\n  uint *puVar1;\n  \n  __printf_chk(1,"Destination unreachable: ");\n  if (DAT_001100e0 == *(byte *)(param_1 + 1)) {\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }\n  else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }\n  return;\n}" primitive_type (function_declarator "FUN_00103bc8(long param_1)" identifier (parameter_list "(long param_1)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) ))) (compound_statement "{\n  uint *puVar1;\n  \n  __printf_chk(1,"Destination unreachable: ");\n  if (DAT_001100e0 == *(byte *)(param_1 + 1)) {\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }\n  else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (expression_statement "__printf_chk(1,"Destination unreachable: ");" (call_expression "__printf_chk(1,"Destination unreachable: ")" identifier (argument_list "(1,"Destination unreachable: ")" ( number_literal , (string_literal ""Destination unreachable: "" " string_content ") ))) ;) (if_statement "if (DAT_001100e0 == *(byte *)(param_1 + 1)) {\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }\n  else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" if (parenthesized_expression "(DAT_001100e0 == *(byte *)(param_1 + 1))" ( (binary_expression "DAT_001100e0 == *(byte *)(param_1 + 1)" identifier == (pointer_expression "*(byte *)(param_1 + 1)" * (cast_expression "(byte *)(param_1 + 1)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) ))))) )) (compound_statement "{\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }" { (expression_statement "puVar1 = &DAT_001100e0;" (assignment_expression "puVar1 = &DAT_001100e0" identifier = (pointer_expression "&DAT_001100e0" & identifier)) ;) (labeled_statement "LAB_00103c25:\n    puts(*(char **)(puVar1 + 2));" statement_identifier : (expression_statement "puts(*(char **)(puVar1 + 2));" (call_expression "puts(*(char **)(puVar1 + 2))" identifier (argument_list "(*(char **)(puVar1 + 2))" ( (pointer_expression "*(char **)(puVar1 + 2)" * (cast_expression "(char **)(puVar1 + 2)" ( (type_descriptor "char **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(puVar1 + 2)" ( (binary_expression "puVar1 + 2" identifier + number_literal) )))) ))) ;)) }) (else_clause "else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" else (compound_statement "{\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" { (expression_statement "puVar1 = &DAT_001100f0;" (assignment_expression "puVar1 = &DAT_001100f0" identifier = (pointer_expression "&DAT_001100f0" & identifier)) ;) (do_statement "do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);" do (compound_statement "{\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    }" { (if_statement "if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;" if (parenthesized_expression "(*puVar1 == (uint)*(byte *)(param_1 + 1))" ( (binary_expression "*puVar1 == (uint)*(byte *)(param_1 + 1)" (pointer_expression "*puVar1" * identifier) == (binary_expression "(uint)*(byte *)(param_1 + 1)" (parenthesized_expression "(uint)" ( identifier )) * (cast_expression "(byte *)(param_1 + 1)" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) ))))) )) (goto_statement "goto LAB_00103c25;" goto statement_identifier ;)) (expression_statement "puVar1 = puVar1 + 4;" (assignment_expression "puVar1 = puVar1 + 4" identifier = (binary_expression "puVar1 + 4" identifier + number_literal)) ;) }) while (parenthesized_expression "(puVar1 != (uint *)&DAT_00110130)" ( (binary_expression "puVar1 != (uint *)&DAT_00110130" identifier != (cast_expression "(uint *)&DAT_00110130" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (pointer_expression "&DAT_00110130" & identifier))) )) ;) (expression_statement "__printf_chk(1,"Unknown code %d\n");" (call_expression "__printf_chk(1,"Unknown code %d\n")" identifier (argument_list "(1,"Unknown code %d\n")" ( number_literal , (string_literal ""Unknown code %d\n"" " string_content escape_sequence ") ))) ;) }))) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration (sized_type_specifier long) IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (call_expression IDENT (argument_list ( LIT , (string_literal " string_content ") ))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression & IDENT)) ;) (labeled_statement statement_identifier : (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator * (abstract_pointer_declarator *))) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;)) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression & IDENT)) ;) (do_statement do (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) == (binary_expression (parenthesized_expression ( IDENT )) * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression & IDENT))) )) ;) (expression_statement (call_expression IDENT (argument_list ( LIT , (string_literal " string_content escape_sequence ") ))) ;) }))) (return_statement return ;) })))
(function_definition "void FUN_00103bc8(long param_1)\n\n{\n  uint *puVar1;\n  \n  __printf_chk(1,"Destination unreachable: ");\n  if (DAT_001100e0 == *(byte *)(param_1 + 1)) {\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }\n  else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }\n  return;\n}" (primitive_type "void") (function_declarator "FUN_00103bc8(long param_1)" (identifier "FUN_00103bc8") (parameter_list "(long param_1)" (( "(") (parameter_declaration "long param_1" (sized_type_specifier "long" (long "long")) (identifier "param_1")) () ")"))) (compound_statement "{\n  uint *puVar1;\n  \n  __printf_chk(1,"Destination unreachable: ");\n  if (DAT_001100e0 == *(byte *)(param_1 + 1)) {\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }\n  else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }\n  return;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (expression_statement "__printf_chk(1,"Destination unreachable: ");" (call_expression "__printf_chk(1,"Destination unreachable: ")" (identifier "__printf_chk") (argument_list "(1,"Destination unreachable: ")" (( "(") (number_literal "1") (, ",") (string_literal ""Destination unreachable: "" (" """) (string_content "Destination unreachable: ") (" """)) () ")"))) (; ";")) (if_statement "if (DAT_001100e0 == *(byte *)(param_1 + 1)) {\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }\n  else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" (if "if") (parenthesized_expression "(DAT_001100e0 == *(byte *)(param_1 + 1))" (( "(") (binary_expression "DAT_001100e0 == *(byte *)(param_1 + 1)" (identifier "DAT_001100e0") (== "==") (pointer_expression "*(byte *)(param_1 + 1)" (* "*") (cast_expression "(byte *)(param_1 + 1)" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 1)" (( "(") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1")) () ")"))))) () ")")) (compound_statement "{\n    puVar1 = &DAT_001100e0;\nLAB_00103c25:\n    puts(*(char **)(puVar1 + 2));\n  }" ({ "{") (expression_statement "puVar1 = &DAT_001100e0;" (assignment_expression "puVar1 = &DAT_001100e0" (identifier "puVar1") (= "=") (pointer_expression "&DAT_001100e0" (& "&") (identifier "DAT_001100e0"))) (; ";")) (labeled_statement "LAB_00103c25:\n    puts(*(char **)(puVar1 + 2));" (statement_identifier "LAB_00103c25") (: ":") (expression_statement "puts(*(char **)(puVar1 + 2));" (call_expression "puts(*(char **)(puVar1 + 2))" (identifier "puts") (argument_list "(*(char **)(puVar1 + 2))" (( "(") (pointer_expression "*(char **)(puVar1 + 2)" (* "*") (cast_expression "(char **)(puVar1 + 2)" (( "(") (type_descriptor "char **" (primitive_type "char") (abstract_pointer_declarator "**" (* "*") (abstract_pointer_declarator "*" (* "*")))) () ")") (parenthesized_expression "(puVar1 + 2)" (( "(") (binary_expression "puVar1 + 2" (identifier "puVar1") (+ "+") (number_literal "2")) () ")")))) () ")"))) (; ";"))) (} "}")) (else_clause "else {\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" (else "else") (compound_statement "{\n    puVar1 = &DAT_001100f0;\n    do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);\n    __printf_chk(1,"Unknown code %d\n");\n  }" ({ "{") (expression_statement "puVar1 = &DAT_001100f0;" (assignment_expression "puVar1 = &DAT_001100f0" (identifier "puVar1") (= "=") (pointer_expression "&DAT_001100f0" (& "&") (identifier "DAT_001100f0"))) (; ";")) (do_statement "do {\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    } while (puVar1 != (uint *)&DAT_00110130);" (do "do") (compound_statement "{\n      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;\n      puVar1 = puVar1 + 4;\n    }" ({ "{") (if_statement "if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;" (if "if") (parenthesized_expression "(*puVar1 == (uint)*(byte *)(param_1 + 1))" (( "(") (binary_expression "*puVar1 == (uint)*(byte *)(param_1 + 1)" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (== "==") (binary_expression "(uint)*(byte *)(param_1 + 1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (* "*") (cast_expression "(byte *)(param_1 + 1)" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 1)" (( "(") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1")) () ")"))))) () ")")) (goto_statement "goto LAB_00103c25;" (goto "goto") (statement_identifier "LAB_00103c25") (; ";"))) (expression_statement "puVar1 = puVar1 + 4;" (assignment_expression "puVar1 = puVar1 + 4" (identifier "puVar1") (= "=") (binary_expression "puVar1 + 4" (identifier "puVar1") (+ "+") (number_literal "4"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(puVar1 != (uint *)&DAT_00110130)" (( "(") (binary_expression "puVar1 != (uint *)&DAT_00110130" (identifier "puVar1") (!= "!=") (cast_expression "(uint *)&DAT_00110130" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "&DAT_00110130" (& "&") (identifier "DAT_00110130")))) () ")")) (; ";")) (expression_statement "__printf_chk(1,"Unknown code %d\n");" (call_expression "__printf_chk(1,"Unknown code %d\n")" (identifier "__printf_chk") (argument_list "(1,"Unknown code %d\n")" (( "(") (number_literal "1") (, ",") (string_literal ""Unknown code %d\n"" (" """) (string_content "Unknown code %d") (escape_sequence "\n") (" """)) () ")"))) (; ";")) (} "}")))) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *icmp6)

{
  type_2 *var_4;
  
  var_1(1,"Destination unreachable: ");
  if (var_3[0].code == (type_3)icmp6->icmp6_code) {
    var_4 = var_3;
LAB_00103c25:
    var_2(var_4->diag);
  }
  else {
    var_4 = var_3 + 1;
    do {
      if (var_4->code == (type_3)icmp6->icmp6_code) goto LAB_00103c25;
      var_4 = var_4 + 1;
    } while (var_4 != (type_2 *)&DAT_00110130);
    var_1(1,"Unknown code %d\n");
  }
  return;
}


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

void MASKED(long param_1)

{
  uint *puVar1;
  
  __printf_chk(1,"Destination unreachable: ");
  if (DAT_001100e0 == *(byte *)(param_1 + 1)) {
    puVar1 = &DAT_001100e0;
LAB_00103c25:
    puts(*(char **)(puVar1 + 2));
  }
  else {
    puVar1 = &DAT_001100f0;
    do {
      if (*puVar1 == (uint)*(byte *)(param_1 + 1)) goto LAB_00103c25;
      puVar1 = puVar1 + 4;
    } while (puVar1 != (uint *)&DAT_00110130);
    __printf_chk(1,"Unknown code %d\n");
  }
  return;
}

