Re: [PATCH v2] Mark win32's pthread_exit() as NORETURN
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Mar 2, 2016, 19:11 UTC
- Message-ID
- <alpine.DEB.2.20.1603022010410.3152@virtualbox>
- In-Reply-To
- <56D5A955.8010904@atlas-elektronik.com>
Hi,
On Tue, 1 Mar 2016, stefan.naewe@atlas-elektronik.com wrote:
Show 6 quoted lines
> Am 01.03.2016 um 15:13 schrieb Johannes Schindelin: > > 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