Re: [PATCH] Mark win32's pthread_exit() as NORETURN

2016-03-01 Thread Johannes Schindelin
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 > > --- > > compat/win32/pthrea

Re: [PATCH] Mark win32's pthread_exit() as NORETURN

2016-03-01 Thread Jeff King
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 > --- > compat/win32/pthread.h | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > d

[PATCH] Mark win32's pthread_exit() as NORETURN

2016-03-01 Thread Johannes Schindelin
The pthread_exit() function is not expected to return. Ever. Pointed out by Jeff King. Signed-off-by: Johannes Schindelin --- 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