added else branch in `pthread_exit()` to avoid calling explicit `return;`
however, this won't help to completely eliminate the warning on returning from a `noreturn` function