[PATCH] <semaphore.h>: Add nonnull attributes

[Yann Droneaud]

Le lundi 29 avril 2019 à 08:42 +0200, Florian Weimer a écrit :
> * Yann Droneaud:
> 
> > Except the following functions, NPTL implementation assume sem_t
> > argument (or other arguments) are not NULL, so they would benefit
> > from having the nonnull attribute.
> > 
> > - sem_close(): can cope with a NULL sem_t and return -1 with error
> > EINVAL;
> > - sem_destroy(): does nothing at all
> > 
> > 	* sysdeps/pthread/semaphore.h (sem_init): Add __nonnull
> > attribute.
> > 	(sem_destroy, sem_open, sem_close, sem_unlink): Likewise.
> > 	(sem_wait, sem_timedwait, sem_trywait, sem_post): Likewise.
> > 	(sem_getvalue): Likewise.
> 
> Yann, do you need help with isntalling this patch?
> 

Yes please: I have no account on any GNU server.

Also note I have not signed any copyright assignment. But I'm willing
to, for me and my own company.

Regards

-- 
Yann Droneaud
OPTEYA