wyvdoesdev/disappear-production-bend

0 lines

57.05 KB

#include "types-and-globals.h"
#include "helpers.h"

_ABI(SystemV_x86_64)
void function_0x401000_Code_x86_64(void) {
  if (segment_3.got.offset_72) {
    ((cabifunction_133 *) segment_3.got.offset_72)();
  }
}

_ABI(SystemV_x86_64)
int32_t puts_2(const int8_t *str) {
  int32_t var_0;
  var_0 = puts(str);
  return var_0;
}

_ABI(SystemV_x86_64) _Noreturn
void __stack_chk_fail_2(void) {
  __stack_chk_fail();
}

_ABI(SystemV_x86_64)
int8_t *fgets_2(int8_t *buf, int32_t n, FILE_4 *fp) {
  int8_t *var_0;
  var_0 = fgets(buf, n, fp);
  return var_0;
}

_ABI(raw_x86_64)
artificial_struct_returned_by_rawfunction_30 strcmp_2(pointer_or_number64_t register_rcx _REG(rcx_x86_64), pointer_or_number64_t register_rdx _REG(rdx_x86_64), pointer_or_number64_t register_rsi _REG(rsi_x86_64), pointer_or_number64_t register_rdi _REG(rdi_x86_64), pointer_or_number64_t register_r8 _REG(r8_x86_64), pointer_or_number64_t register_r9 _REG(r9_x86_64)) {
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  artificial_struct_returned_by_rawfunction_30 var_2;
  var_2 = strcmp(register_rcx, register_rdx, register_rsi, register_rdi, register_r8, register_r9);
  var_1 = var_2.register_rax;
  var_0 = var_2.register_rdx;
  return (artificial_struct_returned_by_rawfunction_30) { var_1, var_0 };
}

_ABI(SystemV_x86_64) _Noreturn
void function_0x4010c0_Code_x86_64(generic64_t argument_0, generic64_t argument_1, struct_118 *argument_2) {
  int32_t var_0;
  var_0 = __libc_start_main((cabifunction_33 *) function_0x4011a9_Code_x86_64, (int32_t) (number32_t) *(generic64_t *) revng_undefined_local_sp(), (int8_t **) (revng_undefined_local_sp() + 8), (cabifunction_33 *) NULL, (cabifunction_32 *) NULL, (cabifunction_32 *) argument_2, (void *) revng_undefined_local_sp());
  // The previous function call does not return
}

_ABI(SystemV_x86_64)
struct_134 function_0x4011a9_Code_x86_64(void) {
  struct_115 stack;
  pointer_or_number64_t var_0;
  pointer_or_number64_t var_1;
  int8_t *var_2;
  int32_t var_3;
  artificial_struct_returned_by_rawfunction_30 var_4;
  stack.offset_24 = *(generic64_t *) 40;
  var_3 = puts_2((const int8_t *) "supercool");
  var_2 = fgets_2((int8_t *) &stack, (int32_t) 16, (FILE_4 *) segment_3.bss.stdin);
  var_4 = strcmp_2(undef(generic64_t), (pointer_or_number64_t) "verycool\n", (pointer_or_number64_t) "verycool\n", (pointer_or_number64_t) &stack, undef(generic64_t), undef(generic64_t));
  var_1 = var_4.register_rax;
  var_0 = var_4.register_rdx;
  if (!(var_1 & 0xFFFFFFFF)) {
    int32_t var_5;
    int32_t var_6;
    var_6 = puts_2((const int8_t *) "so cool");
    var_5 = puts_2((const int8_t *) ((pointer_or_number64_t) &segment_3.data + 16));
  }
  if (stack.offset_24 != *(generic64_t *) 40) {
    __stack_chk_fail_2();
  }
  struct_134 var_7;
  var_7.offset_0 = 0;
  var_7.offset_8 = 0;
  return var_7;
}

_ABI(SystemV_x86_64)
void function_0x401240_Code_x86_64(void) {
}