amittpb/pomelo-occur-brown

0 lines

31.59 KB

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

_ABI(SystemV_x86_64)
void _init(void) {
  if (segment_3.got.offset_16) {
    ((cabifunction_72 *) segment_3.got.offset_16)();
  }
}

_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)
void __cxa_finalize_2(void *d) {
  __cxa_finalize(d);
}

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

_ABI(SystemV_x86_64)
void deregister_tm_clones(void) {
}

_ABI(SystemV_x86_64)
void register_tm_clones(void) {
}

_ABI(SystemV_x86_64)
void __do_global_dtors_aux(void) {
  if (!segment_3.bss.offset_0) {
    if (segment_3.got.offset_32) {
      __cxa_finalize_2((void *) segment_3.data.offset_8);
    }
    deregister_tm_clones();
    segment_3.bss.offset_0 = '\001';
  }
}

_ABI(SystemV_x86_64)
void frame_dummy(void) {
}

_ABI(SystemV_x86_64)
generic64_t main(void) {
  int32_t var_0;
  var_0 = puts_2((const int8_t *) "Hello!!!!");
  return 0;
}

_ABI(SystemV_x86_64)
void _fini(void) {
}