[PATCH] Don't divide by zero when trying to destroy an uninitialised barrier.
Torvald Riegel
triegel@redhat.com
Tue Apr 26 18:04:00 GMT 2016
On Tue, 2016-04-26 at 11:44 -0300, Adhemerval Zanella wrote:
>
> 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.
EINVAL is not listed as an error code, so there is no user
responsibility.
More information about the Libc-alpha
mailing list