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

Johannes Schindelin writes: > The pthread_exit() function is not expected to return. Ever. On Windows, > we call ExitThread() whose documentation claims: "Ends the calling > thread", i.e. there is no condition in which this function simply > returns: https://msdn.microsoft.com/en-us/library/windo

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

The pthread_exit() function is not expected to return. Ever. On Windows, we call ExitThread() whose documentation claims: "Ends the calling thread", i.e. there is no condition in which this function simply returns: https://msdn.microsoft.com/en-us/library/windows/desktop/ms682659 While at it, fix