weak_alias(dummy, __flush_on_exit);
weak_alias(dummy, __seek_on_exit);
+#ifndef SHARED
+weak_alias(dummy, _fini);
+extern void (*const __fini_array_start)() __attribute__((weak));
+extern void (*const __fini_array_end)() __attribute__((weak));
+#endif
+
_Noreturn void exit(int code)
{
static int lock;
while (a_swap(&lock, 1)) __syscall(SYS_pause);
__funcs_on_exit();
- if (libc.fini) libc.fini();
- if (libc.ldso_fini) libc.ldso_fini();
+
+#ifndef SHARED
+ uintptr_t a = (uintptr_t)&__fini_array_end;
+ for (; a>(uintptr_t)&__fini_array_start; a-=sizeof(void(*)()))
+ (*(void (**)())(a-sizeof(void(*)())))();
+ _fini();
+#endif
+
__flush_on_exit();
__seek_on_exit();