Hi Peff,
On Tue, 1 Mar 2016, Jeff King wrote:
> On Tue, Mar 01, 2016 at 02:53:04PM +0100, Johannes Schindelin wrote:
>
> > The pthread_exit() function is not expected to return. Ever.
> >
> > Pointed out by Jeff King.
> >
> > Signed-off-by: Johannes Schindelin <johannes.schindelin@xxxxxx>
> > ---
> > compat/win32/pthread.h | 2 +-
> > 1 file changed, 1 insertion(+), 1 deletion(-)
> >
> > diff --git a/compat/win32/pthread.h b/compat/win32/pthread.h
> > index 20b35a2..148db60 100644
> > --- a/compat/win32/pthread.h
> > +++ b/compat/win32/pthread.h
> > @@ -78,7 +78,7 @@ extern int win32_pthread_join(pthread_t *thread, void **value_ptr);
> > #define pthread_equal(t1, t2) ((t1).tid == (t2).tid)
> > extern pthread_t pthread_self(void);
> >
> > -static inline int pthread_exit(void *ret)
> > +static inline int NORETURN pthread_exit(void *ret)
> > {
> > ExitThread((DWORD)(intptr_t)ret);
> > }
>
> Looks obviously correct to me (I'll assume Windows isn't so crazy as to
> let ExitThread ever return :) ).
Indeed, you are correct in your implicit assumption that I should have
clarified that in my commit message. I will amend the commit message.
Ciao,
Dscho
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html