Mark win32's pthread_exit() as NORETURN

dscho · dscho · commit 4f91362c81ce · 2016-03-01T14:48:24.000+01:00
Pointed out by Jeff King.

Signed-off-by: Johannes Schindelin &lt;johannes.schindelin@gmx.de&gt;
diff --git 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);
 }

Original file line number	Diff line number	Diff line change
`@@ -78,7 +78,7 @@ extern int win32_pthread_join(pthread_t thread, void *value_ptr);`
`78`	`78`	`#define pthread_equal(t1, t2) ((t1).tid == (t2).tid)`
`79`	`79`	`extern pthread_t pthread_self(void);`
`80`	`80`
`81`		`-static inline int pthread_exit(void *ret)`
	`81`	`+static inline int NORETURN pthread_exit(void *ret)`
`82`	`82`	`{`
`83`	`83`	`ExitThread((DWORD)(intptr_t)ret);`
`84`	`84`	`}`