[PATCH] Don't divide by zero when trying to destroy an uninitialised barrier.

Adhemerval Zanella adhemerval.zanella@linaro.org
Tue Apr 26 14:44:00 GMT 2016



On 26/04/2016 11:38, Florian Weimer wrote:
> On 04/20/2016 09:46 PM, Adhemerval Zanella wrote:
>> I do not see a compelling reason to not return EINVAL if the UB
>> could be detected and if POSIX stated this behaviour is recommended.
> 
> It would result in silent loss of synchronization if the return value is not checked.  Such bugs are difficult to track down.
> 
> Florian

But the check is user responsibility and getting such error means the
program is doing something fuzzy.

But thinking twice seems that abort in such cases seems a better
alternative, it gives the user a more straightforward indication
he should check his code. 



More information about the Libc-alpha mailing list