From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Wed, 02 Mar 2016 19:11:00 GMT
Subject: Re: [PATCH v2] Mark win32's pthread_exit() as NORETURN
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:

> 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