
/* WARNING: Enum "anon_enum_32": Some values do not have unique names */

void share_remove_channel(ssh_sharing_connstate *cs,share_channel *chan)

{
  del234(cs->channels_by_us,chan);
  del234(cs->channels_by_server,chan);
  if (chan->x11_auth_upstream != (X11FakeAuth *)0x0) {
    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)(cs->parent->ssh);
  }
  (*(code *)PTR_safefree_001112f0)(chan->x11_auth_data);
  (*(code *)PTR_safefree_001112f0)(chan);
  return;
}



void FUN_00087608(int param_1,int param_2)

{
  del234(*(undefined4 *)(param_1 + 0x4038));
  del234(*(undefined4 *)(param_1 + 0x403c),param_2);
  if (*(int *)(param_2 + 0x14) != 0) {
    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)
              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));
  }
  (*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));
  (*(code *)PTR_safefree_001112f0)(param_2);
  return;
}


lui gp,0x9
addiu gp,gp,0x1ca8
addu gp,gp,t9
addiu sp,sp,-0x28
lw t9,-0x7e90(gp)
sw s1,0x20(sp)
or s1,a0,zero
sw gp,0x10(sp)
sw ra,0x24(sp)
sw s0,0x1c(sp)
or s0,a1,zero
bal 0x0009fff0
_lw a0,0x4038(a0)
or a1,s0,zero
lw gp,0x10(sp)
lw t9,-0x7e90(gp)
bal 0x0009fff0
_lw a0,0x403c(s1)
lw a1,0x14(s0)
beq a1,zero,0x00087670
_lw gp,0x10(sp)
lw v0,0xc(s1)
lw t9,-0x77f0(gp)
jalr t9
_lw a0,0x14(v0)
lw gp,0x10(sp)
lw t9,-0x7fc0(gp)
jalr t9
_lw a0,0x1c(s0)
or a0,s0,zero
lw gp,0x10(sp)
lw ra,0x24(sp)
lw s1,0x20(sp)
lw s0,0x1c(sp)
lw t9,-0x7fc0(gp)
jr t9
_addiu sp,sp,0x28
(translation_unit "void FUN_00087608(int param_1,int param_2)\n\n{\n  del234(*(undefined4 *)(param_1 + 0x4038));\n  del234(*(undefined4 *)(param_1 + 0x403c),param_2);\n  if (*(int *)(param_2 + 0x14) != 0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }\n  (*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));\n  (*(code *)PTR_safefree_001112f0)(param_2);\n  return;\n}\n\n" (function_definition "void FUN_00087608(int param_1,int param_2)\n\n{\n  del234(*(undefined4 *)(param_1 + 0x4038));\n  del234(*(undefined4 *)(param_1 + 0x403c),param_2);\n  if (*(int *)(param_2 + 0x14) != 0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }\n  (*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));\n  (*(code *)PTR_safefree_001112f0)(param_2);\n  return;\n}" primitive_type (function_declarator "FUN_00087608(int param_1,int param_2)" identifier (parameter_list "(int param_1,int param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  del234(*(undefined4 *)(param_1 + 0x4038));\n  del234(*(undefined4 *)(param_1 + 0x403c),param_2);\n  if (*(int *)(param_2 + 0x14) != 0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }\n  (*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));\n  (*(code *)PTR_safefree_001112f0)(param_2);\n  return;\n}" { (expression_statement "del234(*(undefined4 *)(param_1 + 0x4038));" (call_expression "del234(*(undefined4 *)(param_1 + 0x4038))" identifier (argument_list "(*(undefined4 *)(param_1 + 0x4038))" ( (pointer_expression "*(undefined4 *)(param_1 + 0x4038)" * (cast_expression "(undefined4 *)(param_1 + 0x4038)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x4038)" ( (binary_expression "param_1 + 0x4038" identifier + number_literal) )))) ))) ;) (expression_statement "del234(*(undefined4 *)(param_1 + 0x403c),param_2);" (call_expression "del234(*(undefined4 *)(param_1 + 0x403c),param_2)" identifier (argument_list "(*(undefined4 *)(param_1 + 0x403c),param_2)" ( (pointer_expression "*(undefined4 *)(param_1 + 0x403c)" * (cast_expression "(undefined4 *)(param_1 + 0x403c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x403c)" ( (binary_expression "param_1 + 0x403c" identifier + number_literal) )))) , identifier ))) ;) (if_statement "if (*(int *)(param_2 + 0x14) != 0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }" if (parenthesized_expression "(*(int *)(param_2 + 0x14) != 0)" ( (binary_expression "*(int *)(param_2 + 0x14) != 0" (pointer_expression "*(int *)(param_2 + 0x14)" * (cast_expression "(int *)(param_2 + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x14)" ( (binary_expression "param_2 + 0x14" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }" { (expression_statement "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));" (call_expression "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14))" (parenthesized_expression "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)" ( (pointer_expression "*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0" * (cast_expression "(code *)PTR_ssh_sharing_remove_x11_display_00111ac0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14))" ( (pointer_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14)" * (cast_expression "(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0xc) + 0x14)" ( (binary_expression "*(int *)(param_1 + 0xc) + 0x14" (pointer_expression "*(int *)(param_1 + 0xc)" * (cast_expression "(int *)(param_1 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) + number_literal) )))) ))) ;) })) (expression_statement "(*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));" (call_expression "(*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c))" (parenthesized_expression "(*(code *)PTR_safefree_001112f0)" ( (pointer_expression "*(code *)PTR_safefree_001112f0" * (cast_expression "(code *)PTR_safefree_001112f0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_2 + 0x1c))" ( (pointer_expression "*(undefined4 *)(param_2 + 0x1c)" * (cast_expression "(undefined4 *)(param_2 + 0x1c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x1c)" ( (binary_expression "param_2 + 0x1c" identifier + number_literal) )))) ))) ;) (expression_statement "(*(code *)PTR_safefree_001112f0)(param_2);" (call_expression "(*(code *)PTR_safefree_001112f0)(param_2)" (parenthesized_expression "(*(code *)PTR_safefree_001112f0)" ( (pointer_expression "*(code *)PTR_safefree_001112f0" * (cast_expression "(code *)PTR_safefree_001112f0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_2)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Enum "anon_enum_32": Some values do not have unique names */\n\nvoid share_remove_channel(ssh_sharing_connstate *cs,share_channel *chan)\n\n{\n  del234(cs->channels_by_us,chan);\n  del234(cs->channels_by_server,chan);\n  if (chan->x11_auth_upstream != (X11FakeAuth *)0x0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)(cs->parent->ssh);\n  }\n  (*(code *)PTR_safefree_001112f0)(chan->x11_auth_data);\n  (*(code *)PTR_safefree_001112f0)(chan);\n  return;\n}\n\n" comment (function_definition "void share_remove_channel(ssh_sharing_connstate *cs,share_channel *chan)\n\n{\n  del234(cs->channels_by_us,chan);\n  del234(cs->channels_by_server,chan);\n  if (chan->x11_auth_upstream != (X11FakeAuth *)0x0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)(cs->parent->ssh);\n  }\n  (*(code *)PTR_safefree_001112f0)(chan->x11_auth_data);\n  (*(code *)PTR_safefree_001112f0)(chan);\n  return;\n}" primitive_type (function_declarator "share_remove_channel(ssh_sharing_connstate *cs,share_channel *chan)" identifier (parameter_list "(ssh_sharing_connstate *cs,share_channel *chan)" ( (parameter_declaration "ssh_sharing_connstate *cs" type_identifier (pointer_declarator "*cs" * identifier)) , (parameter_declaration "share_channel *chan" type_identifier (pointer_declarator "*chan" * identifier)) ))) (compound_statement "{\n  del234(cs->channels_by_us,chan);\n  del234(cs->channels_by_server,chan);\n  if (chan->x11_auth_upstream != (X11FakeAuth *)0x0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)(cs->parent->ssh);\n  }\n  (*(code *)PTR_safefree_001112f0)(chan->x11_auth_data);\n  (*(code *)PTR_safefree_001112f0)(chan);\n  return;\n}" { (expression_statement "del234(cs->channels_by_us,chan);" (call_expression "del234(cs->channels_by_us,chan)" identifier (argument_list "(cs->channels_by_us,chan)" ( (field_expression "cs->channels_by_us" identifier -> field_identifier) , identifier ))) ;) (expression_statement "del234(cs->channels_by_server,chan);" (call_expression "del234(cs->channels_by_server,chan)" identifier (argument_list "(cs->channels_by_server,chan)" ( (field_expression "cs->channels_by_server" identifier -> field_identifier) , identifier ))) ;) (if_statement "if (chan->x11_auth_upstream != (X11FakeAuth *)0x0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)(cs->parent->ssh);\n  }" if (parenthesized_expression "(chan->x11_auth_upstream != (X11FakeAuth *)0x0)" ( (binary_expression "chan->x11_auth_upstream != (X11FakeAuth *)0x0" (field_expression "chan->x11_auth_upstream" identifier -> field_identifier) != (cast_expression "(X11FakeAuth *)0x0" ( (type_descriptor "X11FakeAuth *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) )) (compound_statement "{\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)(cs->parent->ssh);\n  }" { (expression_statement "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)(cs->parent->ssh);" (call_expression "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)(cs->parent->ssh)" (parenthesized_expression "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)" ( (pointer_expression "*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0" * (cast_expression "(code *)PTR_ssh_sharing_remove_x11_display_00111ac0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(cs->parent->ssh)" ( (field_expression "cs->parent->ssh" (field_expression "cs->parent" identifier -> field_identifier) -> field_identifier) ))) ;) })) (expression_statement "(*(code *)PTR_safefree_001112f0)(chan->x11_auth_data);" (call_expression "(*(code *)PTR_safefree_001112f0)(chan->x11_auth_data)" (parenthesized_expression "(*(code *)PTR_safefree_001112f0)" ( (pointer_expression "*(code *)PTR_safefree_001112f0" * (cast_expression "(code *)PTR_safefree_001112f0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(chan->x11_auth_data)" ( (field_expression "chan->x11_auth_data" identifier -> field_identifier) ))) ;) (expression_statement "(*(code *)PTR_safefree_001112f0)(chan);" (call_expression "(*(code *)PTR_safefree_001112f0)(chan)" (parenthesized_expression "(*(code *)PTR_safefree_001112f0)" ( (pointer_expression "*(code *)PTR_safefree_001112f0" * (cast_expression "(code *)PTR_safefree_001112f0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(chan)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_00087608(int param_1,int param_2)\n\n{\n  del234(*(undefined4 *)(param_1 + 0x4038));\n  del234(*(undefined4 *)(param_1 + 0x403c),param_2);\n  if (*(int *)(param_2 + 0x14) != 0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }\n  (*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));\n  (*(code *)PTR_safefree_001112f0)(param_2);\n  return;\n}\n\n" (function_definition "void FUN_00087608(int param_1,int param_2)\n\n{\n  del234(*(undefined4 *)(param_1 + 0x4038));\n  del234(*(undefined4 *)(param_1 + 0x403c),param_2);\n  if (*(int *)(param_2 + 0x14) != 0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }\n  (*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));\n  (*(code *)PTR_safefree_001112f0)(param_2);\n  return;\n}" primitive_type (function_declarator "FUN_00087608(int param_1,int param_2)" identifier (parameter_list "(int param_1,int param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  del234(*(undefined4 *)(param_1 + 0x4038));\n  del234(*(undefined4 *)(param_1 + 0x403c),param_2);\n  if (*(int *)(param_2 + 0x14) != 0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }\n  (*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));\n  (*(code *)PTR_safefree_001112f0)(param_2);\n  return;\n}" { (expression_statement "del234(*(undefined4 *)(param_1 + 0x4038));" (call_expression "del234(*(undefined4 *)(param_1 + 0x4038))" identifier (argument_list "(*(undefined4 *)(param_1 + 0x4038))" ( (pointer_expression "*(undefined4 *)(param_1 + 0x4038)" * (cast_expression "(undefined4 *)(param_1 + 0x4038)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x4038)" ( (binary_expression "param_1 + 0x4038" identifier + number_literal) )))) ))) ;) (expression_statement "del234(*(undefined4 *)(param_1 + 0x403c),param_2);" (call_expression "del234(*(undefined4 *)(param_1 + 0x403c),param_2)" identifier (argument_list "(*(undefined4 *)(param_1 + 0x403c),param_2)" ( (pointer_expression "*(undefined4 *)(param_1 + 0x403c)" * (cast_expression "(undefined4 *)(param_1 + 0x403c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x403c)" ( (binary_expression "param_1 + 0x403c" identifier + number_literal) )))) , identifier ))) ;) (if_statement "if (*(int *)(param_2 + 0x14) != 0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }" if (parenthesized_expression "(*(int *)(param_2 + 0x14) != 0)" ( (binary_expression "*(int *)(param_2 + 0x14) != 0" (pointer_expression "*(int *)(param_2 + 0x14)" * (cast_expression "(int *)(param_2 + 0x14)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x14)" ( (binary_expression "param_2 + 0x14" identifier + number_literal) )))) != number_literal) )) (compound_statement "{\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }" { (expression_statement "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));" (call_expression "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14))" (parenthesized_expression "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)" ( (pointer_expression "*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0" * (cast_expression "(code *)PTR_ssh_sharing_remove_x11_display_00111ac0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14))" ( (pointer_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14)" * (cast_expression "(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 0xc) + 0x14)" ( (binary_expression "*(int *)(param_1 + 0xc) + 0x14" (pointer_expression "*(int *)(param_1 + 0xc)" * (cast_expression "(int *)(param_1 + 0xc)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0xc)" ( (binary_expression "param_1 + 0xc" identifier + number_literal) )))) + number_literal) )))) ))) ;) })) (expression_statement "(*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));" (call_expression "(*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c))" (parenthesized_expression "(*(code *)PTR_safefree_001112f0)" ( (pointer_expression "*(code *)PTR_safefree_001112f0" * (cast_expression "(code *)PTR_safefree_001112f0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(*(undefined4 *)(param_2 + 0x1c))" ( (pointer_expression "*(undefined4 *)(param_2 + 0x1c)" * (cast_expression "(undefined4 *)(param_2 + 0x1c)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 0x1c)" ( (binary_expression "param_2 + 0x1c" identifier + number_literal) )))) ))) ;) (expression_statement "(*(code *)PTR_safefree_001112f0)(param_2);" (call_expression "(*(code *)PTR_safefree_001112f0)(param_2)" (parenthesized_expression "(*(code *)PTR_safefree_001112f0)" ( (pointer_expression "*(code *)PTR_safefree_001112f0" * (cast_expression "(code *)PTR_safefree_001112f0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_2)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) (expression_statement (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) , IDENT ))) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) != LIT) )) (compound_statement { (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) )))) ))) ;) })) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) ))) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT ))) ;) (return_statement return ;) })))
(function_definition "void FUN_00087608(int param_1,int param_2)\n\n{\n  del234(*(undefined4 *)(param_1 + 0x4038));\n  del234(*(undefined4 *)(param_1 + 0x403c),param_2);\n  if (*(int *)(param_2 + 0x14) != 0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }\n  (*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));\n  (*(code *)PTR_safefree_001112f0)(param_2);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_00087608(int param_1,int param_2)" (identifier "FUN_00087608") (parameter_list "(int param_1,int param_2)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) () ")"))) (compound_statement "{\n  del234(*(undefined4 *)(param_1 + 0x4038));\n  del234(*(undefined4 *)(param_1 + 0x403c),param_2);\n  if (*(int *)(param_2 + 0x14) != 0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }\n  (*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));\n  (*(code *)PTR_safefree_001112f0)(param_2);\n  return;\n}" ({ "{") (expression_statement "del234(*(undefined4 *)(param_1 + 0x4038));" (call_expression "del234(*(undefined4 *)(param_1 + 0x4038))" (identifier "del234") (argument_list "(*(undefined4 *)(param_1 + 0x4038))" (( "(") (pointer_expression "*(undefined4 *)(param_1 + 0x4038)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x4038)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x4038)" (( "(") (binary_expression "param_1 + 0x4038" (identifier "param_1") (+ "+") (number_literal "0x4038")) () ")")))) () ")"))) (; ";")) (expression_statement "del234(*(undefined4 *)(param_1 + 0x403c),param_2);" (call_expression "del234(*(undefined4 *)(param_1 + 0x403c),param_2)" (identifier "del234") (argument_list "(*(undefined4 *)(param_1 + 0x403c),param_2)" (( "(") (pointer_expression "*(undefined4 *)(param_1 + 0x403c)" (* "*") (cast_expression "(undefined4 *)(param_1 + 0x403c)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x403c)" (( "(") (binary_expression "param_1 + 0x403c" (identifier "param_1") (+ "+") (number_literal "0x403c")) () ")")))) (, ",") (identifier "param_2") () ")"))) (; ";")) (if_statement "if (*(int *)(param_2 + 0x14) != 0) {\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }" (if "if") (parenthesized_expression "(*(int *)(param_2 + 0x14) != 0)" (( "(") (binary_expression "*(int *)(param_2 + 0x14) != 0" (pointer_expression "*(int *)(param_2 + 0x14)" (* "*") (cast_expression "(int *)(param_2 + 0x14)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x14)" (( "(") (binary_expression "param_2 + 0x14" (identifier "param_2") (+ "+") (number_literal "0x14")) () ")")))) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));\n  }" ({ "{") (expression_statement "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));" (call_expression "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)\n              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14))" (parenthesized_expression "(*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)" (( "(") (pointer_expression "*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0" (* "*") (cast_expression "(code *)PTR_ssh_sharing_remove_x11_display_00111ac0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_ssh_sharing_remove_x11_display_00111ac0"))) () ")")) (argument_list "(*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14))" (( "(") (pointer_expression "*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14)" (* "*") (cast_expression "(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_1 + 0xc) + 0x14)" (( "(") (binary_expression "*(int *)(param_1 + 0xc) + 0x14" (pointer_expression "*(int *)(param_1 + 0xc)" (* "*") (cast_expression "(int *)(param_1 + 0xc)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0xc)" (( "(") (binary_expression "param_1 + 0xc" (identifier "param_1") (+ "+") (number_literal "0xc")) () ")")))) (+ "+") (number_literal "0x14")) () ")")))) () ")"))) (; ";")) (} "}"))) (expression_statement "(*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));" (call_expression "(*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c))" (parenthesized_expression "(*(code *)PTR_safefree_001112f0)" (( "(") (pointer_expression "*(code *)PTR_safefree_001112f0" (* "*") (cast_expression "(code *)PTR_safefree_001112f0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_safefree_001112f0"))) () ")")) (argument_list "(*(undefined4 *)(param_2 + 0x1c))" (( "(") (pointer_expression "*(undefined4 *)(param_2 + 0x1c)" (* "*") (cast_expression "(undefined4 *)(param_2 + 0x1c)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 0x1c)" (( "(") (binary_expression "param_2 + 0x1c" (identifier "param_2") (+ "+") (number_literal "0x1c")) () ")")))) () ")"))) (; ";")) (expression_statement "(*(code *)PTR_safefree_001112f0)(param_2);" (call_expression "(*(code *)PTR_safefree_001112f0)(param_2)" (parenthesized_expression "(*(code *)PTR_safefree_001112f0)" (( "(") (pointer_expression "*(code *)PTR_safefree_001112f0" (* "*") (cast_expression "(code *)PTR_safefree_001112f0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_safefree_001112f0"))) () ")")) (argument_list "(param_2)" (( "(") (identifier "param_2") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Enum "anon_enum_32": Some values do not have unique names */

void function_1(type_1 *cs,type_2 *chan)

{
  var_1(cs->channels_by_us,chan);
  var_1(cs->channels_by_server,chan);
  if (chan->x11_auth_upstream != (type_3 *)0x0) {
    (*(type_4 *)PTR_ssh_sharing_remove_x11_display_00111ac0)(cs->parent->ssh);
  }
  (*(type_4 *)PTR_safefree_001112f0)(chan->x11_auth_data);
  (*(type_4 *)PTR_safefree_001112f0)(chan);
  return;
}


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

void MASKED(int param_1,int param_2)

{
  del234(*(undefined4 *)(param_1 + 0x4038));
  del234(*(undefined4 *)(param_1 + 0x403c),param_2);
  if (*(int *)(param_2 + 0x14) != 0) {
    (*(code *)PTR_ssh_sharing_remove_x11_display_00111ac0)
              (*(undefined4 *)(*(int *)(param_1 + 0xc) + 0x14));
  }
  (*(code *)PTR_safefree_001112f0)(*(undefined4 *)(param_2 + 0x1c));
  (*(code *)PTR_safefree_001112f0)(param_2);
  return;
}

