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

Hi,

On Tue, 1 Mar 2016, stefan.naewe@atlas-elektronik.com wrote:

Am 01.03.2016 um 15:13 schrieb Johannes Schindelin:

quoted

The pthread_exit() function is not expected to return. Ever. On Windows,
we call ExitThread() whose documentation claims: "This function does not
return a value.":

Does this really mean that ExitThread() does not return ?

I fixed the commit message in v3.

Thanks,
Dscho