
/* WARNING: Unknown calling convention */

void sigwinch_sighandler(int sig)

{
  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;
  return;
}



void sigwinch_sighandler(void)

{
  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;
  return;
}


lui gp,0xc
addiu gp,gp,-0x500
addu gp,gp,t9
lw v0,-0x7bc0(gp)
li v1,0x1
sw v1,0x0(v0)
jr ra
_nop
(translation_unit "void sigwinch_sighandler(void)\n\n{\n  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;\n  return;\n}\n\n" (function_definition "void sigwinch_sighandler(void)\n\n{\n  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;\n  return;\n}" primitive_type (function_declarator "sigwinch_sighandler(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;\n  return;\n}" { (expression_statement "*(undefined4 *)PTR_sigwinch_received_00144980 = 1;" (assignment_expression "*(undefined4 *)PTR_sigwinch_received_00144980 = 1" (pointer_expression "*(undefined4 *)PTR_sigwinch_received_00144980" * (cast_expression "(undefined4 *)PTR_sigwinch_received_00144980" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) = number_literal) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Unknown calling convention */\n\nvoid sigwinch_sighandler(int sig)\n\n{\n  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;\n  return;\n}\n\n" comment (function_definition "void sigwinch_sighandler(int sig)\n\n{\n  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;\n  return;\n}" primitive_type (function_declarator "sigwinch_sighandler(int sig)" identifier (parameter_list "(int sig)" ( (parameter_declaration "int sig" primitive_type identifier) ))) (compound_statement "{\n  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;\n  return;\n}" { (expression_statement "*(undefined4 *)PTR_sigwinch_received_00144980 = 1;" (assignment_expression "*(undefined4 *)PTR_sigwinch_received_00144980 = 1" (pointer_expression "*(undefined4 *)PTR_sigwinch_received_00144980" * (cast_expression "(undefined4 *)PTR_sigwinch_received_00144980" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) = number_literal) ;) (return_statement "return;" return ;) })))
(translation_unit "void sigwinch_sighandler(void)\n\n{\n  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;\n  return;\n}\n\n" (function_definition "void sigwinch_sighandler(void)\n\n{\n  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;\n  return;\n}" primitive_type (function_declarator "sigwinch_sighandler(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;\n  return;\n}" { (expression_statement "*(undefined4 *)PTR_sigwinch_received_00144980 = 1;" (assignment_expression "*(undefined4 *)PTR_sigwinch_received_00144980 = 1" (pointer_expression "*(undefined4 *)PTR_sigwinch_received_00144980" * (cast_expression "(undefined4 *)PTR_sigwinch_received_00144980" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) = number_literal) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) = LIT) ;) (return_statement return ;) })))
(function_definition "void sigwinch_sighandler(void)\n\n{\n  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;\n  return;\n}" (primitive_type "void") (function_declarator "sigwinch_sighandler(void)" (identifier "sigwinch_sighandler") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;\n  return;\n}" ({ "{") (expression_statement "*(undefined4 *)PTR_sigwinch_received_00144980 = 1;" (assignment_expression "*(undefined4 *)PTR_sigwinch_received_00144980 = 1" (pointer_expression "*(undefined4 *)PTR_sigwinch_received_00144980" (* "*") (cast_expression "(undefined4 *)PTR_sigwinch_received_00144980" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR_sigwinch_received_00144980"))) (= "=") (number_literal "1")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Unknown calling convention */

void function_1(int sig)

{
  *(type_1 *)PTR_sigwinch_received_00144980 = 1;
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier))) right: (number_literal))) (return_statement))))

void MASKED(void)

{
  *(undefined4 *)PTR_sigwinch_received_00144980 = 1;
  return;
}

