
int gl_array_node_nx_set_value(gl_list_t list,gl_list_node_t node,void *elt)

{
  if (node + -1 < (gl_list_node_t)list->count) {
    list->elements[(long)(node + -1)] = elt;
    return 0;
  }
                    /* WARNING: Subroutine does not return */
  abort();
}



undefined8 FUN_00135c73(long param_1,long param_2,undefined8 param_3)

{
  if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {
    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;
    return 0;
  }
                    /* WARNING: Subroutine does not return */
  abort();
}


SUB RSI,0x1
CMP qword ptr [RDI + 0x30],RSI
JBE 0x00135c8b
MOV RAX,qword ptr [RDI + 0x28]
MOV qword ptr [RAX + RSI*0x8],RDX
MOV EAX,0x0
RET
SUB RSP,0x8
CALL 0x001050b0
(translation_unit "undefined8 FUN_00135c73(long param_1,long param_2,undefined8 param_3)\n\n{\n  if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}\n\n" (function_definition "undefined8 FUN_00135c73(long param_1,long param_2,undefined8 param_3)\n\n{\n  if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" type_identifier (function_declarator "FUN_00135c73(long param_1,long param_2,undefined8 param_3)" identifier (parameter_list "(long param_1,long param_2,undefined8 param_3)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) , (parameter_declaration "long param_2" (sized_type_specifier "long" long) identifier) , (parameter_declaration "undefined8 param_3" type_identifier identifier) ))) (compound_statement "{\n  if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" { (if_statement "if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }" if (parenthesized_expression "(param_2 - 1U < *(ulong *)(param_1 + 0x30))" ( (binary_expression "param_2 - 1U < *(ulong *)(param_1 + 0x30)" (binary_expression "param_2 - 1U" identifier - number_literal) < (pointer_expression "*(ulong *)(param_1 + 0x30)" * (cast_expression "(ulong *)(param_1 + 0x30)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x30)" ( (binary_expression "param_1 + 0x30" identifier + number_literal) ))))) )) (compound_statement "{\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }" { (expression_statement "*(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;" (assignment_expression "*(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3" (pointer_expression "*(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8)" * (cast_expression "(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8)" ( (binary_expression "*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8" (pointer_expression "*(long *)(param_1 + 0x28)" * (cast_expression "(long *)(param_1 + 0x28)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x28)" ( (binary_expression "param_1 + 0x28" identifier + number_literal) )))) + (binary_expression "(param_2 - 1U) * 8" (parenthesized_expression "(param_2 - 1U)" ( (binary_expression "param_2 - 1U" identifier - number_literal) )) * number_literal)) )))) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) comment (expression_statement "abort();" (call_expression "abort()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit "int gl_array_node_nx_set_value(gl_list_t list,gl_list_node_t node,void *elt)\n\n{\n  if (node + -1 < (gl_list_node_t)list->count) {\n    list->elements[(long)(node + -1)] = elt;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}\n\n" (function_definition "int gl_array_node_nx_set_value(gl_list_t list,gl_list_node_t node,void *elt)\n\n{\n  if (node + -1 < (gl_list_node_t)list->count) {\n    list->elements[(long)(node + -1)] = elt;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" primitive_type (function_declarator "gl_array_node_nx_set_value(gl_list_t list,gl_list_node_t node,void *elt)" identifier (parameter_list "(gl_list_t list,gl_list_node_t node,void *elt)" ( (parameter_declaration "gl_list_t list" type_identifier identifier) , (parameter_declaration "gl_list_node_t node" type_identifier identifier) , (parameter_declaration "void *elt" primitive_type (pointer_declarator "*elt" * identifier)) ))) (compound_statement "{\n  if (node + -1 < (gl_list_node_t)list->count) {\n    list->elements[(long)(node + -1)] = elt;\n    return 0;\n  }\n                    /* WARNING: Subroutine does not return */\n  abort();\n}" { (if_statement "if (node + -1 < (gl_list_node_t)list->count) {\n    list->elements[(long)(node + -1)] = elt;\n    return 0;\n  }" if (parenthesized_expression "(node + -1 < (gl_list_node_t)list->count)" ( (binary_expression "node + -1 < (gl_list_node_t)list->count" (binary_expression "node + -1" identifier + number_literal) < (cast_expression "(gl_list_node_t)list->count" ( (type_descriptor "gl_list_node_t" type_identifier) ) (field_expression "list->count" identifier -> field_identifier))) )) (compound_statement "{\n    list->elements[(long)(node + -1)] = elt;\n    return 0;\n  }" { (expression_statement "list->elements[(long)(node + -1)] = elt;" (assignment_expression "list->elements[(long)(node + -1)] = elt" (subscript_expression "list->elements[(long)(node + -1)]" (field_expression "list->elements" identifier -> field_identifier) [ (cast_expression "(long)(node + -1)" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) (parenthesized_expression "(node + -1)" ( (binary_expression "node + -1" identifier + number_literal) ))) ]) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) comment (expression_statement "abort();" (call_expression "abort()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit "undefined8 FUN_00135c73(long param_1,long param_2,undefined8 param_3)\n\n{\n  if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }\n                    \n  abort();\n}\n\n" (function_definition "undefined8 FUN_00135c73(long param_1,long param_2,undefined8 param_3)\n\n{\n  if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }\n                    \n  abort();\n}" type_identifier (function_declarator "FUN_00135c73(long param_1,long param_2,undefined8 param_3)" identifier (parameter_list "(long param_1,long param_2,undefined8 param_3)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) , (parameter_declaration "long param_2" (sized_type_specifier "long" long) identifier) , (parameter_declaration "undefined8 param_3" type_identifier identifier) ))) (compound_statement "{\n  if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }\n                    \n  abort();\n}" { (if_statement "if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }" if (parenthesized_expression "(param_2 - 1U < *(ulong *)(param_1 + 0x30))" ( (binary_expression "param_2 - 1U < *(ulong *)(param_1 + 0x30)" (binary_expression "param_2 - 1U" identifier - number_literal) < (pointer_expression "*(ulong *)(param_1 + 0x30)" * (cast_expression "(ulong *)(param_1 + 0x30)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x30)" ( (binary_expression "param_1 + 0x30" identifier + number_literal) ))))) )) (compound_statement "{\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }" { (expression_statement "*(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;" (assignment_expression "*(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3" (pointer_expression "*(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8)" * (cast_expression "(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8)" ( (type_descriptor "undefined8 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8)" ( (binary_expression "*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8" (pointer_expression "*(long *)(param_1 + 0x28)" * (cast_expression "(long *)(param_1 + 0x28)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 0x28)" ( (binary_expression "param_1 + 0x28" identifier + number_literal) )))) + (binary_expression "(param_2 - 1U) * 8" (parenthesized_expression "(param_2 - 1U)" ( (binary_expression "param_2 - 1U" identifier - number_literal) )) * number_literal)) )))) = identifier) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "abort();" (call_expression "abort()" identifier (argument_list "()" ( ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration (sized_type_specifier long) IDENT) , (parameter_declaration (sized_type_specifier long) IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT - LIT) < (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (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) )))) + (binary_expression (parenthesized_expression ( (binary_expression IDENT - LIT) )) * LIT)) )))) = IDENT) ;) (return_statement return LIT ;) })) (expression_statement (call_expression IDENT (argument_list ( ))) ;) })))
(function_definition "undefined8 FUN_00135c73(long param_1,long param_2,undefined8 param_3)\n\n{\n  if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }\n                    \n  abort();\n}" (type_identifier "undefined8") (function_declarator "FUN_00135c73(long param_1,long param_2,undefined8 param_3)" (identifier "FUN_00135c73") (parameter_list "(long param_1,long param_2,undefined8 param_3)" (( "(") (parameter_declaration "long param_1" (sized_type_specifier "long" (long "long")) (identifier "param_1")) (, ",") (parameter_declaration "long param_2" (sized_type_specifier "long" (long "long")) (identifier "param_2")) (, ",") (parameter_declaration "undefined8 param_3" (type_identifier "undefined8") (identifier "param_3")) () ")"))) (compound_statement "{\n  if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }\n                    \n  abort();\n}" ({ "{") (if_statement "if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }" (if "if") (parenthesized_expression "(param_2 - 1U < *(ulong *)(param_1 + 0x30))" (( "(") (binary_expression "param_2 - 1U < *(ulong *)(param_1 + 0x30)" (binary_expression "param_2 - 1U" (identifier "param_2") (- "-") (number_literal "1U")) (< "<") (pointer_expression "*(ulong *)(param_1 + 0x30)" (* "*") (cast_expression "(ulong *)(param_1 + 0x30)" (( "(") (type_descriptor "ulong *" (type_identifier "ulong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x30)" (( "(") (binary_expression "param_1 + 0x30" (identifier "param_1") (+ "+") (number_literal "0x30")) () ")"))))) () ")")) (compound_statement "{\n    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;\n    return 0;\n  }" ({ "{") (expression_statement "*(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;" (assignment_expression "*(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3" (pointer_expression "*(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8)" (* "*") (cast_expression "(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8)" (( "(") (type_descriptor "undefined8 *" (type_identifier "undefined8") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8)" (( "(") (binary_expression "*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8" (pointer_expression "*(long *)(param_1 + 0x28)" (* "*") (cast_expression "(long *)(param_1 + 0x28)" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 0x28)" (( "(") (binary_expression "param_1 + 0x28" (identifier "param_1") (+ "+") (number_literal "0x28")) () ")")))) (+ "+") (binary_expression "(param_2 - 1U) * 8" (parenthesized_expression "(param_2 - 1U)" (( "(") (binary_expression "param_2 - 1U" (identifier "param_2") (- "-") (number_literal "1U")) () ")")) (* "*") (number_literal "8"))) () ")")))) (= "=") (identifier "param_3")) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "abort();" (call_expression "abort()" (identifier "abort") (argument_list "()" (( "(") () ")"))) (; ";")) (} "}")))

int function_1(type_1 list,type_2 var_1,void *elt)

{
  if (var_1 + -1 < (type_2)list->count) {
    list->elements[(long)(var_1 + -1)] = elt;
    return 0;
  }
                    /* WARNING: Subroutine does not return */
  var_2();
}


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

undefined8 MASKED(long param_1,long param_2,undefined8 param_3)

{
  if (param_2 - 1U < *(ulong *)(param_1 + 0x30)) {
    *(undefined8 *)(*(long *)(param_1 + 0x28) + (param_2 - 1U) * 8) = param_3;
    return 0;
  }
                    /* WARNING: Subroutine does not return */
  abort();
}

